גרסה מ־22:44, 9 באוגוסט 2011

עוצמות

הגדרה. יהיו A,B שתי קבוצות. אזי:

אם קיימת פונקציה חח"ע מA לB אזי העוצמה של B גדולה או שווה לזו של A.
אם קיימת פונקציה חח"ע ועל מA לB אזי אומרים שלA ולB יש אותה עוצמה

דוגמא. יהיו A וB שתי קבוצות סופיות. אזי אם מספר האיברים בהן שווה עוצמתן שווה, ואם מספר האיברים בA גדול מזה של B אזי עוצמתה של A גדולה יותר.

לכל קבוצה סופית בעלת n איברים, נאמר שעוצמתה הינה n.

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

תרגיל. הוכח שעוצמות הקבוצות הבאות שוות: $\mathbb{N},\mathbb{Z},\mathbb{Q}$

הוכחה: נבנה פונקציות חח"ע ועל ונוכיח מספר טענות עזר בדרך.

נגדיר ע"י
- אם n זוגי אזי $f(n)=\frac{n}{2}$
- אחרת, $f(n)=-\frac{n-1}{2}$

קל לוודא שפונקציה זו חח"ע ועל לכן עוצמת השלמים ועוצמת הטבעיים שווה.

טענה. אם $A\subseteq B$ אזי $|A|\leq |B|$ . קל לבנות פונקציה מA לB ששולחת כל איבר בA לעצמו, זו פונקציה חח"ע.

טענה. אם A קבוצה וR יחס שקילויות על הקבוצה אזי עוצמת קבוצת המנה קטנה או שווה לעוצמה של A. נוכיח טענה זו בהמשך הקורס באמצעות אקסיומת הבחירה.

טענה. מתקיים ש $|\mathbb{N}|=|\mathbb{N}\times \mathbb{N}|$ .

הוכחה. נביט באוסף הזוגות הסדורים של מספרים טבעיים, ונחלק אותם לקבוצות לפי סכום האיברים בזוג. בקבוצה הראשונה יהיה הזוג (1,1), בקבוצה השנייה יהיו הזוגות (1,2),(2,1), בקבוצה השלישית יהיו הזוגות (1,3),(2,2),(3,1) וכדומה.

נגדיר פונקציה $f:\mathbb{N}\rightarrow\mathbb{N}\times\mathbb{N}$ באופן הבא:

1 נשלח לזוג הראשון בקבוצה הראשונה
2 נשלח לזוג הראשון בקבוצה השנייה
3 נשלח לזוג השני בקבוצה השנייה
4 נשלח לזוג הראשון בקבוצה השלישית
...

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

כמו כן קל לראות שפונקציה זו חח"ע וגם על.

טענה. מתקיים ש $|\mathbb{Z}|=|\mathbb{Z}\times \mathbb{Z}|$ . תרגיל בית.

נביט באוסף הזוגות הסדורים בהם האיבר הימני שונה מאפס. קבוצה זו מוכלת באוסף כל הזוגות ולכן עוצמתה קטנה מעוצמת השלמים. נחלק אוסף זה ביחס השקילות $(a,b)~(x,y) \iff ay=bx$ ונקבל קבוצה מעוצמה אף קטנה יותר. קבוצת המנה שקיבלנו היא כמובן $\mathbb{Q}$ ולכן קיבלנו ש $|\mathbb{Q}|\leq |\mathbb{Z}|$ .

בכיוון ההפוך, השלמים מוכלים ברציונאליים ולכן עוצמתם קטנה יותר ומכאן שעוצמת הרציונאליים שווה לעוצמת השלמים.

(השתמשנו במשפט קנטור-ברנשטיין: אם A וB קבוצות שעוצמתן קטנות זו מזו אזי עוצמתן שווה.)

עוצמתן של הקבוצות הנ"ל נקראת $\aleph_0$ . קבוצות מעוצמה זו נקראות בנות מנייה.

שימו לב שכל קבוצה בת מנייה, ניתן למצוא פונקציה חח"ע ועל מהטבעיים אליה - כלומר, ניתן לסדר אותה בסדרה (ומכאן מגיע השם).

השוואות עוצמות

תרגיל. נביט באוסף כל הסדרות הבינאריות (01110010101011011...). נתאר אוסף זה באופן מדוייק: $B=\{f:\mathbb{N}\rightarrow \{0,1\}\}$ . השווה בין העוצמה של B לבין אלף אפס.

פתרון. קיימת פונקציה על מהסדרות אל המספרים הטבעיים: נשלח כל סדרה שהחל ממקום מסויים היא קבועה אפס אל המספר שהיא מייצגת בבסיס בינארי. כל סדרה אחרת נשלח לאחד. (שימו לב שאת הסדרה הקבועה אפס נשלח גם לאחד לפי הגדרה...).

לכן עוצמת B גדולה או שווה לאלף אפס. נוכיח כי היא גדולה ממש.

נניח בשלילה שקיימת פונקציה g חח"ע ועל מהטבעיים אל B. לכן ניתן "לסדר" את כל הסדרות אחת אחרי השנייה:

