עקרון המקסימום של האוסדורף – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
מ שוחזר מעריכות של 46.116.208.225 (שיחה) לעריכה האחרונה של דניאל ב. |
||
שורה 1:
ב[[מתמטיקה]], '''עקרון המקסימום של האוסדורף''' הוא ניסוח אלטרנטיבי ומוקדם יותר ל[[הלמה של צורן|למה של צורן]], אשר הוכח על ידי [[פליקס האוסדורף]] בשנת 1914. על-פי עקרון זה, בכל [[סדר חלקי|קבוצה סדורה חלקית]], כל [[שרשרת (מתמטיקה)|שרשרת]] מוכלת בשרשרת מקסימלית.
עקרון המקסימום של האוסדורף הוא אחת מתוך טענות רבות השקולות ל[[אקסיומת הבחירה]] במסגרת [[תורת הקבוצות האקסיומטית|מערכת האקסיומות של צרמלו-פרנקל]] ב[[תורת הקבוצות]]
== ניסוח שקול ==
|