पिजनहोल सिद्धांत

गणित में, पिजनहोल सिद्धांत कहता है कि यदि $n$ आइटम को $n = 10$ के साथ $m$ कंटेनर में रखा जाता है, तो कम से कम कंटेनर में से अधिक आइटम होने चाहिए। उदाहरण के लिए, यदि किसी के पास तीन ग्लव्स हैं (और उनमें से कोई भी उभयलिंगी/प्रतिवर्ती नहीं है), तो कम से कम दो दाएं हाथ के ग्लव्स होने चाहिए, या कम से कम दो बाएं हाथ के ग्लव्स होने चाहिए, क्योंकि तीन वस्तुएं हैं, किन्तु हाथ की केवल दो श्रेणियां हैं यह प्रतीत होता है कि स्पष्ट कथन,  प्रकार का गिनती तर्क, संभवतः अप्रत्याशित परिणामों को प्रदर्शित करने के लिए उपयोग किया जा सकता है। उदाहरण के लिए, यह देखते हुए कि लंदन की जनसांख्यिकी किसी इंसान के सिर पर उपस्तिथ बालों की अधिकतम संख्या से अधिक है, तो पिजनहोल सिद्धांत के अनुसार लंदन में कम से कम दो लोग ऐसे होने चाहिए जिनके सिर पर बालों की संख्या समान हो।.

चूँकि पिजनहोल सिद्धांत 1624 में जीन लेउरेचॉन की पुस्तक में दिखाई देता है, इसे सामान्यतः पीटर गुस्ताव लेज्यून डिरिचलेट द्वारा Schubfachprinzip ("ड्रावर सिद्धांत" या "शेल्फ सिद्धांत") नाम के अंतर्गत सिद्धांत के 1834 के उपचार के पश्चात डिरिचलेट का बॉक्स सिद्धांत या डिरिचलेट का ड्रावर सिद्धांत कहा जाता है।।

सिद्धांत के कई सामान्यीकरण हैं और इसे विभिन्न विधियों से कहा जा सकता है। अधिक परिमाणित संस्करण में: प्राकृतिक संख्या $k$ और $m$ के लिए, यदि $m = 9$ ऑब्जेक्ट को $m$ समुच्चय के मध्य वितरित किया जाता है, तो पिजनहोल सिद्धांत का आशय है कि समुच्चय में से कम से कम में कम से कम $n > m$ ऑब्जेक्ट होंगे। $n$ और $m$, के लिए, यह सामान्यीकृत होता है$$k + 1 = \lfloor(n - 1)/m \rfloor + 1 = \lceil n/m\rceil,$$ जहाँ $$\lfloor\cdots\rfloor$$ और $$\lceil\cdots\rceil$$ क्रमशः फर्श और छत फलन को निरूपित करते है।

यद्यपि सबसे सीधा अनुप्रयोग परिमित समुच्चयों (जैसे पिजनहोल और बक्से) के लिए है, इसका उपयोग अनंत समुच्चयों के साथ भी किया जाता है जिन्हें -से- पत्राचार में नहीं रखा जा सकता है। ऐसा करने के लिए पिजनहोल सिद्धांत के औपचारिक कथन की आवश्यकता होती है, जो कि इंजेक्शन फलन उपस्तिथ नहीं है जिसका कोडोमेन किसी फलन के डोमेन से छोटा है। सीगल के लेम्मा जैसे उन्नत गणितीय प्रमाण इस अधिक सामान्य अवधारणा पर आधारित हैं।

व्युत्पत्ति
डिरिचलेट ने जर्मन Schubfach या फ़्रेंच tiroir का उपयोग करते हुए फ्रेंच और जर्मन दोनों में अपने कार्य प्रकाशित किए। इन शब्दों का कठिन मूल अर्थ अंग्रेजी ड्रावर से युग्मित होता है, अर्थात, संवृत शीर्ष बॉक्स जिसे कैबिनेट के अंदर और बाहर स्लाइड किया जा सकता है। (डिरिचलेट ने ड्रावर के मध्य मोती बांटने के बारे में लिखा था।) इन शब्दों को डेस्क, कैबिनेट, या दीवार में पत्र या कागजात रखने के लिए छोटी सी संवृत स्थान के अर्थ में पिजनहोल शब्द में रूपांतरित किया गया था, जो रूपक रूप से उन संरचनाओं में निहित है जहां पिजनहोल रहते हैं।

