Izomorfizmas – tai sąvoka, reiškianti, kad du objektai (pvz., grupės, grafikai, aibės su operacijomis) yra struktūriškai identiški, nors gali skirtis jų elementų pavadinimais ar konkrečiu pavidalu. Izomorfizmas nustato abipus vienareikššmę atitiktį tarp objektų, išsaugančią jų struktūrą (pvz., operacijas, ryšius).
Trumpas apibrėžimas:
Izomorfizmas – tai "tapatumas struktūros požiūriu". Jei du objektai yra izomorfiški, tai reiškia, kad jie veikia vienodai, net jei atrodo kitaip.
Pavyzdžiai:
1. Grupės izomorfizmas
- Pavyzdys: Sveikieji skaičiai Z (su sudėtimi) ir lyginiai sveikieji skaičiai 2Z (su sudėtimi).
- Izomorfizmas: \( f: \mathbb{Z} \to 2\mathbb{Z} \), kur \( f(n) = 2n \).
- Kodėl izomorfiški? Atvaizdis yra abipus vienareikšmis ir išsaugo sudėtį:
\( f(a + b) = 2(a + b) = 2a + 2b = f(a) + f(b) \).
2. Grafų izomorfizmas
- Pavyzdys: Du grafai, turintys tą pačią ryšių struktūrą, bet skirtingai išdėstytas viršūnes.
- Izomorfizmas: Viršūnių atitikimas, išsaugantis gretimumą.
- Kodėl izomorfiški? Nors grafikai atrodo skirtingai, jų ryšių tinklas yra toks pat (pvz., abu yra "kvadratai" su 4 viršūnėmis ir 4 briaunomis).
3. Algebrinių struktūrų pavyzdys
- Pavyzdys: Aibė \( \{1, -1\} \) su daugyba ir aibė \( \{0, 1\} \) su sudėtimi moduliu 2.
- Izomorfizmas: \( 1 \leftrightarrow 0 \), \( -1 \leftrightarrow 1 \).
- Kodėl izomorfiški? Abi grupės yra ciklinės eilės 2 – jos elgiasi identiškai, nors elementai skirtingi.
Esminė mintis:
Izomorfizmas leidžia nerūpėti konkretų elementų forma, o sutelkti dėmesį į abstrakčią struktūrą. Jei objektai izomorfiški, juos galima laikyti "tuo pačiu" nagrinėjant jų savybes.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.