מרחב קומפקטי מקומית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 3:
== ניסוחים שקולים ==
 
אםקומפקטיות מקומית מאפשר לפרק את המרחב הואלחלקים, אולי חופפים חלקית, כך שכל אחד מהם קומפקטי. ב[[מרחב האוסדורף|האוסדורף]] כל קבוצה קומפקטית היא ממילא סגורה, אזולכן מרחב האוסדורף הוא קומפקטי מקומית אם קייםיש עבורולו [[כיסוי]] פתוח בו כל קבוצה היא בעלתשבו ה[[סגור (טופולוגיה)|סגור]] של כל קבוצה הוא [[קומפקטיות|קומפקטי]] . אפשרבספרות לחשוביש עלהגדדרות תכונהשונות זולמושג כעלהקומפקטיות האפשרותהמקומית לפרקבמרחבים אתשאינם המרחבהאוסדורף. לחלקיםבוויקיפדיה, אולימרחב חופפיםטופולוגי חלקית,הוא כךקומפקטי שכלמקומית אחדאם מהםלכל קומפקטינקודה יש [[בסיס (טופולוגיה)#בסיס מקומי|בסיס מקומי]] של קבוצות קומפקטיות.
 
עבור מרחבים טופולוגיים כלליים שאינם [[מרחב האוסדורף|מרחבי האוסדורף]] קיימות הגדרות שונות בספרות וההגדרה המקובלת (בוויקיפדיה) היא: מרחב טופולוגי הוא קומפקטי מקומית אם בכל נקודה קיים [[בסיס (טופולוגיה)#בסיס מקומי|בסיס מקומי]] המורכב מקבוצות קומפקטיות.
 
== דוגמאות ==