חסם (מתמטיקה)

מתוך המכלול
קפיצה אל: ניווט, חיפוש

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

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

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

הגדרה פורמלית

תהי קבוצה סדורה ותהי תת-קבוצה שלה.

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

יש חשיבות רבה לחסם מלעיל "הקטן ביותר" ולחסם מלרע "הגדול ביותר", ולכן יש להם שמות משל עצמם:

  • חסם מלעיל של יקרא חסם עליון (סוּפְּרִמוּם) של אם לכל חסם מלעיל של מתקיים .
נהוג לסמן את החסם העליון .
אם אז יקרא המקסימום של ומסמנים .
  • חסם מלרע של יקרא חסם תחתון (אִינְפִימוּם) של אם לכל חסם מלרע של מתקיים .
נהוג לסמן את החסם התחתון .
אם אז יקרא המינימום של ומסמנים .


קבוצה חסומה היא קבוצה שיש לה חסם מלעיל וחסם מלרע.

דוגמאות

סמל המכלול גמרא 2.PNG
הערך באדיבות ויקיפדיה העברית, קרדיט,
רישיון cc-by-sa 3.0