88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/חסמים

הגדרה: תהי U סדורה ותהי תת קבוצה $A\subseteq U$, אזי:

• $M\in U$ נקרא חסם מלעיל של A אם $\forall a\in A:a\leq M$
• $m\in U$ נקרא חסם מלרע של A אם $\forall a\in A:a\geq m$
• חסם מלעיל של A נקרא מקסימום אם הוא שייך לקבוצה A
• חסם מלרע של A נקרא מינימום אם הוא שייך לקבוצה A
• חסם מלעיל של A נקרא החסם העליון של A אם אין ל-A חסם מלעיל קטן ממש ממנו. (כלומר, החסם העליון הוא המינימום מבין קבוצת חסמי המלעיל, אם כזה קיים.)
• חסם מלרע של A נקרא החסם התחתון של A אם אין ל-A חסם מלרע גדול ממש ממנו. (כלומר, החסם התחתון הוא המקסימום מבין קבוצת חסמי המלרע, אם כזה קיים.)

אקסיומת השלימות של המספרים הממשיים - לכל $A\subseteq\mathbb{R}$ חסומה מלעיל (מלרע) קיים חסם עליון (תחתון).