¿Por qué son importantes los homeomorfismos?

Un homeomorfismo entre dos espacios topológicos es una función continua de uno a otro que tiene un inverso continuo. Si [matemáticas] X [/ matemáticas] es un espacio topológico y [matemáticas] Y [/ matemáticas] es otro, entonces una función continua [matemáticas] f: X \ a Y [/ matemáticas] es un homeomorfismo si existe otro continuo función [matemática] g: Y \ a X [/ matemática] (generalmente denotada [matemática] f ^ {- 1} [/ matemática]) para que las dos composiciones [matemática] g \ circ f: X \ a X [ / math] y [math] f \ circ g: Y \ to Y [/ math] son ​​cada una de las funciones de identidad.

En otras palabras, un homeomorfismo es un isomorfismo en la categoría de espacios topológicos.

La existencia de un isomorfismo entre dos objetos [matemática] X [/ matemática] e [matemática] Y [/ matemática] (sin importar en qué categoría estén ambos) es importante porque significa que [matemática] X [/ matemática] y [math] Y [/ math] son ​​esencialmente lo mismo. Sus elementos (puntos en el caso de espacios topológicos) pueden tener nombres diferentes, pero aparte de los nombres de sus elementos, [matemáticas] X [/ matemáticas] y [matemáticas] Y [/ matemáticas] son ​​la misma cosa.

Sin embargo, hay una situación en la que desea tratar los isomorfismos de una manera diferente. Ahí es cuando [matemáticas] X [/ matemáticas] es [matemáticas] Y [/ matemáticas]. Un isomorfismo [matemático] f: X \ a X [/ matemático] se llama automorfismo. Como siempre hay otro automorfismo [matemático] X \ a X [/ matemático], es decir, el automorfismo de identidad, hay más cosas en juego. La colección de todos los automorfismos [matemática] X \ a X [/ matemática] forma un grupo, y este grupo de automorfismos se puede utilizar para comprender el objeto [matemática] X [/ matemática].

Entonces, lo primero es que el homomorhismo y el homeomorfismo son dos cosas diferentes.

El homeomorfismo es un mapeo definido de un espacio topológico a otro espacio topológico de modo que el mapeo satisfaga lo siguiente

  • El mapeo es biyectivo.
  • el mapeo es bi-continuo (es decir, el mapeo y el inverso del mapeo son continuos).

¿Por qué son importantes los homeomorfismos?

Para nosotros, los siguientes diagramas matemáticos son diferentes.

Pero para un topólogo, estos son equivalentes y lo llaman equivalente topológico. Entonces, para los topólogos, estudian solo uno para comprender las propiedades de los tres a pesar de estudiar todos.

Aquí hay una respuesta menos técnica. Dado un espacio topológico (como un círculo, una esfera, una pelota o un toro), un homeomorfismo puede establecer rigurosamente una analogía realmente buena que puede ayudarlo a ver algo que antes no era obvio. Muestra que dos espacios son estructuralmente iguales, a pesar de los diferentes nombres, definiciones o procedimientos de construcción. Ser capaz de distinguir clones y ver diferencias es un requisito previo básico para comprender la estructura de los objetos. Por ejemplo, un donut es homeomorfo a una taza con asa, pero no homeomorfo a una pelota. En particular, no puedes transformar gradualmente una bola en una rosquilla sin hacer un agujero en ella (lo que cambiaría su estructura). Pero el mango de una taza ya tiene un agujero.

Fundamentalmente, ¿cómo podemos comenzar a entender un área si ni siquiera podemos decir cuándo dos cosas observadas son “moralmente” iguales? La clave está en griego.

homeo = igual / similar,

morph = cuerpo / forma.

Entonces, para comenzar a estudiar una variedad de objetos, primero debemos ser capaces de reconocer cuándo dos de ellos son iguales.

Ahora en la categoría Superior de espacios topológicos y los mapas continuos entre ellos, decimos que dos espacios son moralmente iguales <=> hay un homeomorfismo entre ellos.

Entonces, los homeomorfismos son importantes ya que son la base sobre la cual podemos comenzar a construir una teoría de los espacios topológicos.