Ir al contenido

Homeomorfismo

Desde Chavacano de Zamboanga Wikipedia - El Libre Enciclopedia
Un frecuentemente repetio matematico chiste es que hinde puede el maga topologo distingui entre un taza de cafe y un donut, ya que since un suficientemente flexible donut reformable a un taza de cafe creando con un hoyuelo y progresivamente ampliando conele, mientras preservando con el agujero del donut na el asa del taza. Ta ilustra este que homeomorfo un taza de cafe y un donut (toro).

Na el matematico campo del topologia, un homeomorfismo (de maga griego raiz significando "(de) similar forma", nombrao por si Henri Poincaré), tambien conocio como un topologico isomorfismo o bicontinuo funcion, es un biyectivo y continuo funcion entre maga topologico espacio que ta tene con un continuo inverso funcion. El maga homeomorfismo son el maga isomorfismo na el categoria de maga topologico espacio, esto es, son ellos el maga mapa que ta preserva con todo el maga topologico propiedad de algun espacio. Homeomorfo dos maga espacio con un homeomorfismo entre ellos, e identico desde un topologico punto de vista.

A maga muy grande rasgo, un topologico espacio es un geometrico objeto, y el homeomorfismo es un continuo deformacion del objeto a un nuevo forma. Ansina, homeomorfo un cuadrao y un circulo, pero hinde homeomorfo un esfera y un toro. Hinde homeomorfo algun maga continuo deformacion, como el deformacion de un linea a un punto. Algun maga homeomorfismo hinde continuo deformacion, como el homeomorfismo entre un nudo de trebol y un circulo. Un homeomorfismo que es un continuo deformacion es un homotopia.

Definicion

[revisa | revisa codigo]

Un funcion entre dos maga topologico espacio es un homeomorfismo si ta tene con el maga siguiente propiedad:

Tiene vez llamao un homeomorfismo un bicontinuo funcion. Si ta existi tal funcion, homeomorfo y . Un autohomeomorfismo es un homeomorfismo de un topologico espacio a si mismo. Queda "homeomorfo" es un relacion de equivalencia na maga topologico espacio. Denominao el de suyo maga clase de equivalencia como maga clase de homeomorfismo.

Esencial el tercer requisito, que continuo . Considera por ejemplo con el funcion (el goniometrico circunferencia na Plantilla:Tmath) definio por Biyectivo y continuo este funcion, pero hinde un homeomorfismo ( compacto pero hinde). Hinde continuo el funcion al punto porque masquen ta mapea con a tambien ta inclui cualquier entorno de este punto con maga punto cercanamente mapeao por este funcion pero ta yace fuera del entorno el maga mapeao punto a maga intermedio numero.

Maga homeomorfismo el maga isomorfismo na el categoria de maga topologico espacio. Como tal,, el composicion de dos maga homeomorfismo es ansina mismo un homeomorfismo, y ta forma el conjunto de todo el maga autohomeomorfismo con un grupo, llamao el grupo de maga homeomorfismo de X, na manada situacion denotao como Puede este grupo recibi con un topologia, como el compacto-abierto topologia, que bajo cuanto asuncion ta transforma conele na un topologico grupo.

Para algun maga proposito, demasiao grande el grupo de maga homeomorfismo, pero por medio al relacion de equivalencia de isotopia, reducible este grupo al grupo de maga clase de isotopia.

Similarmente, como usual na el teoria de maga categoria, para dos maga homeomorfo espacio, el espacio de maga homeomorfismo between them, es un torsor para el mago grupo de maga homeomorfismo y y, con un especifico homeomorfismo entre y identificao todo el tres maga conjunto.Plantilla:Fix/category[clarification needed]

Maga ejemplo

[revisa | revisa codigo]
Homeomorfo un espesao nudo de trebol a un solido toro, pero hinde isotopico na Plantilla:Tmath Maga continuo mapeo hinde firmi realizable como maga deformacion.
  • Homeomorfo el abierto intervalo al maga real numero Plantilla:Tmath para cualquier (Na este caso, ta dale con un bicontinuo mapeo hacia adelante, mientras ta dale maga escalao y traslao version del maga funcion tan o arg tanh con otro maga mapeo).
  • Homeomorfo el 2-disco unidad y el cuadrao unidad in Plantilla:Tmath; ya que deformable el disco unidad na el cuadrao unidad. Un ejemplo de un bicontinuo mapeo del cuadrao al disco es, na maga polar coordenada,
  • Homeomorfo el grafo de un diferenciable funcion al dominio del funcion.
  • Un diferenciable parametrizacion de un curva es un homeomorfismo entre el dominio del parametrizacion y el curva..
  • Un carta de un variedad es un homeomorfismo entre un abierto subconjunto del variedad y un abierto subconjunto de un euclideo espacio.
  • El estereografico proyeccion es un homeomorfismo entre el esfera unidad na Plantilla:Tmath, con un solo punto quitao, y el conjunto de todo el maga punto na Plantilla:Tmath (un bidimensional espacio).
  • Si un topologico grupo, el de suyo mapa de inversion es un homeomorfismo. Ademas, para cualquier el izquierda traslacion el derecha traslacion y el interior automorfismo son maga homeomorfismo.

Maga contraejemplo

[revisa | revisa codigo]
  • Hinde homeomorfo Plantilla:Tmath ni Plantilla:Tmath para mn.
  • Hinde homeomorfo el euclideo real recta al circulo unidad como un subespacio de Plantilla:Tmath, ya que compacto el circulo unidad como un subespacio de euclideo Plantilla:Tmath pero hinde compacto el real recta.
  • Hinde homeomorfo el maga unidimensional intervalo y porque compacto el uno mientras hinde el otro.

Maga propiedad

[revisa | revisa codigo]

Informal discusion

[revisa | revisa codigo]

Ta requeri el intuitivo criterio de estira, dobla, corta y pega con un cierto cantidad de practica para aplica correctamente (hinde necesariamente obvio del anterior descripcion que impermisible deforma con un segmento a un punto, por ejemplo). Ansina hay que tene na cuenta que importante el formal definicion mas arriba. Na este caso, por ejemplo, ta posee el segmento con un infinidad de maga punto, y ansina imposible pone conele na un biyeccion con un conjunto que ta contene con solo un finito cantidad de maga punto, incluyendo con un solo punto.

Na manada situacion, ta lleva este caracterizacion de un homeomorfismo a un confusion con el concepto de homotopia. Definio el segundo como un continuo deformacion, pero de un funcion a otro, hinde de un espacio a otro. Na el caso de un homeomorfismo, envisiona con un continuo deformacion es un mental herramienta para rastrea con el maga punto na espacio X y el de ellos maga correspondiente maga punto na espacio Y: lang hay que segui con ellos mientras que ta deforma X. Na el caso de homotopia, lo esencial es el continuo deformacion del uno mapa al otro, y ademas menos restrictivo, ya que hinde necesario que inyectivo o sobreyectivo ningun mapa involucrao. Ta lleva gayot el homotopia a un relacion na maga espacio, el equivalencia de homotopia.

Hay un nombre para el tipo de deformacion involucrao na el visualizacion de un homeomorfismo. Es —excepto cuando necesario el corta y pega— un isotopia entre el mapa identidad na X y el homeomorfismo de X a Y.

Mira tambien

[revisa | revisa codigo]