የመርፌ ተግባር B→A አለ፣ነገር ግን ምንም አይነት መርፌ ተግባር A→B የለም። ስለዚህ ያንን እንደ ፍቺችን ከተጠቀምንበት የርግብ ጉድጓድ መርህ አይደለም የማረጋገጫ ጉዳይ ነው - ይልቁንም አንዱ ስብስብ ከሌላው ይበልጣል ማለት ምን ማለት እንደሆነ የመግለጫው አካል ነው።.
የርግብ ጉድጓድ መርህ እንዴት ነው የሚያረጋግጡት?
(የ Pigeonhole መርህ፣ ቀላል ስሪት።) k+1 ወይም ከዚያ በላይ ርግቦች በኪ እርግብ ጉድጓዶች ውስጥ ቢከፋፈሉ ቢያንስ አንድ የርግብ ጉድጓድ ሁለት ወይም ከዚያ በላይ ርግቦችን ማረጋገጫ ይይዛል። የመግለጫው ተቃራኒው፡ እያንዳንዱ የርግብ ጉድጓድ ቢበዛ አንድ ርግቦችን ከያዘ፣ ቢበዛ ኪ እርግቦች አሉ።
የርግብ ጉድጓድ መርህ ለምን ያስፈልገናል?
እርስ በርስ መጨባበጥ የሚችሉ ሰዎች ካሉ (በ n > 1) የርግብ ጉድጓድ መርህ እንደሚያሳየው ሁልጊዜም ተመሳሳይ ቁጥር ያላቸው ጥንድ ጥንድ ሰዎች ይኖራሉ። ሰዎች በዚህ የመርህ አተገባበር አንድ ሰው የተመደበለት 'ቀዳዳ' ያ ሰው የሚጨባበጥበት ቁጥር ነው።
እንደታዘዘው የርግብ ጉድጓድ መርሆውን እገልጻለሁ?
ይህ የሚያሳየው የርግብ ጉድጓድ መርህ የሚባል አጠቃላይ መርሆ ሲሆን ይህም ከርግቦች ጉድጓዶች የሚበዙ ከሆነ ቢያንስ አንድ የርግብ ጉድጓድ በውስጡ ቢያንስ ሁለት እርግቦች መኖር አለበት ይላል።
የርግብ ጉድጓድ መርህ አክሲየም ነው?
የርግብ ጉድጓድ መርህ የሂሳብ-ኤማቲክስሲሆን ይህም ከ m ርግቦች እስከ n ጉድጓዶች አንድ ለአንድ ካርታ እንደሌለ በመግለጽ፣ m > n. ስለ ስብስቦች ካርዲናሊቲዎች በጣም መሠረታዊ እውነታን የሚገልጽ እና በሁሉም የሒሳብ ዘርፎች ማለት ይቻላል በሁሉም ቦታ ጥቅም ላይ ይውላል።
