Izomorfismus

(přesměrováno z Izomorfní)
Další významy jsou uvedeny na stránce Izomorfismus (rozcestník).

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

editovat

Zde uvedeme definice pro jednotlivé obory matematiky a vztahy mezi nimi.

Definice z teorie množin

editovat

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

editovat

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

editovat

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

editovat

V 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

editovat
Podrobnější informace naleznete v článku Izomorfismus (graf).

V teorii grafů řekneme, že dva grafy jsou izomorfní, pokud  .

Vztah k homomorfismům

editovat

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

editovat

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

Poznámky

editovat
  1. 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

editovat

Externí odkazy

editovat