Ver el código de «Conjunto potencia»

{{distinguir|Potencia de un conjunto}}
En [[matemáticas]], el '''conjunto potencia''' de un [[conjunto]] dado es otro conjunto formado por todos los subconjuntos del conjunto dado. Por ejemplo,  dado el conjunto:
{{ecuación|
<math> A = \{1, 2, 3\} </math>
||left}}
el conjunto potencia es:
{{ecuación|

<math> \mathcal{P}(A) =
\{ \varnothing, \{1\}, \{2\}, \{3\}, \{1, 2\}, \{2, 3\}, \{1, 3\}, \{1, 2, 3\} \} </math>
||left}}
El conjunto potencia de <math>A</math> también se denomina '''conjunto de las partes''' de <math>A</math> y se denota por <math>\mathcal{P}(A)</math>, donde <math>2^{|A|}</math> es el cardinal de las partes de <math>A</math>, es decir, <math>|\mathcal{P}(A)| = 2^{|A|}</math>.

== Definición ==
El conjunto potencia de {{math|''A''}} es la clase o colección de los subconjuntos de {{math|''A''}}:
{{definición|1=El '''conjunto potencia''' de <math>A</math> (o '''conjunto de partes''') es el conjunto <math>\mathcal{P}(A)</math> formado por todos los subconjuntos de <math>A:</math>
{{ecuación|1=<math>b \in \mathcal{P}(A) \text{ cuando } b \subseteq A</math>}}
}}

;Ejemplos
* El conjunto potencia de {{math|''A'' {{=}} {''a'', 2, ''c''}|}} es:
:<math>\mathcal{P}(A) = \{\varnothing, \{a\}, \{2\}, \{c\}, \{a, 2\}, \{a, c\}, \{2, c\}, \{a, 2, c\}\} </math>
* El conjunto potencia de {{math|''B'' {{=}} { ''x'' }|}} es:
:<math>\mathcal{P}(B) = \{\varnothing, \{x\} \}</math>

== Propiedades ==
El conjunto potencia de cualquier conjunto contiene al menos un subconjunto. Además, no es equipotente con la base.<ref>Miguel de Guzmán:Aventuras matemáticas 84-335-5113-2</ref><ref>Faltan  propiedades ligadas a operaciones conjuntistas</ref>
{{teorema|1=* El [[conjunto vacío]] está en el conjunto potencia de cualquier conjunto:
:<math>\varnothing \in \mathcal{P}(A) \text{ , para cualquier } A</math>
* Un conjunto cualquiera siempre es un elemento de su conjunto potencia:
:<math>A \in \mathcal{P}(A) \text{ , para cualquier } A</math>
}}

=== Cardinal ===
Siempre que el conjunto vacío no sea elemento de un conjunto, se cumple lo siguiente:
El número de elementos del conjunto potencia es precisamente una [[potenciación|potencia]] del número de elementos en el conjunto original:
{{teorema|1=El [[número cardinal|cardinal]] del conjunto potencia de un [[conjunto finito]] {{math|''A''}} es 2 elevado al cardinal de {{math|''A''}}:
:<math>|\mathcal{P}(A)| = 2^{|A|}</math>
}}
Esta relación es el origen de la notación {{math|2<sup>''A''</sup>}} para el conjunto potencia. Una manera de deducirla es mediante los [[coeficientes binomiales]]. Si el conjunto {{math|''A''}} tiene {{math|''n''}} elementos, el número de subconjuntos con {{math|''k''}} elementos es igual al número combinatorio {{math|''C''(''n'', ''k'')}}. Un subconjunto de {{math|''A''}} puede tener 0 elementos como mínimo, y {{math|''n''}} como máximo, y por lo tanto:
:<math>|\mathcal{P}(A)| = {n \choose 0} + {n \choose 1} + \ldots + {n \choose k} + \ldots + {n \choose n} = 2^n = 2^{|A|} </math>

Esta relación puede demostrarse también observando que el conjunto potencia de {{math|''A''}} es equivalente al conjunto de [[función matemática|funciones]] con [[Dominio de una función|dominio]] {{math|''A''}} y [[codominio]] {{math|{0, 1}|}}, {{math|''f'' : ''A'' → {0, 1}|}}. Cada función corresponde entonces con un subconjunto, si se interpreta la [[conjunto imagen|imagen]] de un elemento como un indicador de si dicho elemento pertenece al subconjunto: 0 indica «no pertenece», 1 indica «pertenece». El número de estas [[función característica|funciones características]] de {{math|''A''}} es precisamente {{math|2<sup>''n''</sup>}}, si {{math|1={{mabs|''A''}} = ''n''}}.

En el caso de un [[conjunto infinito]] la identificación entre subconjuntos y funciones es igualmente válida, y el cardinal del conjunto potencia sigue siendo igual a {{math|2<sup>{{mabs|''A''}}</sup>}}, en términos de [[número cardinal (teoría de conjuntos)|cardinales infinitos]] y su aritmética. El conjunto potencia siempre tiene un cardinal superior al del conjunto original, como establece el [[teorema de Cantor]], por lo que nunca existe una [[biyección|aplicación biyectiva]] entre un conjunto y su conjunto potencia.

* El mínimo de los cardinales de conjuntos potencia es 1, exactamente el del conjunto potencia del conjunto vacío<ref>Aseveración  verificable aplicando la definición y propiedad del conjunto nulo</ref>

== Álgebra de Boole ==
{{AP|Álgebra de Boole}}
El conjunto potencia de un conjunto dado tiene estructura de álgebra de Boole, considerando las operaciones de [[unión de conjuntos|unión]], [[intersección de conjuntos|intersección]] y [[conjunto complementario|complemento]], y se usa habitualmente como ejemplo de dicha estructura. De hecho, un álgebra de Boole finita es siempre isomorfa al álgebra de Boole del conjunto potencia de algún conjunto finito. En el caso general —incluyendo álgebras infinitas—, un álgebra de Boole es siempre isomorfa a una subálgebra de un conjunto potencia.

== Axioma del conjunto potencia ==
{{AP|Axioma del conjunto potencia}}
En [[teoría axiomática de conjuntos]], la existencia del conjunto potencia en general no puede demostrarse a partir de propiedades más básicas, por lo que se postula a través de un axioma. Sin este axioma no es posible demostrar la existencia de [[no numerable|conjuntos no numerables]].

== Referencias ==
{{listaref}}
* {{cita libro|apellidos=Jech|nombre=Thomas|título=Set Theory|url=https://archive.org/details/settheory0000jech_f7i4|editorial=[[Springer-Verlag]]|edición=3ª|ubicación=Berlín, Nueva York|serie=Springer Monographs in Mathematics|isbn=978-3-540-44085-7|año=2003|idioma=inglés|capítulo=7. Filters, Ultrafilters and Boolean Algebras}}
* {{cita libro|apellidos=Lipschutz|nombre=Seymour|título=Set Theory and Related Topics|idioma=inglés|editorial=McGraw-Hill|año=1998|isbn=0-07-038159-3|capítulo=1.9. Clasess of sets, power sets}}

{{Control de autoridades}}
[[Categoría:Conjuntos|Potencia]]