docתורת הקבוצות — תרגיל בית 7
download 
Report Transcription
תורת הקבוצות — תרגיל בית 7
תורת הקבוצות — תרגיל בית 7
חיים שרגא רוזנר
י"ב באייר תשע"ד
תקציר
אקסיומות
1
ZFC
)לא כולל אקסיומת הבחירה(.
מערכת אקסיומות
ZFC
אנו מציגים מערכת אקסיומות ,ובעזרתן מגדירים את המושג קבוצה .אם הצלחנו לתאר אובייקט כלשהו
שאיננו מקיים את אחת האקסיומות האלו ,הרי שנאמר שאובייקט זה איננו קבוצה.
1.1
אקסיומת
הקבוצה הריקה
אקסיומת ההיקפיות
סכמת אקסיומות
ההפרדה
אקסיומת הקבוצה הריקה ,אקסיומת ההיקפיות וסכמת ההפרדה
אקסיומה קיימת קבוצה ריקה.
אקסיומה קבוצות נקבעות על ידי איבריהן .לשון אחר x = y :א.ם.ם .לכל zמתקיים .z ∈ x ↔ z ∈ y
סכמת אקסיומות אם Aקבוצה ,ו־ ϕתכונה ,אזי אוסף האיברים ב־ Aהמקיימים את התכונה ϕהוא
קבוצה .לשון אחר :תהי ) ϕ (x, yנוסחה )אולי עם עוד פרמטרים( ותהי Aקבוצה .אזי האוסף
}) {x ∈ A: ϕ (x, Aהוא קבוצה.
מסקנה 1.1הקבוצה הריקה ∅ היא יחידה.
.A ∩ B = {x: x ∈ A
תרגיל תהיינה A, Bקבוצות .הראו כי האוסף הבא הוא קבוצהx ∈ B} :
or
∈x
תרגיל תהיינה A, Bקבוצות .הראו כי האוסף הבא הוא קבוצה/ B} :
and
.A \ B = {x: x ∈ A
תרגיל נסמן על ידי Vאת מחלקת כל הקבוצות .הוכיחו כי Vאיננה קבוצה.
פתרון )הפרדוקס של ראסל( נניח בשלילה כי קיימת הקבוצה ,Vקבוצת כל הקבוצות .נסמן נוסחה
∈ .ϕ (x) = [xאזי לפי סכמת ההפרדה קיימת הקבוצה }) .B = {x ∈ V : ϕ (xכעת נבדוק
]/ x
האם B ∈ Bאו לא B .היא קבוצה ,ולכן היא שייכת לקבוצת כל הקבוצות .Vלפיכך מתקיים
.B ∈ Vכל שנותר לבדוק הוא האם ) ϕ (Bאו לא .ראשית נניח כי ) .ϕ (Bבמקרה כזהB ,
∈ .ϕ (B) = [B
מקיימת את כל התנאים כדי להיכלל ב־ ,Bולכן ,B ∈ Bובסתירה להנחה ]/ B
∈ ,B
לכן ההנחה כי ) ϕ (Bאיננה נכונה .כעת נניח כי ) .¬ϕ (Bבמקרה כזה ברור שמתקיים / B
כי Bאיננה מקיימת את הדרישה שלפיה הגדרנו את הקבוצה .Bאלא שפירוש הנוסחא )¬ϕ (B
הוא הפוך ,שהרי הוא קובע .B ∈ Bולכן גם הנחה זו מביאה לסתירה .אם כן ,הגענו כאן לכך
שכל אפשרות בשאלה האם B ∈ Bמביאה אותנו לסתירה ,ולכן אין אפשרות נכונה .לפיכך
ההנחה שהנחנו בשלילה מובילה לסתירה ואינה נכונה ,ו־ Vאיננה קבוצה .
1
תרגיל מצאו את הסתירה בדרך ההוכחה הבאה ,הוכחה שכל הקבוצות הקיימות הן ריקות.
∈ .B = {x ∈ A: x
תהי ∅ = A 6קבוצה ,ונגדיר תת־קבוצה Bשל Aעל ידי }/ B
קבוצה זו הוגדרה בעזרת סכמת ההפרדה ,כאשר הנוסחא ϕהיא .¬x ∈ Bמכיוון ש־A
לא ריקה ,ניתן לבחור x ∈ Aכלשהו .נבדוק האם x ∈ Bאו לא .נניח .x ∈ Bאזי
∈ xאז xמקיים את הדרוש
∈ ,xוזו סתירה .מנגד ,אם / B
מהגדרת Bאנו יודעים כי / B
מאיברי ,Bולכן ,x ∈ Bוגם זו סתירה .מצאנו ,אם כן כי כל האפשרויות לענות לשאלה
"האם xהוא איבר של "?Bאינן נכונות ,וכך מצאנו סתירה להנחה בשלילה כי קיימת
∅ = .A 6המסקנה העולה היא כי כל קבוצה היא ריקה .לפי אקסיומת ההיקפיות ניתן
לקבוע כי יש רק קבוצה אחת ,והיא הקבוצה הריקה.
תרגיל תהי Aקבוצה ותהי ) ϕ (xנוסחא .הוכיחו את קיום הקבוצות
}){x ∈ A: ϕ (x
=
A1
}){x ∈ A: ¬ϕ (x
=
A2
הראו כי לכל איבר aב־ Aמתקיים בדיוק אחד מהשניים:
• a ∈ A1
• .a ∈ A2
הסיקו כי על ידי ההפרדה ניתן להפריד את Aלשתי קבוצות זרות ,זו שמקיימת את ϕוזו שאינה
מקיימת את .ϕ
1.2
אקסיומת הזוגות
אקסיומות בנייה :הזוגות ,האיחוד ,ההחלפה ,החזקה.
אקסיומה תהיינה x, yקבוצות .אזי האוסף } {x, yהוא קבוצה.
הגדרה 1.2זוג סדור ha, biהוא הקבוצה }} .ha, bi = {a, {a, bלזוג זה התכונה ha1 , b1 i = ha2 , b2 i
א.ם.ם a1 = a2 .וכן .b1 = b2הזוג הסדור מוגדר בעזרת שימוש חוזר באקסיומת הזוגות.
אקסיומת האיחוד
תרגיל נביט בנסיון אחר להגדיר את הזוג הסדור .ננסה להגדיר }} .ha, bi = {a, {bבעזרת הגדרה
נסיונית זו ,מצאו דוגמא נגדית לתכונה ha1 , b1 i = ha2 , b2 iא.ם.ם a1 = a2 .וכן .b1 = b2
S
אקסיומה תהי Fקבוצה .אזי } F = {x: ∃y, x ∈ y ∧ y ∈ Fהיא קבוצה.
תרגיל בנו קבוצה בת 3איברים.
פתרון דרך ההיסק נתונה בטבלה .אנו משתמשים כאן חזור והשתמש באקסיומת הזוגות ,וכן במסקנה
1.1ובאקסיומת האיחוד.
מספר צעד
1
2
3
4
5
6
7
תוצאה
∅
}∅{
}}∅{{
}}}∅{{{
}}∅{ {∅,
}}}∅{ {{{{∅}}} , {∅,
}}∅{ {{{∅}} , ∅,
2
נימוק
מסקנה 1.1
זיווג של 1עם .1
זיווג של 2עם .2
זיווג של 3עם .3
זיווג של 1עם .2
זיווג של 4עם .5
איחוד של .6
מצאנו ,אם כן ,כי קיימת הקבוצה }}∅{ .{{{∅}} , ∅,בקבוצה זו יש שלושה איברים שונים ,כנדרש.
תרגיל בנו קבוצה בת 4איברים .מומלץ להמשיך את המספור מהשאלה הקודמת.
סכמת אקסיומות
ההחלפה
סכמת אקסיומות תהי Aקבוצה ,ותהי ) ϕ (x, yנוסחה ,אשר היא כלל התאמה חד־ערכי על איברי .A
לשון אחר ,לכל x ∈ Aקיים ויחיד yכך ש־) .ϕ (x, yאזי תמונת ,ϕהאוסף }),{y: ∃x ∈ A, ϕ (x, y
הוא קבוצה.
תרגיל נניח כי ) ϕ (x, yהיא נוסחא המקיימת :לכל xקיים לכל היותר yאחד כך ש־) .ϕ (x, yלשון
אחר:
)∀x∀y∀z (ϕ (x, y) ∧ ϕ (x, z) → y = z
הוכיחו כי לכל קבוצה Aקיימת הקבוצה Bכך שלכל x ∈ Aאם קיים y ∈ Aכך ש־)ϕ (x, y
אזי קיים y ∈ Aכך ש־) ϕ (x, yוגם .y ∈ B
אקסיומת קבוצת
החזקה
אקסיומה תהי Aקבוצה .אזי האוסף } P (A) = {x: x ⊆ Aהוא קבוצה.
תרגיל בנו ,בדרך מהירה ככל האפשר ,קבוצה בת 128איברים .בנו ,בדרך מהירה ככל האפשר ,קבוצה
בת 127איברים.
תרגיל הראנו בכיתה כי לכל .P (X) * X ,Xהסיקו כי לא קיימת קבוצת כל הקבוצות .V
1.3
אקסיומות נוספות
בסעיף זה נביא אקסיומות שהן פחות אינטואיטיביות .חלקן מוגדרות בעזרת מושגים מהאקסיומות
הקודמות.
אקסיומת האינסוף
אקסיומה קיימת קבוצה Iכך ש־ ∅ ∈ Iוכן לכל a ∈ Iגם .S (a) = a ∪ {a} ∈ I
מסקנה 1.3בעזרת הפרדה מקבוצה זו ,ניתן להראות כי קיימת קבוצת הסודרים הטבעיים .ω
אקסיומת היסוד
אקסיומה לכל קבוצה לא ריקה Aקיים איבר מינימלי ליחס השייכות.
לשון אחר :בכל קבוצה לא ריקה Aקיים איבר a ∈ Aכך שאין איבר b ∈ Aהמקיים .b ∈ a
בניסוח פורמלי:
∈ ∀A [A = ∅ ∨ ∃a ∈ A∀b ∈ A (b
])/ a
אקסיומת היסוד נועדה למנוע מצבים מוזרים ומקרים פתולוגיים.
תרגיל הראו ,לכל אחת מהקבוצות הבאות ,כי הן מקיימות את אקסיומת היסוד:
.∅ .1
.{∅} .2
.{{∅} , {∅, {∅}}} .3
3
שימו לב! נתבקשתם להוכיח כי האקסיומה מתקיימת עבור הקבוצות האלו ,אין צורך להראות
כי כל האיברים מקיימים את האקסיומה.
תרגיל האם תיתכן הקבוצה } A = {A0 , A1 , A2 , . . . , Ai , . . . : i ∈ ωכך שלכל i ∈ ωמתקיים ∈ Ai+1
?Ai
תרגיל הוכיחו ,בעזרת אקסיומת היסוד ,כי לא קיימת קבוצת כל הקבוצות .Vשימו לב להבדל בין
הוכחה זו לבין הפרדוקס של ראסל והתרגיל לפי קבוצת החזקה.
תרגיל האם קיימות קבוצות A, Bהמקיימות ?A ∈ B ∈ A
הדרכה השתמשו באקסיומת הזוגות.
אקסיומת הבחירה
אקסיומה Sלכל קבוצה Fשל קבוצות לא ריקות ,יש פונקציית בחירה על ,Fכלומר פונקציה → f : F
Fהמקיימת :לכל .f (A) ∈ A ,A ∈ F
4