क्योंकि पिजनहोल वाले फर्नीचर का उपयोग सामान्यतः चीजों को कई श्रेणियों में संग्रहित करने या क्रमबद्ध करने के लिए किया जाता है (जैसे कि पोस्ट ऑफिस में पत्र या होटल में कक्ष की चाबियाँ), अनुवाद पिजनहोल डिरिचलेट के मूल ड्रावर रूपक का उत्तम प्रतिपादन हो सकता है। फर्नीचर की कुछ विशेषताओं को संदर्भित करते हुए पिजनहोल शब्द की समझ कम हो रही है- विशेष रूप से उन लोगों के मध्य जो मूल रूप से अंग्रेजी नहीं बोलते हैं, किन्तु वैज्ञानिक संसार में सामान्य भाषा के रूप में अधिक सचित्र व्याख्या के पक्ष में, जिसमें वस्तुतः पिजनहोल और छिद्र सम्मिलित हैं। "पिजन के छिद्र" की "पिजन" के रूप में विचारोत्तेजक (चूँकि भ्रामक नहीं) व्याख्या वर्तमान में पिजनहोल सिद्धांत के जर्मन बैक-अनुवाद में वापस आ गई है।Taubenschlagprinzip. मूल शर्तों के अलावाSchubfachprinzip जर्मन में औरPrincipe des tiroirs  फ्रेंच में, अन्य शाब्दिक अनुवाद अभी भी अरबी भाषा में उपयोग में हैं, बल्गेरियाई भाषा, चीनी भाषा, डेनिश भाषा (Skuffeprincippet ), हॉलैंड की भाषा (ladenprincipe ), हंगेरियन भाषा (skatulyaelv ), इतालवी भाषा (principio dei cassetti ), जापानी भाषा, फ़ारसी भाषा, पोलिश भाषा (zasada szufladkowa ), पुर्तगाली भाषा (Princípio das Gavetas ), स्वीडन की भाषा (Lådprincipen ), तुर्की भाषा (çekmece ilkesi ) और वियतनामी भाषा (nguyên lý hộp ).

सोक पीकिंग
मान लें कि ड्रावर में ब्लैक सॉक्स और नीले सॉक्स का मिश्रण है, जिनमें से प्रत्येक को किसी भी पैर पर पहना जा सकता है, और आप बिना देखे ड्रावर से कई सॉक्स निकाल रहे हैं। एक ही रंग के जोड़े के आश्वासन के लिए खींचे गए सॉक्स की न्यूनतम संख्या कितनी होनी चाहिए? पिजनहोल सिद्धांत $n = km + 1$ सॉक्स, प्रति रंग पिजनहोल का उपयोग करके), का उपयोग करते हुए, आपको ड्रावर से केवल तीन सॉक्स $k + 1$ आइटम) निकालने की आवश्यकता है। या तो आपके पास एक रंग के तीन हैं, या आपके पास एक रंग के दो हैं और दूसरे रंग का एक है।

