קבוצה חסומה

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

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

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

הגדרה מתמטית[עריכת קוד מקור | עריכה]

בהינתן מרחב מטרי עם מטריקה וקבוצה , הקבוצה תקרא קבוצה חסומה אם היא מקיימת את אחד התנאים השקולים הבאים:[1][2]

  • קיים כך שלכל מתקיים ש-. כלומר, הקוטר של הוא סופי.
  • קיים ו- כך שלכל מתקיים ש-. כלומר, הקבוצה מוכלת בכדור שמרכזו בנקודה כלשהי של
  • לכל קיים כך שלכל מתקיים ש-. כלומר, מכל נקודה ב- ניתן לבנות כדור שמכיל את כל .
  • קיים ו- כך שלכל מתקיים ש-. כלומר, הקבוצה מוכלת בכדור שמרכזו בנקודה כלשהי של (לאו דווקא מ-)
  • לכל קיים כך שלכל מתקיים ש-. כלומר, מכל נקודה ב- (לאו דווקא מ-) ניתן לבנות כדור שמכיל את כל .

תכונות[עריכת קוד מקור | עריכה]

הכללה למרחבים וקטורים טופולוגיים[עריכת קוד מקור | עריכה]

ניתן להכליל את ההגדרה של קבוצה חסומה לכל מרחב וקטורי טופולוגי:[3]

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

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

ראו גם[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Eric W. Weisstein, Bounded Set, mathworld.wolfram.com (באנגלית)
  2. ^ Definition:Bounded Metric Space - ProofWiki, proofwiki.org
  3. ^ H. H. Schaefer, Manfred P. H. Wolff, Topological Vector Spaces, Springer Science & Business Media, 1999-06-24, ISBN 978-0-387-98726-2. (באנגלית)