עוצמת הרצף – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Bustan1498 (שיחה | תרומות)
צודק. ר' https://math.stackexchange.com/questions/9475/symbol-for-the-cardinality-of-the-continuum#:~:text=The%20usual%20symbol%20for%20the,real%20numbers)%20is%20Fraktur%20c.
Bustan1498 (שיחה | תרומות)
שורה 31:
כחלק מהניסיונות להוכחת השערת הרצף, קנטור הוכיח כי העוצמה של כל [[קבוצה סגורה]] של ממשיים שאינה בת-מנייה היא עוצמת הרצף. ההוכחה מסתמכת על [[משפט קנטור-בנדיקסון]] הקובע כי כל קבוצה סגורה מורכבת מ[[קבוצה מושלמת]] (אולי ריקה) ומאוסף בן מנייה של נקודות. כיוון שהעוצמה של כל קבוצה מושלמת לא ריקה היא עוצמת הרצף, מתקבלת שקבוצה סגורה אינה יכולה להוות סתירה להשערת הרצף. את התוצאה הזו ניתן להרחיב לכל [[קבוצת בורל]] - קבוצת בורל שאינה בת מניה תכיל תת-קבוצה מושלמת ולכן עוצמתה תהיה עוצמת הרצף. זו תוצאה של משפט עמוק יותר של [[דונלד מרטין]] - כל המשחקים על קבוצות בורל [[כריעות (תורת הקבוצות)|מוכרעים]].
 
את [[קבוצת החזקה]] של המספרים הטבעיים אפשר לזהות (טופולוגית) עם [[קבוצת קנטור]], המוכלת בממשיים. קבוצת החזקה מציעה הגדרות לכמה עוצמות סטנדרטיות. כל תת-קבוצה אינסופית של הטבעיים אפשר לסדר כסדרה עולה. מסמנים <math>(a_n)<^*(b_n)</math> אם <math>a_n < b_n</math> לבסוף (כלומר עבור <math>n</math> גדול מספיק). עבור יחס הסדר הזה, <math>\ \mathfrak{b}</math> היא העוצמה המינימלית של תת-קבוצה לא חסומה של סדרות; ו-<math>\mathfrak{d}</math> היא העוצמה המינימלית של תת-קבוצה דומיננטית של סדרות (כלומר קבוצה שלכל סדרה עולה, יש בה סדרה גדולה ממנה). ידוע ש-<math>\aleph_0 < \mathfrak{b} \leq \mathfrak{d} \leq \mathfrak{c}</math>, כאשר <math>\mathfrak{c}</math> היא עוצמת הרצף. קיומם של שוויונות בשרשרת הזו תלוי באקסיומות הנוספות לתורת הקבוצות.
 
[[קטגוריה:תורת הקבוצות]]