למת פודור

בתורת הקבוצות, למת פודור היא טענה האומרת כי לכל מונה סדיר שאינו בן-מנייה, קבוצת שבת S ופונקציה דוחסת על S, קיימת תת-קבוצה של S כך שהפונקציה מצומצמת לתת-הקבוצה היא קבועה.

הלמה הוכחה בצורתה המודרנית על ידי ג'זה פודור בשנת 1956. גרסה חלשה יותר של הלמה הוכחה בשנת 1929 על ידי אוריסון ואלכסנדרוב.

ניסוח מדויק 
יהא  מונה סדיר שאינו בן-מנייה, תהא  קבוצת שבת ותהא  פונקציה דוחסת, כלומר פונקציה שמקיימת  לכל איבר בתחום הגדרתה.

אז קיימים  ו- כך ש:
  היא קבוצת שבת.
 לכל  מתקיים

הוכחה 
נניח כי  סדיר,  וקיימת פונקציה דוחסת , כך שלכל  האוסף  אינו קבוצת שבת. נראה כי S אינה קבוצת שבת. 
נבחר לכל  קבוצה סגורה ולא חסומה  זרה ל-.

נסתכל על הקבוצה הבאה: 

קבוצה זו מכונה החיתוך האלכסוני של האוסף . ניתן לוודא כי D סגורה ולא חסומה.

D זרה ל-S, כי עבור איבר  בחיתוך היה מתקבל כי:
 
ולכן  בסתירה לכך ש-f דוחסת.

הכללות 
במהלך ההוכחה השתמשנו רק בעובדה שמסנן הקבוצות הסגורות ולא חסומות סגור תחת חיתוך אלכסוני (מסנן כזה נקרא נורמלי). לכן, ניתן להכליל את הטענה לכל מסנן נורמלי. תוצאה זו שימושית במיוחד כאשר יש ברשותנו על-מסנן נורמלי (למשל במונה מדיד). במקרה הזה באמצעות הלמה של פודור ניתן יהיה להסיק כי כל פונקציה דוחסת היא למעשה קבועה על פני קבוצה ממידה 1, כלומר קבוצה מעל המסנן.

תומאס יך  הכליל את מושג הקבוצה הסגורה ולא חסומה, ובהתאם את מושג קבוצת השבת, לתת קבוצות של  (אוסף תתי הקבוצות של  מעוצמה קטנה מ-). במקרה הזה, פונקציה דוחסת מוגדרת להיות פונקציה שהטווח שלה הוא  והיא מקיימת  לכל x בתחום של פונקציה#תחום ההגדרה שלה. מתקבל כי אם פונקציה דוחסת f, מוגדרת על קבוצת שבת S, אז קיימת תת-קבוצה של S שהיא שבת ועליה f קבועה.

שימושים 
ללמת פודור יש שימושים רבים בתורת הקבוצות ובתחומים הקרובים לה (כמו טופולוגיה קבוצתית). נדגים שימוש אופייני - נוכיח שניתן לפצל את  (המונה הראשון שאינו בן מנייה) ל- קבוצות שבת זרות. זהו מקרה פרטי של משפט סולוביי.

נבחר לכל סודר גבולי  סדרה מונוטונית עולה  ששואפת ל-. קודם כל, קיים n בו לכל  האוסף  הוא שבת.

נגדיר . הפונקציה  דוחסת, ולכן לפי למת פודור קיימת קבוצת שבת  כך שלכל , מתקיים . באותו אופן, קיימת  שבת עם ערך קבוע של  שבהכרח יהיה גדול יותר מ-.

נמשיך כך באינדוקציה טרנספיניטית לאורך  צעדים (כאשר בכל שלב אנחנו דואגים לכך ש-) ונקבל את התוצאה הרצויה -  היא משפחה של  קבוצות שבת זרות.

פודור