Principio de inclusión-exclusión para tres conjuntos

Resumen inicial

Fórmula de Poincaré de orden 3, demostración y aplicaciones del Principio de Inclusión-Exclusión para tres conjuntos finitos: $|A \cup B \cup C|$.

Explicación en palabras simples

Para calcular cuántos elementos hay en la unión de tres conjuntos ($A, B$ y $C$) con elementos repetidos, usamos la fórmula de inclusión-exclusión de tres conjuntos:
$$|A \cup B \cup C| = (|A| + |B| + |C|) - (|A \cap B| + |A \cap C| + |B \cap C|) + |A \cap B \cap C|$$
¿Por qué esta alternancia de signos ($+ - +$)?
1. Primero sumamos los tres conjuntos ($|A| + |B| + |C|$), pero esto cuenta de más las intersecciones.
2. Luego restamos todas las parejas dobles ($-|A \cap B| - |A \cap C| - |B \cap C|$), pero esto resta tres veces el centro compartido.
3. Finalmente volvemos a sumar la triple intersección central ($+|A \cap B \cap C|$) para compensar y dejar el conteo perfecto.

principio-de-inclusion-exclusion-para-tres-conjuntos

Explicación formal

Definición formal

En la combinatoria enumerativa, la Fórmula de Poincaré / Principio de Inclusión-Exclusión para tres conjuntos establece que:
$$|A \cup B \cup C| = \sum_{i} |A_i| - \sum_{i < j} |A_i \cap A_j| + |A_1 \cap A_2 \cap A_3|$$
Desarrollada explícitamente:
$$|A \cup B \cup C| = (|A| + |B| + |C|) - (|A \cap B| + |A \cap C| + |B \cap C|) + |A \cap B \cap C|$$

Demostración formal por función característica

Para cualquier elemento $x \in \mathcal{U}$, su pertenencia a la unión se representa como:
$$\mathbf{1}_{A \cup B \cup C}(x) = 1 - (1 - \mathbf{1}_A(x))(1 - \mathbf{1}_B(x))(1 - \mathbf{1}_C(x))$$
Expandiendo el producto algebraico:
$$\mathbf{1}_{A \cup B \cup C}(x) = (\mathbf{1}_A(x) + \mathbf{1}_B(x) + \mathbf{1}_C(x)) - (\mathbf{1}_{A \cap B}(x) + \mathbf{1}_{A \cap C}(x) + \mathbf{1}_{B \cap C}(x)) + \mathbf{1}_{A \cap B \cap C}(x)$$
Sumando sobre todo $x \in \mathcal{U}$ se obtiene exactamente la identidad de cardinalidades.

Síntesis didáctica

La alternancia de signos $+ - +$ es la firma matemática del ajuste de sobre-inclusión y sobre-exclusión en retículos booleanos.

Definiciones clave

Fórmula de Poincaré (orden 3): Teorema algebraico que calcula la cardinalidad de la unión triple mediante sumas y restas alternadas.
Función característica ($\mathbf{1}_S$): Herramienta analítica que modela la pertenencia binaria de elementos.
Triple intersección compensatoria: Término $+|A \cap B \cap C|$ sumado al final para compensar la sobre-resta de las parejas.

Propiedades y relaciones importantes

Despeje del núcleo central: $|A \cap B \cap C| = |A \cup B \cup C| - \sum |A_i| + \sum |A_i \cap A_j|$.
Extensión probabilística: $P(A \cup B \cup C) = \sum P(A_i) - \sum P(A_i \cap A_j) + P(A \cap B \cap C)$.

Ejemplo guiado

Ejemplo principio-de-inclusion-exclusion-para-tres-conjuntos

Paso 1: Identificar las sumas individuales ($S_1$): - $S_1 = 45 + 40 + 35 = 120$.
Paso 2: Identificar la suma de intersecciones dobles ($S_2$): - $S_2 = 15 + 12 + 10 = 37$.
Paso 3: Identificar la triple intersección ($S_3$): - $S_3 = 6$.
Paso 4: Aplicar la fórmula de inclusión-exclusión: - $|C \cup H \cup A| = S_1 - S_2 + S_3 = 120 - 37 + 6$.
Paso 5: Realizar las operaciones: - $120 - 37 = 83$. - $83 + 6 = 89$ estudiantes en total.

Procedimiento

Paso 1: Sumar las tres cardinalidades individuales: $S_1 = |A| + |B| + |C|$.
Paso 2: Sumar las tres intersecciones de pares: $S_2 = |A \cap B| + |A \cap C| + |B \cap C|$.
Paso 3: Identificar el valor de la triple intersección: $S_3 = |A \cap B \cap C|$.
Paso 4: Aplicar la alternancia de signos: $|A \cup B \cup C| = S_1 - S_2 + S_3$.
Paso 5: Si la incógnita es la triple intersección o un conjunto individual, despejar algebraicamente.

Errores frecuentes y cómo corregirlos

Error 1: Restar la triple intersección al final en lugar de sumarla. Cómo corregirlo: Las intersecciones dobles restan al centro tres veces; para restaurarlo exactamente una vez se debe sumar $+|A \cap B \cap C|$.
Error 2: Sumar directamente los tres conjuntos individuales sin restar las parejas comunes. Cómo corregirlo: La adición simple genera sobreconteo en todas las áreas solapadas; la deducción de las dobles es obligatoria.

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La afirmación de que la cardinalidad de la triple intersección puede superar a la cardinalidad de cualquier intersección doble."

"La afirmación de que la fórmula de tres conjuntos resta la triple intersección en su último término."

"La afirmación de que las tres intersecciones de pares pueden sumarse a los totales sin signo negativo."

"La cardinalidad de la unión de tres conjuntos finitos se calcula mediante la fórmula de Poincaré: $|A \cup B \cup C| = (|A| + |B| + |C|) - (|A \cap B| + |A \cap C| + |B \cap C|) + |A \cap B \cap C|$."

"La afirmación de que la fórmula de inclusión-exclusión de tres conjuntos no es válida para conjuntos infinitos medibles."

"La alternancia de signos en la fórmula de inclusión-exclusión compensa de forma exacta el sobreconteo y la sobre-resta de los átomos booleanos."

"La afirmación de que la adición directa de los tres conjuntos individuales calcula la unión triple sin deducir las parejas comunes."

Al terminar debes poder

Resumen principio-de-inclusion-exclusion-para-tres-conjuntos

Enunciar, demostrar y aplicar el Principio de Inclusión-Exclusión para tres conjuntos ($|A \cup B \cup C|$).

Calcular la unión triple mediante la suma $S_1 - S_2 + S_3$, despejar la triple intersección y resolver problemas de conteo combinatorio.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación