Un problema famoso es la cuestión del espacio normal de Moore , una cuestión de topología general que fue objeto de una intensa investigación. Finalmente se demostró que la respuesta a la cuestión del espacio normal de Moore era independiente de ZFC.
Funciones cardinales
Las funciones cardinales se utilizan ampliamente en topología como herramienta para describir diversas propiedades topológicas . [4] [5] A continuación se presentan algunos ejemplos. (Nota: algunos autores, argumentando que "no hay números cardinales finitos en la topología general", [6] prefieren definir las funciones cardinales enumeradas a continuación de modo que nunca tomen números cardinales finitos como valores; esto requiere modificar algunas de las definiciones que se dan a continuación, por ejemplo, agregando " " al lado derecho de las definiciones, etc.)
Quizás los invariantes cardinales más simples de un espacio topológico X son su cardinalidad y la cardinalidad de su topología, denotadas respectivamente por | X | y o ( X ).
El peso w( X ) de un espacio topológico X es la cardinalidad más pequeña posible de una base para X . Cuando w( X ) se dice que el espacio X es el segundo contable .
El -peso de un espacio X es la cardinalidad más pequeña de una -base para X. (Una -base es un conjunto de abiertos no vacíos cuyos superconjuntos incluyen todos los abiertos).
El carácter de un espacio topológico X en un punto x es la cardinalidad más pequeña de una base local para x . El carácter del espacio X es
La densidad d( X ) de un espacio X es la cardinalidad más pequeña de un subconjunto denso de X . Cuando se dice que el espacio X es separable .
El número de Lindelöf L( X ) de un espacio X es la cardinalidad infinita más pequeña tal que toda cubierta abierta tiene una subcubierta de cardinalidad no mayor que L( X ). Cuando se dice que el espacio X es un espacio de Lindelöf .
La estrechez t ( x , X ) de un espacio topológico X en un punto es el número cardinal más pequeño tal que, siempre que para algún subconjunto Y de X , exista un subconjunto Z de Y , con | Z | ≤ , tal que . Simbólicamente,
La estrechez aumentada de un espacio X , es el cardinal regular más pequeño tal que para cualquier , existe un subconjunto Z de Y con cardinalidad menor que , tal que .
Axioma de Martín
Para cualquier cardinal k , definimos una declaración, denotada por MA( k ):
Para cualquier orden parcial P que satisfaga la condición de cadena contable (en adelante ccc) y cualquier familia D de conjuntos densos en P tales que |D| ≤ k , hay un filtro F en P tal que F ∩ d no está vacío para cada d en D .
Dado que es un teorema de ZFC que MA( c ) falla, el axioma de Martin se enuncia como:
Axioma de Martin (MA): Para cada k < c , MA( k ) se cumple.
En este caso (para la aplicación de ccc), una anticadena es un subconjunto A de P tal que dos elementos distintos de A son incompatibles (se dice que dos elementos son compatibles si existe un elemento común debajo de ambos en el orden parcial). Esto difiere, por ejemplo, de la noción de anticadena en el contexto de los árboles .
MA( ) es falso: [0, 1] es un espacio de Hausdorff compacto , que es separable y, por lo tanto, ccc. No tiene puntos aislados , por lo que los puntos que contiene no son densos en ningún lugar, sino que es la unión de muchos puntos.
Una formulación equivalente es: si X es un espacio topológico compacto de Hausdorff que satisface la ccc, entonces X no es la unión de k o menos subconjuntos densos en ninguna parte .
Intuitivamente, el forzamiento consiste en expandir el universo teórico de conjuntos V a un universo mayor V *. En este universo mayor, por ejemplo, uno podría tener muchos subconjuntos nuevos de ω = {0,1,2,…} que no existían en el universo anterior, y por lo tanto violar la hipótesis del continuo . Aunque a primera vista parece imposible, esta es solo otra versión de la paradoja de Cantor sobre el infinito. En principio, uno podría considerar
identificarse con , y luego introducir una relación de pertenencia expandida que involucre los conjuntos "nuevos" de la forma . Forzar es una versión más elaborada de esta idea, que reduce la expansión a la existencia de un nuevo conjunto y permite un control preciso sobre las propiedades del universo expandido.
^ ME Rudin, Un espacio normal X para el cual X × I no es normal, Fundam. Math. 73 (1971) 179-186. Zbl. 0224.54019
^ Z. Balogh, "Un pequeño espacio de Dowker en ZFC", Proc. Amer. Math. Soc. 124 (1996) 2555-2560. Zbl. 0876.54016
^ M. Kojman, S. Shelah: "Un espacio de Dowker ZFC en ℵ ω + 1 {\displaystyle \aleph _{\omega +1}} : una aplicación de la teoría PCF a la topología", Proc. Amer. Math. Soc. , 126 (1998), 2459-2465.
^ Juhász, István (1979). Funciones cardinales en topología (PDF) . Matemáticas. Centre Tracts, Ámsterdam. ISBN 90-6196-062-2.
^ Juhász, István (1980). Funciones cardinales en topología, diez años después (PDF) . Matemáticas. Centre Tracts, Ámsterdam. ISBN90-6196-196-3.