antiisomorfismo
En la teoría de categorías , una rama de las matemáticas , un antiisomorfismo (o antiisomorfismo ) entre los conjuntos estructurados A y B es un isomorfismo de A al opuesto de B (o equivalentemente del opuesto de A a B ). [1] Si existe un antiisomorfismo entre dos estructuras, se dice que son antiisomorfas.
Intuitivamente, decir que dos estructuras matemáticas son antiisomorfas es decir que son básicamente opuestos entre sí.
El concepto es particularmente útil en un entorno algebraico, como, por ejemplo, cuando se aplica a anillos .
Sea A la relación binaria (o gráfico dirigido ) que consta de los elementos {1,2,3} y la relación binaria definida como sigue:
Sea B el conjunto de relaciones binarias formado por los elementos { a , b , c } y la relación binaria definida como sigue:
Tenga en cuenta que el opuesto de B (denotado B op ) es el mismo conjunto de elementos con la relación binaria opuesta (es decir, invierta todos los arcos del gráfico dirigido):
