Izomorfismus
Izomorfismus je zobrazení mezi dvěma matematickými strukturami, které je vzájemně jednoznačné (bijektivní) a zachovává všechny vlastnosti touto strukturou definované. Jinými slovy, každému prvku první struktury odpovídá právě jeden prvek struktury druhé a toto přiřazení zachovává vztahy k ostatním prvkům.
O izomorfismech je možno mluvit mezi množinami, algebraickými i relačními strukturami, grafy, modely, metrickými i topologickými prostory a mnoha dalšími strukturami.
Například zobrazení z množiny reálných čísel do reálných čísel zachovává sčítání (a je tedy grupovým izomorfismem), ale ne násobení (proto není tělesovým izomorfismem) ani vzdálenost (proto není izomorfismem metrických prostorů, ovšem je homeomorfismem neboli topologickým izomorfismem).
Pokud takové zobrazení existuje (tedy struktury jsou izomorfní), mají obě množiny zcela totožné vlastnosti, takže rozdíl mezi nimi je pouze formální a nepodstatný (z hlediska příslušné teorie). Například funkce arkus tangens je topologickým, ale ne metrickým izomorfismem mezi intervalem a reálnými čísly, takže tyto dvě struktury (množiny vybavené metrikou) mají zcela shodné všechny topologické vlastnosti, ale ne všechny metrické.
Definice
editovatZde uvedeme definice pro jednotlivé obory matematiky a vztahy mezi nimi.
Definice z teorie množin
editovatPředpokládejme, že na množině jsou definovány relace a na množině jsou definovány relace . Řekneme, že zobrazení je izomorfismus mezi a vzhledem k relacím a , pokud platí:
- je vzájemně jednoznačné zobrazení mezi a
- pokud jsou j-ární relace, potom .
Řekneme, že struktury a jsou izomorfní, pokud mezi nimi existuje nějaký izomorfismus ve smyslu výše uvedené definice.
Význam definice
editovatAčkoli definice může působit složitě a nepřehledně, zachycuje přesně intuici řečenou v úvodním přiblížení:
- V rámci izomorfismu se nesmí žádné prvky ztrácet ani objevovat, obě množiny musí mít stejný počet prvků (v případě nekonečných množin stejnou mohutnost).
- Izomorfismus musí zachovávat všechny vztahy, tj. relace - pokud jsou v původní množině nějaké prvky v nějakém vztahu, musí být v nové množině také v odpovídajícím vztahu a naopak.
Definice pro uspořádané množiny
editovatUvažujme o množinách , které mají uspořádání . Izomorfismus v tomto případě znamená, že pokud je , pak musí být .
Dá se snadno ukázat, že v izomorfismu se musí nejmenší prvek zobrazit opět na nejmenší prvek, infimum na infimum, minimální prvek na minimální prvek…
Algebraická definice
editovatV algebře izomorfismem mezi dvěma algebrami rozumíme bijektivní homomorfismus, tedy zobrazení slučitelné se všemi operacemi na algebře, které je zároveň bijekcí (každému prvku z jedné množiny přiřadí právě jeden prvek z druhé).
Opět se jedná o zvláštní případ výše uvedené definice – uvědomme si, že operace není nic jiného, než konkrétní typ relace.
Dá se snadno ukázat, že v izomorfismu se musí neutrální prvek operace zobrazit na neutrální prvek jí odpovídající operace v druhé množině, obdobně například inverzní prvek opět na inverzní prvek.
Definice pro grafy
editovatV teorii grafů řekneme, že dva grafy jsou izomorfní, pokud .
Vztah k homomorfismům
editovatU algebraických struktur jsou izomorfismem právě bijektivní homomorfismy. To však neplatí [pozn 1] pro některé jiné struktury, např. relační struktury nebo topologické prostory (v nichž roli homomorfismu plní spojitá zobrazení). Obecně však platí, že zobrazení mezi dvěma strukturami je izomorfismem, právě když je bijektivním homomorfismem, jehož inverzní zobrazení je také homomorfismem.
Příklady
editovat- Grupa celých čísel s obvyklým sčítáním je izomorfní s množinou všech sudých čísel s obvyklým sčítáním pomocí zobrazení . Celá čísla s operací násobení tvoří monoid, tento monoid však není izomorfní s množinou sudých čísel s obvyklým násobením – například , ale . Pokud bychom ale na sudých číslech zavedli novou operaci tak, že , pak zobrazení již je izomorfismem. Například , takže platí a obecně , což je definice izomorfismu.
- Množina všech přirozených čísel a množina všech sudých čísel jsou izomorfní vzhledem k uspořádání podle velikosti podle funkce .
- Pro množiny všech přirozených čísel a všech celých čísel neexistuje izomorfismus - celá čísla mají prvky menší než 1 (0, -1, -2, ...), zatímco přirozená čísla ne.
- Algebry zbytkových tříd po dělení sedmi a zbytkových tříd po dělení devíti nejsou izomorfní – to vyplývá z faktu, že nemají stejný počet prvků, takže mezi nimi neexistuje žádné vzájemně jednoznačné zobrazení.
- Dvouprvková Booleova algebra s běžnými logickými operacemi konjunkce, disjunkce a negace je izomorfní s dvouprvkovou množinou s množinovými operacemi sjednocení, průnik a doplňku , kde .
V teorii kategorií
editovatPojem izomorfismus lze definovat i prostředky teorii kategorií, tj. pomocí objektů a morfismů. Objekty a jsou izomorfní, pokud mezi nimi existuje izomorfismus, tj. morfismus , k němuž existuje morfismus takový, že platí a .
V obvyklých kategoriích tato definice splývá s výše uvedenou, protože morfismem je inverzní zobrazení k a jejich složení je identickým zobrazením na , resp. .
Odkazy
editovatPoznámky
editovat- ↑ Protipříkladem je např. bijekce mezi neorientovanými grafy se dvěma vrcholy, z nichž první (vzor) nemá žádné hrany, ale druhý má jednu. To je bijektivní homomorfismus, ale ne izomorfismus.
Související články
editovatExterní odkazy
editovat- Slovníkové heslo izomorfismus ve Wikislovníku
- Izomorfismus v encyklopedii MathWorld (anglicky)