(←ניסוח) |
(←הגרסה החזקה של הלמה של צורן) |
||
(18 גרסאות ביניים של 2 משתמשים אינן מוצגות) | |||
שורה 7: | שורה 7: | ||
תהי <math>X</math> '''קבוצה סדורה חלקית''' (קבוצה עם יחס סדר חלקי <math>\le</math>). תת-קבוצה <math>C</math> של <math>X</math> הסדורה קוית (כל שני איברים של <math>C</math> ניתנים להשוואה) נקראת '''שרשרת'''. | תהי <math>X</math> '''קבוצה סדורה חלקית''' (קבוצה עם יחס סדר חלקי <math>\le</math>). תת-קבוצה <math>C</math> של <math>X</math> הסדורה קוית (כל שני איברים של <math>C</math> ניתנים להשוואה) נקראת '''שרשרת'''. | ||
− | '''דוגמאות:''' אם <math> x_1< x_2 < \cdots</math> אז <math>\{x_1,x_2,\dots\}</math> היא שרשרת, שבה לכל איבר יש עוקב | + | '''דוגמאות:''' אם <math> x_1< x_2 < \cdots</math> אז <math>\{x_1,x_2,\dots\}</math> היא שרשרת, שבה לכל איבר יש עוקב מיידי. אבל בדרך כלל אין זה המצב. למשל, המספרים הרציונליים מהווים שרשרת שבה אין לאף איבר עוקב מיידי. המספרים הממשיים הם שרשרת שאינה בת מניה. |
− | '''הלמה של צורן'''. תהי X קבוצה לא ריקה, עם התכונה שלכל שרשרת (לא ריקה) ב-X יש חסם מלעיל. אז יש ב-X איבר מקסימלי. | + | '''הלמה של צורן'''. תהי <math>X</math> קבוצה לא ריקה, עם התכונה שלכל שרשרת (לא ריקה) ב-<math>X</math> יש חסם מלעיל. אז יש ב-<math>X</math> איבר מקסימלי. |
'''הערות''' | '''הערות''' | ||
− | # הטענה כמובן אינה נכונה אם X ריקה. זו אינה נקודה שולית: הלמה של צורן מספקת הוכחת קיום, וכדי להפעיל אותה יש לוודא שקיים איזשהו איבר בקבוצה X; רק אחר-כך מספקת הלמה איבר מקסימלי בקבוצה | + | # הטענה כמובן אינה נכונה אם <math>X</math> ריקה. זו אינה נקודה שולית: הלמה של צורן מספקת הוכחת קיום, וכדי להפעיל אותה יש לוודא שקיים איזשהו איבר בקבוצה <math>X</math>; רק אחר-כך מספקת הלמה איבר מקסימלי בקבוצה. |
− | + | # אם <math>X</math> קבוצה סדורה לינארית, טענת הלמה נכונה באופן טריוויאלי (משום ש-<math>X</math> עצמה היא שרשרת, ולפי ההנחה יש לה חסם מלעיל, שהוא איבר מקסימלי). הלמה נועדה, איפוא, לטפל במקרים שבהם הסדר של <math>X</math> אינו לינארי. | |
− | # אם X קבוצה סדורה לינארית, טענת הלמה נכונה באופן טריוויאלי (משום ש-X עצמה היא שרשרת, ולפי ההנחה יש לה חסם מלעיל, שהוא איבר מקסימלי). הלמה נועדה, איפוא, לטפל במקרים שבהם הסדר של X אינו לינארי. | + | # במקרה שהקבוצה הסדורה <math>X</math> סופית, אין צורך בלמה: ניקח איבר כלשהו של <math>X</math>. אם הוא מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו. אם האיבר החדש מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו, וכו'. כל עוד איננו נעצרים באיבר מקסימלי, אנו מקבלים איברים חדשים של <math>X</math>. כיון שהקבוצה <math>X</math> סופית, התהליך חייב להפסק לאחר מספר סופי של צעדים, כלומר ניעצר באיבר מקסימלי. |
− | # במקרה שהקבוצה הסדורה X סופית, אין צורך בלמה: ניקח איבר כלשהו של X. אם הוא מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו. אם האיבר החדש מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו, וכו'. כל עוד איננו נעצרים באיבר מקסימלי, אנו מקבלים איברים חדשים של X. כיון שהקבוצה X סופית, התהליך חייב להפסק לאחר מספר סופי של צעדים, כלומר ניעצר באיבר מקסימלי. | + | # מבחינה אינטואיטיבית, אפשר לבצע את התהליך של ההערה הקודמת גם במקרה ש <math>X</math> קבוצה אינסופית. כאן, מופיע מרכיב נוסף: לאחר שבחרנו איברים <math>x_1<x_2<x_3<\cdots</math>, ייתכן שאף אחד מהם אינו מקסימלי. זה המקום שעלינו להשתמש בתנאי של הלמה של צורן, האומר שלכל שרשרת, ובפרט לשרשרת הזו, יש חסם מלעיל. נקרא לו, למשל, <math>x_\omega</math>. כעת אפשר להמשיך את התהליך של בחירת איברים יותר ויותר גדולים, ואם לא ניעצר, נקבל שוב שרשרת, ושוב יהיה לה חסם מלעיל, ושוב אפשר להמשיך. בכל צעד, מוסיפים לשרשרת איבר חדש של X. לכן, התהליך חייב להיעצר מתישהו לפני שהקבוצה <math>X</math> "נגמרת". כיון שהקבוצה אינסופית, לא ברורה המשמעות של הטיעון הזה כל עוד לא מפתחים מנגנון עבור בניה באינדוקציה מעבר למקרה הבן מניה. כיון שאין כאן המקום להאריך בזה, ניתן במקום זאת הוכחה בצורה אחרת. |
− | # מבחינה אינטואיטיבית, אפשר לבצע את התהליך של ההערה הקודמת גם במקרה ש X קבוצה אינסופית. כאן, מופיע מרכיב נוסף: לאחר שבחרנו איברים <math>x_1<x_2<x_3<\cdots</math>, ייתכן שאף אחד מהם אינו מקסימלי. זה המקום שעלינו להשתמש בתנאי של הלמה של צורן, האומר שלכל שרשרת, ובפרט לשרשרת הזו, יש חסם מלעיל. נקרא לו, למשל, <math>x_\omega</math>. כעת אפשר להמשיך את התהליך של בחירת איברים יותר ויותר גדולים, ואם לא ניעצר, נקבל שוב שרשרת, ושוב יהיה לה חסם מלעיל, ושוב אפשר להמשיך. בכל צעד, מוסיפים לשרשרת איבר חדש של X. לכן, התהליך חייב להיעצר מתישהו לפני שהקבוצה X "נגמרת". כיון שהקבוצה אינסופית, לא ברורה המשמעות של הטיעון הזה כל עוד לא מפתחים מנגנון עבור בניה באינדוקציה מעבר למקרה הבן מניה. כיון שאין כאן המקום להאריך בזה, ניתן במקום זאת הוכחה בצורה אחרת. | + | |
=== הלמה של צורן עבור משפחה של קבוצות === | === הלמה של צורן עבור משפחה של קבוצות === | ||
− | כדי להפעיל את הלמה של צורן יש להראות שלכל שרשרת יש חסם מלעיל. אם X היא משפחה של קבוצות, זה עשוי להיות קל במיוחד. אנו אומרים ש-X סגורה לאיחוד של שרשראות אם לכל שרשרת <math> | + | כדי להפעיל את הלמה של צורן יש להראות (אחרי שמוודאים שהקבוצה <math>X</math> אינה ריקה) שלכל שרשרת יש חסם מלעיל. אם <math>X</math> היא משפחה של קבוצות, זה עשוי להיות קל במיוחד. אנו אומרים ש-<math>X</math> '''סגורה לאיחוד של שרשראות''' אם לכל שרשרת <math>C \subseteq X</math>, האיחוד <math>\bigcup_{A \in C} A</math> של כל הקבוצות בשרשרת שייך ל-<math>X</math>. |
− | + | (שוב, אם <math>X</math> היתה סדורה לינארית, אפשר היה לקחת את האיחוד של כל הקבוצות ב-<math>X</math>; אלא שבכל המקרים המעניינים, <math>X</math> אינה לינארית, ואפילו אינה סגורה ביחס לאיחוד סופי של סתם שני אברים). | |
− | + | '''הלמה של צורן עבור משפחה של קבוצות:''' תהי <math>X</math> משפחה לא ריקה של קבוצות, הסגורה לאיחוד של שרשראות. אז יש ב-<math>X</math> איבר מקסימלי. | |
− | + | הוכחת הלמה של צורן תובא בהמשך. ראשית, נראה דוגמאות ליישומיה החשובים. | |
− | == | + | == שימושים == |
− | + | ללמה של צורן שימושים רבים בכל תחומי המתמטיקה. נדגים כמה מהם. הקורא מוזמן להתמקד באלו העוסקות בתחומים המוכרים לו, ויכול לדלג ללא חשש. | |
− | + | === יחס הסדר בין עוצמות הוא לינארי === | |
− | ''' | + | '''משפט'''. לכל שתי קבוצות <math>A,B</math> מתקיים |
+ | <math>\ |A| \leq |B|</math> או <math>\ |B| \leq |A|</math>. | ||
− | + | הוכחה: תהי <math>X</math> משפחת כל הפונקציות <math>f</math> שתחומן מוכל בקבוצה <math>A</math> ותמונתן מוכלת בקבוצה <math>B</math>. | |
− | + | תרגיל: המשפחה <math>X</math> מקיימת את תנאי הלמה של צורן עבור קבוצות. | |
− | + | לכן, יש במשפחה <math>X</math> איבר מקסימלי <math>f</math>. (מבחינת הכלה) מ <math>A</math> ל <math>B</math>. נבחן את האפשרויות השונות: | |
− | + | א. תחום הפונקציה <math>f</math> הוא הקבוצה <math>A</math> כולה. אז <math>f\colon A\to B</math> פונקציה חד-חד ערכית, ולכן <math>|A|\le |B|</math>. | |
− | + | ב. תמונת הפונקציה <math>f</math> היא הקבוצה <math>B</math> כולה. אז <math>f^{-1}\colon B\to A</math> היא פונקציה (במובן הרגיל) חד-חד ערכית, ולכן <math>|B|\le |A|</math>. | |
− | + | ג. נניח בשלילה שאף אחד מבין (א) או (ב) אינו מתקיים. אז יש איברים <math>a\in A,b\in B</math> כך ש <math>a</math> אינו בתחום הפונקציה <math>b</math> ו <math>f</math> אינו בתמונת הפונקציה <math>f</math>. | |
+ | במקרה זה, אפשר להרחיב את הפונקציה <math>f</math> לפונקציה <math>f':=f\cup\{(a,b)\}</math>, או במלים אחרות, על ידי הגדרת <math>f'(a)=b</math> (ועבור <math>x\in\operatorname{dom}(f)</math> נגדיר <math>f'(x)=f(x)</math>). נקבל פונקציה המרחיבה ממש את הפונקציה <math>f</math> ושייכת ל <math>X</math> (בדוק!), בסתירה למקסימליות <math>f</math> במשפחה <math>X</math>. | ||
− | + | לסיכום, בהכרח מתקיים (א) (ואז <math>|A|\le |B|</math>) או (ב) (ואז <math>|B|\le |A|</math>). מ.ש.ל | |
− | + | === סכום ומכפלה של עוצמות === | |
− | + | '''משפט'''. לכל קבוצה אינסופית A מתקיים <math>\ |A\times A| = |A|</math>. | |
− | + | '''מסקנה'''. אם <math>\max\{|A|,|B|\}</math> עוצמה אינסופית, אז <math>\ |A|\cdot |B| = \max\{|A|,|B|\}</math>. | |
− | + | '''הוכחה'''. נניח ש-<math>|A|\leq |B|</math>. לפי ההנחה <math>|B|</math> אינסופית, ולכן <math>\ |B| = 1\cdot |B| \leq |A|\cdot |B| \leq |B| \cdot |B| = |B|</math>. | |
− | + | '''מסקנה'''. לכל שתי קבוצות אינסופיות A,B מתקיים <math>\ |A| + |B| = \max\{|A|,|B|\}</math>. | |
− | + | '''הוכחה'''. | |
− | + | נניח ש-<math>|A|\leq |B|</math>. | |
− | ''' | + | אז <math>|B|</math> אינסופית, ולכן |
− | + | <math>|B|\leq |A| + |B| \leq = 2 |B| = \max\{2,|B|\}=|B|</math>. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
=== לכל מרחב וקטורי יש בסיס === | === לכל מרחב וקטורי יש בסיס === | ||
שורה 91: | שורה 77: | ||
לפי הלמה של צורן, יש ב-X קבוצה מקסימלית, שנסמן ב-B. היא בלתי-תלויה לינארית (משום שכל הקבוצות ב-X כאלה). נשאר להראות שהיא פורשת את המרחב V. יהי <math>\ v\in V</math>. אם הוקטור v אינו נפרש על-ידי B, אז הקבוצה <math>\ B \cup \{v\}</math> בלתי-תלויה לינארית, וזו סתירה למקסימליות של B. לכן כל וקטור נפרש על-ידי B, ומכאן ש-B בסיס. | לפי הלמה של צורן, יש ב-X קבוצה מקסימלית, שנסמן ב-B. היא בלתי-תלויה לינארית (משום שכל הקבוצות ב-X כאלה). נשאר להראות שהיא פורשת את המרחב V. יהי <math>\ v\in V</math>. אם הוקטור v אינו נפרש על-ידי B, אז הקבוצה <math>\ B \cup \{v\}</math> בלתי-תלויה לינארית, וזו סתירה למקסימליות של B. לכן כל וקטור נפרש על-ידי B, ומכאן ש-B בסיס. | ||
− | === | + | === עקרון המקסימום של האוסדורף === |
− | ''' | + | אוסף השרשראות בקבוצה סדורה חלקית, סדור בעצמו על-ידי יחס ההכלה. שרשרת היא '''מקסימלית''' אם אינה מוכלת באף שרשרת אחרת. |
− | = | + | '''למה'''. איחוד של שרשרת של שרשראות הוא בעצמו שרשרת. אכן, תהי <math>\ \Lambda = \{A_{\alpha}\}</math> שרשרת של שרשראות (היינו, כל <math>\ A_{\alpha}</math> היא שרשרת, ולכל <math>\ \alpha,\beta</math> מתקיים <math>\ A_{\alpha} \subseteq A_{\beta}</math> או <math>\ A_{\beta} \subseteq A_{\alpha}</math>). יהיו <math>\ x,y \in \bigcup \Lambda</math>, אז יש <math>\ \alpha, \beta</math> כך ש-<math>\ x\in A_{\alpha}, y \in A_{\beta}</math>. נניח, בלי הגבלת הכלליות, ש-<math>\ A_{\alpha} \subseteq A_{\beta}</math>. אז <math>\ x,y \in A_{\beta}</math>, והם נתנים להשוואה משום ש-<math>\ A_{\beta}</math> שרשרת. |
− | ''' | + | '''עקרון המקסימום של האוסדורף'''. בכל קבוצה סדורה חלקית יש שרשרת מקסימלית. |
− | ''' | + | '''הוכחה'''. לפי הלמה, אוסף השרשראות מקיים את תנאי הלמה של צורן, ולכן יש בו איבר מקסימלי. |
− | ''' | + | עקרון המקסימום הוא משפט שימושי ביותר, שאפשר להוכיח ממנו את כל הטענות האחרות בדף הזה. למעשה, אפשר להוכיח ממנו בקלות את הלמה של צורן עצמה: |
+ | |||
+ | '''טענה'''. הלמה של צורן נובעת מעקרון המקסימום. אכן, קח שרשרת מקסימלית, A. לפי ההנחה יש לה חסם מלעיל, a, שהוא איבר מקסימלי, משום שאם יש <math>\ a < b</math> אז <math>\ A \cup \{b\}</math> היתה שרשרת גדולה יותר. | ||
+ | |||
+ | === עקרון הסדר הטוב === | ||
+ | |||
+ | '''משפט'''. על כל קבוצה X קיים סדר טוב. | ||
+ | |||
+ | '''הוכחה'''. נסמן ב-<math>\ \Omega</math> את אוסף הזוגות הסדורים <math> (A,R)</math> כאשר <math> A \subseteq X</math> ו-<math> R \subseteq A \times A</math> יחס סדר טוב על A. מגדירים על <math> \Omega</math> יחס סדר: <math> (A,R) \leq (A',R')</math> אם <math> A \subseteq A'</math> ו-<math> R = (A \times A) \cap R'</math>. לכל שרשרת <math> (A_{\lambda},R_{\lambda})</math> ב-<math> \Omega</math>, האיחוד <math> (\bigcup A_{\lambda}, \bigcup R_{\lambda})</math> הוא קבוצה סדורה היטב, ולכן איבר של <math> \Omega</math> שהוא חסם מלעיל של השרשרת. לפי הלמה של צורן, יש ל-<math> \Omega</math> איבר מקסימלי, <math> (Y,S)</math>. אם יש איבר <math> x \in X \setminus Y</math>; אם נעשיר את <math> Y</math> בקביעה ש-<math> y \leq x</math> לכל <math> y\in Y</math>, נקבל סדר טוב על <math> Y \cup \{x\}</math>, בסתירה למקסימליות של <math> (Y,S)</math>. מכאן ש-<math> Y = X</math>, וסיימנו. | ||
=== יש על-מסנן לא ראשי === | === יש על-מסנן לא ראשי === | ||
שורה 154: | שורה 148: | ||
'''הערה'''. המשפט על קיום בסיס למרחב וקטורי הוא מקרה פרטי: אם M הוא מרחב וקטורי מעל השדה F, כל תת-מרחב חד-ממדי הוא פשוט, ולכן M שווה לתשתית של עצמו. לפי המשפט M הוא סכום ישר של תת-מרחבים חד-ממדיים, כלומר יש לו בסיס. | '''הערה'''. המשפט על קיום בסיס למרחב וקטורי הוא מקרה פרטי: אם M הוא מרחב וקטורי מעל השדה F, כל תת-מרחב חד-ממדי הוא פשוט, ולכן M שווה לתשתית של עצמו. לפי המשפט M הוא סכום ישר של תת-מרחבים חד-ממדיים, כלומר יש לו בסיס. | ||
+ | |||
+ | == הוכחת הלמה של צורן == | ||
+ | |||
+ | בסעיף זה נוכיח את הלמה של צורן. למעשה נוכיח טענה חזקה יותר. | ||
+ | |||
+ | === קבוצות סדורות היטב === | ||
+ | |||
+ | אומרים שקבוצה סדורה <math>A</math> היא '''סדורה היטב''' אם בכל תת-קבוצה לא ריקה שלה יש איבר ראשון (איבר שהוא קטן או שווה לכל איבר אחר בתת-הקבוצה; לא די בקיומו של איבר מינימלי). | ||
+ | |||
+ | '''הערות''' | ||
+ | # כל קבוצה סדורה היטב היא שרשרת. אכן, יהיו <math>a,b</math> אברים בקבוצה, אז בקבוצה הלא-ריקה <math>\{a,b\}</math> יש איבר ראשון, שהוא איבר הקטן מן האיבר השני. לכן כל שני אברים ניתנים להשוואה. | ||
+ | |||
+ | # כל תת-קבוצה של קבוצה סדורה היטב <math>A</math> - גם היא סדורה היטב. (משום שכל תת-קבוצה של תת-הקבוצה היא גם תת-קבוצה של <math>A</math>, ולכן יש בה איבר ראשון). | ||
+ | # שרשרת היא סדורה היטב אם בכל תת-קבוצה לא ריקה שלה יש איבר מינימלי. | ||
+ | |||
+ | ==== רישות ==== | ||
+ | |||
+ | תת-קבוצה <math>H</math> של קבוצה סדורה היטב <math>A</math> נקראת '''רישא''', אם היא "סגורה כלפי מטה", כלומר כל איבר של <math>A</math> הקטן מאיזשהו איבר של <math>H</math> שייך גם הוא ל <math>H</math>. | ||
+ | |||
+ | בפרט, הקבוצה הריקה היא רישא. | ||
+ | |||
+ | '''הערה'''. איחוד משפחה של רישות של <math>A</math> הוא רישא. | ||
+ | |||
+ | לכל <math>a\in A</math> נסמן <math>\ A_{<a} = \{x \in A : x < a\}</math>. זוהי תמיד רישא של A. | ||
+ | |||
+ | '''טענה'''. לכל רישא <math>H\neq A</math> של קבוצה סדורה היטב <math>A</math> קיים <math>a \in A</math> כך ש-<math>H = A_{<a}</math>. | ||
+ | |||
+ | '''הוכחה'''. כיון ש <math>H</math> סגורה כלפי מטה ו <math>A</math> סדורה קוית, כל איבר של <math>A</math> שאינו ב <math>H</math> הוא חסם מלעיל של <math>H</math>. | ||
+ | בפרט, קבוצת החסמים מלעיל של <math>H</math> אינה ריקה ויש בה איבר ראשון <math>a</math>. מאותה סיבה, קל לראות ש <math>H=A_{<a}</math>. | ||
+ | |||
+ | '''מסקנה'''. תהי <math>A</math> קבוצה סדורה היטב. יש התאמה חד-חד-ערכית ועל, השומרת סדר, בין <math>A</math> לבין קבוצת הרישות האמיתיות של A. | ||
+ | |||
+ | במלים אחרות, קבוצת הרישות האמיתיות של <math>A</math>, הסדורה על ידי היחס <math>\subseteq</math>, איזומורפית כקבוצה סדורה ל-<math>A</math>. | ||
+ | |||
+ | === הגרסה החזקה של הלמה של צורן === | ||
+ | |||
+ | '''הלמה של צורן''' (גרסה חזקה). תהי X קבוצה סדורה לא ריקה, עם התכונה שלכל תת-קבוצה סדורה היטב (ולא ריקה) ב-X יש חסם מלעיל. אז יש ב-X איבר מקסימלי. | ||
+ | |||
+ | גרסה זו חזקה מן הקודמת, משום שהפעם אנו מסתפקים בהנחה שיש חסם מלעיל לשרשראות שהן סדורות היטב, ולא דורשים את התנאי הזה לכל השרשראות. | ||
+ | |||
+ | שאר הסעיף מוקדש ל'''הוכחת הלמה''' (על-פי Pierre-Yves Gaillard). ההוכחה בדרך השלילה. נניח שאין ל-X איבר מקסימלי. | ||
+ | |||
+ | נסמן ב-<math>\ \Omega</math> את אוסף תת-הקבוצות הסדורות היטב של X. לפי ההנחה, כל <math>W\in \Omega</math> היא חסומה מלעיל. יתרה מזו, לפי הנחת השלילה אין ב-W איבר מקסימלי של X, ולכן אפילו הקבוצה <math>\ W^{\circ} = \{x \in X : W < x\}</math> אינה ריקה. לפי אקסיומת הבחירה, קיימת פונקציה <math>\ p : \Omega \rightarrow X</math>, המתאימה לכל <math>\ W \in \Omega</math> איבר <math>\ p(W) \in W^{\circ}</math>, כלומר לכל W מתקיים <math>\ W < p(W)</math>. | ||
+ | |||
+ | נאמר שתת-קבוצה סדורה היטב W היא '''מדוייקת''' אם לכל <math>\ w\in W</math> מתקיים <math>p(W_{<w}) = w</math>. (שימו לב שבכל מקרה האיבר w הוא חסם מלעיל של הרישא <math>\ W_{<w}</math>, ולכן ''יתכן'' ש-<math>\ p(W_{<w})=w</math>). ('''הערה'''. השאלה איזו תת-קבוצה W היא מדוייקת תלויה בפונקציה p, שעצם קיומה תלוי בהנחת השלילה על כך שאין ל-X איברים מקסימליים; משנוכיח שהנחה זו מביאה לסתירה, יתברר שאי-אפשר להגדיר את p, וממילא יתפוגג המושג הזה ויאבד את משמעותו). | ||
+ | |||
+ | נסמן ב-<math>\ \Omega^*</math> את קבוצת תת-הקבוצות המדוייקות של X. תהי U האיחוד של כל הקבוצות השייכות ל-<math>\ \Omega^*</math>. מטרתנו להוכיח ש-U עצמה היא קבוצה מדוייקת. | ||
+ | |||
+ | '''טענה 1'''. לכל <math>\ W,W' \in \Omega^*</math>, אחת מהן היא רישא של השניה. אכן, תהי Q האיחוד של כל הרישות המשותפות ל-<math>\ W,W'</math>; אז Q רישא משותפת בעצמה. אם נניח ש-<math>\ Q \neq W,W'</math>, אז יש <math>\ a\in W, a'\in W'</math> כך ש- <math>\ Q = W_{<a} = W'_{<a'}</math>, אבל אז <math>\ a = p(Q) = a'</math> מכיוון ש-<math>\ W,W'</math> מדוייקות, ויוצא ש-<math>\ Q \cup \{p(Q)\}</math> גם היא רישא משותפת ל-<math>\ W,W'</math>, בסתירה להגדרה של Q. מכאן ש- <math>\ Q = W</math> או <math>\ Q = W'</math>, וזה מוכיח את טענה 1. | ||
+ | |||
+ | '''מסקנה 2'''. <math>\ \Omega^*</math> סדורה לינארית. אכן, מכל שני אברים של <math>\ \Omega^*</math>, אחד הוא רישא של השני, ולכן מוכל בו. | ||
+ | |||
+ | '''מסקנה 3'''. <math>\ U</math> היא שרשרת. אכן, לכל <math>\ a,a' \in U</math> יש <math>\ W,W' \in \Omega^*</math> כך ש-<math>\ a\in W, a' \in W'</math>; ולפי מסקנה 2 אפשר להניח <math>\ W \subseteq W'</math> (או להיפך) ואז <math>\ a,a' \in W'</math>, והרי <math>\ W'</math> שרשרת. | ||
+ | |||
+ | '''טענה 4'''. כל <math>\ W \in\Omega^*</math> הוא רישא של U. אכן, <math>\ W \subseteq U</math> לפי ההגדרה של U כאיחוד הקבוצות השייכות ל-<math>\ \Omega^*</math>, ולפי טענה 1, W היא רישא של U. | ||
+ | |||
+ | '''טענה 5'''. U סדורה היטב. תהי A תת-קבוצה לא ריקה של U, אז יש <math>\ W \in \Omega^*</math> החותכת את A באופן לא ריק, ומכיוון ש-W סדורה היטב, יש לחיתוך <math>\ A \cap W\neq \emptyset</math> איבר מינימלי, m. נראה ש-m הוא המינימום של A כולה. יהי <math>\ a \in A</math>. לפי מסקנה 3, a בר-השוואה עם m. אם <math>\ a < m</math> נקבל מטענה 4 ש-<math>\ a \in W</math> בסתירה למינימליות של m. לכן <math>\ m \leq a</math>, כפי שרצינו. | ||
+ | |||
+ | '''טענה 6'''. <math>\ U \in \Omega^*</math>. עלינו להראות ש-U מדוייקת, ולאור טענה 5, די להראות שלכל <math>\ u \in U</math> מתקיים <math>\ p(U_{<u}) = u</math>. אבל לפי הגדרת U, יש <math>\ W \in \Omega^*</math> כך ש-<math>\ u \in W</math>, ואז <math>\ U_{<u} \subset W</math> והטענה נובעת מכך ש-W מדוייקת. | ||
+ | |||
+ | מכיוון ש-U סדורה היטב, יש איבר <math>\ p(U) \in X</math>. כצעד אחרון בהוכחה, נראה שגם <math>\ \bar{U} = U\cup\{p(U)\} \in \Omega^*</math>. ברור ש-<math>\ \bar{U}</math> היא שרשרת. אם <math>\ u \in \bar{U}</math>, יש שתי אפשרויות: אם <math>\ u = p(U)</math> אז <math>\ \bar{U}_{<u} = U</math> וממילא <math>\ p(U) = u</math>; ואחרת <math>\ p(\bar{U}_{<u}) = p(U_{<u}) = u</math> לפי טענה 6. אבל מהגדרת U נובע עכשיו ש-<math>\ \bar{U} \subseteq U</math>, וזו סתירה משום שלפי הנחת השלילה <math>\ U < p(U)</math>. | ||
== קשרים לאקסיומות של המתמטיקה == | == קשרים לאקסיומות של המתמטיקה == |
גרסה אחרונה מ־12:13, 13 באוגוסט 2020
הלמה של צורן היא למה יסודית במתמטיקה, המאפשרת להוכיח קיום של אובייקטים מתמטיים שקשה (ולפעמים אי אפשר) לבנות בצורה מפורשת.
הלמה של צורן
ניסוח
תהי קבוצה סדורה חלקית (קבוצה עם יחס סדר חלקי
). תת-קבוצה
של
הסדורה קוית (כל שני איברים של
ניתנים להשוואה) נקראת שרשרת.
דוגמאות: אם אז
היא שרשרת, שבה לכל איבר יש עוקב מיידי. אבל בדרך כלל אין זה המצב. למשל, המספרים הרציונליים מהווים שרשרת שבה אין לאף איבר עוקב מיידי. המספרים הממשיים הם שרשרת שאינה בת מניה.
הלמה של צורן. תהי קבוצה לא ריקה, עם התכונה שלכל שרשרת (לא ריקה) ב-
יש חסם מלעיל. אז יש ב-
איבר מקסימלי.
הערות
- הטענה כמובן אינה נכונה אם
ריקה. זו אינה נקודה שולית: הלמה של צורן מספקת הוכחת קיום, וכדי להפעיל אותה יש לוודא שקיים איזשהו איבר בקבוצה
; רק אחר-כך מספקת הלמה איבר מקסימלי בקבוצה.
- אם
קבוצה סדורה לינארית, טענת הלמה נכונה באופן טריוויאלי (משום ש-
עצמה היא שרשרת, ולפי ההנחה יש לה חסם מלעיל, שהוא איבר מקסימלי). הלמה נועדה, איפוא, לטפל במקרים שבהם הסדר של
אינו לינארי.
- במקרה שהקבוצה הסדורה
סופית, אין צורך בלמה: ניקח איבר כלשהו של
. אם הוא מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו. אם האיבר החדש מקסימלי, סיימנו. אחרת, ניקח איבר שגדול ממנו, וכו'. כל עוד איננו נעצרים באיבר מקסימלי, אנו מקבלים איברים חדשים של
. כיון שהקבוצה
סופית, התהליך חייב להפסק לאחר מספר סופי של צעדים, כלומר ניעצר באיבר מקסימלי.
- מבחינה אינטואיטיבית, אפשר לבצע את התהליך של ההערה הקודמת גם במקרה ש
קבוצה אינסופית. כאן, מופיע מרכיב נוסף: לאחר שבחרנו איברים
, ייתכן שאף אחד מהם אינו מקסימלי. זה המקום שעלינו להשתמש בתנאי של הלמה של צורן, האומר שלכל שרשרת, ובפרט לשרשרת הזו, יש חסם מלעיל. נקרא לו, למשל,
. כעת אפשר להמשיך את התהליך של בחירת איברים יותר ויותר גדולים, ואם לא ניעצר, נקבל שוב שרשרת, ושוב יהיה לה חסם מלעיל, ושוב אפשר להמשיך. בכל צעד, מוסיפים לשרשרת איבר חדש של X. לכן, התהליך חייב להיעצר מתישהו לפני שהקבוצה
"נגמרת". כיון שהקבוצה אינסופית, לא ברורה המשמעות של הטיעון הזה כל עוד לא מפתחים מנגנון עבור בניה באינדוקציה מעבר למקרה הבן מניה. כיון שאין כאן המקום להאריך בזה, ניתן במקום זאת הוכחה בצורה אחרת.
הלמה של צורן עבור משפחה של קבוצות
כדי להפעיל את הלמה של צורן יש להראות (אחרי שמוודאים שהקבוצה אינה ריקה) שלכל שרשרת יש חסם מלעיל. אם
היא משפחה של קבוצות, זה עשוי להיות קל במיוחד. אנו אומרים ש-
סגורה לאיחוד של שרשראות אם לכל שרשרת
, האיחוד
של כל הקבוצות בשרשרת שייך ל-
.
(שוב, אם היתה סדורה לינארית, אפשר היה לקחת את האיחוד של כל הקבוצות ב-
; אלא שבכל המקרים המעניינים,
אינה לינארית, ואפילו אינה סגורה ביחס לאיחוד סופי של סתם שני אברים).
הלמה של צורן עבור משפחה של קבוצות: תהי משפחה לא ריקה של קבוצות, הסגורה לאיחוד של שרשראות. אז יש ב-
איבר מקסימלי.
הוכחת הלמה של צורן תובא בהמשך. ראשית, נראה דוגמאות ליישומיה החשובים.
שימושים
ללמה של צורן שימושים רבים בכל תחומי המתמטיקה. נדגים כמה מהם. הקורא מוזמן להתמקד באלו העוסקות בתחומים המוכרים לו, ויכול לדלג ללא חשש.
יחס הסדר בין עוצמות הוא לינארי
משפט. לכל שתי קבוצות מתקיים
או
.
הוכחה: תהי משפחת כל הפונקציות
שתחומן מוכל בקבוצה
ותמונתן מוכלת בקבוצה
.
תרגיל: המשפחה מקיימת את תנאי הלמה של צורן עבור קבוצות.
לכן, יש במשפחה איבר מקסימלי
. (מבחינת הכלה) מ
ל
. נבחן את האפשרויות השונות:
א. תחום הפונקציה הוא הקבוצה
כולה. אז
פונקציה חד-חד ערכית, ולכן
.
ב. תמונת הפונקציה היא הקבוצה
כולה. אז
היא פונקציה (במובן הרגיל) חד-חד ערכית, ולכן
.
ג. נניח בשלילה שאף אחד מבין (א) או (ב) אינו מתקיים. אז יש איברים כך ש
אינו בתחום הפונקציה
ו
אינו בתמונת הפונקציה
.
במקרה זה, אפשר להרחיב את הפונקציה
לפונקציה
, או במלים אחרות, על ידי הגדרת
(ועבור
נגדיר
). נקבל פונקציה המרחיבה ממש את הפונקציה
ושייכת ל
(בדוק!), בסתירה למקסימליות
במשפחה
.
לסיכום, בהכרח מתקיים (א) (ואז ) או (ב) (ואז
). מ.ש.ל
סכום ומכפלה של עוצמות
משפט. לכל קבוצה אינסופית A מתקיים .
מסקנה. אם עוצמה אינסופית, אז
.
הוכחה. נניח ש-. לפי ההנחה
אינסופית, ולכן
.
מסקנה. לכל שתי קבוצות אינסופיות A,B מתקיים .
הוכחה.
נניח ש-.
אז
אינסופית, ולכן
.
לכל מרחב וקטורי יש בסיס
משפט. לכל מרחב וקטורי יש בסיס.
זו טענה שאפשר להוכיח באינדוקציה אם יש למרחב בסיס סופי, אבל המקרה הכללי דורש כלים מתקדמים יותר.
הוכחה. יהי V מרחב וקטורי מעל שדה F. נסמן ב-X את משפחת תת-הקבוצות של V שאינן תלויות לינארית (הקבוצה הריקה שייכת ל-X, ולכן X אינה ריקה). נוכיח ש-X סגורה לאיחוד של שרשראות. אכן, תהי C שרשרת ב-X. נתבונן באיחוד . יהיו
אברים של המרחב, כך שקיימים סקלרים
כך ש-
. לכל
יש איבר
כך ש-
; אבל C היא שרשרת, ולכן מבין האברים
יש אחד המכיל את כולם; נאמר שזהו
. אז
, אבל
בלתי תלויה לינארית (משום שהיא שייכת ל-X), ולכן המקדמים
שווים כולם לאפס.
לפי הלמה של צורן, יש ב-X קבוצה מקסימלית, שנסמן ב-B. היא בלתי-תלויה לינארית (משום שכל הקבוצות ב-X כאלה). נשאר להראות שהיא פורשת את המרחב V. יהי . אם הוקטור v אינו נפרש על-ידי B, אז הקבוצה
בלתי-תלויה לינארית, וזו סתירה למקסימליות של B. לכן כל וקטור נפרש על-ידי B, ומכאן ש-B בסיס.
עקרון המקסימום של האוסדורף
אוסף השרשראות בקבוצה סדורה חלקית, סדור בעצמו על-ידי יחס ההכלה. שרשרת היא מקסימלית אם אינה מוכלת באף שרשרת אחרת.
למה. איחוד של שרשרת של שרשראות הוא בעצמו שרשרת. אכן, תהי שרשרת של שרשראות (היינו, כל
היא שרשרת, ולכל
מתקיים
או
). יהיו
, אז יש
כך ש-
. נניח, בלי הגבלת הכלליות, ש-
. אז
, והם נתנים להשוואה משום ש-
שרשרת.
עקרון המקסימום של האוסדורף. בכל קבוצה סדורה חלקית יש שרשרת מקסימלית.
הוכחה. לפי הלמה, אוסף השרשראות מקיים את תנאי הלמה של צורן, ולכן יש בו איבר מקסימלי.
עקרון המקסימום הוא משפט שימושי ביותר, שאפשר להוכיח ממנו את כל הטענות האחרות בדף הזה. למעשה, אפשר להוכיח ממנו בקלות את הלמה של צורן עצמה:
טענה. הלמה של צורן נובעת מעקרון המקסימום. אכן, קח שרשרת מקסימלית, A. לפי ההנחה יש לה חסם מלעיל, a, שהוא איבר מקסימלי, משום שאם יש אז
היתה שרשרת גדולה יותר.
עקרון הסדר הטוב
משפט. על כל קבוצה X קיים סדר טוב.
הוכחה. נסמן ב- את אוסף הזוגות הסדורים
כאשר
ו-
יחס סדר טוב על A. מגדירים על
יחס סדר:
אם
ו-
. לכל שרשרת
ב-
, האיחוד
הוא קבוצה סדורה היטב, ולכן איבר של
שהוא חסם מלעיל של השרשרת. לפי הלמה של צורן, יש ל-
איבר מקסימלי,
. אם יש איבר
; אם נעשיר את
בקביעה ש-
לכל
, נקבל סדר טוב על
, בסתירה למקסימליות של
. מכאן ש-
, וסיימנו.
יש על-מסנן לא ראשי
"מסנן" על קבוצה D הוא אוסף של תת-קבוצות, הסגור לחיתוך סופי ולהגדלה (אם A שייכת למסנן אז גם כל תת-קבוצה של D המכילה אותה שייכת למסנן). בנוסף דורשים שהמסנן לא יכלול את הקבוצה הריקה (משום שבמקרה כזה הוא צריך להיות שווה לקבוצת החזקה של D. "על-מסנן" הוא מסנן הכולל את אחד החלקים בכל פירוק של D כאיחוד של שתי קבוצות זרות. למשל, תהי a נקודה ב-X; אוסף תת-הקבוצות ש-a שייך אליהן הוא על-מסנן. על-מסנן כזה נקרא "על-מסנן ראשי", והוא נחשב לטריוויאלי. האם קיים על-מסנן שאינו ראשי?
למה. מסנן מהווה על-מסנן אם ורק אם הוא מקסימלי (כלומר, אינו מוכל באף מסנן גדול יותר).
משפט. כל מסנן מוכל בעל-מסנן המוגדר על אותה קבוצה.
הוכחה. יהי F המסנן הנתון. נסמן ב-X את משפחת המסננים המכילים את F (הקבוצה לא ריקה כי F הוא איבר שלה). האיחוד על פני שרשרת של מסננים הוא מסנן, ולכן X מקיימת את תנאי הלמה של צורן, ויש לה איבר מקסימלי.
מסקנה. על כל קבוצה אינסופית יש על-מסנן לא ראשי. אכן, אוסף הקבוצות שהמשלים שלהן סופי הוא מסנן (קרוי "מסנן פרשה", על-שם Maurice Frechet), ואינו יכול להיות מוכל בעל-מסנן ראשי.
בכל חוג יש אידאל מקסימלי
משפט. בכל חוג עם יחידה יש אידאל (אמיתי) מקסימלי.
תת-קבוצה של חוג R נקראת אידיאל אם היא סגורה לחיבור וחיסור, וכן לכפל מימין ומשמאל באברים של R. אידיאל הוא "אמיתי" אם הוא אינו שווה לכל החוג. אידיאל (אמיתי) הוא מקסימלי אם אינו מוכל (ממש) בשום אידיאל (אמיתי) אחר. המפתח להוכחה הוא העובדה שאידיאל אמיתי אינו יכול להכיל את איבר היחידה (אחרת הוא כולל כל איבר לפי הסגירות לכפל באברי החוג).
הוכחה. נסמן ב-X את קבוצת האידיאלים האמיתיים של R (אידיאל האפס נמצא שם, ולכן X לא ריקה). איחוד על שרשרת של אידיאלים סגור בוודאי לחיבור וחיסור ולכפל באברי החוג, ולכן הוא אידיאל. מכיוון שכל האברים בשרשרת אינם כוללים את איבר היחידה, גם האיחוד שלהם אינו כולל את איבר היחידה, ולכן הוא אידיאל אמיתי. לפי הלמה של צורן, יש ב-X איבר מקסימלי, וזהו אידיאל אמיתי מקסימלי.
הערה. אותה הוכחה בדיוק מראה שכל אידיאל I של R מוכל באידיאל מקסימלי; קח X להיות קבוצת האידיאלים האמיתיים המכילים את I. ההוכחה אינה עובדת בחוגים ללא יחידה, ואכן הטענה אינה נכונה עבורם.
תרגיל. בכל חוג עם יחידה יש אידיאל שמאלי מקסימלי. (מסקנה: לכל חוג עם יחידה יש מודולים פשוטים).
תרגיל. יהי S מונויד כפלי בחוג R, שאינו כולל את 0. הראה שיש אידיאל שהוא מקסימלי בין אלו שאינם חותכים את S. (כל אידיאל כזה הוא "אידיאל ראשוני").
תרגיל. לכל מודול נוצר סופית יש תת-מודול (אמיתי) מקסימלי.
לכל שדה יש סגור אלגברי
שדה E הוא סגור אלגברית אם לכל פולינום עם מקדמים ב-E יש שורש ב-E (לדוגמא, שדה המספרים המרוכבים סגור אלגברית). שדה E הוא סגור אלגברי של שדה F, אם E סגור אלגברית, וההרחבה E/F אלגברית.
משפט. לכל שדה F יש סגור אלגברי.
ההוכחה מתחילה באידיאל הנוצר על-ידי הצבות של משתנים פורמליים בכל הפולינומים (המתוקנים) מעל השדה. כפי שראינו לעיל (בעזרת הלמה של צורן), האידיאל הזה מוכל באידיאל מקסימלי, וחוג המנה (של כל חוג קומוטטיבי מעל אידיאל מקסימלי) הוא שדה. לפרטים, ראה כאן, סעיף 4.1.5 בעמ' 65.
הסגור האלגברי יחיד עד-כדי איזומורפיזם
משפט. כל שני סגורים אלגבריים של אותו שדה F, הם איזומורפיים (כהרחבות של F).
יהיו E_1, E_2 שני סגורים אלגבריים של F. הפעם מבוססת ההוכחה על משפחת השיכונים של תת-שדות של E_1 בתוך E_2. גם כאן, השיכון ה"מקסימלי" (מושג שיש להגדיר, כמובן) מהווה שיכון מלא של E_1 לתוך E_2; אבל אז E_2 הוא הרחבה אלגברית של השדה E_1, שהוא סגור אלגברית, ולכן השיכון הוא על. ראה כאן, סעיף 4.1.6, עמ' 66 לפרטים.
התשתית של מודול היא סכום ישר של תת-מודולים פשוטים
יהי M מודול מעל חוג R. התשתית שלו, אותה מסמנים ב-, היא הסכום של כל תת-המודולים הפשוטים של M.
משפט. הוא סכום ישר של תת-מודולים פשוטים של M (בדרך כלל לא כולם).
הוכחה. נסמן ב-X את המשפחות של תת-מודולים פשוטים שהסכום שלהם הוא ישר (המשפחה הריקה היא כזו, ולכן X לא ריקה). X סגור לאיחוד של שרשראות (ההוכחה דומה לזו של קיום הבסיס למרחב וקטורי). לכן יש ב-X משפחה מקסימלית, שנסמן ב-S. אם קיים תת-מודול פשוט שאינו מוכל בסכום שלה, אז צירופו למשפחה נותן משפחה בלתי-תלויה גדולה יותר, בסתירה למקסימליות. לכן כל תת-מודול פשוט מוכל בסכום של אברי S; מכן שהסכום הזה (שהוא סכום ישר כי S שייכת ל-X) שווה ל-.
הערה. המשפט על קיום בסיס למרחב וקטורי הוא מקרה פרטי: אם M הוא מרחב וקטורי מעל השדה F, כל תת-מרחב חד-ממדי הוא פשוט, ולכן M שווה לתשתית של עצמו. לפי המשפט M הוא סכום ישר של תת-מרחבים חד-ממדיים, כלומר יש לו בסיס.
הוכחת הלמה של צורן
בסעיף זה נוכיח את הלמה של צורן. למעשה נוכיח טענה חזקה יותר.
קבוצות סדורות היטב
אומרים שקבוצה סדורה היא סדורה היטב אם בכל תת-קבוצה לא ריקה שלה יש איבר ראשון (איבר שהוא קטן או שווה לכל איבר אחר בתת-הקבוצה; לא די בקיומו של איבר מינימלי).
הערות
- כל קבוצה סדורה היטב היא שרשרת. אכן, יהיו
אברים בקבוצה, אז בקבוצה הלא-ריקה
יש איבר ראשון, שהוא איבר הקטן מן האיבר השני. לכן כל שני אברים ניתנים להשוואה.
- כל תת-קבוצה של קבוצה סדורה היטב
- גם היא סדורה היטב. (משום שכל תת-קבוצה של תת-הקבוצה היא גם תת-קבוצה של
, ולכן יש בה איבר ראשון).
- שרשרת היא סדורה היטב אם בכל תת-קבוצה לא ריקה שלה יש איבר מינימלי.
רישות
תת-קבוצה של קבוצה סדורה היטב
נקראת רישא, אם היא "סגורה כלפי מטה", כלומר כל איבר של
הקטן מאיזשהו איבר של
שייך גם הוא ל
.
בפרט, הקבוצה הריקה היא רישא.
הערה. איחוד משפחה של רישות של הוא רישא.
לכל נסמן
. זוהי תמיד רישא של A.
טענה. לכל רישא של קבוצה סדורה היטב
קיים
כך ש-
.
הוכחה. כיון ש סגורה כלפי מטה ו
סדורה קוית, כל איבר של
שאינו ב
הוא חסם מלעיל של
.
בפרט, קבוצת החסמים מלעיל של
אינה ריקה ויש בה איבר ראשון
. מאותה סיבה, קל לראות ש
.
מסקנה. תהי קבוצה סדורה היטב. יש התאמה חד-חד-ערכית ועל, השומרת סדר, בין
לבין קבוצת הרישות האמיתיות של A.
במלים אחרות, קבוצת הרישות האמיתיות של , הסדורה על ידי היחס
, איזומורפית כקבוצה סדורה ל-
.
הגרסה החזקה של הלמה של צורן
הלמה של צורן (גרסה חזקה). תהי X קבוצה סדורה לא ריקה, עם התכונה שלכל תת-קבוצה סדורה היטב (ולא ריקה) ב-X יש חסם מלעיל. אז יש ב-X איבר מקסימלי.
גרסה זו חזקה מן הקודמת, משום שהפעם אנו מסתפקים בהנחה שיש חסם מלעיל לשרשראות שהן סדורות היטב, ולא דורשים את התנאי הזה לכל השרשראות.
שאר הסעיף מוקדש להוכחת הלמה (על-פי Pierre-Yves Gaillard). ההוכחה בדרך השלילה. נניח שאין ל-X איבר מקסימלי.
נסמן ב- את אוסף תת-הקבוצות הסדורות היטב של X. לפי ההנחה, כל
היא חסומה מלעיל. יתרה מזו, לפי הנחת השלילה אין ב-W איבר מקסימלי של X, ולכן אפילו הקבוצה
אינה ריקה. לפי אקסיומת הבחירה, קיימת פונקציה
, המתאימה לכל
איבר
, כלומר לכל W מתקיים
.
נאמר שתת-קבוצה סדורה היטב W היא מדוייקת אם לכל מתקיים
. (שימו לב שבכל מקרה האיבר w הוא חסם מלעיל של הרישא
, ולכן יתכן ש-
). (הערה. השאלה איזו תת-קבוצה W היא מדוייקת תלויה בפונקציה p, שעצם קיומה תלוי בהנחת השלילה על כך שאין ל-X איברים מקסימליים; משנוכיח שהנחה זו מביאה לסתירה, יתברר שאי-אפשר להגדיר את p, וממילא יתפוגג המושג הזה ויאבד את משמעותו).
נסמן ב- את קבוצת תת-הקבוצות המדוייקות של X. תהי U האיחוד של כל הקבוצות השייכות ל-
. מטרתנו להוכיח ש-U עצמה היא קבוצה מדוייקת.
טענה 1. לכל , אחת מהן היא רישא של השניה. אכן, תהי Q האיחוד של כל הרישות המשותפות ל-
; אז Q רישא משותפת בעצמה. אם נניח ש-
, אז יש
כך ש-
, אבל אז
מכיוון ש-
מדוייקות, ויוצא ש-
גם היא רישא משותפת ל-
, בסתירה להגדרה של Q. מכאן ש-
או
, וזה מוכיח את טענה 1.
מסקנה 2. סדורה לינארית. אכן, מכל שני אברים של
, אחד הוא רישא של השני, ולכן מוכל בו.
מסקנה 3. היא שרשרת. אכן, לכל
יש
כך ש-
; ולפי מסקנה 2 אפשר להניח
(או להיפך) ואז
, והרי
שרשרת.
טענה 4. כל הוא רישא של U. אכן,
לפי ההגדרה של U כאיחוד הקבוצות השייכות ל-
, ולפי טענה 1, W היא רישא של U.
טענה 5. U סדורה היטב. תהי A תת-קבוצה לא ריקה של U, אז יש החותכת את A באופן לא ריק, ומכיוון ש-W סדורה היטב, יש לחיתוך
איבר מינימלי, m. נראה ש-m הוא המינימום של A כולה. יהי
. לפי מסקנה 3, a בר-השוואה עם m. אם
נקבל מטענה 4 ש-
בסתירה למינימליות של m. לכן
, כפי שרצינו.
טענה 6. . עלינו להראות ש-U מדוייקת, ולאור טענה 5, די להראות שלכל
מתקיים
. אבל לפי הגדרת U, יש
כך ש-
, ואז
והטענה נובעת מכך ש-W מדוייקת.
מכיוון ש-U סדורה היטב, יש איבר . כצעד אחרון בהוכחה, נראה שגם
. ברור ש-
היא שרשרת. אם
, יש שתי אפשרויות: אם
אז
וממילא
; ואחרת
לפי טענה 6. אבל מהגדרת U נובע עכשיו ש-
, וזו סתירה משום שלפי הנחת השלילה
.
קשרים לאקסיומות של המתמטיקה
את כל המשפטים במתמטיקה אפשר, עקרונית, להוכיח באופן פורמלי ממערכת אקסיומות אחת, המתארת תכונות בסיסיות של קבוצות. מערכת האקסיומות הנפוצה ביותר נקראת אקסיומות צרמלו-פרנקל, על שם המתמטיקאים שניסחו אותן. רוב האקסיומות פשוטות בתכלית: קיימת קבוצה ריקה, לכל קבוצה יש קבוצת חזקה, וכדומה. על מידת האינטואיטיביות של אחת האקסיומות ברשימה, אקסיומת הבחירה, קמו חולקים.
בשורש המחלוקת לגבי האקסיומה ניצב הפער שבין קיום למימוש "אלגוריתמי". באחת מגרסאותיה השקולות, האקסיומה מבטיחה קיומה של פונקציה, מבלי לספק כל הסבר כיצד מפעילים את הפונקציה על איברים בתחומה. דבר זה לא היה מקובל במתמטיקה הקלאסית. עם השנים, התקבלה האקסיומה כמעט ללא עוררין, בין השאר בשל נחיצותה לתוצאות חשובות רבות במתמטיקה.
הוכחת הלמה של צורן השתמשה באקסיומת הבחירה. בהנתן האקסיומות האחרות של צרמלו ופרנקל, אפשר (ולמעשה, לא קשה) להוכיח את אקסיומת הבחירה בעזרת הלמה של צורן. לכן, הלמה של צורן שקולה לאקסיומת הבחירה. כיון שהלמה של צורן (או אקסיומת הבחירה) חיונית כל כך בכל ענפי המתמטיקה, עם השנים אומצה אקסיומת הבחירה כאקסיומה הכרחית באקסיומטיקה של המתמטיקה.
בענפים מתמטיים בעל אופי אלגוריתמי, עדיין נותר הצורך למצוא דרכים שלא להשתמש באקסיומת הבחירה בהוכחות. גם שם, לאקסיומת הבחירה תפקיד במציאת מועמדים למשפטים שלאחר מכן ינסו החוקרים לחפש עבורם הוכחות עם בניה מפורשת.
אקסיומת הבחירה
((ניסוח, הסבר. בהוכחת הלמה של צורן השתמשנו באקסיומת הבחירה בכך שבחרנו את החסמים לכל U. ))
((הוכחה שאקסיומת הבחירה נובעת מן הלמה של צורן.))