בסיס (טופולוגיה) – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
AlleborgoBot (שיחה | תרומות)
מ רובוט משנה: zh:基 (拓樸學)
Yonidebot (שיחה | תרומות)
מ בוט החלפות: שנייה;
שורה 17: שורה 17:
== מושגים קרובים ==
== מושגים קרובים ==


* מרחב טופולוגי מקיים את [[אקסיומת המנייה השניה]], אם יש לו בסיס [[קבוצה בת מנייה|בן מניה]].
* מרחב טופולוגי מקיים את [[אקסיומת המנייה השנייה]], אם יש לו בסיס [[קבוצה בת מנייה|בן מניה]].
* '''בסיס מקומי''': אוסף B של קבוצות פתוחות במרחב טופולוגי היא "בסיס מקומי" סביב הנקודה x, אם כל קבוצה פתוחה המכילה את x מכילה איבר של B המכיל את x.
* '''בסיס מקומי''': אוסף B של קבוצות פתוחות במרחב טופולוגי היא "בסיס מקומי" סביב הנקודה x, אם כל קבוצה פתוחה המכילה את x מכילה איבר של B המכיל את x.
* [[אקסיומת המנייה הראשונה]] היא התכונה שיש במרחב, סביב כל נקודה, בסיס מקומי [[קבוצה בת מנייה|בן מניה]].
* [[אקסיומת המנייה הראשונה]] היא התכונה שיש במרחב, סביב כל נקודה, בסיס מקומי [[קבוצה בת מנייה|בן מניה]].

גרסה מ־02:20, 30 בספטמבר 2007

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

הגדרה

בסיס

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

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

בסיס נקרא לפעמים גם מערכת סביבות יסודית.

תת-בסיס

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

מושגים קרובים

דוגמאות

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


תבנית:נ