En el campo matemático de la teoría descriptiva de conjuntos , un subconjunto de un espacio polaco tiene la propiedad de conjunto perfecto si es contable o tiene un subconjunto perfecto no vacío (Kechris 1995, p. 150). Nótese que tener la propiedad de conjunto perfecto no es lo mismo que ser un conjunto perfecto .
Como los conjuntos perfectos no vacíos en un espacio polaco siempre tienen la cardinalidad del continuo , y los reales forman un espacio polaco, un conjunto de reales con la propiedad de conjunto perfecto no puede ser un contraejemplo de la hipótesis del continuo , enunciada en la forma de que todo conjunto incontable de reales tiene la cardinalidad del continuo.
El teorema de Cantor-Bendixson establece que los conjuntos cerrados de un espacio polaco X tienen la propiedad de conjunto perfecto en una forma particularmente fuerte: cualquier subconjunto cerrado de X puede escribirse únicamente como la unión disjunta de un conjunto perfecto y un conjunto numerable. En particular, cada espacio polaco incontable tiene la propiedad de conjunto perfecto y puede escribirse como la unión disjunta de un conjunto perfecto y un conjunto abierto numerable .
El axioma de elección implica la existencia de conjuntos de números reales que no tienen la propiedad de conjunto perfecto, como los conjuntos de Bernstein . Sin embargo, en el modelo de Solovay , que satisface todos los axiomas de ZF pero no el axioma de elección, todo conjunto de números reales tiene la propiedad de conjunto perfecto, por lo que es necesario el uso del axioma de elección. Todo conjunto analítico tiene la propiedad de conjunto perfecto. De la existencia de cardinales suficientemente grandes se deduce que todo conjunto proyectivo tiene la propiedad de conjunto perfecto.
Sea el ordinal menos incontable . En un análogo del espacio de Baire derivado del producto cartesiano -fold de consigo mismo, cualquier conjunto cerrado es la unión disjunta de un conjunto -perfecto y un conjunto de cardinalidad , donde la -cerradura de un conjunto se define a través de un juego topológico en el que se juegan los miembros de . [1]