हैण्ड शाकिंग
यदि ऐसे $(m = 2$ लोग हैं जो एक दूसरे से हैण्ड शेक कर सकते हैं (जहां $(n = 3$), पिजनहोल सिद्धांत से ज्ञात होता है कि सदैव ऐसे लोगों का एक जोड़ा होता है जो समान संख्या में लोगों से हैण्ड शेक करते है। सिद्धांत के इस अनुप्रयोग में, जिस 'छिद्र' को व्यक्ति प्रदान किया गया है वह उस व्यक्ति द्वारा हैण्ड शेक की संख्या है। चूँकि प्रत्येक व्यक्ति 0 से $n$ तक कुछ संख्या में लोगों से हैण्ड शेक करता है, इसलिए $n > 1$ संभावित छिद्र हैं। दूसरी ओर, या तो '0' छिद्र या $n &minus; 1$ छिद्र या दोनों रिक्त होने चाहिए, क्योंकि किसी व्यक्ति के लिए सभी के लिए हैण्ड शेक करना असंभव है (यदि $n$) जबकि कोई व्यक्ति किसी से हैण्ड शेक नहीं करता है। इससे $'n &minus; 1'$ लोगों को अधिकतम $n > 1$ अरिक्त छिद्रों में रखा जा सकता है, जिससे सिद्धांत प्रारम्भ हो।

हैण्ड शाकिंग का यह उदाहरण इस कथन के समतुल्य है कि एक से अधिक शीर्षों (ग्राफ़ सिद्धांत) वाले किसी भी ग्राफ़ (भिन्न-भिन्न गणित) में, कम से कम एक जोड़ी शीर्षों की डिग्री समान होती है। इसे प्रत्येक व्यक्ति को शीर्ष के साथ और प्रत्येक किनारे को हैण्ड शेक के साथ जोड़कर देखा जा सकता है।

हेयर काउंटिंग
कोई यह प्रदर्शित कर सकता है कि लंदन में कम से कम दो लोग ऐसे होने चाहिए जिनके सिर पर समान संख्या में हेयर हों। चूँकि सामान्य मानव सिर पर औसतन लगभग 150,000 हेयर होते हैं, इसलिए यह मान लेना उचित है (ऊपरी सीमा के रूप में) कि किसी के भी सिर पर 1,000,000 से अधिक हेयर नहीं होते हैं। $n$ छिद्र) लंदन में 1,000,000 से अधिक लोग हैं ($n &minus; 1$ 1 मिलियन वस्तुओं से बड़ा है)। किसी व्यक्ति के सिर पर प्रत्येक हेयर की संख्या के लिए पिजनहोल का छिद्र आवंटित करना, और लोगों को उनके सिर पर बालों की संख्या के अनुसार पिजनहोल का छिद्र प्रदान करना, 1,000,001 वें असाइनमेंट तक कम से कम दो लोगों को पिजनहोल का कार्य प्रदान करना जाना चाहिए (क्योंकि उनके सिर पर बालों की संख्या समान है) (या, $(m = 1 million$) यह मानते हुए कि लंदन में 9.002 मिलियन लोग हैं, कोई यह भी कह सकता है कि कम से कम दस लंदनवासियों के बालों की संख्या समान है, क्योंकि 10 लाख पिजनहोल में से प्रत्येक में नौ लंदनवासियों के बाल केवल 9 मिलियन होते हैं।

औसत स्तिथि के लिए ($n$) बाधा के साथ: सबसे कम ओवरलैप, प्रत्येक पिजनहोल के लिए अधिकतम व्यक्ति को नियुक्त किया जाएगा और 150,001वें व्यक्ति को किसी अन्य व्यक्ति के समान उसी पिजनहोल के लिए प्रदान किया जाएगा। इस बाधा के अभाव में, रिक्त पिजनहोल हो सकते हैं क्योंकि विखंडन 150,001वें व्यक्ति से पहले होती है। सिद्धांत केवल ओवरलैप के अस्तित्व को सिद्ध करता है; इसमें ओवरलैप्स की संख्या (जो संभाव्यता वितरण के अंतर्गत आती है) के बारे में कुछ नहीं कहा गया है।

ए हिस्ट्री ऑफ द एथेनियन सोसाइटी में सिद्धांत के इस संस्करण के लिए अंग्रेजी में व्यंग्यपूर्ण संकेत है, जिसके उपसर्ग में "ए सप्लिमेंट टू द एथेनियन ओरेकल: बीइंग ए कलेक्शन ऑफ द रिमेनिंग क्वेश्चन एंड आंसर इन द ओल्ड एथेनियन मर्करीज" (एंड्रयू बेल, लंदन, 1710 के लिए मुद्रित) सम्मिलित है। सवाल यह उठता है कि क्या संसार में ऐसे भी दो व्यक्ति थे जिनके सिर पर समान संख्या में बाल हों? 1704 से पहले एथेनियन मर्करी में पाला गया था।

संभवतः पिजनहोल सिद्धांत का प्रथम लिखित संदर्भ 1622 में फ्रांसीसी जेसुइट जीन लेउरेचोन द्वारा लिखित लैटिन कार्य सिलेक्ट प्रोपोजीशन के छोटे वाक्य में दिखाई देता है, जहां उन्होंने लिखा कि यह आवश्यक है कि दो पुरुषों के बाल, ईकस या अन्य चीजें एक-दूसरे के समान संख्या में हों।" पूर्ण सिद्धांत को दो वर्षों पश्चात, अतिरिक्त उदाहरणों के साथ, अन्य पुस्तक में वर्णित किया गया था, जिसका श्रेय प्रायः लेउरेचॉन को दिया गया है, किन्तु हो सकता है कि इसे उनके किसी छात्र ने लिखा हो।

जन्मदिन की समस्या
जन्मदिन की समस्या समुच्चय के लिए पूछती है $n > m$ यादृच्छिक रूप से चुने गए लोगों की क्या प्रायिकता है कि उनमें से कुछ जोड़े का जन्मदिन  ही होगा? समस्या स्वयं मुख्य रूप से प्रति-सहज ज्ञान युक्त संभावनाओं से संबंधित है; चूँकि, हम पिजनहोल सिद्धांत द्वारा यह भी बता सकते हैं कि, यदि कक्ष में 367 लोग हैं, तो 100% संभावना के साथ कम से कम जोड़ी लोगों का जन्मदिन  ही है, क्योंकि चुनने के लिए केवल 366 संभावित जन्मदिन हैं ( 29 फरवरी सहित, यदि उपस्तिथ हो)।

टीम टूर्नामेंट
सात लोगों की कल्पना करें जो टीमों के टूर्नामेंट में खेलना चाहते हैं $m = 150,000$ आइटम), केवल चार टीमों की सीमा के साथ $n$ छिद्र) से चुनने के लिए। पिजनहोल सिद्धांत हमें बताता है कि वे सभी अलग-अलग टीमों के लिए नहीं खेल सकते हैं; कम से कम टीम में सात में से कम से कम दो खिलाड़ी होने चाहिए:
 * $$ \left\lfloor \frac{n-1}{m} \right\rfloor + 1 = \left\lfloor \frac{7-1}{4} \right\rfloor + 1 = \left\lfloor \frac64 \right\rfloor + 1 = 1 + 1 = 2 $$

