CombinatoriaContenidos

Principio de inclusión-exclusión

Para contar la unión de varios conjuntos hay que sumar, restar las intersecciones por pares, sumar las triples... La fórmula que convierte el solapamiento en una suma alternada exacta.

DificultadRegional
Etiquetasinclusion-exclusionconteounion-conjuntosdesarreglos
Requisitosprincipios-conteocoeficientes-binomiales
AutorAdrián García Bouzas
Actualizado2026-06-08
Definición

Cuando los conjuntos A1,,AnA_1, \ldots, A_n se solapan, A1AnA1++An|A_1 \cup \cdots \cup A_n| \neq |A_1| + \cdots + |A_n|: cada elemento que pertenece a varios conjuntos se cuenta varias veces. El principio de inclusión-exclusión (PIE) corrige sistemáticamente este sobreconteo.

Teorema

Para conjuntos finitos A1,,AnA_1, \ldots, A_n dentro de un universo,

i=1nAi  =  iAi    i<jAiAj  +  i<j<kAiAjAk      +  (1)n+1A1An,\left|\bigcup_{i=1}^n A_i\right| \;=\; \sum_{i} |A_i| \;-\; \sum_{i<j} |A_i \cap A_j| \;+\; \sum_{i<j<k} |A_i \cap A_j \cap A_k| \;-\; \cdots \;+\; (-1)^{n+1} |A_1 \cap \cdots \cap A_n|,

es decir,

i=1nAi  =  S{1,,n}(1)S+1iSAi.\left|\bigcup_{i=1}^n A_i\right| \;=\; \sum_{\varnothing \neq S \subseteq \{1,\ldots,n\}} (-1)^{|S|+1} \left|\bigcap_{i \in S} A_i\right|.

Forma complementaria. Si UU es el universo finito que contiene a todos los AiA_i,

Ui=1nAi  =  S{1,,n}(1)SiSAi(con iAi:=U).\left|U \setminus \bigcup_{i=1}^n A_i\right| \;=\; \sum_{S \subseteq \{1,\ldots,n\}} (-1)^{|S|} \left|\bigcap_{i \in S} A_i\right| \qquad (\text{con } \textstyle\bigcap_{i\in\varnothing} A_i := U).
Demostración

Fijemos un elemento xUx \in U y sea T={i:xAi}T = \{i : x \in A_i\}, t=Tt = |T|. Calculamos cuántas veces contribuye xx al lado derecho de la fórmula complementaria:

S{1,,n}(1)S[xiSAi]=ST(1)S=j=0t(1)j(tj).\sum_{S \subseteq \{1,\ldots,n\}} (-1)^{|S|} [x \in \textstyle\bigcap_{i\in S} A_i] = \sum_{S \subseteq T} (-1)^{|S|} = \sum_{j=0}^{t} (-1)^j \binom{t}{j}.

Por la identidad de la suma alternada (ver coeficientes-binomiales), esta suma vale 00 si t1t \geq 1 y vale 11 si t=0t = 0. Es decir, xx contribuye exactamente 11 al lado derecho si xAix \notin \bigcup A_i (entonces t=0t=0), y 00 en caso contrario. Sumando sobre todos los xUx \in U obtenemos precisamente UAi\big|U \setminus \bigcup A_i\big|. La forma original se deduce restando de U|U|. \blacksquare

Ejemplo

Ejemplo 1 (dos conjuntos). AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B| — el caso n=2n=2, ya familiar.

Ejemplo 2 (criba simple). ¿Cuántos enteros entre 11 y 100100 son divisibles por 22 o por 33?

Sean A={A = \{múltiplos de 2}2\}, B={B = \{múltiplos de 3}3\}. Entonces A=50|A| = 50, B=33|B| = 33, AB={|A \cap B| = |\{múltiplos de 6}=166\}| = 16. Por PIE, AB=50+3316=67|A \cup B| = 50 + 33 - 16 = 67.

Ejemplo 3 (función φ\varphi de Euler). El número de enteros en [1,n][1, n] coprimos con n=p1a1prarn = p_1^{a_1}\cdots p_r^{a_r} se calcula tomando Ai={A_i = \{múltiplos de pip_i en [1,n]}[1,n]\} y aplicando la forma complementaria:

