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.
Cuando los conjuntos se solapan, : cada elemento que pertenece a varios conjuntos se cuenta varias veces. El principio de inclusión-exclusión (PIE) corrige sistemáticamente este sobreconteo.
Para conjuntos finitos dentro de un universo,
es decir,
Forma complementaria. Si es el universo finito que contiene a todos los ,
Fijemos un elemento y sea , . Calculamos cuántas veces contribuye al lado derecho de la fórmula complementaria:
Por la identidad de la suma alternada (ver coeficientes-binomiales), esta suma vale si y vale si . Es decir, contribuye exactamente al lado derecho si (entonces ), y en caso contrario. Sumando sobre todos los obtenemos precisamente . La forma original se deduce restando de .
Ejemplo 1 (dos conjuntos). — el caso , ya familiar.
Ejemplo 2 (criba simple). ¿Cuántos enteros entre y son divisibles por o por ?
Sean múltiplos de , múltiplos de . Entonces , , múltiplos de . Por PIE, .
Ejemplo 3 (función de Euler). El número de enteros en coprimos con se calcula tomando múltiplos de en y aplicando la forma complementaria:
Esta es exactamente la demostración combinatoria de la fórmula de — véase función de Euler.
Desarreglos (permutaciones sin puntos fijos)
Problema. Una permutación de es un desarreglo si para todo . ¿Cuántos desarreglos hay?
Solución. Sea el conjunto de permutaciones con . Queremos , donde . Para cualquier con , el conjunto consta de las permutaciones que fijan los elementos de y permutan libremente el resto: . Hay subconjuntos de tamaño , así que por la forma complementaria del PIE,
Como , se obtiene , y de hecho es el entero más cercano a para .
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 , sorprendentemente independiente de para grande.
Funciones sobreyectivas
Problema. ¿Cuántas funciones sobreyectivas hay de un conjunto de elementos a un conjunto de elementos?
Solución. El total de funciones es . Sea el conjunto de funciones que omiten el valor (es decir, no sobreyectivas porque falta en la imagen). Para con , las funciones que omiten todos los valores de son las que aplican en los valores restantes: de ellas. Por PIE,
Dividiendo entre (para no distinguir el orden de las "cajas") se obtiene el número de Stirling de segunda especie — véase particiones-stirling-bell.
Criba de Eratóstenes-Legendre
Problema. Estimar (o calcular exactamente) cuántos enteros en no son divisibles por ninguno de los primos .
Solución. Aplicación directa de la forma complementaria con múltiplos de :
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.
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 es precisamente la función de Möbius del álgebra booleana . Reconocer esta estructura permite trasladar argumentos de PIE a contextos aparentemente distintos —funciones multiplicativas, posets, polinomios cromáticos de grafos— sin reinventar la rueda.