उपसमुच्चय योग
समुच्चय से आकार छह का कोई उपसमूह $(n = 7$ = {1,2,3,...,9} में दो तत्व होने चाहिए जिनका योग 10 है। पिजनहोल को दो तत्व उपसमुच्चय {1,9}, {2,8}, {3,7) द्वारा लेबल किया जाएगा। }, {4,6} और सिंगलटन {5}, कुल मिलाकर पांच पिजनहोलखाने। जब छह पिजनहोलों (आकार छह उपसमुच्चय के तत्व) को इन पिजनहोलखाने में रखा जाता है, तो प्रत्येक पिजनहोल उस पिजनहोलखाने में जाता है जिसके लेबल में यह समाहित होता है, दो-तत्व उपसमूह के साथ लेबल किए गए पिजनहोलखाने में से कम से कम में दो पिजनहोल होंगे यह।

उपयोग और अनुप्रयोग
सिद्धांत का उपयोग यह सिद्ध करने के लिए किया जा सकता है कि कोई भी दोषरहित संपीड़न एल्गोरिथ्म, बशर्ते कि यह कुछ इनपुट को छोटा बनाता है (जैसा कि नाम संपीड़न से पता चलता है), कुछ अन्य इनपुट को भी बड़ा बना देगा। अन्यथा, किसी दी गई लंबाई तक सभी इनपुट अनुक्रमों का समुच्चय $L$ से कम लंबाई के सभी अनुक्रमों के (बहुत) छोटे समुच्चय पर मैप किया जा सकता है $L$ टकराव के बिना (क्योंकि संपीड़न दोषरहित है), संभावना जिसे पिजनहोल सिद्धांत बाहर रखता है।

