Isomorfismo

homomorfismo (o más generalmente un morfismo) que admite un inverso

En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.[1]​ El concepto matemático de isomorfismo pretende captar la idea de tener la misma estructura. Dos estructuras matemáticas entre las que existe una relación de isomorfismo se llaman isomorfas.

Fifth roots of unity
Rotations of a pentagon
El grupo de quintas raíces de la unidad bajo multiplicación es isomorfo al grupo de rotaciones del pentágono regular bajo composición.

El interés de los isomorfismos reside en el hecho de que dos objetos isomorfos tienen las mismas propiedades (excluyendo información adicional como la estructura o los nombres de los objetos). Así, las estructuras isomorfas no pueden distinguirse desde el punto de vista de la estructura únicamente, y pueden identificarse. En la jerga matemática, se dice que dos objetos son el mismo hasta un isomorfismo.

Un automorfismo es un isomorfismo de una estructura a sí misma. Un isomorfismo entre dos estructuras es un isomorfismo canónico (un mapa canónico que es un isomorfismo) si sólo hay un isomorfismo entre las dos estructuras (como es el caso de las soluciones de una propiedad universal), o si el isomorfismo es mucho más natural (en algún sentido) que otros isomorfismos. Por ejemplo, para todo número primo p, todos los campos con p elementos son canónicamente isomorfos, con un isomorfismo único. Los teoremas de isomorfismo proporcionan isomorfismos canónicos que no son únicos.

El término isomorfismo se utiliza principalmente para estructura algebraica. En este caso, los mapeos se llaman homomorfismos, y un homomorfismo es un isomorfismo si y sólo si es biyectivo.

En varias áreas de las matemáticas, los isomorfismos han recibido nombres especializados, dependiendo del tipo de estructura considerada. Por ejemplo:

La Teoría de categorías, que puede verse como una formalización del concepto de mapeo entre estructuras, proporciona un lenguaje que puede utilizarse para unificar el enfoque de estos diferentes aspectos de la idea básica.

Definición formal editar

Se puede definir concisamente como un homomorfismo biyectivo tal que su inversa es también homomorfismo.[2]​ Esto es:[3][4]

Un isomorfismo entre dos conjuntos ordenados   y   es una función biyectiva   tal que:
Para todo   se tiene que   si y solo si  .

Si existe un isomorfismo entre   y  , entonces   y   se llaman isomorfos y la biyección   se conoce como isomorfismo entre   y  . Además,   y   se llaman similares entre sí.[3][5]

Si   se dice que el isomorfismo es un automorfismo. Se puede demostrar que dado un conjunto bien ordenado el único automorfismo posible es la función identidad.[4]

Propiedades en los órdenes totales editar

Los isomorfismos en conjuntos linealmente ordenados tienen una Relación de equivalencia, es decir, cumplen la reflexividad, la simetría y la transitividad, esto es:[4]

Sean  ,   y   conjuntos linealmente ordenados, luego:

  •   es isomorfo a  .
  • Si   es isomorfo a  , entonces   es isomorfo a  .
  • Si   es isomorfo a   y a su vez,   es isomorfo a   entonces   es isomorfo a  .

Historia y concepto editar

En el siglo XX se ha precisado en matemáticas la noción intuitiva de estructura, siguiendo la concepción de Aristóteles de la materia y la forma, según la cual cada estructura es un conjunto X dotado de ciertas operaciones (como la suma o el producto) o de ciertas relaciones (como una ordenación) o ciertos subconjuntos (como en el caso de la topología), etc. En este caso, el conjunto X es la materia y las operaciones, relaciones, etc., en él definidas, son la forma.

El descubrimiento de Platón de que la forma es lo que importa se recoge en matemáticas con el concepto de isomorfismo. Una aplicación f:X→Y entre dos conjuntos dotados del mismo tipo de estructura es un isomorfismo cuando cada elemento de Y proviene de un único elemento de X y f transforma las operaciones, relaciones, etc., que hay en X en las que hay en Y. Cuando entre dos estructuras hay un isomorfismo, ambas son indistinguibles, tienen las mismas propiedades, y cualquier enunciado es simultáneamente cierto o falso. Por eso en matemáticas las estructuras deben clasificarse salvo isomorfismos.

