ויקיפדיה

סדר טוב – הבדלי גרסאות

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
Q כזה.
שורה 30:
== איפיון לקבוצה מסודרת היטב ==
 
'''טענה:''' <math> (\mathbb{Q} , \le) </math> מסודרת היטב אם ורק אם אין בה סדרה אינסופית יורדת.
 
'''הוכחת כיוון ראשון :''' נניח ש- Q לא מסודרת היטב ונבנה סדרה אינסופית יורדת. Q לא מסודרת היטב פירושו שקיימת תת-קבוצה P לא ריקה שאין בה איבר ראשון, נבחר איבר <math>\ p_0</math> האיבר <math>
אוחזר מתוך "https://he.wikipedia.org/wiki/סדר_טוב"