गणितीय विश्लेषण में उल्लेखनीय समस्या  निश्चित अपरिमेय संख्या है $a$, यह दिखाने के लिए कि समुच्चय \{[na]: n \in \Z \} }भिन्नात्मक भागों का } अपने आप में सघन है $(m = 4$. कोई यह पाता है कि पूर्णांकों को स्पष्ट रूप से खोजना आसान नहीं है $n, m$ ऐसा है कि $$|na-m| < e,$$ कहाँ $S$ छोटी धनात्मक संख्या है और $a$ कुछ मनमाना अपरिमेय संख्या है। किन्तु अगर कोई लेता है $M$ ऐसा है कि $\tfrac 1 M < e,$ पिजनहोल सिद्धांत के अनुसार अवश्य होना चाहिए $$n_1, n_2 \in \{1, 2, \ldots, M+1\}$$ ऐसा है कि $2n$ और $n &times; n$ आकार के समान पूर्णांक उपखंड में हैं $\tfrac 1 M$ (केवल वहाँ ही $M$ क्रमागत पूर्णांकों के मध्य ऐसे उपविभाजन)। विशेष रूप से, कोई भी पा सकता है $[0, 1]$ ऐसा है कि
 * $$n_1 a \in \left(p+\frac k M,\ p + \frac{k+1}{M}\right), \quad n_2 a \in \left(q+ \frac k M,\ q+\frac{k+1}{M}\right),$$

कुछ के लिए $p, q$पूर्णांक और $k$ में $e > 0$. फिर कोई भी इसे आसानी से सत्यापित कर सकता है
 * $$(n_2 - n_1)a \in \left(q-p-\frac 1 M, q-p+\frac 1 M \right).$$

इसका अर्थ यह है कि $[na] < \tfrac 1 M < e,$ कहाँ $n_{1}a$ या $n_{2}a$. इससे पता चलता है कि 0 {[ का सीमा बिंदु है$n_{1}, n_{2}$]}. फिर कोई इस तथ्य का उपयोग मामले को सिद्ध करने के लिए कर सकता है $p$ में ${0, 1, ..., M &minus; 1}$: पाना $n$ ऐसा है कि $[na] < \tfrac 1 M < e;$ तो अगर $p \in \bigl(0, \tfrac 1 M \bigr],$ प्रमाण पूर्ण है। अन्यथा
 * $$p \in \left(\frac j M, \frac{j+1}{M}\right],$$

और समुच्चयिंग द्वारा
 * $$k = \sup \left\{r \in N : r[na] < \frac j M \right\},$$ प्राप्त होता है
 * $$\Bigl| \bigl[ (k+1)na \bigr] - p \Bigr| < \frac 1 M < e.$$

अनेक प्रमाणों में भिन्नताएँ पाई जाती हैं। नियमित भाषाओं के लिए पंपिंग लेम्मा के प्रमाण में, संस्करण जो परिमित और अनंत समुच्चयों को मिलाता है, का उपयोग किया जाता है: यदि अनंत रूप से कई वस्तुओं को सीमित रूप से कई बक्से में रखा जाता है, तो दो वस्तुएं उपस्तिथ होती हैं जो  बॉक्स साझा करती हैं। आर्ट गैलरी समस्या के फिस्क के समाधान में प्रकार का व्युत्क्रम प्रयोग किया जाता है: यदि $n$ वस्तुओं को रखा जाता है $k$ बक्से, तो अधिकतम  बॉक्स होता है $\tfrac n k$ वस्तुएं।

वैकल्पिक सूत्रीकरण
पिजनहोल सिद्धांत के वैकल्पिक सूत्रीकरण निम्नलिखित हैं।


 * 1) अगर $n = n_{2} &minus; n_{1}$ वस्तुएं वितरित की जाती हैं $n = n_{1} &minus; n_{2}$ स्थान, और यदि $na$, तो किसी स्थान पर कम से कम दो वस्तुएँ प्राप्त होती हैं। #(1 के समतुल्य सूत्रीकरण) यदि $(0, 1]$ वस्तुएं वितरित की जाती हैं $n$ स्थानों को इस प्रकार रखें कि किसी भी स्थान को से अधिक वस्तुएँ प्राप्त न हों, तो प्रत्येक स्थान को छिद्र्कुल  वस्तु प्राप्त होती है। #अगर $m$ वस्तुएं वितरित की जाती हैं $n > m$ स्थान, और यदि $n$, तो किसी स्थान को कोई वस्तु प्राप्त नहीं होती है।
 * 2) (3 के समतुल्य सूत्रीकरण) यदि $n$ वस्तुएं वितरित की जाती हैं $n$ स्थानों को इस प्रकार रखा जाए कि किसी भी स्थान को कोई वस्तु प्राप्त न हो, तो प्रत्येक स्थान को छिद्र्कुल ही वस्तु प्राप्त होती है।

