בתשובה לגדי אלכסנדרוביץ', 04/04/04 13:07
בדיוק 210227
לכן אתה יכול להתאים כל קבוצה חלקית של הממשיים, לקבוצה חלקית של הטבעיים בהתאמה חח"ע ועל.

תחשוב על זה ככה: נניח שיש מספר טבעי "מוצמד" לכל מספר רציונלי. אז אתה פשוט מחליף כל מספר רציונלי בקבוצה, בטבעי שייך לו - וכך אתה מקבל קבוצת מספרים טבעיים יחודית.
בדיוק 210230
אבל האם אתה שומר על ההכלה שנדרשת בשאלה?
למה לא? 210232
במקום קבוצה של מספרים רציונליים, נחשוב על קבוצת השמות שלהם (שהם, במקרה, מספרים טבעיים). שם שייך לקבוצת שמות אם ורק אם המספר ''שלו'' שייך לקבוצה המתאימה - ולכן ההכלה נשמרת.
בדיוק 210234
התכוונת "לכל קבוצה חלקית של *הרציונליים*", נכון?

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

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים