חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/קבוצות חסומות

הגדרות ודוגמאות

הגדרה: תהי $A\subset ℝ$ . נאמר כי הקבוצה $A$ חסומה מלעיל (Bounded above) אם קיים מספר $M$ כך שלכל $x\in A$ מתקיים $x\le M$ . כאן M הנו חסם מלעיל כלשהו לקבוצה A, כלומר הקבוצה A חסומה מלעיל על־ידי M

קל לראות על־פי ההגדרה כי $M$ אינו יחיד (כי: יהי $M$ מספר המקיים את התנאי. אז כל מספר הגדול מ־$M$ יקיים את התנאי אף הוא). כל $M$ המקיים את התנאי הנ"ל נקרא חסם מלעיל (upper bound).

הגדרה: תהי $A\subset ℝ$ . נאמר כי הקבוצה $A$ חסומה מלרע (Bounded below) אם קיים מספר $m$ כך שלכל $x\in A$ מתקיים $x\ge m$ .תבנית:ש ושוב, קל לראות על־פי ההגדרה כי $m$ אינו יחיד.תבנית:ש כל $m$ המקיים את התנאי הנ"ל נקרא חסם מלרע(lower bound).תבנית:ש דוגמאות:תבנית:ש

1. $\mathbb{N}=\{1,2,3,\dots \}$ חסומה מלרע – כל $m\le 1$ הוא חסם מלרע. לעומת זאת, הקבוצה $\mathbb{N}$ אינה חסומה מלעיל.תבנית:ש
2. $A=(0,1]$ :
   1. קיים חסם מלעיל בתוך $A$ (שהוא כמובן המספר 1). פרט לכך, קיימים, כמובן, אינסוף חסמי מלעיל נוספים!
   2. קיים חסם מלרע 0, אך הוא אינו בתוך $A$ (קיימים, כמובן, נוספים, שגם אף אחד מהם אינו נמצא בתוך הקבוצה $A$).
3. $A=\{\frac{1}{n}:n\in \mathbb{N}\}$ חסומה מלעיל (למשל: על־ידי 1) ומלרע (למשל: על־ידי 0).

הגדרה: קבוצה תקרא חסומה אם היא חסומה גם מלעיל וגם מלרע.

הגדרה: תהי $A$ קבוצה החסומה מלעיל ב־$ℝ$ . המספר $M$ יקרא החסם מלעיל הקטן ביותר ("החסם העליון") או סופרמום (Supremum) של $A$ , אם מתקיים

1. $M$ חסם מלעיל של $A$ .
2. לכל חסם מלעיל אחר $M_1$ מתקיים $M_1\ge M$ .

ניסוח אחר: $\mathrm{\forall }{M}_2<M,\mathrm{\exists }x\in A:x>M_2$תבנית:ש סימון: $M=\sup A$ .תבנית:ש דוגמא: $A=(0,1],B=[0,1)$ . בשני המקרים $M=1$ הוא החסם העליון.

המספר $m$ יקרא החסם מלרע הגדול ביותר ("החסם התחתון") או אינפימום (Infimum) של $A$ , אם מתקייםתבנית:ש

1. $m$ חסם מלרע של $A$ .
2. לכל חסם מלרע אחר $m_1$ מתקיים $m_1\le m$ .

סימון: $m=\inf A$ .

• הערה: ניתן להגדיר אינפימום על־ידי סופרמום באופן הבא: $\inf A=-\sup (-A)$ , כאשר מגדירים: $-A=\{-x:x\in A\}$ .

הגדרה:

1. תהי $A$ קבוצה החסומה מלעיל על־ידי $M=\sup A$ . אם $M\in A$ נאמר כי $M$ הוא המקסימום של $A$ ונכתוב: $M=\max A$ .
2. תהי $B$ קבוצה החסומה מלרע על־ידי $m=\inf B$ . אם $m\in B$ נאמר כי $m$ הוא המינימום של $B$ ונכתוב: $m=\min B$ .

• הערה: אם יש ל־$A$ מספר סופי של אברים, אז יש לה הן מקסימום והן מינימום.

