Fodor's lemma
கணிதத்தில், குறிப்பாக செட் கோட்பாட்டில், ஃபோடரின் லெம்மா பின்வருவனவற்றைக் கூறுகிறதுஃ ஒரு வழக்கமான, கணக்கிட முடியாத கார்டினல் என்றால், ஒரு நிலையான துணைக்குழு, மற்றும் பிற்போக்குத்தனமானது (அதாவது, எதற்கும்) என்றால், சில மற்றும் சில நிலையானவை உள்ளன. நவீன மொழியில், நிலையற்ற இலட்சியம் இயல்பானது. லெம்மா முதன்முதலில் 1956 ஆம் ஆண்டில் ஹங்கேரிய செட் கோட்பாட்டாளரான கெசா ஃபோடரால் நிரூபிக்கப்பட்டது. இது சில நேரங்களில் "தி பிரசிங் டவுன் லெம்மா" என்றும் அழைக்கப்படுகிறது. ஆதாரம் (தேவைப்பட்டால் 0 ஐ அகற்றுவதன் மூலம்) என்று நாம் கருதலாம். ஃபோடோரின் லெம்மா பொய்யானால், ஒவ்வொன்றிற்கும் சில கிளப் செட் உள்ளது. விடுங்கள். கிளப் செட்டுகள் மூலைவிட்ட குறுக்குவெட்டின் கீழ் மூடப்பட்டுள்ளன, எனவே கிளப்பும் உள்ளது, எனவே சில உள்ளன. பின்னர் ஒவ்வொன்றிற்கும், எனவே, ஒரு முரண்பாடு இருக்க முடியாது. ஃபோடரின் லெம்மா தாமஸ் ஜெச்சின் நிலையான செட் பற்றிய கருத்துக்கும், நிலையான செட் பற்றிய பொதுவான கருத்துக்கும் பொருந்துகிறது. ஃபோடரின் லெம்மா மரங்களுக்கான மற்றொரு தொடர்புடைய அறிக்கை, ஃபோடரின் லெம்மா (அல்லது பிரசிங்-டவுன்-லெம்மா) என்றும் அழைக்கப்படுகிறது, இது பின்வருமாறுஃ ஒவ்வொரு சிறப்பு அல்லாத மரம் மற்றும் பின்னடைவு வரைபடத்திற்கும் (அதாவது, ஒவ்வொரு வரிசைக்கும், ஒவ்வொன்றிற்கும்), ஒரு சிறப்பு அல்லாத துணை மரம் உள்ளது, அதில் நிலையானது. குறிப்புகள் ஜி. ஃபோடோர், ஐன் பெமெர்குங் ஜுர் தியோரி டெர் ரெக்ரேசிவன் ஃபங்க்ஷியனன், ஆக்டா அறிவியல். கணிதம். Szeged, 17 (1956), 139-142. கரேல் ஹர்பசெக் & தாமஸ் ஜெச், செட் கோட்பாட்டின் அறிமுகம், 3 வது பதிப்பு, அத்தியாயம் 11, பிரிவு 3. மார்க் ஹோவர்ட், வோடரின் அனுமானத்திற்கு ஃபோடரின் லெம்மாவின் பயன்பாடுகள். ஆன். தூய மற்றும் ஆப்பிள். லாஜிக் 42 (1): 1-19 (1989). சைமன் தாமஸ், தி ஆட்டோமார்ஃபிஸம் டவர் பிராப்ளம். எஸ். டோடோர்செவிக் இல் போஸ்ட்ஸ்கிரிப்ட் கோப்பு, தொகுப்புக் கோட்பாட்டில் ஒருங்கிணைந்த இருவகைகள். செட் கோட்பாட்டில் லெம்மாஸ் சான்றுகளைக் கொண்ட கட்டுரைகளில் pdf