En topología y áreas relacionadas de las matemáticas , un espacio de producto es el producto cartesiano de una familia de espacios topológicos equipados con una topología natural llamada topología de producto . Esta topología difiere de otra topología, quizás más obvia, denominada topología de caja , que también se puede dar a un espacio de producto y que concuerda con la topología de producto cuando el producto está sobre un número finito de espacios. Sin embargo, la topología del producto es "correcta" porque hace que el espacio del producto sea un producto categórico de sus factores, mientras que la topología de caja es demasiado fina.; en ese sentido, la topología del producto es la topología natural del producto cartesiano.
Definición
A lo largo de, será un conjunto de índices no vacíos y para cada índice será un espacio topológico . Dejar
ser el producto cartesiano de los conjuntosy denotar las proyecciones canónicas porLa topología del producto , a veces denominada topología de Tychonoff , ense define como la topología más burda (es decir, la topología con la menor cantidad de conjuntos abiertos) para la cual todas las proyeccionesson continuos . El producto cartesianodotado de la topología del producto se denomina espacio de producto . La topología del producto también se denomina topología de convergencia puntual debido al siguiente hecho: una secuencia (o red ) en converge si y solo si todas sus proyecciones a los espacios converger. En particular, si se considera el espaciode todas las funciones de valor real en la convergencia en la topología del producto es lo mismo que la convergencia puntual de funciones.
Los conjuntos abiertos en la topología del producto son uniones (finitas o infinitas) de conjuntos de la forma donde cada está abierto en y por solo un número finito En particular, para un producto finito (en particular, para el producto de dos espacios topológicos), el conjunto de todos los productos cartesianos entre un elemento base de cada proporciona una base para la topología del producto de Es decir, para un producto finito, el conjunto de todos dónde es un elemento de la base (elegida) de es una base para la topología del producto de
La topología del producto en es la topología generada por conjuntos de la forma dónde y es un subconjunto abierto de En otras palabras, los conjuntos
formar una subbase para la topología enUn subconjunto deestá abierto si y solo si es una unión (posiblemente infinita) de intersecciones de un número finito de conjuntos de la forma La a veces se denominan cilindros abiertos y sus intersecciones son conjuntos de cilindros .
El producto de las topologías de cada forma una base para lo que se llama la topología de caja enEn general, la topología de caja es más fina que la topología de producto, pero para productos finitos coinciden.
Ejemplos de
Si la linea real está dotado de su topología estándar, luego la topología del producto en el producto de Copias de igual a la topología euclidiana ordinaria en
El conjunto de Cantor es homeomorfo al producto de innumerables copias del espacio discreto y el espacio de los números irracionales es homeomórfico al producto de innumerables copias de los números naturales , donde de nuevo cada copia lleva la topología discreta.
En el artículo sobre la topología inicial se dan varios ejemplos adicionales .
Propiedades
El espacio del producto junto con las proyecciones canónicas, se puede caracterizar por la siguiente propiedad universal : Si es un espacio topológico, y para cada es un mapa continuo, entonces existe precisamente un mapa continuo tal que para cada el siguiente diagrama conmuta :
Esto muestra que el espacio de producto es un producto en la categoría de espacios topológicos . De la propiedad universal anterior se deduce que un mapaes continuo si y solo si es continuo para todos En muchos casos es más fácil comprobar que el componente funciona son continuos. Comprobando si un mapaes continuo suele ser más difícil; uno intenta utilizar el hecho de que el son continuos de alguna manera.
Además de ser continuas, las proyecciones canónicas son mapas abiertos . Esto significa que cualquier subconjunto abierto del espacio del producto permanece abierto cuando se proyecta hacia abajo Lo contrario no es cierto: si es un subespacio del espacio del producto cuyas proyecciones hasta todos los están abiertos, entonces no necesita estar abierto en (considere por ejemplo ) Las proyecciones canónicas no son generalmente mapas cerrados (considérese, por ejemplo, el conjunto cerrado cuyas proyecciones sobre ambos ejes son ).
Suponer es un producto de subconjuntos arbitrarios, donde para cada Me caigo no están vacíos entonces es un subconjunto cerrado del espacio del producto si y solo si cada es un subconjunto cerrado de De manera más general, el cierre del producto de subconjuntos arbitrarios en el espacio del producto es igual al producto de los cierres: [1]
Cualquier producto de los espacios de Hausdorff vuelve a ser un espacio de Hausdorff.
El teorema de Tychonoff , que es equivalente al axioma de elección , establece que cualquier producto de espacios compactos es un espacio compacto. Una especialización del teorema de Tychonoff que requiere solo el lema del ultrafiltro (y no toda la fuerza del axioma de elección) establece que cualquier producto de espacios compactos de Hausdorff es un espacio compacto.
Si se fija entonces el conjunto
es un subconjunto denso del espacio del producto. [1]
Relación con otras nociones topológicas
- Separación
- Cada producto de T 0 espacios es T 0
- Cada producto de T 1 espacios es T 1
- Cada producto de los espacios de Hausdorff es Hausdorff [2]
- Cada producto de los espacios regulares es regular
- Cada producto de los espacios de Tychonoff es Tychonoff
- Un producto de espacios normales no tiene por qué ser normal
- Compacidad
- Todo producto de espacios compactos es compacto ( teorema de Tychonoff )
- Un producto de espacios localmente compactos no necesita ser localmente compacto. Sin embargo, un producto arbitrario de espacios localmente compactos donde todos, excepto un número finito, son compactos, es localmente compacto (esta condición es suficiente y necesaria).
- Conectividad
- Cada producto de conectado (resp. Trayectoria-conectado) espacios está conectado (resp. Trayectoria-conectado)
- Cada producto de espacios desconectados hereditariamente está desconectado hereditariamente.
- Espacios métricos
- Los productos contables de los espacios métricos son espacios metrizables
Axioma de elección
Una de las muchas formas de expresar el axioma de elección es decir que es equivalente al enunciado de que el producto cartesiano de una colección de conjuntos no vacíos no es vacío. [3] La prueba de que esto es equivalente al enunciado del axioma en términos de funciones de elección es inmediata: basta con elegir un elemento de cada conjunto para encontrar un representante en el producto. Por el contrario, un representante del producto es un conjunto que contiene exactamente un elemento de cada componente.
El axioma de la elección se repite en el estudio de los espacios de productos (topológicos); por ejemplo, el teorema de Tychonoff sobre conjuntos compactos es un ejemplo más complejo y sutil de un enunciado que es equivalente al axioma de elección, [4] y muestra por qué la topología del producto puede considerarse la topología más útil para aplicar un producto cartesiano.
Ver también
- Unión disjunta (topología)
- Topología final: la topología más fina que hace que algunas funciones sean continuas
- Topología inicial: la topología más burda que hace que ciertas funciones sean continuas: a veces se denomina topología límite proyectiva
- Límite inverso : generalización de productos, retrocesos, intersecciones y otras construcciones
- Convergencia puntual : noción de convergencia en matemáticas
- Espacio de cociente (topología)
- Subespacio (topología)
- Topología débil : topología en la que la convergencia de puntos se define por la convergencia de su imagen en funcionales lineales continuos
Notas
- ↑ a b Bourbaki , 1989 , págs. 43-50.
- ^ "La topología del producto conserva la propiedad de Hausdorff" . PlanetMath .
- ^ Pervin, William J. (1964), Fundamentos de la topología general , Academic Press, p. 33
- ^ Hocking, John G .; Young, Gail S. (1988) [1961], Topology , Dover, pág. 28 , ISBN 978-0-486-65676-2
Referencias
- Bourbaki, Nicolas (1989) [1966]. Topología general: Capítulos 1–4 [ Topologie Générale ]. Éléments de mathématique . Berlín Nueva York: Springer Science & Business Media. ISBN 978-3-540-64241-1. OCLC 18588129 .
- Willard, Stephen (1970). Topología general . Reading, Mass .: Addison-Wesley Pub. Co. ISBN 0486434796. Consultado el 13 de febrero de 2013 .