मजबूत रूप
होने देना $m$ धनात्मक पूर्णांक हों। अगर
 * $$q_1 + q_2 + \cdots + q_n - n + 1$$

वस्तुओं को वितरित किया जाता है $n < m$ बक्से, तो या तो पहले बॉक्स में कम से कम होता है $n$ ऑब्जेक्ट, या दूसरे बॉक्स में कम से कम सम्मिलित है $n$ ऑब्जेक्ट, ..., या $q_{1}, q_{2}, ..., q_{n}$बॉक्स में कम से कम है $n$ वस्तुएं। इसे लेने से सरल रूप प्राप्त होता है $q_{1}$, जो देता है $q_{2}$ वस्तुएं। ले रहा $n$ सिद्धांत का अधिक परिमाणित संस्करण देता है, अर्थात्:

होने देना $q_{n}$ और $q_{1} = q_{2} = ... = q_{n} = 2$ धनात्मक पूर्णांक हों। अगर $n + 1$ वस्तुओं को वितरित किया जाता है $q_{1} = q_{2} = ... = q_{n} = r$ बक्से, तो कम से कम बक्से में सम्मिलित है $n$ या अधिक वस्तुएं। इसे इस प्रकार भी कहा जा सकता है, यदि $r$ असतत वस्तुओं को आवंटित किया जाना है $n(r - 1) + 1$कंटेनर, तो कम से कम कंटेनर अवश्य रखना चाहिए $$\lceil k/n \rceil$$ वस्तुएं, कहां $$\lceil x\rceil$$ सीलिंग फलन है, जो इससे बड़े या उसके बराबर सबसे छोटे पूर्णांक को दर्शाता है $n$. इसी प्रकार, कम से कम कंटेनर में इससे अधिक नहीं होना चाहिए $$\lfloor k/n \rfloor$$ वस्तुएं, कहां $$\lfloor x \rfloor$$ फ़्लोर फलन है, जो इससे छोटे या उसके बराबर सबसे बड़े पूर्णांक को दर्शाता है $r$.

पिजनहोल सिद्धांत का सामान्यीकरण
पिजनहोल सिद्धांत का संभाव्य सामान्यीकरण बताता है कि यदि $m = n$पिजनहोलों को बेतरतीब ढंग से डाला जाता है $k = r − 1$ समान संभावना वाले पिजनहोलखाने $k$, तो संभावना है कि कम से कम  पिजनहोलखाने में  से अधिक पिजनहोल होंगे


 * $$1 - \frac{(m)_n}{m^n}, $$

कहाँ $n$ गिरता हुआ भाज्य है $x$. के लिए $x$ और के लिए $n$ (और $m$), वह संभावना शून्य है; दूसरे शब्दों में, यदि केवल पिजनहोल है, तो कोई संघर्ष नहीं हो सकता। के लिए $1/m$ (पिजनहोल के छिद्र से अधिक पिजनहोल) यह  है, इस मामले में यह सामान्य पिजनहोल के छिद्र के सिद्धांत से मेल खाता है। किन्तु भले ही पिजनहोलों की संख्या पिजनहोलखानों की संख्या से अधिक न हो ($(m)_{n}$), पिजनहोलों को पिजनहोलखाने में नियुक्त करने की यादृच्छिक प्रकृति के कारण प्रायः झड़पें होने की पर्याप्त संभावना होती है। उदाहरण के लिए, यदि 2 पिजनहोलों को बेतरतीब ढंग से 4 पिजनहोलखानों को सौंपा गया है, तो 25% संभावना है कि कम से कम  पिजनहोलखाने में  से अधिक पिजनहोल होंगे; 5 पिजनहोलों और 10 छिद्रों के लिए, यह संभावना 69.76% है; और 10 पिजनहोलों और 20 छिद्रों के लिए यह लगभग 93.45% है। यदि छिद्रों की संख्या निश्चित रहती है, तो अधिक पिजनहोल जोड़ने पर  जोड़े की संभावना सदैव अधिक होती है। जन्मदिन विरोधाभास में इस समस्या का अधिक विस्तार से इलाज किया जाता है।

