Cardinalidad del conjunto potencia
Resumen inicial
Fórmula combinatoria y cálculo de la cardinalidad del conjunto potencia: $|\mathcal{P}(A)| = 2^{|A|} = 2^n$ para un conjunto finito de $n$ elementos.
Explicación en palabras simples
Para saber cuántos subconjuntos tiene un conjunto (es decir, la cardinalidad de su conjunto potencia), usamos la regla de las potencias de dos: $|\mathcal{P}(A)| = 2^n$, donde $n$ es el número de elementos del conjunto original. ¿Por qué ocurre esto? Porque al armar un subconjunto, para cada elemento tenemos exactamente $2$ opciones: o lo incluimos en el subconjunto, o no lo incluimos. Por ejemplo, si un conjunto tiene $3$ elementos, tendrá $2^3 = 2 \times 2 \times 2 = 8$ subconjuntos.
Explicación formal
Definición formal
En la combinatoria y la teoría de conjuntos finitos, si $A$ es un conjunto finito de cardinalidad $|A| = n \in \mathbb{N}_0$, la cardinalidad del conjunto potencia $\mathcal{P}(A)$ es:
$$|\mathcal{P}(A)| = 2^n = 2^{|A|}$$
Demostración combinatoria mediante el Teorema del Binomio de Newton:
$$|\mathcal{P}(A)| = \sum_{k=0}^{n} \binom{n}{k} = \binom{n}{0} + \binom{n}{1} + \dots + \binom{n}{n} = (1 + 1)^n = 2^n$$
donde cada término $\binom{n}{k}$ representa la cantidad de subconjuntos de tamaño exacto $k$.
Desglose simbólico
- Número de subconjuntos totales: $N_{\text{total}} = 2^n$.
- Número de subconjuntos propios estrictos ($B \subsetneq A$ con $B \neq A$): $N_{\text{propios}} = 2^n - 1$.
- Número de subconjuntos no vacíos ($B \neq \emptyset$): $N_{\text{no vacíos}} = 2^n - 1$.
- Número de subconjuntos propios y no vacíos: $N = 2^n - 2$.
Síntesis didáctica
Cada subconjunto de $A$ corresponde de forma biyectiva a una función característica binaria $\chi_X: A \to \{0, 1\}$, de las cuales existen exactamente $2^{|A|}$ funciones posibles.
La alternativa correcta es '$32$ subconjuntos ($2^5$)'. La fórmula de cardinalidad es $2^n = 2^5 = 32$.
Definiciones clave
- Cardinalidad del conjunto potencia ($2^n$): Total de subconjuntos que pueden formarse a partir de un conjunto finito de $n$ elementos.
- Función característica ($\chi_X$): Función binaria que asigna 1 si un elemento está en el subconjunto y 0 si no lo está.
- Subconjunto propio: Cualquier subconjunto $B \subseteq A$ que no sea idéntico al conjunto completo $A$.
Propiedades y relaciones importantes
- Caso del conjunto vacío: Para $n = 0$, $|\mathcal{P}(\emptyset)| = 2^0 = 1$ (cuyo único elemento es $\emptyset$).
- Crecimiento exponencial: Añadir un solo elemento al conjunto base duplica inmediatamente el tamaño de su conjunto potencia ($2^{n+1} = 2 \cdot 2^n$).
Ejemplo guiado
Un conjunto $A$ tiene $4$ elementos. Calcula: (a) la cardinalidad total de su conjunto potencia $|\mathcal{P}(A)|$, (b) cuántos subconjuntos propios tiene, y (c) cuántos subconjuntos de $2$ elementos pueden formarse.
- Paso 1: Identificar la cardinalidad del conjunto base: $|A| = n = 4$.
- Paso 2: Calcular la cardinalidad total del conjunto potencia mediante la fórmula exponencial: - $|\mathcal{P}(A)| = 2^n = 2^4 = 16$ subconjuntos en total.
- Paso 3: Calcular el número de subconjuntos propios: - Se resta el conjunto completo $A$: $N_{\text{propios}} = 2^4 - 1 = 16 - 1 = 15$ subconjuntos propios.
- Paso 4: Calcular la cantidad de subconjuntos de $2$ elementos usando el coeficiente binomial $\binom{n}{k}$: - $\binom{4}{2} = \frac{4 \times 3}{2 \times 1} = 6$ subconjuntos de 2 elementos.
- Paso 5: Concluir que $|\mathcal{P}(A)| = 16$, con $15$ subconjuntos propios y $6$ subconjuntos binarios.
La alternativa correcta es '$7$ subconjuntos propios ($2^3 - 1$)'. Se descuenta el propio conjunto para dar $8 - 1 = 7$.
Procedimiento
- Paso 1: Contar la cantidad de elementos únicos $n = |A|$ del conjunto dado.
- Paso 2: Elevar la base $2$ al exponente $n$: $|\mathcal{P}(A)| = 2^n$.
- Paso 3: Si se solicitan subconjuntos propios, restar $1$ al resultado: $2^n - 1$.
- Paso 4: Si se solicitan subconjuntos de un tamaño específico $k$, calcular el combinatorio $\binom{n}{k}$.
Errores frecuentes y cómo corregirlos
- Error 1: Multiplicar $2 \times n$ en vez de calcular la potencia $2^n$. Cómo corregirlo: Para $n = 3$, $2 \times 3 = 6$ (incorrecto); la fórmula correcta es la potencia $2^3 = 8$.
- Error 2: Olvidar que para el conjunto vacío $n = 0$, $2^0 = 1$. Cómo corregirlo: $|\mathcal{P}(\emptyset)| = 2^0 = 1$ (el subconjunto es el propio $\emptyset$).
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- $n = 1$.
- $|\mathcal{P}(\{x\})| = 2^1 = 2$.
- $2^0 = 1$, siendo $\{\emptyset\}$ su único elemento.
- $2^5 = 32 = 2 \times 16$.
- $2^4 - 1 = 16 - 1 = 15$.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Calcular y justificar la cardinalidad del conjunto potencia ($|\mathcal{P}(A)| = 2^n$) y de sus subconjuntos propios ($2^n - 1$).
Aplicar el modelo exponencial de decisiones binarias ($2^n$) y la sumatoria de combinaciones binomiales $\sum \binom{n}{k}$.