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). Tenga en cuenta que tener la propiedad del 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 del conjunto perfecto no puede ser un contraejemplo de la hipótesis del continuo , expresada 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 de forma única como la unión disjunta de un conjunto perfecto y un conjunto contable. 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 contable .
El axioma de elección implica la existencia de conjuntos de 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 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 de consigo mismo, cualquier conjunto cerrado es la unión disjunta de un conjunto perfecto y un conjunto de cardinalidad , donde el carácter cerrado de un conjunto se define mediante un juego topológico en el que los miembros de se juegan. [1]
