קבוצה חסומה

תת-קבוצה של מרחב מטרי היא קבוצה חסומה אם היא מוכלת בכדור. כלומר, כל הנקודות שלה נמצאות במרחק קטן מקבוע ממשי מנקודה קבועה. תנאי שקול לזה - הקבוצה חסומה אם המרחק בין כל שתי נקודות שלה אינו עולה על קבוע מסוים. מרחב מטרי חסום נקרא מרחב חסום. אפשר לחשוב על קבוצה חסומה כקבוצה 'קטנה'. מדדים עדינים יותר לגודל הם קומפקטיות והדרישה שקבוצה תהיה חסומה כליל. כל קבוצה קומפקטית היא חסומה כליל, וכל קבוצה חסומה כליל היא חסומה. למשל בישר הממשי קבוצה חסומה היא קבוצה המוכלת בקטע סופי. במילים אחרות, זו קבוצה שיש מספר שגדול מכל איבריה ומספר שקטן מכל איבריה. בהינתן מרחב מטרי S {\displaystyle S} עם מטריקה d {\displaystyle d} וקבוצה B ⊆ S {\displaystyle B\subseteq S} , הקבוצה B {\displaystyle B} תקרא קבוצה חסומה אם היא מקיימת את אחד התנאים השקולים הבאים: קיים 0 < R < ∞ {\displaystyle 0<R<\infty } כך שלכל a , b ∈ B {\displaystyle a,b\in B} מתקיים ש- d ( a , b ) < R {\displaystyle d(a,b)<R} . כלומר, הקוטר של B {\displaystyle B} הוא סופי. קיים c ∈ B {\displaystyle c\in B} ו- 0 < R < ∞ {\displaystyle 0<R<\infty } כך שלכל a ∈ B {\displaystyle a\in B} מתקיים ש- d ( a , c ) < R {\displaystyle d(a,c)<R} . כלומר, הקבוצה B {\displaystyle B} מוכלת בכדור שמרכזו בנקודה כלשהי של B {\displaystyle B} לכל c ∈ B {\displaystyle c\in B} קיים 0 < R < ∞ {\displaystyle 0<R<\infty } כך שלכל a ∈ B {\displaystyle a\in B} מתקיים ש- d ( a , c ) < R {\displaystyle d(a,c)<R} . כלומר, מכל נקודה ב- B {\displaystyle B} ניתן לבנות כדור שמכיל את כל B {\displaystyle B} . קיים c ∈ S {\displaystyle c\in S} ו- 0 < R < ∞ {\displaystyle 0<R<\infty } כך שלכל a ∈ B {\displaystyle a\in B} מתקיים ש- d ( a , c ) < R {\displaystyle d(a,c)<R} . כלומר, הקבוצה B {\displaystyle B} מוכלת בכדור שמרכזו בנקודה כלשהי של S {\displaystyle S} (לאו דווקא מ- B {\displaystyle B} ) לכל c ∈ S {\displaystyle c\in S} קיים 0 < R < ∞ {\displaystyle 0<R<\infty } כך שלכל a ∈ B {\displaystyle a\in B} מתקיים ש- d ( a , c ) < R {\displaystyle d(a,c)<R} . כלומר, מכל נקודה ב- S {\displaystyle S} (לאו דווקא מ- B {\displaystyle B} ) ניתן לבנות כדור שמכיל את כל B {\displaystyle B} . הקבוצה הריקה ∅ {\displaystyle \emptyset } היא קבוצה חסומה באופן ריק. לכל a ∈ S {\displaystyle a\in S} , היחידון { s } {\displaystyle \{s\}} הוא קבוצה חסומה. כל קבוצה המוכלת בקבוצה חסומה, היא קבוצה חסומה. כל איחוד סופי של קבוצות חסומות, הוא קבוצה חסומה. כל קבוצה סופית היא חסומה. משפט היינה-בורל: במרחב אוקלידי   R n {\displaystyle \ \mathbb {R} ^{n}} , כל קבוצה סגורה וחסומה היא קומפקטית. משפט בולצאנו-ויירשטראס: במרחב מטרי שלם, לכל קבוצה חסומה ואינסופית יש נקודת הצטברות. ניתן להכליל את ההגדרה של קבוצה חסומה לכל מרחב וקטורי טופולוגי: בהינתן מרחב וקטורי טופולוגי V {\displaystyle V} מעל השדה K {\displaystyle \mathbb {K} } (כאשר K {\displaystyle \mathbb {K} } הוא שדה הממשיים או שדה המרוכבים) עם הטופולוגיה T {\displaystyle {\mathcal {T}}} , קבוצה B ⊆ V {\displaystyle B\subseteq V} תקרא קבוצה חסומה אם לכל סביבה פתוחה של הראשית U ∈ T {\displaystyle U\in {\mathcal {T}}} קיים r ∈ K {\displaystyle r\in \mathbb {K} } כך ש- B ⊆ r U {\displaystyle B\subseteq rU} . אם המרחב V {\displaystyle V} מטריזבלי, כלומר ניתן לבנות את הטופולוגיה שלו באמצעות כדורים פתוחים על-פי מטריקה כלשהי, אז הגדרה זו מתלכדת עם הגדרת הקבוצה החסומה במרחב המטרי. חסם פונקציה חסומה משפט היינה-בורל משפט בולצאנו-ויירשטראס קבוצה חסומה, באתר MathWorld (באנגלית) Eric W. Weisstein, Bounded Set, mathworld.wolfram.com (באנגלית) Definition:Bounded Metric Space - ProofWiki, proofwiki.org H. H. Schaefer, Manfred P. H. Wolff, Topological Vector Spaces, Springer Science & Business Media, 1999-06-24, ISBN 978-0-387-98726-2. (באנגלית)