תורת הקבוצות/אינדוקציה טרנספיניטית

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

עבור הגדרה, רוצים להגדיר אופרטור על קבוצה סדורה היטב . אם מגדירים את , ולכל מגדירים את עם התייחסות ל לכל . אז האופרטור מוגדר לכל איברי הקבוצה.

הוכחה

עריכה

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

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

טכניקות הוכחה

עריכה

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

נהוגות שתי טכניקות להוכחה באינדוקציה טרנספיניטית: 1. הוכחה כללית, כלומר:

  •  
  •  

2. הוכחה בהתאם למקרים, כלומר:

  •  
  • מקרה א' -   איבר עוקב, לכן יהי  . מכיוון ש , הטענה   גוררת את הטענה  , לכן לובשת ההוכחה צורה של  .
  • מקרה ב' -   איבר גבולי, לכן 'אין ברירה', וההוכחה נשארת בתבנית של  .

הטכניקה השנייה נפוצה ונוחה יותר, ובה נשתמש בדרך כלל בפרק סודרים.

דוגמה

עריכה
  • אינדוקציה מתמטית היא בעצם סוג מסוים של אינדוקציה טרנספיניטית: הקבוצה   סדורה היטב (יוכח במהלך הפרק על הסודרים, שם גם נגדיר את הקבוצה), לכן ניתן לפעול לגביה באינדוקציה טרנספיניטית. בהינתן   (הנחנו שכבר הוכחנו את הטענה לגבי 0), ניתן לרשום   כאשר  . ההנחה   כוללת בתוכה את הטענה  , לכן הגרירה   גוררת את הגרירה  , לכן הטענה   גוררת את  , כלומר את  .

אינדוקציה בנויה היטב

עריכה

הגדרה: יחס בנוי היטב

נאמר כי יחס בינארי   על קבוצה   הוא בנוי היטב, אם ורק אם לכל תת קבוצה לא ריקה   קיים איבר   כך שלכל   מתקיים  .

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

הוכחה: נניח בשלילה שהקבוצה   לא ריקה. אז קיים   כך שלכל   מתקיים  . לכן לכל   מתקיים  , כלומר  , לכן   בסתירה לכך ש .

 

אינדוקציה על פני כל הקבוצות

עריכה

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

הפרק הקודם:
תורת הקבוצות האקסיומטית
אינדוקציה טרנספיניטית הפרק הבא:
סודרים