Axioma del conjunto potencia

Hoy en día, Axioma del conjunto potencia es un tema que está en boca de todos. Ya sea por su relevancia histórica, por su impacto en la sociedad o por su influencia en el mundo actual, Axioma del conjunto potencia se ha convertido en un punto de interés para investigadores, académicos y público en general. En este artículo, exploraremos a fondo este tema desde diferentes perspectivas, analizando sus orígenes, evolución y consecuencias en diferentes ámbitos. Además, trataremos de ofrecer una visión completa y detallada de Axioma del conjunto potencia, abordando tanto sus aspectos positivos como negativos. Sin duda, Axioma del conjunto potencia es un tema apasionante que despierta la curiosidad de muchos, y estamos seguros de que la información que presentaremos aquí será de gran interés para nuestros lectores.

En teoría de conjuntos, el axioma del conjunto potencia es un axioma que postula la existencia del conjunto potencia de cualquier conjunto; es decir, del conjunto de todos los subconjuntos de un conjunto dado.

Enunciado

El axioma del conjunto potencia afirma que dado un conjunto, existe otro cuyos elementos son exactamente los subconjuntos del inicial:

Axioma del conjunto potencia

De este modo se puede designar con propiedad el conjunto potencia de un conjunto dado A:

Consistencia relativa

El axioma del conjunto potencia (CP) es independiente del resto de axiomas de la teoría de Zermelo-Fraenkel ZFC. Los conjuntos hereditariamente finitos —conjuntos finitos formados por conjuntos finitos, formados a su vez también por conjuntos finitos, etc.— forman un modelo de todo ZFC salvo el axioma del infinito, por lo que CP no es refutable. Por otro lado, los conjuntos hereditariamente numerables —conjuntos numerables formados por conjuntos numerables, formados por conjuntos numerables, etc.— son un modelo de ZFC con la salvedad de que CP es falso, por lo que este no puede demostrarse del resto de axiomas de ZFC.

Referencias

  • Cohen, Paul J. (1966). Set theory and the continuum hypothesis (en inglés). W.A. Benjamin. OCLC 291078.  En II.2 discute la independencia del axioma.