עקרון הסדר הטוב

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

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

עקרון הסדר הטוב כטענה לוגית 

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

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

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

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

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

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

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

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

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

ראו גם
נסיגה אינסופית

קישורים חיצוניים
 

משפטים בתורת הקבוצות
משפטים בתורת המספרים
אקסיומות
קבוצות סדורות
הוכחות