דוגמא חשובה

שאלה: האם לכל קבוצה $A$ החסומה מלעיל יש סופרמום?תבנית:ש תשובה: תלוי (ותכף נראה במה)תבנית:ש

• אם אנחנו נמצאים בתוך $\mathbb{Q}$ – התשובה היא לא.
• אם אנחנו נמצאים בתוך $ℝ$ – התשובה היא כן, תמיד!

דוגמא חשובה מאוד: נתבונן בקבוצה הבאה $A=\{x\in \mathbb{Q}:x^2<2\}$תבנית:ש כעת נשאל לגבי הקבוצה הזו: האם קיים לה סופרמום בתוך $\mathbb{Q}$ ?תבנית:ש טענה: לקבוצה $A$ הנ"ל אין סופרמום בתוך $\mathbb{Q}$ .תבנית:ש הוכחה: נניח בשלילה שקיים כזה, ונסמנו $M=\sup A$ .תבנית:ש בהכרח $M\ne \sqrt{2}$ (כי $M\in \mathbb{Q}$ , וראינו מקודם כי $\sqrt{2}\notin \mathbb{Q}$). לכן קיימות שתי אפשרויות:תבנית:ש א) $M>\sqrt{2}$ : לפי המשפט שהוכחנו, בין כל שני מספרים קיים מספר רציונלי. לכן קיים מספר רציונלי $M_1$ עבורו $\sqrt{2}<M_1<M$ .

תמונה להמחשה: גבולות הקבוצה A וחסמיה

לכל $x\in A$ מתקיים כי $M_1>x$ כלומר $M_1$ חסם מלעיל, אזי $M$ אינו סופרמום! סתירה. לכן $M\le \sqrt{2}$ . אבל כבר אמרנו $M\ne \sqrt{2}$ , לכן $M<\sqrt{2}$ .תבנית:ש ב) $M<\sqrt{2}$ : לפי אותו משפט כנ"ל, קיים מספר רציונלי $M_2$ עבורו $M<M_2<\sqrt{2}$ . לכן $M_2\in A$ כי $(M_2{)}^2<2$ . אזי $M$ אינו סופרמום! סתירה.תבנית:ש מסקנה: אין לקבוצה $A$ הנ"ל סופרמום בתוך $\mathbb{Q}$ .

$◼$

אקסיומת השלמות

אקסיומת השלמות: לכל קבוצה (לא-ריקה) חסומה מלעיל ב- $ℝ$ קיים סופרמום.תבנית:ש ($⟺$ לכל קבוצה חסומה מלרע ב- $ℝ$ קיים אינפימום).תבנית:ש

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

משפט (דוגמא לשימוש באקסיומת השלמות): לכל מספר חיובי $a$ ולכל $n\in \mathbb{N}$ קיים מספר חיובי אחד ויחיד $x$ , כך שמתקיים: $x^n=a⟺x=a^{\frac{1}{n}}⟺x=\sqrt[n]{a}$