φ(n)=ni=1r(11pi).\varphi(n) = n\prod_{i=1}^{r}\left(1 - \frac{1}{p_i}\right).

Esta es exactamente la demostración combinatoria de la fórmula de φ\varphi — véase función de Euler.

Aplicaciones

Desarreglos (permutaciones sin puntos fijos)

Problema. Una permutación σ\sigma de {1,,n}\{1, \ldots, n\} es un desarreglo si σ(i)i\sigma(i) \neq i para todo ii. ¿Cuántos desarreglos hay?

Solución. Sea AiA_i el conjunto de permutaciones con σ(i)=i\sigma(i) = i. Queremos SnAi\left|S_n \setminus \bigcup A_i\right|, donde Sn=n!|S_n| = n!. Para cualquier S{1,,n}S \subseteq \{1,\ldots,n\} con S=k|S| = k, el conjunto iSAi\bigcap_{i \in S} A_i consta de las permutaciones que fijan los elementos de SS y permutan libremente el resto: iSAi=(nk)!\left|\bigcap_{i\in S} A_i\right| = (n-k)!. Hay (nk)\binom{n}{k} subconjuntos de tamaño kk, así que por la forma complementaria del PIE,

Dn=k=0n(1)k(nk)(nk)!=n!k=0n(1)kk!.D_n = \sum_{k=0}^{n} (-1)^k \binom{n}{k}(n-k)! = n! \sum_{k=0}^{n} \frac{(-1)^k}{k!}.

Como k=0(1)kk!=e1\sum_{k=0}^{\infty} \frac{(-1)^k}{k!} = e^{-1}, se obtiene Dnn!/eD_n \approx n!/e, y de hecho DnD_n es el entero más cercano a n!/en!/e para n1n \geq 1. \blacksquare

Esta fórmula resuelve instantáneamente el clásico problema del guardarropa (problème des rencontres): la probabilidad de que nadie recupere su propio abrigo tiende a 1/e0,36791/e \approx 0{,}3679, sorprendentemente independiente de nn para nn grande.

Funciones sobreyectivas

Problema. ¿Cuántas funciones sobreyectivas hay de un conjunto de nn elementos a un conjunto de kk elementos?

Solución. El total de funciones es knk^n. Sea AiA_i el conjunto de funciones que omiten el valor ii (es decir, no sobreyectivas porque falta ii en la imagen). Para S{1,,k}S \subseteq \{1,\ldots,k\} con S=j|S| = j, las funciones que omiten todos los valores de SS son las que aplican en los kjk - j valores restantes: (kj)n(k-j)^n de ellas. Por PIE,

#{sobreyectivas}=j=0k(1)j(kj)(kj)n.\#\{\text{sobreyectivas}\} = \sum_{j=0}^{k} (-1)^j \binom{k}{j} (k-j)^n.

Dividiendo entre k!k! (para no distinguir el orden de las "cajas") se obtiene el número de Stirling de segunda especie S(n,k)S(n,k) — véase particiones-stirling-bell. \blacksquare

Criba de Eratóstenes-Legendre

Problema. Estimar (o calcular exactamente) cuántos enteros en [1,N][1, N] no son divisibles por ninguno de los primos p1,,prp_1, \ldots, p_r.

Solución. Aplicación directa de la forma complementaria con Ai={A_i = \{múltiplos de pi}p_i\}:

#{mN:pim  i}=S{1,,r}(1)SNiSpi.\#\{m \leq N : p_i \nmid m \;\forall i\} = \sum_{S \subseteq \{1,\ldots,r\}} (-1)^{|S|} \left\lfloor \frac{N}{\prod_{i \in S} p_i} \right\rfloor.

Esta es la fórmula de Legendre, base teórica de la criba de Eratóstenes y punto de partida de las cribas modernas en teoría analítica de números. \blacksquare

Observación

El PIE es el caso "discreto" de un fenómeno mucho más general: la fórmula de inversión de Möbius sobre el retículo de subconjuntos (y, en teoría de números, sobre el retículo de divisores). La suma alternada (1)S\sum (-1)^{|S|} es precisamente la función de Möbius del álgebra booleana 2{1,,n}2^{\{1,\ldots,n\}}. Reconocer esta estructura permite trasladar argumentos de PIE a contextos aparentemente distintos —funciones multiplicativas, posets, polinomios cromáticos de grafos— sin reinventar la rueda.