Conjunto potencia

De Wikipedia, la enciclopedia libre En matemticas, dado un conjunto S, el conjunto potencia o conjunto de partes de S, escrito P(S) o 2S, es el conjunto de todos los subconjuntos de S. En la teora de conjuntos basada en los Axiomas de Zermelo-Fraenkel, la existencia del conjunto potencia se establece por el axioma del conjunto potencia. Por ejemplo, si S= {a, b, c} entonces la lista completa de subconjuntos de S es como sigue: 1. 2. 3. 4. 5. 6. 7. 8. { } (conjunto vaco); {a}; {b}; {c}; {a, b}; {a, c}; {b, c}; {a, b, c};

y por lo tanto el conjunto potencia de S es P(S) = {{ }, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. Otro ejemplo ms complejo es el siguiente: Sea A = { 2 , }, Determinar P ( P(A) ), es decir, el conjunto potencia del conjunto potencia de A; es el conjunto vaco: Primero hacemos: P(A) = { , {2}, {}, A } y luego hacemos P ( P(A) ) : P ( P(A) ) = { , { } , { {2} } , { {} } , { A }, { , {2} } , { , {} } , { , A }, { {2} , {} } , { {2} , A } , { {}, A }, { , {2}, {} } , { , {2}, A }, { , {}, A }, { {2}, {}, A } y P(A) }

Cuando S es finito, si n = |S| es el nmero de elementos de S, en este caso 3, entonces el respectivo conjunto potencia contiene |P(S)| = 2n elementos, en este caso 23 = 8. En este caso tambin se puede establecer una biyeccin entre los elementos del conjunto potencia con nmeros de n-bits: el n-simo bit se refiere a la presencia o ausencia del n-simo elemento de S. Hay 2n tales nmeros. Este argumento prueba la identidad de coeficientes binomiales:

La cardinalidad de un conjunto potencia siempre es mayor que la cardinalidad del conjunto base, el argumento diagonal de Cantor demuestra la afirmacin para conjuntos infinitos, mientras que el hecho de que n < 2n la prueba para conjuntos finitos. El conjunto potencia de los nmeros naturales, por ejemplo, se puede poner en correspondencia uno a uno con el conjunto de nmeros reales. Usualmente se establece primero una biyeccin entre los nmeros reales y el intervalo cerrado [0,1], para luego, usando la expansin didica de los nmeros reales, identificar cada elemento de [0,1] con la sucesin infinita de ceros y unos dada por los coeficientes. El conjunto potencia de un conjunto S, junto con las operaciones de la unin, de la interseccin y del complemento forman el ejemplo prototpico de lgebra de Boole. De hecho, uno puede demostrar que cualquier lgebra de Boole finita es isomorfa al lgebra booleana del conjunto potencia de un conjunto finito. Para las lgebras booleanas infinitas esto no es verdad, pero cada lgebra booleana infinita es sublgebra de una lgebra booleana de partes.

La notacin 2S
En teora de conjuntos, XY es el conjunto de todas las funciones de Y a X. Como 2 puede ser definido como {0, 1} (vase nmero natural), 2S es el conjunto de todas las funciones de S a {0, 1}. Cada funcin en 2S est en correspondencia biyectiva con un subconjunto de S (la antiimagen de 1) por lo que se establece una equivalencia de conjuntos entre 2S y P(S)

Implementacin en Python
Esta implementacin del algoritmo para obtener un conjunto potencia de una coleccin dada:
def addTo(e, t): for s in t: s += [e] return t

def powerSet(a_set): if not a_set: return [[]] e = a_set[0] t = a_set[1:] return powerSet(t) + addTo(e, powerSet(t))

La cual puede ser probada ejecutando luego:

a = [1,2,3] print powerSet(a)

Y la respuesta ser:
[[], [3], [2], [3, 2], [1], [3, 1], [2, 1], [3, 2, 1]]

Demostracin por induccin del cardinal del conjunto potencia de S cuando S es finito
Sea S un conjunto finito con n elementos (|S|=n) entonces |P(S)|=2n Demostracin Caso base n=0 Sea S el conjunto vaco, entonces |S| = 0 y P(S) = { } Supongamos cierto si |S|=m y m es menor o igual que n, entonces |P(S)|=2m Sea |S' |=n+1 S' = {a0,a1,...,an 1,an} Por tanto S' = {a0,a1,...,an 1} U {an} Sea S = {a0,a1,...,an 1} entonces S' = S U {an} Tenemos que

P(S' ) = P(S U {an}) = P(S) U {P' U {an} / P'

P(S)}

Dado que ambos conjuntos son disjuntos tenemos que: |P(S' )| = |P(S) U {P' U {an} / P'
1

P(S)}| = |P(S)| + |{P' U {an} / P'

P(S)}| = 2n + 2n = 2n +