$g(1)=0101010110110101001000100101...$

$g(2)=1101010001010010100010101010...$

$g(3)=0101010101011101010001010111...$

נבנה סדרה בינארית שקיימת בB אך לא ייתכן שהיא מתקבלת על ידי הפונקציה g (כלומר היא אינה בסדרה, בסתירה).

נגדיר את הפונקציה f שנותנת את הסדרה $\forall n\in\mathbb{N}:f(n)= \neg g(n)_n$ . כלומר לקחנו סדרה שהאיבר הראשון שלה שונה מהאיבר הראשון של הסדרה הראשונה, האיבר השני שונה מהאיבר השני של הסדרה השנייה וכן הלאה.

בדוגמא לעיל הסדרה תתחיל בשלושת האיברים $101$ ולכן בוודאי לא תהיה אף אחת משלוש הסדרות הראשונות.

באופן כללי, לא ייתכן שסדרה זו נמצאת במקום k כלשהו בסדרת הסדרות, כי האיבר ה-k שלה שונה מהאיבר ה-k של הסדרה ה-k.

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

עוצמת הממשיים נקראת $\aleph$ .

טענה. יהיו C,W קבוצות ויהיו $X,Y\subseteq W$ , $A,B\subseteq C$ תתי קבוצות כך ש $A\cap B=X\cap Y=\phi$ וגם $A\cup B = C$ וגם $X\cup Y = W$ . אזי אם קיימות פונקציות חח"ע ועל $g:B\rightarrow Y$ , $f:A\rightarrow X$ מתקיים ש $|X|=|Y|$

תרגיל. הוכח שעוצמת קטע סופי בממשיים זהה לעוצמת כל הממשיים

הוכחה. קל מאד להראות שכל הקטעים הסופיים מאותה עוצמה, לכן מספיק להוכיח עבור קטע ספציפי. ניקח את הפונקציה $f(x)=\frac{1}{x}$ בקטע $(0,1]$ התמונה שלה הינה $[1,\infty)$ . למעשה סיימנו פה את החלק העיקרי בתרגיל, שכן הפכנו קטע סופי לקטע אינסופי, כל שנותר לעשות הוא להשלים את מה שבנינו לפונקציה מקטע סופי לכל הממשיים.

ניקח פונקציה g השולחת את הקטע $(\frac{1}{2},1]$ לקטע $(0,1]$ , על ידי $g(x)=2x-1$ ומשם נעביר לקטע האינסופי על ידי f. את הקטע $[0,\frac{1}{2}]$ היא שולחת לקטע $[0,1]$ על ידי 2x. סה"כ הגענו לחצי הישר $[0,\infty)$ .

באופן דומה נשלח את $(-1,0)$ לקטע $(-\infty,0)$ וסה"כ קיבלנו פונקציה חח"ע ועל מקטע סופי לכל ציר הממשיים.

תרגיל. ראינו ש $|\mathbb{N}|=|\mathbb{N}\times\mathbb{N}|$ . האם אותו דבר נכון גם לגבי הממשיים?

הוכחה.

נניח שכל איבר ממשי הוא בעצם סדרה אינסופית של ספרות ממשיות (כולל אלו שלפני ואחרי הנקודה). נפרק כל סדרה כזו לשתי תתי סדרות - סדרת הזוגיים וסדרת האי זוגיים. כל תת סדרה שכזו מגדירה מספר ממשי, לכן שלחנו מספר ממשי בודד לזוג מספרים ממשיים.

העתקה זו חח"ע ועל פרט לעובדה שהממשיים הם לא בדיוק אוסף הסדרות של ספרות עשרוניות, אבל לא נתמודד כרגע עם הקושי המינורי הזה.

@@ שורה 100: / שורה 100: @@
 באופן דומה נשלח את <math>(-1,0)</math> לקטע <math>(-\infty,0)</math> וסה"כ קיבלנו פונקציה חח"ע ועל מקטע סופי לכל ציר הממשיים.
+'''תרגיל.''' ראינו ש <math>|\mathbb{N}|=|\mathbb{N}\times\mathbb{N}|</math>. האם אותו דבר נכון גם לגבי הממשיים?
+'''הוכחה.'''
+נניח שכל איבר ממשי הוא בעצם סדרה אינסופית של ספרות ממשיות (כולל אלו שלפני ואחרי הנקודה). נפרק כל סדרה כזו לשתי תתי סדרות - סדרת הזוגיים וסדרת האי זוגיים. כל תת סדרה שכזו מגדירה מספר ממשי, לכן שלחנו מספר ממשי בודד לזוג מספרים ממשיים.
+העתקה זו חח"ע ועל פרט לעובדה שהממשיים הם לא '''בדיוק''' אוסף הסדרות של ספרות עשרוניות, אבל לא נתמודד כרגע עם הקושי המינורי הזה.

הבדלים בין גרסאות בדף "88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 6"

גרסה מ־22:44, 9 באוגוסט 2011

עוצמות

השוואות עוצמות

תפריט הניווט

כלים אישיים

גרסאות שפה

מרחבי שם

חיפוש

עוד

צפיות

ניווט

כלים