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.
- Un tanque se llena en 3 horas, pero debido a una fuga, lleva 1 hora más llenarlo. ¿Cuánto tiempo llevará vaciar el tanque?
- ¿Cómo se representa la cantidad escalar como una cantidad vectorial?
- ¿Es posible ingresar a Oxford para la informática y las matemáticas sin una pasantía pero excelentes calificaciones?
- ¿Qué mecanismo se sigue al encontrar el número primo más grande y cuál es la importancia de encontrar dichos números?
- ¿Cómo es que cuando restas números siempre es menos en papel / calculadora?
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].