##  [Principio del Casillero (Principio del Palomar)](/es/node/63488) 

 Definición

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

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

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

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

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

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

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 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

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.