מעבר לתוכן

לוגיקה ותורת הקבוצות


הודעות מומלצות

בסיכום של גדי: http://webcourse.cs.technion.ac.il/234293/Spring2012/ho/WCFiles/Lectures.pdf

עמ' 7, פסקה 2.5. לזה נדמה לי שהם מתכוונים ב"כללי יצירת קבוצה".

 

נדמה לי שאפשר להתחיל את הפתרון כך:

N קיימת, לכן P(N) קיימת (לפי 2.5.4).

נסתכל על תת-קבוצה X כלשהי של P(N) (אני לא בטוח שאפשר בכלל להגיד את זה).

 

כעת לכל x ששייך ל-X נעשה כך:

ניצור בעזרת איחוד את הקבוצה http://www.codecogs.com/gif.latex?A_x%20=%5Cbigcup_%7By%5Csubseteq%20x%7D%20%7B%5Cleft%20%5C%7B%20(x,y),(y,x)%20%5Cright%20%5C%7D%7D. (צריך לנמק שאם x שייך ל-X אז גם כל y כזה שייך ל-X.)

אח"כ בעזרת איחוד ניצור את הקבוצה http://www.codecogs.com/gif.latex?B%20=%20%5Cbigcup_%7Bx%5Cin%20X%7DA_x, וסיימנו (זאת הקבוצה הרצויה).

 

(אני ממש לא בטוח בפתרון, לא הייתי מסתמך עליו.)

קישור לתוכן
שיתוף באתרים אחרים

נדמה לי שגדי מרחיב על זה קצת לפני הפסקה שרשמתי.

בכל מקרה הרעיון הוא שרוצים לבסס את תורת הקבוצות על אקסיומות מסוימות (למשל: קיום הקבוצה הריקה; איחוד קבוצות הוא קבוצה; לכל קבוצה קיימת קבוצ^

קישור לתוכן
שיתוף באתרים אחרים

הצטרפות לשיח

באפשרותך לשלוח הודעה כעת ולהירשם מאוחר יותר. אם ברשותך חשבון, ניתן להתחבר עכשיו לשליחת הודעה דרך חשבונך.
הערה: הודעתך דרושה לאישור הנהלה לפני הצגתה.

אורח
הוספת תגובה

×   הדבקה כטקסט עשיר.   הדבקה כטקסט רגיל במקום

  מאושרים אך ורק 75 סמייקונים.

×   הקישור שלך מוצמד אוטומטית.   הצגה כקישור במקום

×   תוכן הקודם שלכם שוחזר.   ניקוי עורך

×   You cannot paste images directly. Upload or insert images from URL.

טוען...
×
×
  • יצירת חדש...