אינפימום וסופרמום – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
ניקוד
שגיאת כתיב
שורה 8:
באנליזה אינפימום וסופרמום שימושיים יותר מאשר מינימום ומקסימום. כך למשל בקבוצת [[שדה המספרים הממשיים|המספרים הממשיים]] [[מספרים חיוביים ושליליים|החיוביים]] (<math>\mathbb{R}_{> 0} = \left\{ x \in \mathbb{R} \mid x > 0 \right\}</math>) אין מינימום. זאת משום שניתן לחלק כל מספר בקבוצה ב[[מספר טבעי]] ובכך למצוא מספר ממשי קטן יותר אשר שייך לקבוצה. אף על פי כן קיים בדיוק אינפימום אחד והוא אפס. אפס קטן מכל מספרים הממשיים החיוביים וגדול יותר מכל מספר ממשי אשר יכול לשמש כגבול התחתון.
 
על פי [[אקסיומת השלמות]], לכל קבוצת מספרים ממשיים החסומה מלמעלה קיים סופרמום. מאקסיומה זו נובע גם כי לכל קבוצת מספרים ממשיים החסומה מלמטה קיים אינפימום. לפיכך לא לכל קבוצה יש בהכרח אינפימום או סופרמום. לדוגמה, קבוצת המספרים הממשיםהממשיים לא חסומה מלעיל ולא חסומה מלרע ולכן בפרט אין לה אינפימום או סופרמום.
 
== דוגמאות ==