और संभाव्य सामान्यीकरण यह है कि जब वास्तविक-मूल्यवान यादृच्छिक चर होता है $m(m &minus; 1)(m &minus; 2)...(m &minus; n + 1)$ का  सीमित माध्य है $n = 0$, तो संभावना शून्य नहीं है $n = 1$ से अधिक या बराबर है $m > 0$, और इसी तरह संभावना शून्य नहीं है $n > m$ से कम या बराबर है $n ≤ m$. यह देखने के लिए कि इसका तात्पर्य मानक पिजनहोल सिद्धांत से है, कोई भी निश्चित व्यवस्था लें $X$पिजनहोलों में $E(X)$ छिद्र और चलो $X$यादृच्छिक रूप से समान रूप से चुने गए छिद्र में पिजनहोलों की संख्या हो। का मतलब $E(X)$ है $X$, इसलिए यदि छिद्रों से अधिक पिजनहोल हैं तो माध्य से अधिक है। इसलिए, $E(X)$ कभी-कभी कम से कम 2 होता है।

अनंत समुच्चय
पिजनहोल सिद्धांत को कार्डिनल संख्याओं के संदर्भ में वाक्यांशित करके अनंत समुच्चयों तक बढ़ाया जा सकता है: यदि समुच्चय की कार्डिनैलिटी $A$ समुच्चय की कार्डिनैलिटी से अधिक है $B$, तो से कोई इंजेक्शन नहीं है $A$ को $B$. चूँकि, इस रूप में सिद्धांत टॉटोलॉजी (तर्क) है, क्योंकि कथन का अर्थ यह है कि समुच्चय की कार्डिनैलिटी $A$ समुच्चय की कार्डिनैलिटी से अधिक है $B$ छिद्र्कुल यही है कि यहां से कोई विशेषण मानचित्र नहीं है $A$ को $B$. चूँकि, सीमित समुच्चय में कम से कम  तत्व जोड़ना यह सुनिश्चित करने के लिए पर्याप्त है कि कार्डिनैलिटी बढ़े।

परिमित समुच्चयों के लिए पिजनहोल सिद्धांत को वाक्यांशबद्ध करने का दूसरा तरीका इस सिद्धांत के समान है कि परिमित समुच्चय डेडेकाइंड परिमित हैं: चलो $A$ और $B$ परिमित समुच्चय हों। अगर कोई आपत्ति है $A$ को $B$ वह इंजेक्शन नहीं है, तो कोई अनुमान नहीं है $A$ को $B$ इंजेक्शन है. वस्तुतः किसी भी प्रकार का कोई कार्य नहीं $A$ को $B$ इंजेक्शन है. यह अनंत समुच्चयों के लिए सच नहीं है: प्राकृतिक संख्याओं पर फलन पर विचार करें जो 1 और 2 को 1, 3 और 4 से 2, 5 और 6 को 3 भेजता है, और इसी तरह।

अनंत समुच्चयों के लिए समान सिद्धांत है: यदि अनगिनत पिजनहोलों को अनगिनत पिजनहोलों में भर दिया जाता है, तो कम से कम  पिजनहोलखाने में अनगिनत पिजनहोलों को भरा जाएगा।

चूँकि, यह सिद्धांत परिमित समुच्चयों के लिए पिजनहोल सिद्धांत का सामान्यीकरण नहीं है: यह परिमित समुच्चयों के लिए सामान्य रूप से गलत है। तकनीकी भाषा में यह कहा जाता है कि यदि $A$ और $B$ परिमित समुच्चय हैं जैसे कि कोई भी विशेषण कार्य करता है $A$ को $B$ इंजेक्शन नहीं है, तो तत्व उपस्तिथ है $b$ का $B$ ऐसा कि पूर्वछवि के मध्य  आक्षेप उपस्तिथ है $b$ और $A$. यह छिद्र्कुल अलग कथन है, और बड़ी सीमित प्रमुखताओं के लिए बेतुका है।

