Principio combinatorio que afirma que si n objetos se colocan en m contenedores y n > m, entonces al menos un contenedor debe contener más de un objeto. A menudo llamado principio de Dirichlet o principio del casillero.

Principio

La idea organizadora es una inevitabilidad basada en el conteo: con menos contenedores que objetos, algún contenedor debe recibir al menos dos objetos — una restricción de conteo básica usada para probar existencia.

Demostración

Escenario ilustrativo: si 13 calcetines se distribuyen entre 12 cajones, el principio garantiza que al menos un cajón contiene al menos dos calcetines. En teoría de grafos asegura cotas de colisión: colocar k+1 palomas en k casilleros fuerza un casillero compartido.

Aplicación incorrecta

Extender el principio discreto de forma ingenua a entornos continuos, de teoría de la medida o probabilísticos sin ajustes (p. ej. ignorar excepciones de medida cero, densidades o aleatoriedad) puede llevar a conclusiones incorrectas.

Consecuencia

Produce muchas pruebas elementales de existencia y cotas inferiores (colisión, duplicación, garantía de repeticiones) en teoría de números, combinatoria, informática (hashing/argumentos de colisión) y diseños discretos.

Inversión

Si n ≤ m, el principio del casillero no garantiza duplicación — los objetos pueden colocarse uno por contenedor. La 'inversión' es la no existencia de colisiones forzadas cuando los contenedores son al menos tan numerosos como los objetos.

Límite

Se aplica a colocaciones finitas discretas y con precaución a generalizaciones de cardinalidades infinitas; no especifica qué contenedor está saturado ni cuántos objetos adicionales contendrá, y los análogos continuos requieren condiciones de medida.

Tensión semántica

Tensión entre la certeza combinatoria (colisiones garantizadas) y la expectativa probabilística (colisiones probables) — el principio da existencia determinista, no frecuencia probabilística ni información de localización.

Síntesis

El principio del casillero es una inevitabilidad de conteo simple: más objetos que contenedores obligan a contenedores compartidos. Es una herramienta básica de existencia en matemáticas discretas, poderosa para mostrar colisiones o repeticiones, pero limitada en detalles cuantitativos o continuos.