Vtgyjfy

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

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 se 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 Hom(X,Y)×Hom(Y,Z)→Hom(X,Z){displaystyle Hom(X,Y)times Hom(Y,Z)to Hom(X,Z)}, 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 g∘f{displaystyle gcirc f}.


• l'operazione di composizione appena definita deve soddisfare la proprietà associativa, cioè

h∘(g∘f)=(h∘g)∘f{displaystyle hcirc (gcirc f)=(hcirc g)circ f}

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

f∘id=f{displaystyle fcirc id=f},

id∘g=g{displaystyle idcirc g=g}.

Tipi di morfismi |

Un morfismo f:A→B{displaystyle fcolon Ato B} si dice:

• 
  omomorfismo se A{displaystyle A} e B{displaystyle B} sono strutture algebriche.


• 
  monomorfismo se è iniettivo, cioè se f(g1)=f(g2){displaystyle f(g_{1})=f(g_{2})} implica g1=g2{displaystyle g_{1}=g_{2}} per tutti i morfismi g1,g2:X→A, ∀X{displaystyle g_{1},g_{2}colon Xto A, forall X}.


• 
  epimorfismo se è suriettivo, cioè se g1(f)=g2(f){displaystyle g_{1}(f)=g_{2}(f)} implica g1=g2{displaystyle g_{1}=g_{2}} per tutti i morfismi g1,g2:B→X, ∀X{displaystyle g_{1},g_{2}colon Bto X, forall X}.


• 
  bimorfismo se è biiettivo, cioè se f{displaystyle f} è contemporaneamente monomorfismo ed epimorfismo.


• 
  isomorfismo se è invertibile, cioè se esiste un morfismo g:B→A{displaystyle gcolon Bto A} con f(g)=idB{displaystyle f(g)=operatorname {id} _{B}} e g(f)=idA{displaystyle g(f)=operatorname {id} _{A}}.


• 
  endomorfismo se A=B{displaystyle A=B}.


• 
  automorfismo se f{displaystyle f} è contemporaneamente endomorfismo e isomorfismo.


• 
  omeomorfismo se A{displaystyle A} e B{displaystyle B} sono due spazi topologici, f{displaystyle f} è un isomorfismo e sia f{displaystyle f} che f−1{displaystyle f^{-1}} sono continue.


• 
  diffeomorfismo se A{displaystyle A} e B{displaystyle B} sono varietà differenziabili, f{displaystyle f} è un isomorfismo e sia f{displaystyle f} che f−1{displaystyle f^{-1}} sono differenziabili.

Voci correlate |

• Teoria delle categorie


• Struttura algebrica


• Algebra universale

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica