Isomorfismo: Diferenzas entre revisións

Contido eliminado Contido engadido
m Bot: Arranxos varios
Woden (conversa | contribucións)
Etiquetas: edición desde un dispositivo móbil Edición feita a través do sitio móbil
Liña 2:
 
== Definición formal ==
Pódese definir concisamente como un [[homomorfismo]] [[bixectivo]] tal que a súa inversa é tamén un [[homomorfismo]].<ref>[http://mathworld.wolfram.com/Isomorphism.html Mathworld]</ref> isto es Isto é:<ref name="Definición formal">{{cita publicación periódica|apelidos=Casanovas|nome=E.|título=Teoría axiomática de conxuntos|revista=Universidade de Barcelona|data=1998|páxinas=5, 6, 7|url=http://www.ub.edu/modeltheory/documentos/T.C.pdf|dataacceso=23 de abril de 2013}}</ref><ref name="propiedades e definición">{{cita libro|apelidos=Hrbecek|nome=Karel|título=Introdution to Set Theory|data=1999|editorial=Marcel Dekker, Inc|páxinas=36,58|apelidos2=Jech|nome2=Thomas|lingua=en}}</ref>
{{Cita|Un '''''isomorfismo''''' entre dous conxuntos [[Relación de orde|ordenados]] <math style="vertical-align:-20%;">(P,\le)</math> e <math style="vertical-align:-20%;">(Q,\le')</math> é unha [[función bixectiva]] <math>\begin{array}{rrcl}h: P \to Q\\ \end{array} </math> tal que:<br>Para todo <math>p_1, p_2 \in P</math> se ten que <math style="vertical-align:-20%;">p_1 \le p_2</math> se e só se <math style="vertical-align:-20%;">h(p_1) \le' h(p_2)</math>.}}