בתשובה להאייל הצעיר, 22/11/05 22:09
 |
|
 |
||
|
||||
 |
אני לא מתמצא ב-ZFC. למה אם הרצף אינו קבוצה הקבוצה המלאה היא ריקה? |  |
 |
 |
|
|
|
||
|
||||
|
הקבוצה הריקה מוגדרת כקבוצה A, כך שעבור כל x, x לא שייך ל-A. כשאומרים "כל x", הכוונה היא לכל קבוצה. [ואם רוצים להיות יותר מדויקים: תורת הקבוצות עוסקת באובייקטים שיכולים להיות שייכים זה לזה, וכן מתקיים: אם כל אובייקט ששייך ל-x שייך גם ל-y, אזי מתקיים: x=y. ומכאן, כל שני אובייקטים שאף אובייקט לא שייך לאף אחד מהם - שווים.] המתקנים הרגילים מוזמנים לעשות את עבודתם. |
|
|
|
|
|
|
||
|
||||
|
הערה למי שמתעתד לרשום את המערכת האקסיומת של ZFC+DS: "שייך" ו"לא שייך" הם שני יחסים נפרדים (בלי קשר ביניהם). וכדי בזיון וקצף. | |
|
|
|
|
|
||
|
||||
|
יש קשר מסוים ביניהם: "אקסיומת הלוקאליות" אומרת שעבור כל איבר לוקאלי 1 וקבוצה, האיבר לא [שייך וגם לא-שייך] וכן לא [לא שייך וגם לא לא-שייך] לקבוצה. 1 איבר מובחן-היטב, איבר של אוסף, אובייקט שמסומן כנקודה, בדיד, מחשבה... |
|
|
|
|
|
|
||
|
||||
|
הגדר ''ביזיון וקצף''. | |
|
|
|
|
|
||
|
||||
|
סתם מעניין אותי לדעת: האם האמירה "אני לא מתמצא ב-ZFC" הפתיעה את מר שדמי? | |
|
|
|
|
|
||
|
||||
|
לא, כנות והרצון לדעת הינה מהנכסים החשובים ביותר שלנו. | |
|
|
|
|
|
||
|
||||
|
לא זו הייתה כוונתי. התכוונתי לשאול האם זה מפתיע אותך, שאדם שמסתדר מצוין עם "המתמטיקה הישנה" לא מכיר היטב את ZFC. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |