עקרון המקסימום של האוסדורף


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

נלקח מויקיפדיה

הגדרות נוספות הקשורות לעקרון המקסימום של האוסדורף:
קבוצות סדורות
משפטים בתורת הקבוצות
אקסיומת הבחירה