בתשובה לדורון שדמי, 24/09/05 1:37
חקירת מושג הקבוצה 331899
<הערה עוקצנית>
הייתי מבקש ממך אותו דבר, אבל חברי המערכת שונאים שמציפים את האתר בתגובות ריקות.
<\\הערה עוקצנית>

מה שאמרתי רלוונטי מאוד, ואיננו תבלין כלל וכלל. בהינתן קבוצה A שהיא היחידה ששייכת לעצמה, עוצמת הקבוצה
{ A, {A}, {{A}}, {{{A}}}, {{{{A}}}}... }
היא בדיוק 1!
לכן, אתה לא יכול לטעון לשקילות בין הקבוצה הזאת לקבוצת הטבעיים. אתה, לעומת זאת, עוסק בקבוצת רמות הקינון, שהיא הקבוצה:
{ "A", "{A}", "{{A}}", "{{{A}}}", "{{{{A}}}}"... }
זו קבוצת *דרכי הרישום* של A. למעשה, זו קבוצת דרכי הרישום של A שעונה על אילוצים מסוימים.

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

{ A, {A}, {{A}}, {{{A}}}, {{{{A}}}}... }

היא בדיוק 1!"

הכיצד?

הריי:

1 <--> A
2 <--> {A}
3 <--> {{A}}
...

חקירת מושג הקבוצה 331903
את הטענה "A היא היחידה ששייכת לעצמה" ניתן לבטא כך:
A={A}
ולכן:
A={{A}}
A={{{A}}}
A={{{{A}}}}
וכל האיברים של אותה קבוצה
{ A, {A}, {{A}}, {{{A}}}, {{{{A}}}}... }
למעשה שווים. לכן עוצמתה 1.

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

a={a}

במסגרת ZF?

אם כך הדבר, האם:

{a,b,c,…} = {{a},{b},{c},…} ?
חקירת מושג הקבוצה 331923
לא עבור *כל* x מתקיים
x={x} .
דיברנו על קבוצה *מסוימת* שהגדרנו כך שהיא תקיים את התנאי הזה. גם לגביה יש בינינו הסכמה שההגדרה הזאת לא תקינה.

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

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