Diferencia entre revisiones de «Homomorfismo»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 3:
{{distinguir|homeomorfismo}}
En [[matemáticas]], un '''homomorfismo''', (o a veces simplemente [[morfismo]]) desde un objeto matemático a otro de la misma [[categoría (matemática)|categoría]], es una [[función matemática|función]] que es compatible con toda la [[estructura matemática|estructura]] relevante. La noción de homomorfismo se estudia abstractamente en el [[álgebra universal]], y ése es el punto de vista tomado en este artículo. Una noción más general de [[morfismo]] se estudia abstractamente en la [[teoría de las categorías]]. Por ejemplo, si un objeto consiste en un conjunto ''X'' con un [[orden parcial|orden]] < y el otro objeto consiste en un conjunto ''Y'' con orden u,
:u < v <math>\Longrightarrow \;</math> f( u ) < f( v ).
O, si en estos conjuntos hay definidas operaciones binarias + y *, respectivamente, entonces debe valer que: <math>f( u + v ) = f(u) * f(v)</math>. Ejemplos de morfismo son los [[homomorfismo de grupos|homomorfismos de grupos]], los [[homomorfismo de anillos|homomorfismos de anillo]], los [[operador]]es lineales, las [[continuos|funciones continuas]], etc.
| |||