En el siglo XX el biólogo y filósofo de la ciencia austriaco, Ludwig von Bertalanffy, recuperó este concepto como elemento en la formulación de su Teoría general de sistemas. Para este autor existían una serie de coincidencias en la evolución de los procesos que se llevan a cabo en diferentes campos del conocimiento (la biología, la demografía, la física, la sociedad, etc.) a las que denominó isomorfismo.[6]​ Resultaba importante para el planteamiento de la nueva teoría, debido a que «el isomorfismo hallado entre diferentes terrenos se funda en la existencia de principios generales de sistemas, de una teoría general de los sistemas más o menos bien desarrollada».[7]

Isomorfismo parcial editar

Está definido por:[4]

Un isomorfismo parcial entre dos conjuntos ordenados   y   es una función biyectiva   con   tal que para todo   se tiene que:   si y solo si  .

Ejemplos de isomorfismos editar

Por ejemplo, si X es el conjunto de los números reales positivos con el producto e Y es el conjunto de los números reales con la suma, la función logarítmica ln:X→Y es un isomorfismo, porque   y cada número real es el logaritmo de un único número real positivo. Esto significa que cada enunciado sobre el producto de números reales positivos tiene (sin más que sustituir cada número por su logaritmo) un enunciado equivalente en términos de la suma de números reales, que suele ser más simple.

Otro ejemplo: si en el espacio E elegimos una unidad de longitud y tres ejes mutuamente perpendiculares que concurren en un punto, entonces a cada punto del espacio podemos asociarles sus tres coordenadas cartesianas, obteniendo así una aplicación f:E→R³ en el conjunto de las sucesiones de tres números reales. Cuando en E consideramos la distancia que define la unidad de longitud fijada y en R³ consideramos la distancia que define la raíz cuadrada de la suma de los cuadrados de las diferencias, f es un isomorfismo. Este descubrimiento fundamental de Descartes permite enunciar cualquier problema de la geometría del espacio en términos de sucesiones de tres números reales, y este método de abordar los problemas geométricos es el núcleo de la llamada geometría analítica.[cita requerida]

Características del isomorfismo editar

El descubrimiento de un isomorfismo entre dos estructuras significa esencialmente que el estudio de cada una puede reducirse al de la otra, lo que nos da dos puntos de vista diferentes sobre cada cuestión y suele ser esencial en su adecuada comprensión. También significa una analogía como una forma de inferencia lógica basada en la asunción de que dos cosas son la misma en algunos aspectos, aquellos sobre los que está hecha la comparación. En ciencias sociales, un isomorfismo consiste en la aplicación de una ley análoga por no existir una específica o también la comparación de un sistema biológico con un sistema social, cuando se trata de definir la palabra "sistema". Lo es igualmente la imitación o copia de una estructura tribal en un hábitat con estructura urbana.

Vista teórica de las categorías editar

En teoría de categorías, dada una categoría C, un isomorfismo es un morfismo   que tiene un morfismo inverso   es decir,   Por ejemplo, una aplicación lineal biyectiva es un isomorfismo entre espacios vectoriales, y una función continua biyectiva cuya inversa también es continua es un isomorfismo entre espacios topológicos, comúnmente llamado homeomorfismo.

Dos categorías C y D son isomorfismo si existen funtores   que son mutuamente inversos, es decir,   (el funtor identidad en D) y   (el funtor identidad en C).

Isomorfismo vs. morfismo biyectivo editar

En una «categoría concreta» (grosso modo, una categoría cuyos objetos son conjuntos (quizás con estructura extra) y cuyos morfismos son funciones preservadoras de estructura), como la categoría de espacios topológicos o categorías de objetos algebraicos (como la categoría de grupos, la categoría de anillos y la categoría de módulos), un isomorfismo debe ser biyectivo sobre los conjuntos subyacentes. En las categorías algebraicas (en concreto, las categorías de variedades en el sentido del álgebra universal), un isomorfismo es lo mismo que un homomorfismo que es biyectivo en los conjuntos subyacentes. Sin embargo, hay categorías concretas en las que los morfismos biyectivos no son necesariamente isomorfismos (como la categoría de espacios topológicos).

Los morfismos editar

Los isomorfismos de una estructura consigo misma de manera biyectiva se denominan automorfismos.[8]

En general, en una categoría arbitraria, los isomorfismos se definen por ser los morfismos f:X→Y que admiten un morfismo inverso h:Y→X, inverso tanto por la derecha como por la izquierda. Pueden no ser los morfismos biyectivos, como ya ocurre en el caso de los espacios topológicos.

