תורת הקבוצות תרגיל בית 2 פתרונות

Μέγεθος: px

Εμφάνιση ξεκινά από τη σελίδα:

Download "תורת הקבוצות תרגיל בית 2 פתרונות"

Παίων Κουβέλης
6 χρόνια πριν
Προβολές:

1 תורת הקבוצות תרגיל בית 2 פתרונות חיים שרגא רוזנר כ"ה בניסן, תשע"ה תזכורות תקציר איזומורפיזם סדר, רישא, טרנזיטיביות, סודרים, השוואת סודרים, סודר עוקב, סודר גבולי. 1. טרנזיטיבות וסודרים קבוצה A היא טרנזיטיבית אם לכל a A ולכל b a מתקיים.b A. A := {x: y A, x y}, A := {x: y A, x y} קבוצה A היא סודר אם היחס הוא יחס סדר טוב עליה ואם היא טרנזיטיבית. כל איבר של סודר הוא סודר. קבוצה טרנזיטיבית של סודרים היא סודר. =: 0, וזהו הסודר הקטן ביותר ביחס הסדר. תהי F קבוצת סודרים. אזי.sup F = F,min F = F מתקיימות תכונות המינימום והסופרמום. 2. הסודר העוקב, סודרים עוקבים וגבוליים.α וזה הסודר העוקב המיידי של,S (α) = α {α} סודר עוקב הוא סודר β שקיים עבורו סודר α כך ש ( α ) β. = S מספר טבעי הוא סודר שהן הוא והן כל קודמיו הינם סודרים עוקבים או 0. נסמן את קבוצת המספרים הטבעיים על ידי ω := {0, 1, 2,...} ω הוא הסודר הלא טבעי הראשון. הוא גם הסודר הגבולי הראשון. סודר גבולי הוא סודר שאיננו אפס ואיננו עוקב. להגשה עד יום חמישי כ"ז בניסן (16 אפר') לתא מספר 45 בתאי המילגאים של המחלקה למתמטיקה. 1

