משפט החיתוך של קנטור – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Felagund-bot (שיחה | תרומות) מ בוט - מחליף מסויים במסוים |
Felagund-bot (שיחה | תרומות) בוט - מחליף 'דוגמא' ב'דוגמה' |
||
שורה 14:
יהי X מרחב שלם. משפט החיתוך קובע שאם הקבוצות הסגורות <math>\ A_n</math> מהוות סדרה יורדת שבה '''הקוטר שואף לאפס''', אז יש נקודה משותפת לכולן. ממבט ראשון נראה שהדרישה על הקוטר מיותרת, שהרי אם מרשים לקבוצות להיות 'גדולות יותר', יהיה קל להן יותר להחזיק נקודה משותפת. אכן, זה המצב אם מניחים שהקבוצות [[קומפקטיות|קומפקטיות]]: אם נבחר נקודה מכל קבוצה, תהיה לסדרה הנוצרת תת-סדרה מתכנסת בגלל הקומפקטיות, ונקודת הגבול משותפת לכל הקבוצות. במקרה זה אין צורך להניח שהקוטר שואף לאפס. אגב, מספיק להניח שהקבוצה הראשונה בסדרה היא קומפקטית, משום שקבוצות סגורות יורשות תכונה זו מן המרחב העוטף אותן. גם ההנחה שהקבוצות [[מרחב חסום לחלוטין|חסומות כליל]] תספיק, משום שהמרחב X שלם על-פי ההנחה.
מאידך, לסתם סדרה יורדת של קבוצות סגורות יכול להיות חיתוך ריק.
== הוכחה מפורטת ==
|