Sei sulla pagina 1di 3

Isomorfismo

1
Isomorfismo
In matematica, in particolare in algebra astratta, un isomorfismo (dal greco , isos, che significa uguale, e
, morph, che significa forma) un'applicazione biunivoca fra oggetti matematici tale che l'applicazione e la
sua inversa siano omomorfismi.
Intuitivamente, un isomorfismo pu essere definito con le parole del matematico Douglas Hofstadter:
Si parla di isomorfismo quando due strutture complesse si possono applicare l'una sull'altra, cio far corrispondere l'una
all'altra, in modo tale che per ogni parte di una delle strutture ci sia una parte corrispondente nell'altra struttura; in questo
contesto diciamo che due parti sono corrispondenti se hanno un ruolo simile nelle rispettive strutture.
(Douglas Hofstadter - Gdel, Escher, Bach: Un'Eterna Ghirlanda Brillante, p. 54)
Definizione
Si definisce isomorfismo un'applicazione biiettiva f tra due insiemi dotati di strutture della stessa specie tale che sia f
che la sua inversa f
1
siano omomorfismi, cio applicazioni che preservano le caratteristiche strutture.
Pi in generale, nella teoria delle categorie un isomorfismo un morfismo in una categoria per la
quale esista un inverso tale che:
e
Questa nozione ha portata molto vasta in quanto si possono prendere in considerazione molte specie di strutture e
moltissime strutture specifiche. Si possono inoltre considerare isomorfismi tra oggetti non costruiti su un insieme di
sostegno, ad esempio su due processi.
Se esiste un isomorfismo fra due strutture, le strutture si dicono isomorfe. Due strutture isomorfe si possono
considerare essenzialmente uguali. Ignorando cio le identit specifiche degli elementi degli insiemi sottostanti ad
esse e focalizzandosi solo su aspetti rilevanti delle strutture stesse, le due strutture si possono identificare.
Per ogni struttura assegnata ad un insieme, inoltre, esiste una definizione formale "naturale" di isomorfismo.
Insiemi ordinati
Se un oggetto consiste in un insieme X con un ordinamento e un altro oggetto consiste in un insieme Y con un
ordinamento , allora un isomorfismo da X a Y una funzione biiettiva f:X Y tale che
se u v.
Tale isomorfismo detto isomorfismo d'ordine o isotonia.
Operazioni binarie
Se su due insiemi X e Y sono definite le operazioni binarie arbitrarie e rispettivamente, allora un isomorfismo
da X a Y una funzione biiettiva f : X Y tale che
per ogni u, v in X. Quando gli oggetti in questione sono gruppi, tale isomorfismo detto isomorfismo di gruppi.
Analogamente, se gli oggetti sono campi, quindi dotati ciascuno di due operazioni, e la funzione biiettiva si
comporta come sopra per entrambe, detto isomorfismo di campi.
Nell'algebra universale si pu dare una definizione generale di isomorfismo che copre questi e molti altri casi. La
definizione di isomorfismo data nella teoria delle categorie ancora pi generale.
Isomorfismo
2
Grafi
Nella teoria dei grafi, un isomorfismo fra due grafi G e H un'applicazione biiettiva f dai vertici di G ai vertici di H
che preserva la "struttura relazionale" nel senso che c' uno spigolo o un arco dal vertice u al vertice v se e solo se c'
un analogo collegamento dal vertice f(u) al vertice f(v) in H.
Spazi vettoriali
Nell'algebra lineare un isomorfismo fra due spazi vettoriali una trasformazione biiettiva che sia anche lineare.
Spazi topologici
In topologia un isomorfismo tra spazi topologici una mappa biiettiva che preserva le topologie (manda aperti in
aperti), cio continua nei due versi; una tale funzione si dice un omeomorfismo.
Esempi
Di seguito si riportano alcuni esempi di strutture isomorfe:
Un cubo compatto composto da legno e un cubo compatto composto da piombo sono entrambi cubi compatti;
anche se il loro materiale differente, le loro strutture geometriche sono isomorfe.
Un normale mazzo di 52 carte da gioco con dorso verde e un normale mazzo di carte con dorso marrone; anche se
il colore del dorso differente, i mazzi sono strutturalmente isomorfi: le regole per un gioco con 52 carte o
l'andamento di una partita di un tale gioco sono indifferenti, indipendentemente dal mazzo che scegliamo.
La Torre dell'Orologio di Londra (che contiene il Big Ben) e un orologio da polso; anche se gli orologi variano
molto in dimensione, i loro meccanismi di calcolo del tempo sono isomorfi.
Un dado a sei facce e una borsa da cui viene scelto un numero da 1 a 6; anche se il metodo usato per ottenere un
numero differente, le loro capacit di generare successioni di numeri pseudocasuali sono isomorfe. Questo un
esempio di isomorfismo funzionale, senza l'assunzione di un isomorfismo geometrico.
Voci correlate
Automorfismo
Omomorfismo
Epimorfismo
Classe di isomorfismo
Monomorfismo
Morfismo
Endomorfismo
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica
Fonti e autori delle voci
3
Fonti e autori delle voci
Isomorfismo Fonte: http://it.wikipedia.org/w/index.php?oldid=63891944 Autori: Alberto da Calvairate, Alessandro1213, Banus, Buggia, Davide, Eumolpo, Hellis, Massimiliano Lincetto,
Moongateclimber, Onnisciente, Peppedilillo, Phantomas, Piddu, Pokipsy76, Pracchia-78, Sandrobt, Toobaz, Ylebru, ^musaz, 14 Modifiche anonime
Fonti, licenze e autori delle immagini
File:Math.svg Fonte: http://it.wikipedia.org/w/index.php?title=File:Math.svg Licenza: Public Domain Autori: Johannes Rssel (talk)
Licenza
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/