क्वांटम यांत्रिकी
याकिर अहरोनोव एट अल। तर्क प्रस्तुत किए हैं कि क्वांटम यांत्रिकी में पिजनहोल सिद्धांत का उल्लंघन किया जा सकता है, और क्वांटम यांत्रिकी में पिजनहोल सिद्धांत का परीक्षण करने के लिए इंटरफेरोमेट्री प्रयोगों का प्रस्ताव रखा है। चूँकि, पश्चात के शोध ने इस निष्कर्ष पर प्रश्नचिह्न लगा दिया है। जनवरी 2015 के arXiv प्रीप्रिंट में, बर्मिंघम विश्वविद्यालय के शोधकर्ताओं एलेस्टेयर राय और टेड फोर्गन ने इंटरफेरोमीटर के माध्यम से विभिन्न ऊर्जाओं पर इलेक्ट्रॉनों की उड़ान पर मानक पिजनहोल सिद्धांत को नियोजित करते हुए  सैद्धांतिक तरंग फलन विश्लेषण किया। यदि इलेक्ट्रॉनों में छिद्र्कुल भी परस्पर क्रिया शक्ति नहीं होती, तो वे प्रत्येक  ल, पूर्णतः वृत्ताकार शिखर उत्पन्न करते। उच्च अंतःक्रिया शक्ति पर, प्रत्येक इलेक्ट्रॉन डिटेक्टर पर कुल 12 चोटियों के लिए चार अलग-अलग चोटियाँ उत्पन्न करता है; ये शिखर चार संभावित अंतःक्रियाओं का परिणाम हैं जिन्हें प्रत्येक इलेक्ट्रॉन अनुभव कर सकता है (अकेले, केवल पहले अन्य कण के साथ, केवल दूसरे अन्य कण के साथ, या तीनों  साथ)। यदि अंतःक्रिया की ताकत काफी कम थी, जैसा कि कई वास्तविक प्रयोगों में होता है, तो शून्य-अंतःक्रिया पैटर्न से विचलन लगभग अदृश्य होगा, जो ठोस पदार्थों में परमाणुओं के जाली अंतर से बहुत छोटा होगा, जैसे कि इन पैटर्न को देखने के लिए उपयोग किए जाने वाले डिटेक्टर। इससे कमजोर-किन्तु-गैर-शून्य अंतःक्रिया शक्ति को बिना किसी अंतःक्रिया से अलग करना बहुत मुश्किल या असंभव हो जाएगा, और इस प्रकार तीन इलेक्ट्रॉनों का भ्रम पैदा होगा जो तीनों के दो पथों से गुजरने के बावजूद परस्पर क्रिया नहीं करते हैं।

यह भी देखें

 * पसंद का सिद्धांत
 * ब्लिचफेल्ट का प्रमेय
 * संयुक्त सिद्धांत
 * संयुक्त प्रमाण
 * डेडेकाइंड-अनंत समुच्चय
 * डिरिचलेट का सन्निकटन प्रमेय
 * हिल्बर्ट का ग्रैंड होटल का विरोधाभास
 * बहुपद प्रमेय
 * पोचहैमर प्रतीक
 * रैमसे का प्रमेय

बाहरी संबंध

 * "The strange case of The Pigeon-hole Principle"; Edsger Dijkstra investigates interpretations and reformulations of the principle.
 * "The Pigeon Hole Principle"; Elementary examples of the principle in use by Larry Cusick.
 * "Pigeonhole Principle from Interactive Mathematics Miscellany and Puzzles"; basic Pigeonhole Principle analysis and examples by Alexander Bogomolny.
 * "16 fun applications of the pigeonhole principle"; Interesting facts derived by the principle.
 * "16 fun applications of the pigeonhole principle"; Interesting facts derived by the principle.