Differences
This shows you the differences between two versions of the page.
— |
sav08:isomorphism [2009/02/25 10:14] (current) vkuncak created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Isomorphism ====== | ||
+ | |||
+ | Isomorphism is a bijection between two collection of entities which preserves //structure//. | ||
+ | |||
+ | If the entities have no structure, isomorphism is simply a bijection. | ||
+ | |||
+ | If entities are graphs, we have graph isomorphism. | ||
+ | |||
+ | Many cases of isomorphism can be explained as | ||
+ | * isomorphism of algebraic structures (groups, fields, etc.) | ||
+ | * more generally, isomorphisms of models of first-order logic formulas | ||