La afirmación combinatoria de que si n+1 objetos se colocan en n contenedores (pocillos), al menos un contenedor contiene más de un objeto; más generalmente, si se distribuyen más objetos que contenedores, algún contenedor recibe al menos el techo de objetos/contenedores.

Principio

Inevitabilidad por conteo: la idea organizadora es que comparaciones simples de cardinalidad fuerzan colisiones o repeticiones cuando los objetos superan a las casillas, dando una garantía mínima sin información detallada de la distribución.

Demostración

Si 13 calcetines se ponen en 12 cajones, el principio garantiza un cajón con al menos 2 calcetines. En general, distribuir 10 objetos en 3 cajas asegura que alguna caja contiene al menos ⌈10/3⌉ = 4 objetos.

Aplicación incorrecta

Aplicar el principio a distribuciones continuas sin discretizar, o inferir uniformidad de la conclusión del palomar (confundir 'alguna caja tiene ≥k' con 'todas las cajas tienen ≥k'), o usarlo sin que los contenedores estén bien definidos.

Consecuencia

Produce muchos resultados elementales de existencia y cotas inferiores en combinatoria, teoría de números y computación (p. ej., colisiones en hashing, residuos iguales garantizados módulo m, o valores repetidos en secuencias).

Inversión

El escenario inverso ocurre cuando los objetos no superan a los contenedores, en cuyo caso el principio no fuerza colisiones y todos los contenedores pueden estar vacíos o ocupados por uno solo; invertir la desigualdad elimina la repetición garantizada.

Límite

Se aplica a distribuciones discretas finitas con contenedores bien definidos y objetos contables; no se aplica directamente a medidas continuas sin discretización y no puede precisar dónde ocurren las colisiones más allá de su existencia.

Tensión semántica

Tensión con la expectativa probabilística: el principio del palomar garantiza una colisión combinatoria extrema pero no informa sobre distribuciones típicas o probabilidades — existencia en el peor caso frente al comportamiento medio.

Síntesis

El Principio del Palomar es una garantía básica de conteo: cuando los objetos superan a los contenedores, las colisiones son inevitables, ofreciendo una herramienta simple pero potente para demostrar repeticiones, cotas inferiores e inevitabilidad en la matemática discreta.