Izomorfinis (angl. isomorphic) – tai matematikos ir informatikos terminas, reiškiantis, kad du objektai (pvz., grupės, grafai, struktūros) yra esminė prasme vienodi, nors išoriškai gali atrodyti skirtingai. Jie turi identišką struktūrą ir gali būti tarpusavyje suderinti vienas su vienu atvaizdžiu (izomorfizmu), išsaugančiu visus svarbius ryšius ar operacijas.
Trumpai:
Izomorfiški objektai – tai tie patys objektai, tik išreikšti skirtingais simboliais ar formomis.
Pavyzdžiai:
1. Grafų teorijoje:
Du grafai yra izomorfiški, jei juos galima „pervadinti“ viršūnes taip, kad būtų išlaikytos visos ryšių tarp viršūnių savybės.
Pavyzdys:
- Grafas A: trikampis (3 viršūnės, sujungtos poromis).
- Grafas B: tas pats trikampis, bet viršūnės pažymėtos skirtingai arba grafas nupieštas kita forma (pvz., su iškreiptomis linijomis).
Abu grafai yra izomorfiški – jie atspindi tą pačią struktūrą.
2. Algebroje (grupės):
Dvi grupės yra izomorfiškos, jei egzistuoja bijektyvus atvaizdis tarp jų elementų, išsaugantis grupės operaciją.
Pavyzdys:
- Grupė A: Sveikieji skaičiai ℤ su sudėtimi.
- Grupė B: Lyginiai sveikieji skaičiai su sudėtimi.
Atvaizdis \( f(n) = 2n \) nustato izomorfizmą tarp šių grupių – jos turi tą pačią algebrinę struktūrą.
3. Informatikoje (duomenų struktūros):
Du skirtingai realizuoti duomenų tipai gali būti izomorfiški, jei jie atspindi tą pačią logiką.
Pavyzdys:
- Dvejetainis medis gali būti izomorfiškas masyvui, jei masyvas užkoduotas kaip krūva (heap) ir atitinka medžio hierarchiją.
Esminė mintis: Izomorfizmas rodo, kad skirtingi objektai gali turėti identišką abstrakčią esmę. Tai leidžia pernešti žinias iš vienos srities į kitą, kai struktūra išlieka ta pati.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.