Ejemplos editar

Logaritmo y exponencial editar

Sea   el grupo multiplicativo de los números reales positivos, y sea   el grupo aditivo de los números reales.

La función logaritmo   satisface   para todo   por lo que es un homomorfismo de grupos. La función exponencial   satisface   para todo   por lo que también es un homomorfismo.

Las identidades   y   muestran que   y   son inversa la una de la otra. Como   es un homomorfismo que tiene una inversa que también es un homomorfismo,   es un isomorfismo de grupos.

La función   es un isomorfismo que traduce la multiplicación de números reales positivos en suma de números reales. Esta facilidad permite multiplicar números reales utilizando una regla graduada y una tabla de logaritmos, o utilizando una regla de cálculo con escala logarítmica.

Enteros del módulo 6 editar

Consideremos el grupo   los enteros de 0 a 5 con suma módulo 6. Consideremos también el grupo   los pares ordenados donde las coordenadas x pueden ser 0 o 1, y las coordenadas y pueden ser 0, 1 o 2, donde la suma en la coordenada x es módulo 2 y la suma en la coordenada y es módulo 3.

Estas estructuras son isomorfas bajo adición, bajo el siguiente esquema:

 
o en general  

Por ejemplo,   que se traduce en el otro sistema como  .

Aunque estos dos grupos "parecen" diferentes en el sentido de que los conjuntos contienen elementos diferentes, son de hecho isomorfos: sus estructuras son exactamente las mismas. Más en general, el producto directo de dos grupo cíclicos   y   es isomorfo a   si y sólo si m y n son coprimos, según el teorema chino del resto.

Aplicaciones editar

En álgebra, los isomorfismos se definen para todas las estructuras algebraicas. Algunas se estudian más específicamente; por ejemplo:

Así como los automorfismos de una estructura algebraica forman un grupo, los isomorfismos entre dos álgebras que comparten una estructura común forman un cúmulo. Dejar que un isomorfismo particular identifique las dos estructuras convierte este montón en un grupo.

En análisis matemático, la transformada de Laplace es un isomorfismo que transforma ecuaciones diferenciales difíciles en ecuaciones algebraicas más sencillas.

En teoría de grafos, un isomorfismo entre dos grafos G y H es un biyectivo mapa f de los vértices de G a los vértices de H que preserva la "estructura de arista" en el sentido de que hay una arista de vértice u a vértice v en G si y sólo si hay una arista de   a   en H. Véase isomorfismo de grafos.

En análisis matemático, un isomorfismo entre dos espacios de Hilbert es una biyección que preserva la suma, la multiplicación escalar y el producto interior.

En las primeras teorías del atomismo lógico, Bertrand Russell y Ludwig Wittgenstein teorizaron que la relación formal entre hechos y proposiciones verdaderas era isomórfica. Un ejemplo de esta línea de pensamiento puede encontrarse en la Introducción a la Filosofía Matemática de Russell.

En cibernética, el buen regulador o teorema de Conant-Ashby se afirma "Todo buen regulador de un sistema debe ser un modelo de ese sistema". Ya sea regulado o autorregulado, se requiere un isomorfismo entre el regulador y las partes procesadoras del sistema.

Referencias editar

  1. Awodey, Steve (2006). «Isomorphisms». Category theory. Oxford University Press. p. 11. ISBN 9780198568612. 
  2. Mathworld
  3. a b Casanovas, E. (1998). «Teoría axiomática de conjuntos». Universidad de Barcelona: 5, 6, 7. Consultado el 23 de abril de 2013. 
  4. a b c d Hrbecek, Karel; Jech, Thomas (1999). Introduction to Set Theory (en inglés). Marcel Dekker, Inc. pp. 36, 58. 
  5. Hernández Hernández, Fernando (1998). Teoría de conjuntos: Una introducción. Sociedad Matemática Mexicana. pp. 84,85. 
  6. Von Bertalanfffy, Ludwing (2009). Teoría General de los Sistemas. Fondo de Cultura Económica. p. 82-88. ISBN 978-968-16-0627-5. 
  7. Von Bertalanffy, Ludwing (2009). Teoría General de los Sistemas. Fondo de Cultura Económica. p. 86. 
  8. «Automorphism - from Wolfram MathWorld». Consultado el 2009. 

Bibliografía editar

Enlaces externos editar