בתשובה להאייל האלמוני, 19/10/05 5:36
 |
|
 |
||
|
||||
 |
יש אקסיומה בתורת הקבוצות שנקראת ''אקסיומת ההפרדה'', ויש בטופולוגיה משפחה של תכונות שקוראים להן ''אקסיומות הפרדה''. אלו שני עניינים שונים לגמרי. |  |
 |
 |
|
|
|
||
|
||||
|
ומה אומרת האקסיומה בתורת הקבוצות? | |
|
|
|
|
|
||
|
||||
|
עבור כל קבוצה וכל תכונה של קבוצות שניתן לנסח בשפה מסוימת (השפה של תורת הקבוצות) קיימת קבוצת כל האיברים של אותה קבוצה, שהם בעלי אותה תכונה. | |
|
|
|
|
|
||
|
||||
|
מתקבל על הדעת, אבל מה כאן ההפרדה? | |
|
|
|
|
|
||
|
||||
|
לכל ניתן לנסח באותה שפה תכונה נגדית. כלומר, קיימת גם קבוצת כל איברי הקבוצה הנתונה ש*לא* מקיימים את התכונה (כלומר, מקיימים את התכונה הנגדית). למעשה האקסיומה הזאת אומרת שאפשר לחלק את הקבוצה לשתי קבוצות: קבוצת האיברים שמקיימים את התכונה, וקבוצת האיברים שלא. זו ההפרדה. | |
|
|
|
|
|
||
|
||||
|
אהמ... נאה מאוד.:) | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |