חשבון אינפיניטסימלי/מושגים בסיסיים בתורת הקבוצות/קבוצות חסומות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 1:
{{חשבון אינפיניטסימלי|פרק=מושגים בסיסיים בתורת הקבוצות}}
==הגדרות ודוגמאות==
<u>הגדרה</u>: תהא <math>A\subset\R</math> . נגיד שהקבוצה <math>A</math> ''חסומה מלעיל'' (''Bounded above'') אם קיים מספר <math>M</math> כך שלכל <math>x\in A</math>
[[תמונה:P4fst.jpg|כאן, M הנו חסם מלעיל כלשהו לקבוצה A, כלומר הקבוצה A חסומה מלעיל ע"י M.]]
קל לראות, על-פי ההגדרה, ש- <math>M</math> אינו יחיד (כי: יהא <math>M</math> מספר המקיים את התנאי. אז כל מספר הגדול מ- <math>M</math> יקיים את התנאי אף הוא). כל <math>M</math> המקיים את התנאי הנ"ל נקרא ''חסם מלעיל'' (''upper bound'').
<u>הגדרה</u>: תהא <math>A\subset\R</math> . נגיד שהקבוצה <math>A</math> ''חסומה מלרע'' (''Bounded below'') אם קיים מספר <math>m</math> כך שלכל <math>x\in A</math> , מתקיים: <math>x\ge m</math> .
ושוב קל לראות, על-פי ההגדרה, ש- <math>m</math> אינו יחיד.{{ש}}
שורה 23 ⟵ 24:
2) אין חסם מלעיל אחר של <math>A</math> שקטן ממש מ- <math>M</math> . (במילים אחרות, אם <math>M_1</math> חסם מלעיל של <math>A</math> אף הוא, אז מתקיים: <math>M_1\ge M</math>).{{ש}}
ניסוח אחר: <math>\forall M_2<M,\ \exists x\in A|x>M_2 </math> .{{ש}}
<u>סימון</u>: <math>M=\sup
דוגמא: <math>A=(0,1]\ ,\ B=[0,1)</math> . בשני המקרים, <math>M=1</math> הוא החסם העליון.{{ש}}
שורה 30 ⟵ 31:
1) <math>m</math> חסם מלרע של <math>A</math> .{{ש}}
2) אין חסם מלרע של <math>A</math> הגדול מ- <math>m</math> .{{ש}}
<u>סימון</u>: <math>m=\inf
*הערה: ניתן להגדיר אינפימום ע"י סופרמום, באופן הבא: <math>\inf
<u>הגדרה</u>:
#נתונה קבוצה <math>A</math> החסומה מלעיל ע"י <math>M</math> , כלומר <math>M=\sup
#נתונה קבוצה <math>B</math> החסומה מלרע ע"י <math>m</math> , כלומר <math>m=\inf
*הערה: אם יש ל- <math>A</math> מספר סופי של אברים, אז יש לה הן מקסימום והן מינימום.
|