שימו לב, שמשפט זה מורכב משתי טענות: טענת הקיום, וטענת היחידות. מעתה ואילך, נרשום טענות מעין אלה באופן הבא: לכל מספר חיובי $a$ ולכל $n\in \mathbb{N}$ קיים ויחיד $x$ , כך שמתקיים...תבנית:ש הוכחה:תבנית:ש מאחר ואנו טוענים שתי טענות, נוכיח את שתיהן. לרוב, הוכחת היחידות קלה למדי, והוכחת הקיום היא זו הדורשת עבודה רבה יותר.תבנית:ש הוכחת הקיום:תבנית:ש נתון $a>0$ , ונתון $n\in \mathbb{N}$ . נגדיר את הקבוצה הבאה: $A=\{x\in {ℝ}^{+}\cup \{0\}|x^n<a\}$ . (מטרתנו היא להראות שהמספר $x=\sqrt[n]{a}$ הוא הסופרמום של קבוצה זו, בפרט מכאן ינבע שהוא קיים.)תבנית:ש הקבוצה $A$ לא-ריקה - למשל, $0\in A$ .תבנית:ש הקבוצה $A$ חסומה מלעיל - למשל ע"י $a+1$ , לכן מאקסיומת השלמות קיים לה סופרמום. נסמנו $M$ .תבנית:ש א) נניח ש- $M^n<a$ : במקרה זה, כמו בדוגמא שראינו למעלה, ניעזר במשפט שראינו קודם: קיים $M_1\in ℝ$ המקיים: $M\Leftarrow M<M_1\Leftarrow M^n<M_1^n<a$ אינו סופרמום (יש בקבוצה איבר שגדול ממנו) $M^n\Leftarrow$ אינו קטן מ- $a$ , כלומר $M^n\ge a$ .תבנית:ש ב) נניח ש $M^n>a$ : ושוב, כמו בדוגמא למעלה ובהסתמך על משפט הצפיפות, קיים מספר $M_2\in ℝ$ המקיים $M\Leftarrow M_2<M\Leftarrow a<M_2^n<M^n$ אינו סופרמום של $A$ (כי קיים לקבוצה חסם מלעיל שקטן ממנו) $M^n\le a$ .תבנית:ש א+ב $M^n=a\Leftarrow (M^n\le a)\wedge (M^n\ge a)\Leftarrow$ ▪ (לקיום)תבנית:ש (נזכור, כבדרך אגב, ש- $M$ גדול ממש מ- $0$ , וזאת משום ש- $a$ גדול ממש מ- $0$ , לכן בין $0$ לבין $M$ יש מספר).תבנית:ש הוכחת היחידות: יהיו $x_1,x_2$ מספרים כנ"ל, כלומר המקיימים: $(x_1{)}^n=(x_2{)}^n=a$ , ונראה ש- $x_1=x_2$ :תבנית:ש נניח בלי הגבלת הכלליות (האם אתם זוכרים מהו פירוש "בלי הגבלת הכלליות" ומבינים מדוע ניתן להשתמש כאן בביטוי זה?) ש- $x_1<x_2$ . נעלה את הביטוי בריבוע: נזכור ששני האגפים הם חיוביים, לכן סימן אי-השיוויון נשמר. נקבל: $(x_1{)}^2<(x_2{)}^2$ .תבנית:ש נכפול כעת את אגף שמאל ב- $x_1$ , ואת אגף ימין ב- $x_2$ . נקבל: $(x_1{)}^3<(x_2{)}^3$ .תבנית:ש נחזור על הפעולה $n$ פעמים, עד שלבסוף נקבל: $(x_1{)}^n<(x_2{)}^n$ . יצאנו מהנחה הפוכה והגענו לסתירה (ר' הערה למטה) $x_1=x_2\Leftarrow$ ▪

הערה: כמה מילים לגבי שיטות הוכחה:

• על פניו, הוכחה אמורה להיראות כך: נתון $p$ , אנו רוצים להוכיח את $q$ , כלומר אנו רוצים להוכיח: $q\Leftarrow p$ , (כאשר p$p$ ו- $q$ מסמלים משפטים, טענות לוגיות וכו'). איך נעשה זאת?

לכאורה, אין פשוט מכך: נראה ש- $q$ נובע מ- $p$ (או ש- $p$ גורר את $q$). אבל, בהוכחות כמו ההוכחה האחרונה, הראינו בעצם ששמתקיים: $(*)(\sim p)\Leftarrow (\sim q)$ . כלומר: העובדה ש- $q$ לא מתקיים גוררת את העובדה שגם $p$ אינו מתקיים. ואם הוכחנו את $(*)$ - סיימנו את ההוכחה. ומדוע זאת?תבנית:ש נניח ש- $p$ מתקיים (זהו הנתון), ונניח בשלילה ש- $q$ לא מתקיים. אבל, לפי הטענה שהוכחה $(*)$ , אם $q$ לא מתקיים $p\Leftarrow$ לא מתקיים - וזוהי סתירה לנתון ש- $p$ כן מתקיים! לכן, הוכחת $(*)$ שקולה להוכחת הטענה המקורית.תבנית:ש

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

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

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