Morfisme: diferència entre les revisions
Contingut suprimit Contingut afegit
Cap resum de modificació |
Cap resum de modificació |
||
Línia 11:
*un [[epimorfisme]] és un morfisme <math>f:A \to B\,</math> tal que per a tot parella de morfismes del tipus <math>g,h:B \to C\,</math>, si <math>g\circ f=h\circ f\,</math>, llavors ha de ser <math>g=h\,</math>.
*un [[monomorfisme]] és un morfisme <math>f:A \to B\,</math> tal que per a tot parella de morfismes del tipus <math>g,h:C \to A\,</math>, si <math>g\circ f=h\circ f\,</math>, llavors ha de ser <math>g=h\,</math>.
Direm que una aplicació lineal <math>f\,</math> és un epimorfisme si <math>f\,</math> és exhaustiva; que és un
monomorfisme si <math>f\,</math> és injectiva; i que és un isomorfisme si <math>f\,</math> és bijectiva. A més, si <math>f\,</math> és un
endomorfisme bijectiu, aleshores direm que <math>f\,</math> és un automorfisme.
Exemple: la identitat d'un conjunt és sempre un morfisme, que respecta l'estructura considerada. I és un automorfisme.
| |||