Morfisme

De Viquipèdia
Dreceres ràpides: navegació, cerca
No s'ha de confondre amb homeomorfisme.

En matemàtiques, un morfisme o homomorfisme és, en general, una aplicació entre dos conjunts dotats d'una mateixa estructura algebraica, que és respectada per l'aplicació.

Aquesta noció és un dels conceptes bàsics de la teoria de les categories, on se li dóna una definició formal molt més àmplia. Així, un morfisme no és obligatòriament una funció, és simplement una relació entre dues classes que poden no ser conjunts.

Els morfismes es poden classificar en:

  • un endomorfisme és un morfisme d'una estructura en ella mateixa.
  • un isomorfisme és un morfisme f\, entre dos conjunts dotats de la mateixa mena d'estructura, tal que existeix un morfisme g\, en el sentit invers, tal que f\circ g\, i g\circ f\, són la identitat de les estructures.
  • un automorfisme és un isomorfisme d'una estructura en ella mateixa.
  • un epimorfisme és un morfisme f:A \to B\, tal que per a tot parella de morfismes del tipus g,h:B \to C\,, si g\circ f=h\circ f\,, llavors ha de ser g=h\,.
  • un monomorfisme és un morfisme f:A \to B\, tal que per a tot parella de morfismes del tipus g,h:C \to A\,, si f\circ g=f\circ h\,, llavors ha de ser g=h\,.

Direm que una aplicació lineal f\, és un epimorfisme si f\, és exhaustiva; que és un monomorfisme si f\, és injectiva; i que és un isomorfisme si f\, és bijectiva. A més, si f\, és un endomorfisme bijectiu, aleshores direm que f\, és un automorfisme.

Exemple: la identitat d'un conjunt és sempre un morfisme, que respecta l'estructura considerada. I és un automorfisme.


Cas dels grups[modifica | modifica el codi]

En el cas que els dos conjunts siguin dos grups, per tal que una certa aplicació

f:(A,*) \to (B,\star)\,

sigui un morfisme ha de verificar que:

\forall x,y \in A, \ \ f(x*y)=f(x)\star f(y)\,

Cas dels anells[modifica | modifica el codi]

En el cas de dos anells (A,+,*)\, i (B,\bar{+},\star )\, amb elements neutres 0_A,1_A\,, per al conjunt A\,, i 0_B,1_B\,, per al conjunt B\,, una aplicació

f:A \to B\,

ha de verificar:

\forall a,b \in A, \ \ f(a+b)=f(a)\bar{+}f(b)\,

i

\forall a,b \in A, \ \ f(a*b)=f(a)\star f(b)\,

Si els anells considerats a més a més, són unitaris, serà necessari que es compleixi:

f(1_A)=1_B\,
.

Cal fer notar que un morfisme d'anells entre anells unitaris, pot no ser unitari.

Cas dels espais vectorials[modifica | modifica el codi]

En el cas de dos \mathbb K-espais vectorials (A,+,*)\, i (B,\bar{+},*)\, , un morfisme verifica:

f\, és un morfisme de grup per a (A,+)\, i (B,\bar{+})\,
\forall x\in A , \forall \lambda\in\mathbb{K}, \ \ f(\lambda *x ) = \lambda *f(x)\,

Que és equivalent a::

\forall x,y\in A, \forall \lambda \in\mathbb{K}, \ \ f(\lambda *x + y) = \lambda *f(x) + f(y) \,

O dit d'una altra forma, un morfisme d'espais vectorials, no és res més que una aplicació lineal.

Cas de conjunts ordenats[modifica | modifica el codi]

Un morfisme entre dos conjunts ordenats és una aplicació creixent (una aplicació que conserva l'ordre):

Si ( A, ⊑ ) i ( B, ≼ ) són conjunts ordenats i f és una funció de A en B, f és un morfisme si per a tot x i y de A tals que xy, f(x) ≼ f(y).

En la teoria dels ordres, es diu sovint funció monòtona a la funció creixent.

Conjunts isomorfs[modifica | modifica el codi]

Es diu que els conjunts A\, i B\, són isomorfs si existeix un isomorfisme de A\, en B\, .

Saber que dos conjunts són isomorfs té molt interès, ja que això permet traspassar resultats i propietats demostrades d'un a l'altre conjunt.

Exemple: El grup de Klein és isomorf a \mathbb Z/2\mathbb Z\times \mathbb Z/2\mathbb Z.

Aplicacions pràctiques[modifica | modifica el codi]

L'estudi dels morfismes té aplicacions particularment importants en la Física moderna i en particular, a la Mecànica quàntica