![]() |
|
![]() |
||
|
||||
![]() |
יש אקסיומה בתורת הקבוצות שנקראת ''אקסיומת ההפרדה'', ויש בטופולוגיה משפחה של תכונות שקוראים להן ''אקסיומות הפרדה''. אלו שני עניינים שונים לגמרי. | ![]() |
![]() |
![]() |
![]() |
|
![]() |
||
|
||||
![]() |
ומה אומרת האקסיומה בתורת הקבוצות? | ![]() |
![]() |
![]() |
![]() |
|
![]() |
||
|
||||
![]() |
עבור כל קבוצה וכל תכונה של קבוצות שניתן לנסח בשפה מסוימת (השפה של תורת הקבוצות) קיימת קבוצת כל האיברים של אותה קבוצה, שהם בעלי אותה תכונה. | ![]() |
![]() |
![]() |
![]() |
|
![]() |
||
|
||||
![]() |
מתקבל על הדעת, אבל מה כאן ההפרדה? | ![]() |
![]() |
![]() |
![]() |
|
![]() |
||
|
||||
![]() |
לכל ניתן לנסח באותה שפה תכונה נגדית. כלומר, קיימת גם קבוצת כל איברי הקבוצה הנתונה ש*לא* מקיימים את התכונה (כלומר, מקיימים את התכונה הנגדית). למעשה האקסיומה הזאת אומרת שאפשר לחלק את הקבוצה לשתי קבוצות: קבוצת האיברים שמקיימים את התכונה, וקבוצת האיברים שלא. זו ההפרדה. | ![]() |
![]() |
![]() |
![]() |
|
![]() |
||
|
||||
![]() |
אהמ... נאה מאוד.:) | ![]() |
![]() |
![]() |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
![]() |
© כל הזכויות שמורות |