Morfismo

Morfismo
In matematica per morfismo si intende in generale una astrazione di un processo che trasforma una struttura astratta
in un'altra mantenendo alcune caratteristiche "strutturali" della prima. Va notato che non si esclude che un morfismo
trasformi una struttura in s stessa (v.o. endomorfismo e automorfismo).
Gli esempi pi tangibili e utili di morfismi sono quelli nei quali il processo si esprime con una funzione o
applicazione che trasforma un insieme sostegno di una prima struttura algebrica nell'insieme sostegno di una seconda
struttura o in una sua parte conservando determinate caratteristiche strutturali. Pi in concreto consideriamo una
struttura algebrica S caratterizzata da alcune operazioni finitarie (ad es. un campo numerico): una applicazione che
trasforma S in una struttura della stessa specie e mantiene la forma delle espressioni si dice omomorfismo tra le due
strutture.
Morfismi molto concreti sono quelli che riguardano strutture discrete tangibilmente costruibili: fondamentali tra
questi sono i morfismi tra grafi, applicazioni che mantengono le relazioni di adiacenza. Collegati a questi vi sono i
morfismi tra poliedri, casi particolari di morfismi tra configurazioni geometriche, strumenti di base per lo studio
delle propriet geometriche pi "sostanziali" (v. gruppo di simmetria). Generalizzando questi ultimi si incontrano i
morfismi che sussistono tra due strutture topologiche: questi sono le funzioni continue.
La nozione di morfismo risulta quindi centrale nella matematica e in particolare per l'algebra astratta e per la
geometria. Lo studio generale dei morfismi si colloca nella teoria delle categorie.

Trattazione formale
Nota: per visualizzare il concetto utile sempre ricollegarsi al caso particolare in cui gli oggetti sono insiemi
e i morfismi semplici funzioni
In una categoria, una classe di morfismi una delle due classi che contribuisce a definire tale categoria. Ogni
morfismo caratterizzato da un oggetto sorgente (il dominio) e un oggetto obiettivo (il codominio) appartenenti alla
classe degli oggetti (o meglio, definita una funzione che ad ogni morfismo fa corrispondere una coppia di oggetti).
La totalit dei morfismi da un oggetto A ad un oggetto B un insieme e si indica solitamente con Hom(A,B). Esso
deve soddisfare le propriet seguenti:
per ogni terna X, Y, Z appartenenti alla classe di oggetti esiste un'operazione binaria
, cio un'operazione, detta composizione di morfismi, che
dato un morfismo da X a Y e uno da Y e Z ne associa uno da X a Z. La composizione di f: X Y e g: Y Z
solitamente indicata con
.
l'operazione di composizione appena definita deve soddisfare la propriet associativa, cio

ogni qualvolta tali operazioni sono possibili.

Per ogni oggetto deve esistere un morfismo id detto identit "neutro" rispetto alla composizione, cio tale che per
ogni altro morfismo f, g componibile con esso risulti
,
.

Morfismo

Tipi di morfismi
Un morfismo f: A B si dice:

monomorfismo se fg1 = fg2 implica g1 = g2 per tutti i morfismi g1, g2 : X A, per ogni X.
epimorfismo se g1f = g2f implica g1 = g2 per tutti i morfismi g1, g2 : B X, per ogni X.
bimorfismo se f insieme un monomorfismo e un epimorfismo.
isomorfismo se invertibile, cio se esiste un morfismo g : B A con fg = idB e gf = idA.
endomorfismo se A = B.
automorfismo se f insieme un endomorfismo e un isomorfismo.

Voci correlate

Teoria delle categorie

Omomorfismo
Struttura algebrica
Algebra universale
Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

Fonti e autori delle voci

Fonti e autori delle voci

Morfismo Fonte: http://it.wikipedia.org/w/index.php?oldid=56868407 Autori: Alberto da Calvairate, Domenico Fiorenza, Hellis, Massimiliano Lincetto, Mauro742, Piddu, Pracchia-78,
Sandrobt, 8 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/