Izomorfio
El Vikipedio
- Pri uzado de la vorto en sociologio, vidu artikolon izomorfio (sociologio).
En matematiko, izomorfio (greka lingvo:_isos_ "egala", kaj _morphe_ "formo") estas surĵeta mapo f tia ke ambaŭ f kaj ĝia inverso f −1 estas homomorfioj, kio estas strukturo-konfitanta surĵeto.
Neformale, izomorfio estas speco de surĵeto inter objektoj, kiu montras interrilaton inter du propraĵoj aŭ operacioj. Se tie ekzistas izomorfio inter du strukturoj, oni namas la du strukturojn izomorfiajn. En certa senco, izomorfiaj aroj estas strukture identaj, se oni ignoras pli fajne grenitajn diferencojn kiuj povas ekesti.
Enhavo |
[redaktu] Celo
Izomorfioj estas ofte uzataj por malpligrandigi laboron pri studado de matematikaj objektoj. Se bona izomorfio povas troviĝi de relative nekonata parto de matematiko en iun pli bone studitan parton de matematiko, kie multaj teoremoj estas jam pruvitaj, kaj multaj manieroj estas jam havebla por trovi respondojn, do la funkcio povas esti invetita por surĵeti problemojn el la unua parto en la duan.
[redaktu] Abstraktaj ekzemploj
[redaktu] Rilato-konfitanta izomorfio
Ekzemple, se unu objekto konsistas el aro X kun ordigo ≤ kaj la alia objekto konsistas de aro Y kun ordigo 
tiam izomorfio de X al Y estas surĵeta funkcio f : X → Y tia ke
se kaj nur se u ≤ v.
Tia izomorfio estas nomata kiel orda izomorfio.
[redaktu] Vidu ankaŭ jenon:
- Aŭtomorfio
- Homomorfio
- Strukturkonservanta transformo
- Izomorfia klaso
- Izometrio
| <!-- --> | Ĉi tiu artikolo enhavas dume forkomentitajn partojn de la teksto ĉar ili ankoraŭ ne estas sufiĉe bonaj. Vi povas redakti la paĝon kaj plibonigi kaj malkomenti la forkomentitajn partojn. |
