בתשובה לדורון שדמי, 29/09/05 23:22
וריאציות על ZF 333861
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 23:25
כמו שציינתי, אין הכרח בקיום הקבוצה הריקה, כדי שתתקיים קבוצה.

וכדי שהדיון הזה לא ימשיך להתנהל כמו שהוא מתנהל עכשיו ("כן!", "לא!", "כן!", "לא!") אני אציין שחובת ההוכחה מוטלת עליך. הוכח בבקשה שאם קיימת קבוצה, קיימת הקבוצה הריקה.
וריאציות על ZF 333867
דורון שדמי • בתשובה להאייל הצעיר יום ה', 29/9/2005, 23:41
''כמו שציינתי, אין הכרח בקיום הקבוצה הריקה, כדי שתתקיים קבוצה.''

זה היופי פה, אין פה שום הכרח.

אם יש קבוצה, אז היא לא פחות מהקבוצה-הריקה.

כמה פשוט, ככה יפה.
וריאציות על ZF 333873
האייל הצעיר • בתשובה לדורון שדמי יום ה', 29/9/2005, 23:55
זה שקבוצה היא "לא פחות מהקבוצה הריקה" (מתי קבוצה היא יותר מקבוצה אחרת? אם היא מכילה אותה?) לא אומר שהיא "מורכבת" מהקבוצה הריקה, ולכן זה לא אומר שהקבוצה הריקה קיימת.

כמה פשוט, ככה יפה.
וריאציות על ZF 333878
דורון שדמי • בתשובה להאייל הצעיר יום ו', 30/9/2005, 1:10
"זה שקבוצה היא "לא פחות מהקבוצה הריקה" "

משמעותו של משפט זה היא:

אם יש קבוצה, אז זאת לפחות הקבוצה-הריקה.

הוכחת תלות-הקיום של קבוצה מורכבת בקבוצה לא-מורכבת:

אלמנטרי (הגדרה):

ישות יסודית, שאי-קיומה מונע את קיומם של אלמנטים המורכבים ממנה (תרתי משמע).

ועכשיו דוגמאות והסברים:

טענה 1:

אם {} לא קיימת, אז {{}} בהכרח לא קיימת.

הוכחה לטענה 1:

אם {} אינה קיימת ב-{{}} אז {{}} אינו אלא {}, אך {} לא קיימת לכן {{}} אינה יכולה להתקיים ללא {} כאלמנט יסוד שלה.

טענה 2:

אם {{}} לא קיימת , לא נובע בהכרח ש-{} לא קיימת.

הוכחה לטענה 2:

אם אנו מסירים את הסוגריים החיצוניים של {{}}, {} קיימת, ולכן קיום {} אינו תלוי בקיום {{}}.

מסקנה:

{} הינה קבוצה אלמנטרית ואילו {{}} הינה קבוצה מורכבת.
וריאציות על ZF 334252
האייל הצעיר • בתשובה לדורון שדמי יום א', 2/10/2005, 0:51
תגובה 333871.
וריאציות על ZF 334388
דורון שדמי • בתשובה להאייל הצעיר יום א', 2/10/2005, 17:12
כדי להבין את מושג ההיררכיה אנא עיין בתגובה 334032

תודה, ושנה-טובה.
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות