Una aplicación biyectiva que preserva la estructura entre dos objetos matemáticos y cuyo inverso también preserva la estructura; identifica los objetos como iguales respecto de la estructura considerada.

Principio

Dos objetos se consideran indistinguibles para una teoría si existe un isomorfismo entre ellos; la preservación de la estructura y la invertibilidad son los criterios de equivalencia.

Demostración

Un isomorfismo lineal entre espacios vectoriales de dimensión finita: una aplicación lineal biyectiva f: V → W con inversa lineal; transporta exactamente bases, dimensión y relaciones lineales.

Aplicación incorrecta

Tratar objetos isomorfos como idénticos en todo contexto (por ejemplo, equiparar grupos isomorfos sin considerar una estructura topológica ambiente) o asumir la existencia de un isomorfismo canónico cuando solo hay no canónicos.

Consecuencia

Todos los invariantes estructurales (los expresables en el lenguaje de la estructura) se preservan exactamente y pueden transferirse; la clasificación se reduce a clases de isomorfismo.

Inversión

Una no-isomorfía puede ser un homomorfismo no biyectivo o una biyección que no preserva las operaciones; en cualquier caso se pierde la equivalencia estructural.

Límite

Requiere biyectividad y preservación de la estructura considerada; diferentes categorías imponen diferentes requisitos de preservación (un isomorfismo en una categoría puede no serlo en otra). No se exige ni se implica la igualdad de los conjuntos subyacentes.

Tensión semántica

'Igual' coloquial frente a 'isomorfo' técnico — isomorfismo afirma igualdad de estructura, no identidad literal; confusión frecuente entre isomorfismo y equivalencia de categorías (esta última más débil).

Síntesis

Un isomorfismo es la identificación invertible que preserva la estructura y certifica que dos objetos son el mismo objeto para la teoría determinada por la estructura dada.