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

Resumen inicial

Fórmula fundamental, demostración y aplicaciones del Principio de Inclusión-Exclusión para dos conjuntos finitos: $|A \cup B| = |A| + |B| - |A \cap B|$.

Explicación en palabras simples

El Principio de Inclusión-Exclusión para dos conjuntos es la fórmula maestra para contar elementos cuando dos grupos tienen elementos en común:
$$|A \cup B| = |A| + |B| - |A \cap B|$$
¿Por qué restamos la intersección? Porque al sumar todos los elementos de $A$ y luego todos los de $B$, los elementos compartidos (los que están en ambos a la vez) se sumaron dos veces. Al restar $|A \cap B|$ una vez, corregimos el doble conteo y obtenemos la cantidad exacta de elementos distintos en la unión.

principio-de-inclusion-exclusion-para-dos-conjuntos

Explicación formal

Definición formal

En la combinatoria enumerativa y la teoría de la probabilidad, el Principio de Inclusión-Exclusión para dos conjuntos establece que para cualesquiera dos conjuntos finitos $A$ y $B$:
$$|A \cup B| = |A| + |B| - |A \cap B|$$
Demostración formal mediante descomposición disyunta:
Sabemos que $A \cup B = (A \setminus B) \cup (B \setminus A) \cup (A \cap B)$ con las tres regiones disjuntas dos a dos. Por el principio aditivo:
$$|A \cup B| = |A \setminus B| + |B \setminus A| + |A \cap B|$$
Como $|A| = |A \setminus B| + |A \cap B| \implies |A \setminus B| = |A| - |A \cap B|$, y análogamente $|B \setminus A| = |B| - |A \cap B|$, sustituyendo se obtiene:
$$|A \cup B| = (|A| - |A \cap B|) + (|B| - |A \cap B|) + |A \cap B| = |A| + |B| - |A \cap B|$$

Desglose simbólico

Despeje de la intersección: $|A \cap B| = |A| + |B| - |A \cup B|$.
Despeje de componentes individuales: $|A| = |A \cup B| + |A \cap B| - |B|$.
Desigualdad de Boole-Fréchet: $|A \cup B| \leq |A| + |B|$ (con igualdad si y solo si $A \cap B = \emptyset$).

Síntesis didáctica

La fórmula compensa exactamente el sobreconteo generado por la no vaciedad de la intersección.

Definiciones clave

Principio de Inclusión-Exclusión: Teorema combinatorio que relaciona las cardinalidades de la unión, los conjuntos individuales y su intersección.
Sobreconteo: Contabilización múltiple de elementos compartidos que requiere corrección sustractiva.
Desigualdad de Boole: Cota superior $|A \cup B| \leq |A| + |B|$.

Propiedades y relaciones importantes

Probabilidad de la unión: $P(A \cup B) = P(A) + P(B) - P(A \cap B)$.
Diferencia simétrica: $|A \bigtriangleup B| = |A \cup B| - |A \cap B| = |A| + |B| - 2|A \cap B|$.

Ejemplo guiado

En una clase de $35$ alumnos, $20$ estudian inglés ($I$), $18$ estudian francés ($F$) y $7$ estudian ambos idiomas ($I \cap F$). Calcula cuántos alumnos estudian al menos uno de los dos idiomas ($|I \cup F|$).

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

Paso 1: Identificar los datos dados: - $|I| = 20$. - $|F| = 18$. - $|I \cap F| = 7$.
Paso 2: Plantear la fórmula de inclusión-exclusión: - $|I \cup F| = |I| + |F| - |I \cap F|$.
Paso 3: Sustituir los valores numéricos: - $|I \cup F| = 20 + 18 - 7$.
Paso 4: Realizar el cálculo: - $20 + 18 = 38$. - $38 - 7 = 31$.
Paso 5: Concluir que $31$ alumnos estudian al menos uno de los dos idiomas (y $35 - 31 = 4$ no estudian ninguno).

Procedimiento

Paso 1: Identificar las cantidades dadas en el problema ($|A|$, $|B|$, $|A \cap B|$ o $|A \cup B|$).
Paso 2: Seleccionar la incógnita a despejar en la ecuación $|A \cup B| = |A| + |B| - |A \cap B|$.
Paso 3: Sustituir los valores conocidos y operar algebraicamente.
Paso 4: Verificar que el resultado sea no negativo y no exceda la cota universal $|\mathcal{U}|$.

Errores frecuentes y cómo corregirlos

Error 1: Sumar directamente $|A| + |B|$ sin deducir la intersección común. Cómo corregirlo: La adición simple solo funciona en conjuntos disjuntos; si hay elementos comunes, la resta de $|A \cap B|$ es obligatoria.
Error 2: Restar dos veces la intersección al calcular la unión. Cómo corregirlo: Restar dos veces elimina a los elementos comunes por completo (dando la diferencia simétrica); para la unión se debe restar exactamente una sola vez.

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 unión de conjuntos siempre es igual a la suma de sus cardinalidades sin deducir elementos comunes."

"La cardinalidad de la intersección de dos conjuntos finitos puede despejarse como $|A \cap B| = |A| + |B| - |A \cup B|$."

"La afirmación de que el término de intersección $|A \cap B|$ se suma en lugar de restarse en la fórmula."

"El Principio de Inclusión-Exclusión para dos conjuntos finitos establece que $|A \cup B| = |A| + |B| - |A \cap B|$."

"La afirmación de que la cardinalidad de la intersección puede ser un valor negativo."

"La afirmación de que la fórmula de inclusión-exclusión solo es válida si los conjuntos tienen la misma cantidad de miembros."

"La afirmación de que la deducción duplicada de la intersección produce la cardinalidad de la unión."

Al terminar debes poder

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

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

Resolver incógnitas cardinales (unión o intersección), corregir el doble conteo de elementos y aplicar la desigualdad de Boole.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación