stringtranslate.com

Espacio cociente (topología)

Ilustración de la construcción de una esfera topológica como espacio cociente de un disco , pegando en un único punto los puntos (en azul) del límite del disco.

En topología y áreas relacionadas de las matemáticas , el espacio cociente de un espacio topológico bajo una relación de equivalencia dada es un nuevo espacio topológico construido dotando al conjunto cociente del espacio topológico original con la topología cociente , es decir, con la topología más fina que hace continua la función de proyección canónica (la función que mapea puntos a sus clases de equivalencia ). En otras palabras, un subconjunto de un espacio cociente es abierto si y solo si su preimagen bajo la función de proyección canónica es abierta en el espacio topológico original.

Intuitivamente hablando, los puntos de cada clase de equivalencia se identifican o se "pegan" para formar un nuevo espacio topológico. Por ejemplo, al identificar los puntos de una esfera que pertenecen al mismo diámetro, se obtiene el plano proyectivo como un espacio cociente.

Definición

Sea un espacio topológico , y sea una relación de equivalencia en El conjunto cociente es el conjunto de clases de equivalencia de elementos de La clase de equivalencia de se denota

La construcción de define una sobreyección canónica . Como se analiza a continuación, es una aplicación cociente, comúnmente llamada mapa cociente canónico o mapa de proyección canónica, asociada a

El espacio cociente bajo es el conjunto dotado de la topología cociente , cuyos conjuntos abiertos son aquellos subconjuntos cuya preimagen es abierta . En otras palabras, es abierto en la topología cociente en si y sólo si es abierto en De manera similar, un subconjunto es cerrado si y sólo si es cerrado en

La topología cociente es la topología final en el conjunto cociente, con respecto al mapa.

Mapa de cocientes

Una función es una función cociente (a veces llamada función de identificación [1] ) si es sobreyectiva y está equipada con la topología final inducida por La última condición admite dos formulaciones más elementales: un subconjunto es abierto (cerrado) si y solo si es abierto (resp. cerrado). Toda función cociente es continua, pero no toda función continua es una función cociente.

Conjuntos saturados

Un subconjunto de se llama saturado (con respecto a ) si es de la forma para algún conjunto que es verdadero si y solo si La asignación establece una correspondencia biunívoca (cuyo inverso es ) entre subconjuntos de y subconjuntos saturados de Con esta terminología, una sobreyección es una función cociente si y solo si para cada subconjunto saturado de es abierto en si y solo si es abierto en En particular, los subconjuntos abiertos de que no están saturados no tienen impacto en si la función es una función cociente (o, de hecho, continua: una función es continua si y solo si, para cada saturado tal que es abierto en , el conjunto es abierto en ).

De hecho, si es una topología en y es cualquier mapa, entonces el conjunto de todos los que son subconjuntos saturados de forma una topología en Si es también un espacio topológico entonces es un mapa cociente (respectivamente, continuo ) si y sólo si lo mismo es cierto de

Caracterización del espacio cociente de fibras

Dada una relación de equivalencia en denote la clase de equivalencia de un punto por y sea denotado el conjunto de clases de equivalencia. La función que envía puntos a sus clases de equivalencia (es decir, está definida por para cada ) se llama función canónica . Es una función sobreyectiva y para todos si y solo si en consecuencia, para todos En particular, esto muestra que el conjunto de la clase de equivalencia es exactamente el conjunto de fibras de la función canónica Si es un espacio topológico entonces al dar la topología cociente inducida por lo convertirá en un espacio cociente y hará en una función cociente. Hasta un homeomorfismo , esta construcción es representativa de todos los espacios cocientes; ahora se explica el significado preciso de esto.

Sea una sobreyección entre espacios topológicos (aún no asumidos como continuos o una función cociente) y declare para todos que si y solo si Entonces es una relación de equivalencia en tal que para cada lo que implica que (definido por ) es un conjunto singleton ; denote el elemento único en por (entonces por definición, ). La asignación define una biyección entre las fibras de y puntos en Defina la función como arriba (por ) y dé la topología cociente inducida por (lo que hace una función cociente). Estas funciones están relacionadas por: De esto y del hecho de que es una función cociente, se sigue que es continua si y solo si esto es cierto para Además, es una función cociente si y solo si es un homeomorfismo (o equivalentemente, si y solo si ambos y su inverso son continuos).

Definiciones relacionadas

ALa función cociente hereditaria es una función sobreyectivacon la propiedad de que para cada subconjuntola restricciónes también una función cociente. Existen funciones cociente que no son cocientes hereditarias.

Ejemplos

Por ejemplo, es homeomorfo al círculo

Propiedades

Los mapas cocientes se caracterizan entre los mapas sobreyectivos por la siguiente propiedad: si es cualquier espacio topológico y es cualquier función, entonces es continua si y sólo si es continua.

Propiedad característica de la topología cociente
Propiedad característica de la topología cociente

El espacio cociente junto con la función cociente se caracteriza por la siguiente propiedad universal : si es una función continua tal que implica para todo entonces existe una única función continua tal que En otras palabras, el siguiente diagrama conmuta:

Se dice que se desciende al cociente para expresar esto, es decir que se factoriza a través del espacio cociente. Las funciones continuas definidas en son, por tanto, precisamente aquellas funciones que surgen de funciones continuas definidas en que respetan la relación de equivalencia (en el sentido de que envían elementos equivalentes a la misma imagen). Este criterio se utiliza profusamente al estudiar espacios cocientes.

Dada una sobreyección continua, es útil tener criterios mediante los cuales se pueda determinar si es una función cociente. Dos criterios suficientes son que sea abierta o cerrada . Nótese que estas condiciones son solo suficientes , no necesarias . Es fácil construir ejemplos de funciones cocientes que no sean ni abiertas ni cerradas. Para los grupos topológicos, la función cociente es abierta.

Compatibilidad con otras nociones topológicas

Separación

Conectividad

Compacidad

Dimensión

Véase también

Topología

Álgebra

Notas

  1. ^ Brown 2006, pág. 103.

Referencias