Una relación formal entre dos modelos en la que existe un mapeo biyectivo entre sus elementos y relaciones que preserva la estructura de conexiones y operaciones; cuando hay isomorfismo, las propiedades e inferencias formales válidas en un modelo corresponden a propiedades formalmente equivalentes en el otro, independientemente de etiquetas ontológicas distintas.

Principio

El isomorfismo garantiza la equivalencia estructural: existe una biyección f tal que para toda relación u operación R en el modelo A, R se cumple de elementos en A exactamente cuando la relación correspondiente R' se cumple de f(elementos) en el modelo B, permitiendo el traslado de resultados formales y dejando la interpretación semántica sujeta a las asignaciones de dominio.

Demostración

Escenario ilustrativo — Situación: Dos investigadoras representan agentes interactuantes usando ontologías distintas (nodos etiquetados de forma diferente). Reconocimiento: Construyen una biyección entre nodos y aristas que preserva adyacencia y reglas de interacción. Acción: Un teorema sobre la propagación de una propiedad en el modelo A se traduce mediante el mapeo al modelo B y se prueba. Consecuencia: Porque el mapeo preserva la estructura, la predicción formal se cumple en B bajo las condiciones mapeadas; no obstante, la interpretación a nivel de dominio (qué representan los nodos) sigue siendo un paso separado.

Aplicación incorrecta

Confundir isomorfismo formal con identidad ontológica — p. ej., afirmar que dos teorías describen las mismas entidades reales porque sus modelos son isomorfos; el error es tratar la equivalencia estructural como evidencia de equivalencia referencial o metafísica sin corroboración independiente.

Consecuencia

El isomorfismo de modelos facilita el traslado formal, la unificación de procedimientos de razonamiento y la detección de equivalencias profundas entre representaciones; no resuelve por sí mismo las cuestiones interpretativas sobre qué representan los elementos modelados.

Inversión

Mapeos aproximados (homomorfismos, isomorfismos parciales) debilitan las garantías: las propiedades preservadas pueden ser unidireccionales o limitadas. En distintas escalas o con restricciones adicionales, un isomorfismo en la formalización abstracta puede dejar de sostenerse cuando se introducen parámetros específicos del dominio.

Límite

Claramente dentro: un mapeo biyectivo que preserva relaciones entre dos modelos formales. Caso límite: un homomorfismo que preserva estructura en un sentido pero no es biyectivo. Claramente fuera: analogía informal o similitud sin mapeo formal.

Tensión semántica

Equivalencia formal ↔ Compromiso ontológico — la igualdad estructural facilita el traslado matemático y deja abierta la cuestión de si los modelos implican la misma interpretación de entidades o procesos.

Síntesis

El isomorfismo de modelo identifica la igualdad formal de estructura: legitima transferir conclusiones formales entre representaciones con etiquetas distintas, pero exige un paso explícito separado para vincular los resultados estructurales con la interpretación a nivel del dominio.