Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conjunto potencia
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:
El conjunto potencia de también se denomina conjunto de las partes de , o conjunto de partes de y se denota
por , donde es el cardinal de las partes de , es decir, .
Índice
Definición
Propiedades
Cardinal
Álgebras de Boole
Axioma del conjunto potencia
Referencias
Definición
El conjunto potencia de A es la clase o colección de los subconjuntos de A:
Ejemplos
https://es.wikipedia.org/wiki/Conjunto_potencia 1/3
7/2/2019 Conjunto potencia - Wikipedia, la enciclopedia libre
Propiedades
El conjunto potencia de cualquier conjunto contiene al menos un subconjunto. Además, no es equipotente con la base.1 2
Cardinal
El número de elementos del conjunto potencia es precisamente una potencia del número de elementos en el conjunto
original:
Esta relación es el origen de la notación 2A para el conjunto potencia. Una manera de deducirla es mediante los
coeficientes binomiales. Si el conjunto A tiene n elementos, el número de subconjuntos con k elementos es igual al número
combinatorio C(n, k). Un subconjunto de A puede tener 0 elementos como mínimo, y n como máximo, y por lo tanto:
Esta relación puede demostrarse también observando que el conjunto potencia de A es equivalente al conjunto de
funciones con dominio A y codominio {0, 1}, f : A → {0, 1}. Cada función corresponde entonces con un subconjunto, si se
interpreta la 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 funciones características de A es precisamente 2n, si |A| = n.
https://es.wikipedia.org/wiki/Conjunto_potencia 2/3
7/2/2019 Conjunto potencia - Wikipedia, la enciclopedia libre
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 2|A|, en términos de 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 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ío3
Álgebras de Boole
El conjunto potencia de un conjunto dado tiene estructura de álgebra de Boole, considerando las operaciones de unión,
intersección y 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.
Referencias
1. Miguel de Guzmán:Aventuras matemáticas 84-335-5113-2
2. Faltan propiedades ligadas a operaciones conjuntistas
3. Aseveración verificable aplicando la definición y propiedad del conjunto nulo
Jech, Thomas (2003). «7. Filters, Ultrafilters and Boolean Algebras». Set Theory. Springer Monographs in
Mathematics (en inglés) (3ª edición). Berlín, Nueva York: Springer-Verlag. ISBN 978-3-540-44085-7.
Lipschutz, Seymour (1998). «1.9. Clasess of sets, power sets». Set Theory and Related Topics (en inglés). McGraw-
Hill. ISBN 0-07-038159-3.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Conjunto_potencia&oldid=113801337»
Esta página se editó por última vez el 7 feb 2019 a las 12:41.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.
https://es.wikipedia.org/wiki/Conjunto_potencia 3/3