סדר טוב
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, סדר טוב על קבוצה הוא סדר מלא שבו לכל תת-קבוצה לא ריקה יש איבר ראשון. הסדר הטוב מאפשר להשתמש בטכניקה של אינדוקציה טרנספיניטית על מנת להגדיר או להוכיח תכונות עבור כל אברי הקבוצה. דבר זה מהווה הכללה של מושג האינדוקציה המתמטית הרגילה שמוגדרת רק על המספרים הטבעיים.
הסדר הרגיל של המספרים הטבעיים הוא סדר טוב, כי בכל קבוצה של טבעיים יש איבר קטן ביותר (זהו עקרון הסדר הטוב). לעומת זאת, הסדר של המספרים השלמים אינו סדר טוב - לקבוצת כל השלמים אין איבר ראשון, משום שלכל מספר שלם ניתן למצוא מספר שלם קטן יותר. כל תת-קבוצה של קבוצה סדורה היטב היא סדורה היטב.
הטענה "כל קבוצה ניתן לסדר באמצעות סדר טוב", הקרויה משפט הסדר הטוב, שקולה לאקסיומת הבחירה וללמה של צורן. עם זאת, בעוד שאקסיומת הבחירה נחשבת סבירה מבחינה אינטואיטיבית, משפט הסדר הטוב מציב קשיים לא מבוטלים. למשל, קבוצת המספרים הממשיים אמורה להיות ניתנת לסידור טוב, אך לא ניתן להדגים בפועל סדר טוב שכזה. (הסדר הרגיל על המספרים הממשיים בוודאי אינו טוב: בקבוצת המספרים הגדולים מאפס אין איבר מינימלי).
בקבוצה סדורה היטב, לכל איבר (פרט לאיבר המקסימלי, אם יש כזה) יש איבר עוקב מיידי[1] וכל חתך[2] הוא או הקבוצה כולה או קטע התחלי.[3]
טיפוס הסדר של קבוצה סדורה בסדר טוב נקרא מספר סודר.