סגור (טופולוגיה)

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

בטופולוגיה, סְגוֹר של קבוצה השייכת למרחב הוא הקבוצה הסגורה הקטנה ביותר המכילה את .

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

נהוג לסמנו בסימונים .

הגדרה פורמלית

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

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

  • היא קבוצת כל האיברים של שבכל סביבה שלהם קיים איבר של (לא בהכרח שונה מהם).
  • , כאשר היא הקבוצה הנגזרת של .
  • הגדרה באמצעות הפנים של המשלים של הקבוצה: .

דוגמאות

תכונות הנוגעות לסגור

  • כל קבוצה סגורה שווה לסגור שלה: . בפרט הסגור הוא קבוצה סגורה ולכן .
  • הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \text{Cl}(A\cup B)=\text{Cl}(A)\cup\text{Cl}(B)}
  • הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f} היא פונקציה רציפה אם ורק אם לכל הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} בתחום שלה מתקיים הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f\big(\text{Cl}(A)\big)\subseteq\text{Cl}\big(f(A)\big)} . בפרט, הסגור של קבוצה קשירה הוא קשיר.
  • אם הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} קבוצה קשירה, לכל הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A\subseteq B\subseteq\text{Cl}(A)} מתקיים שגם הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle B} קבוצה קשירה.
  • קבוצה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} במרחב הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X} המקיימת הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \text{Cl}(A)=X} נקראת קבוצה צפופה.
  • קבוצה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A} במרחב הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle X} המקיימת הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \text{Int}\big(\text{Cl}(A)\big)=\varnothing} נקראת קבוצה דלילה.

נשים לב שרבות מתכונות אלו מזכירות את תכונות הפנים.