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 | ||