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