לדלג לתוכן

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

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

חשבון אינפיניטסימלי










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

[עריכה]

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

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

הגדרה: תהי . נאמר כי הקבוצה חסומה מלרע (Bounded below) אם קיים מספר כך שלכל מתקיים .
ושוב, קל לראות על־פי ההגדרה כי אינו יחיד.
כל המקיים את התנאי הנ"ל נקרא חסם מלרע(lower bound).
דוגמאות:

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

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

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

  1. חסם מלעיל של .
  2. לכל חסם מלעיל אחר מתקיים .

ניסוח אחר:
סימון: .
דוגמא: . בשני המקרים הוא החסם העליון.

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

  1. חסם מלרע של .
  2. לכל חסם מלרע אחר מתקיים .

סימון: .

  • הערה: ניתן להגדיר אינפימום על־ידי סופרמום באופן הבא: , כאשר מגדירים: .

הגדרה:

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

דוגמא חשובה

[עריכה]

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

  • אם אנחנו נמצאים בתוך – התשובה היא לא.
  • אם אנחנו נמצאים בתוך – התשובה היא כן, תמיד!

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

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

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

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

[עריכה]

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

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

משפט (דוגמא לשימוש באקסיומת השלמות): לכל מספר חיובי ולכל קיים מספר חיובי אחד ויחיד , כך שמתקיים:

שימו לב, שמשפט זה מורכב משתי טענות: טענת הקיום, וטענת היחידות. מעתה ואילך, נרשום טענות מעין אלה באופן הבא: לכל מספר חיובי ולכל קיים ויחיד , כך שמתקיים...
הוכחה:
מאחר ואנו טוענים שתי טענות, נוכיח את שתיהן. לרוב, הוכחת היחידות קלה למדי, והוכחת הקיום היא זו הדורשת עבודה רבה יותר.
הוכחת הקיום:
נתון , ונתון . נגדיר את הקבוצה הבאה: . (מטרתנו היא להראות שהמספר הוא הסופרמום של קבוצה זו, בפרט מכאן ינבע שהוא קיים.)
הקבוצה לא-ריקה - למשל, .
הקבוצה חסומה מלעיל - למשל ע"י , לכן מאקסיומת השלמות קיים לה סופרמום. נסמנו .
א) נניח ש-  : במקרה זה, כמו בדוגמא שראינו למעלה, ניעזר במשפט שראינו קודם: קיים המקיים: אינו סופרמום (יש בקבוצה איבר שגדול ממנו) אינו קטן מ- , כלומר .
ב) נניח ש  : ושוב, כמו בדוגמא למעלה ובהסתמך על משפט הצפיפות, קיים מספר המקיים אינו סופרמום של (כי קיים לקבוצה חסם מלעיל שקטן ממנו) .
א+ב ▪ (לקיום)
(נזכור, כבדרך אגב, ש- גדול ממש מ- , וזאת משום ש- גדול ממש מ- , לכן בין לבין יש מספר).
הוכחת היחידות: יהיו מספרים כנ"ל, כלומר המקיימים: , ונראה ש-  :
נניח בלי הגבלת הכלליות (האם אתם זוכרים מהו פירוש "בלי הגבלת הכלליות" ומבינים מדוע ניתן להשתמש כאן בביטוי זה?) ש- . נעלה את הביטוי בריבוע: נזכור ששני האגפים הם חיוביים, לכן סימן אי-השיוויון נשמר. נקבל: .
נכפול כעת את אגף שמאל ב- , ואת אגף ימין ב- . נקבל: .
נחזור על הפעולה פעמים, עד שלבסוף נקבל: . יצאנו מהנחה הפוכה והגענו לסתירה (ר' הערה למטה)

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

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

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

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

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

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