2 3. פונקציות שומרות סדר ורישאות תהיינה ) (B, (A, <), קבוצות סדורות בסדר מלא, ותהי פונקציה A f : x < y נאמר שפונקציה זו היא שומרת סדר (או: מונוטונית) אם לכל B. A מתקיים (y) f. (x) f אם הפונקציה הזו היא הפיכה, אז היא נקראת איזומורפיזם סדר, ונסמן זאת A f = B (ניתן להשמיט את f לפי העניין). תהי A קבוצה סדורה (בסדר מלא), B תת קבוצה. נאמר ש B היא רישא 1 של A אם לכל y B ולכל x A המקיים,x < y מתקיים.x B במילים: רישא היא תת קבוצה שכל קודמי איבריה הם איברים שלה. תהי A קבוצה סדורה (בסדר מלא), x. A נסמן את הרישא הנקבעת על ידי x ב A כך: x A:= {y A: y < x} יש רישאות שאינן נקבעות על ידי איבר כלל. 1 טרנזיטיביות 1. תהי A קבוצה. הראו כי התכונות הבאות שקולות: (א) A היא קבוצה טרנזיטיבית. (ב) לכל,B A מתקיים.B A (ג) A A. הראינו בכיתה (א) (ב) (ג), ההוכחות לכך מצורפות. השלימו את ההוכחה. (א) (ב). תהי A טרנזיטיבית, ותהי.B A נראה כי.B A יהי.x A מתקיים טרנזיטיבית, ומכיוון ש A,x B A אזי מתקיים,x B הראנו, אפוא, כי B, A כנדרש. (ב) (ג). נניח את (ב). כדי להראות את (ג) עלינו להראות שלכל x A מתקיים.x A נניח אם כן.x A מהגדרת איחוד, קיים y כך ש x y,x y A בסך הכל.y ניתן להסיק ש A y A כעת, לפי (ב), מהנתון.A ובקיצור x, A והראנו את ההכלה. (ג) (א). עלינו להראות שאם x y A אז.x A נניח שאכן.x y A אזי לפי הגדרת איחוד של קבוצה,.x A לפי (ג), A A, ולכן.x A 2. עבור קבוצה A, נגדיר ברקורסיה על המספרים הטבעיים: (א).A 0 := A 1 לתשומת לבכם, הגדרה זו שונה מההגדרה בה השתמש המרצה בהרצאה! בתרגול הגדרנו את המושג רישא לכל קבוצה סדורה בסדר קווי, ואילו ההגדרה של המרצה היא המתאימה לקבוצות סדורות היטב דווקא. 2

3 (ב) עבור 0,n.A n+1 := A n A n נסמן את הסגור הטרנזיטיבי closure) (transitive של A על ידי.tc(A) := n N A n הוכיחו: tc(a) היא הקבוצה ה טרנזיטיבית הקטנה ביותר (מבחינת הכלה) המכילה את A. (לפניכם שלוש טענות: tc(a) היא טרנזיטיבית, מכילה את A, ולכל קבוצה טרנזיטיבית B המכילה את A מתקיים (.tc(a) B נחלק את ההוכחה לשלבים המנויים בסוגרים. טרנזיטיביות: יהיו x, y המקיימים tc(a).x y אזי, לפי הגדרת tc(a) כאיחוד קבוצה, קיים n N כך ש y. A n אם כן, מצאנו כי,x y A n ולכן, מהגדרת איחוד, n+1,x A n A ולכן.x tc(a).a = טריוויאלי, כי A 0 :A tc(a) מינימליות: תהי B קבוצה טרנזיטיבית המכילה את A. נראה באינדוקציה לכל n N את ההכלה.A n B עבור = 0 n זה נתון (כי.(A 0 = A B נניח כי ההכלה מתקיימת עבור A, n כאשר n, N ונראה עבור + 1 n. יהי n+1 x A נתון. אזי.A n+1 = A n A n לפיכך, מתקיים אחד מהשניים: n,x A ולפי הנחת האינדוקציה,A n B ולכן ;x B או n,x A ואז קיים y A n כך ש y.x לפי הנחת האינדוקציה,,A n B ולכן.x y B מכיוון ש B טרנזיטיבית, קיבלנו.x B ביחד, בכל מקרה הראנו,x A n+1 x B או,A n+1 B והשלמנו האינדוקציה. לסיום, מהגדרת הסגור הטרנזיטיבי כאיחוד קבוצה, עולה הנדרש. 3. נתון ש A היא קבוצה טרנזיטיבית, המקיימת A {{ }}. מצאו דוגמא לקבוצה A שכזו, והראו כי A איננה סודר. הסיקו כי טרנזיטביות איננה מספיקה לבדה לטעון שקבוצה היא סודר. היעזרו בתרגיל הקודם. לפי התרגיל הקודם, ניתן לקחת כל קבוצה B המקיימת B {{ }}, ולבחור (B) A, =: tc ולקבל בכך קבוצה טרנזיטיבית המכילה את B, כנדרש כאן. אנו נדגים את המקרה המינימלי, כאשר {{{ }}} = B: B 0 = B = {{{ }}} B 1 = B 0 B 0 = {{{ }}} {{ }} = {{{ }}, { }} B 2 = B 1 B 1 = {{{ }}, { }} {{ }, } = {{{ }}, { }, } B 3 = B 2 B 2 = {{{ }}, { }, } {{ }, } = B 2 מצאנו ש,B 3 = B 2 ולכן לכל n גדול יותר מתקיים.B n+1 = B n = B 2 בסך הכל,.tc (B) = B 2 לפי התרגיל הקודם, (B) tc,{{ }} וזו קבוצה טרנזיטיבית. כעת נראה כי כל קבוצה A המקיימת את תנאי השאלה איננה סודר. לפי התרגיל 3

4 הקודם,,tc (B) A ובפרט A,{{ }} ומתקיים {{ }} { }, אבל {{ }} /, ולכן איננו יחס טרנזיטיבי. כך מצאנו ש איננו סדר טוב על איננו סודר. A ולכן A, 4. תרגיל רשות: ההגדרה שלנו לסודר היא: α הוא סודר אם (א) היחס על α הוא יחס אנטי רפלקסיבי. (ב) יחס זה הוא טרנזיטיבי. (ג) לכל תת קבוצה לא ריקה A של α יש איבר ראשון ביחס השייכות, דהיינו איבר.γ = β או γ β מתקיים β A כך שלכל γ A (ד) הקבוצה α היא טרנזיטיבית. ראינו בשאלה הקודמת ש (ד) לבדו איננו מספיק כדי להראות שקבוצה היא סודר, ואנו נזקקים לבדוק את דרישות (ב) ו (ג). האם ניתן לוותר על אחת משתי דרישות אלו? לדוגמא, האם קבוצה A טרנזיטיבית הסדורה בסדר מלא על ידי היא בהכרח סודר? 2 5. תרגיל רשות: נמקו מדוע מחלקת כל הסודרים ON איננה קבוצה. 2 הסודר העוקב, סודרים עוקבים וגבוליים ענו על שאלות 1 ו 2, וכן על אחת מהשאלות 3 ו 4..1 יהיו α, β סודרים הראו כי.β < S (α) β α הסיקו כי (α) S הוא העוקב המיידי 3 של α. (= ). מתקיים (α) β. α < S ניתן להביט בכל אלה כאיברים של ((α) S S) ולהיעזר בטרנזיטיביות של היחס, או להביט ב ( α ) S ולהיעזר ב טרנזיטיביות. ( =). נשתמש בהגדרת העוקב, α {α} β. S (α) = לכן יש שתי אפשרויות:.β α שתי אפשרויות אלו יחדיו נותנות.β = α או β α.2 יהיו α, β סודרים הראו כי (β).α < β S (α) < S.( =) נניח (β).s (α) < S לפי הגדרה, הכוונה היא {β}.s (α) β מהגדרת איחוד, יש שתי אפשרויות:.α β,(s ומטרנזיטיבות (ב ( β ),α S (α) β ואז.S (α) β.α β וביחד נקבל,α S (α) אבל.S (α) = β בסך הכל קיבלנו α. < β.(= ) נניח,α < β דהיינו.α β מתכונות סודרים, גם. 4 α β מנגד, מהנתון נובע גם {α}. β שני אלה גם יחד גוררים גם את האיחוד: α {α} β. לפי משפט שהוכחנו בשיעור התרגיל, זה אומר S. (α) β נוסיף את הידוע, (β),β < S ונקבל (β), S (α) < S כנדרש. 2 בעתיד אנו צפויים להגיע לאקסיומת היסודיות. מאקסיומת היסודיות ניתן להסיק שלכל קבוצה A. / A A, בפרט, אם לוקחים את אקסיומת היסודיות, אז ניתן לוותר על דרישה (א). 3 בקבוצה סדורה סדר מלא, אין בין איבר לעוקב המיידי לו אף איבר אחר. 4 הוכח בשיעור התרגיל כי A α א.ם.ם. A = α או,A α עבור A טרנזיטיבית. 4

5 3. יהי > 0 α סודר. הראו כי אם ל α יש איבר אחרון אזי האיבר האחרון הזה הוא,sup α ומתקיים S, (sup (α = α ו α סודר עוקב. הראו גם כי אם ל α אין איבר אחרון, אזי,sup α = α ו α גבולי. לשון אחר: α סודר עוקב יש ב α איבר אחרון α sup איבר אחרון ב α, וכן הראו כי α סודר גבולי α.sup α = שתי הטענות יחד נותנות קריטריון להבחין בין סודר עוקב לגבולי על פי השאלה אם יש לו מקסימום או לא. (א) נראה הטענות לגבי סודר עוקב: נניח (β) α = S עוקב. אזי {β}.α = β נראה כי β אחרון. נניח בשלילה כי קיים γ > β ב α. בפרט,,γ β ולכן,γ α \ {β} = β ולכן.γ < b סתירה. נניח יש ב α אחרון.β מהגדרת סופרמום,.β α sup α β מנגד, מהגדרת אחרון, לכל,γ > β ולכל.γ > δ,δ α לכן,γ > sup α ומשכך.β = sup α ביחד מתקבל שויון.β sup α נניח sup α איבר אחרון ב α. אזי מתקיים sup α α או sup α < α או γ אם לא מתקיים שויון, אזי קיים.S (sup α) α או S (sup α) α,γ / S (sup α) היא קבוצה טרנזיטיבית, ולכן S (sup α).α \ S (sup α) ומשכך,sup α < S (sup α) γ α ובסתירה להגדרת סופרמום. (ב) נראה עבור סודר גבולי. בהתחשב בסעיף הקודם, נותר רק להראות כי / α sup α א.ם.ם..sup α = α ובכן, sup α הוא סודר (הוכיחו!), ולכן ניתן להשוואה עם.α נניח בשלילה,sup α > α אבל לכל,β < α,β α ולכן α הוא חסם מלעיל של עצמו, ומשכך הוא סופרמום של עצמו. אם כן, הראנו כי תמיד.sup α α אזי לפי הסעיף הקודם, הוא איננו איבר של α א.ם.ם. הוא איננו עוקב. 4. הוכיחו את שתי האקסיומות הראשונות מרשימת אקסיומות פאנו: (א) לכל.S (n) 0,n ω (ב) לכל.S (m) = S (n) = m = n,m, n ω (ג) אקסיומת האינדוקציה (לא להוכחה): תהי A ω המקיימת A 0 וכן לכל.A = ω אזי.S (n) A גם n A אקסיומות פאנו מתקיימות עבור קבוצת המספרים הטבעיים ω. (א) (n),n S ולכן (n).s (ב) נניח בשלילה.m < n מהשויון הנתון, {m},n S (m) = m וביחד עם ההנחה בשלילה,.n S (m) \ {m} = m קיבלנו,n < m ובסתירה להנחה. 5

6 3 איזומורפיזם סדר, רישאות וטיפוסי סדר 1. תהיינה,A B קבוצות סדורות איזומורפיות סדר. הראו כי כל רישא של A איזומורפית סדר לרישא של B. האם רישא הנקבעת על ידי איבר מתאימה דווקא לרישא הנקבעת על ידי איבר? נניח כי f : A B איזומורפיזם סדר, ותהי X A רישא. לפי הגדרת רישא, מתקיים: לכל x X ולכל a A המקיימים a < x מתקיים.a X כעת נפעיל את האיזומורפיזם,f ונסמן (X).Y = f יהי y Y ו B b המקיים ב A, רישא ומכך ש X,f 1 (b) < f 1 (y) ונקבל,f נפעיל את 1.b < y נובע,f 1 (b) X ולכן.b = f ( f 1 (b) ) f (X) = Y אם כן, הרישא X עברה לרישא Y. מכיוון ש 1 f גם הוא איזומורפיזם סדר, הטענה נכונה גם מרישא של B לרישא של A. כשנפעיל את f נקבל את הרישא כעת נביט ברישא הנקבעת על ידי. A x x, f(x).f (x) הנקבעת על ידי, f (A)= f(x) B 2. תהיינה,A B קבוצות סדורות, כך שקיימות פונקציות שומרות סדר בשני הכיוונים:.g : B A וכן f : A B (א) הפריכו: A איזומורפית סדר ל B. (ב) ידוע כי הטענה הופכת לנכונה כאשר ידוע ש B,A סדורות היטב. האם מספיק לדעת ש A סדורה היטב? שימו לב לדמיון עם משפט קנטור ברנשטיין. 5 (א) ניקח 1) ( 1, = B,A = [ 1, 1], קבוצות ממשיים עם הסדר הרגיל. נגדיר.f (x) = g (x) = x 2 ברור שהפונקציות שהגדרנו שומרות סדר, אך A B כי ל A יש ראשון ואחרון ול B אין. (ב) די לדעת ש A סדורה היטב. נניח כי A סדורה היטב, ונראה שגם B סדורה היטב. ניקח D B, ונביט ב ( D ) g. זו תת קבוצה לא ריקה של A, ולכן יש לה איבר ראשון a. מכיוון ש g שומרת סדר, היא חח"ע. נביט אפוא ב D g. 1 (a) זהו האיבר הראשון של D. הראנו כאן כי B גם היא סדורה היטב. ב ה צ ל ח ה! 5 או: משפט קנטור שרדר ברנשטיין. 6

Σχετικά έγγραφα

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה