שיחה:הלמה של צורן

הלמה של צורן הוכחה לראשונה ע"י Felix Hausdorff בשנת 1914

עוד על הלמה של צורן : Mathworld [1]

אתה בטוח? אני שמעתי על "משפט המקסימום של האוסדורף" ששקול לאקסיומת הבחירה (ולכן ללמה) אבל לא על כך שהאוסדורף ניסח את הלמה של צורן עצמה. גדי אלכסנדרוביץ' 20:09, 9 אוגוסט 2005 (UTC)

הייתה במאמר טעות גסה: שרשרת היא קבוצה שהיחס עליה הוא יחס מלא (או יחס ליניארי) ולא כפי שכתוב יחס סדר טוב. מה שמבלבל הוא אולי שהלמה של צורן ואקסיומת הסדר הטוב שקולות. בכל אופן זה תוקן עכשיו. אמיתושתוש 14:52, 22 מאי 2006 (IDT)

אכן, טעות מביכה למדי. לא ברור לי איך עשיתי שטות כזו. גדי אלכסנדרוביץ' 15:11, 22 מאי 2006 (IDT)

שינוי הדוגמא של אידיאל מקסימלי

שונה כיוון שההוכחה הייתה שגוייה. יש צורך להוכיח שלכל שרשרת יש חסם מלעיל ולא רק לשרשראות בנות מניה כפי שהיה רשום --ארז שיינר - שיחה 21:52, 17 באוגוסט 2011 (IDT)

בין משפט לעקרון

שלום דניאל,

מה דעתך על זה?

תודה, יאיר • שיחה 23:05, 9 בפברואר 2014 (IST)

ראשית, אני מסכים עם נחי (האנונימי) שזה לא נימוק לשחזור ועדיף היה לפנות אלי, אליו או לדף שיחה כדי ללבן את הסוגיה. משזה נאמר, אני לא מסכים עם העריכה של נחי. "עקרון" זה לא מונח מקובל במתמטיקה, למעט יוצאי דופן מעטים ששמם נתקבע כך מסיבות היסטוריות (עקרון הסדר הטוב למשל). זה בהחלט לא כינוי מקובל ללמה של צורן. אני מבין מדוע לא נוח לנחי שהלמה נקראת בשם "משפט". היא הרי שקולה לאקסיומת הבחירה, וכתלות בהקשר ניתן לראות בה גם נוסח אחר של האקסיומה (בדומה לעקרון הסדר הטוב שאפשר לראות בו נוסח אחר של אקסיומת האינדוקציה). אולם אזכיר לנחי שאין פה אי-דיוק מתמטי, כי מבחינה פורמלית, כל אקסיומה היא אכן משפט (גם אם מוזר לקרוא לה כך). על כן ראוי לקרוא ללמה על פי ההקשר ההיסטורי, וההקשר הזה הוא אכן של "משפט" (הרי "למה" משמעה "משפט עזר"). בדומה למשפט טיכונוף, משפט הקומפקטיות ומשפט הסדר הטוב, כולם שקולים לאקסיומת הבחירה ואין מי שמעדיף לקרוא להם עקרון. לדעתי יש להשאיר את התואר "משפט", ואם זה לא ברור מספיק מהערך, לציין שהוא תלוי באקסיומת הבחירה ואינו נכון בלעדיה. חפרתי :) דניאל • תרמו ערך 23:36, 9 בפברואר 2014 (IST)

אני מתקן בהתאם. יאיר • שיחה 23:44, 9 בפברואר 2014 (IST)

דניאל, סבבה. 192.114.91.228 09:26, 10 בפברואר 2014 (IST)