You are on page 1of 4

Isomorfismo El concepto matemático de isomorfismo (del griego isomorfos: Igual forma) 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. Definición formal Se puede definir concisamente como: un isomorfismo es un homomorfismo biyectivo tal que su inversa es también homomorfismo.1 Historia y concepto 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 los isomorfismos. Ejemplos de isomorfismos Por ejemplo, si X es un número real positivo con el producto e Y es un número real con la suma, el logaritmo ln:X→Y es un isomorfismo, porque ln(ab) = ln(a) + ln(b) 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. Características del isomorfismo

eficiencia debe interpretarse como crecimiento del número de pasos inferior a O(en). cualquier par de vértices u y v de G son adyacentes si y solo si lo son sus imágenes. Los isomorfismos de una estructura consigo misma se denominan automorfismos. Este problema admite un ataque por fuerza bruta que exigiría comprobar si las n! biyecciones posibles preservan la adyacencia. un isomorfismo entre dos grafos G y H es una biyección f entre los conjuntos de sus vértices que preserva la relación de adyacencia. . inverso tanto por la derecha como por la izquierda. Pueden no ser los morfismos biyectivos. En ciencias sociales.El descubrimiento de un isomorfismo entre dos estructuras significa esencialmente que el estudio de cada una puede reducirse al de la otra. En este contexto. cuando se trata de definir la palabra "sistema". como ya ocurre en el caso de los espacios topológicos. A pesar de su diferente aspecto. al menos para el caso general. pero no se conoce un algoritmo eficiente. los dos grafos que se muestran a continuación son isomorfos: Un isomorfismo Grafo G Grafo H entre G y H f(a) = 1 f(b) = 6 f(c) = 8 f(d) = 3 f(g) = 5 f(h) = 2 f(i) = 4 f(j) = 7 Dos grafos con matrices de adyacencia respectivas A y B serán isomorfos si y solo si existe una matriz permutación P tal que B = P A Pt. en una categoría arbitraria. Isomorfismo de grafos En teoría de grafos. 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. Lo es igualmente la imitación o copia de una estructura tribal en un hábitat con estructura urbana. aquel sobre los que está hecha la comparación. los isomorfismos se definen por ser los morfismos f:X→Y que admiten un morfismo inverso h:Y→X. lo que nos da dos puntos de vista diferentes sobre cada cuestión y suele ser esencial en su adecuada comprensión. Es decir.1 Problema del isomorfismo de grafos La determinación de si dos grafos con el mismo número de vértices n y aristas son isomorfos o no se conoce como el problema del isomorfismo de grafos. 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. en H. f(u) y f(v).2 En general.

..El problema del isomorfismo de grafos presenta una curiosidad en teoría de complejidad computacional al ser uno de los pocos problemas citados por Garey y Johnson en 1979 pertenecientes a NP de los que se desconoce si es resoluble en tiempo polinómico o si es NP-completo (actualmente está en revisión la demostración de que el problema está en P). i = 1. 5 Los grafos G1 y G2 son isomorfos si y solo si para alguna ordenación de vértices y lados sus matrices de incidencia son iguales. . 2 Ejemplo: Sean los siguientes grafos G1 y G2 Un isomorfismo para los grafos anteriores G1 y G2 está definido por: f (a) = A f (b) = B f (c) = C f (d) = D f (e) = E y g(Xi) = Yi. Veamos las matrices de incidencia de los grafos anteriores: Ejercicios: Verificar si los siguientes pares de grafos son isomorfos. ..

2. no son isomorfos. El número de aristas. Si en alguna de esas cantidades difieren 2 grafos simples. f(d) = 4 que conserva la adyacencia. El número de v´ artices. o sea. Los grafos G y G ‘ son isomorfos pues existe la biyección f: V  V ‘ definida por f(a) = 2. que se mantienen las adyacencias. f(b) = 1. y son matemáticamente iguales. El grado de los v´ vértices. 3. 1.a) b) Para mostrar que 2 grafos no son isomorfos podemos mostrar que sus invariantes propiedad que los grafos simples deben cumplir) no son iguales. caminos y ciclos. EJEMPLO G y G´ se denominan isomorfos. solo varia la apariencia. f(c) = 3. estructura. .