נקודת הצטברות

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

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

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

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

תהי \ A קבוצה במרחב טופולוגי \ X. נקודה \ x \in X היא נקודת הצטברות של \ A, אם היא שייכת לסגור של הקבוצה \ A-\{x\}.

פירושו של דבר הוא שבכל קבוצה פתוחה \ U המכילה את \ x\ מצויה נקודה נוספת אחת לפחות של \,A.

את אוסף נקודות ההצטברות של \,A מסמנים ב-\ A'; בשל סימון זה, אוסף נקודות ההצטברות נקרא לפעמים "הקבוצה הנגזרת" של \,A.

סגור ונקודות הצטברות[עריכת קוד מקור | עריכה]

אפיון קבוצה סגורה[עריכת קוד מקור | עריכה]

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

הוכחה: כיוון אחד: תהי \,A קבוצה המכילה את כל נקודות ההצטברות שלה. יש להוכיח שהמשלים הוא קבוצה פתוחה. תהי \,x נקודה במשלים, אז \,x איננה נקודת הצטברות של \,A, ולכן יש לה סביבה שאינה מכילה אף נקודה של \,A. סביבה זו מוכלת במשלים, ולכן הנקודה \,x שייכת לפנים של המשלים. הוכחנו שכל הנקודות במשלים שייכות לפנים שלו, ולכן המשלים הוא קבוצה פתוחה.

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

אפיון הסגור[עריכת קוד מקור | עריכה]

עבור כל קבוצה, הסגור שלה ניתן לייצוג על ידי \ \mbox{Cl}(A) = \overline{A} = A \cup A'. נוכיח זאת תוך שימוש בתכונה שהראינו לעיל:

כיוון ראשון: תהי \,F קבוצה סגורה שמכילה את \,A. נראה ש-\,F מכילה גם את \,A'. ברור כי כל נקודת הצטברות של \,A היא גם נקודת הצטברות של \,F (כי \,A מוכלת ב-\,F) ומכיוון ש-\,F סגורה היא מכילה את כל נקודות ההצטברות שלה, לכן \ A' \subset F. מכיוון שהסגור היא חיתוך כל הקבוצות הסגורות שמכילות את \,A, נקבל \ A \cup A' \subset \overline{A}.

כיוון שני: ברור כי \ A \cup A' קבוצה סגורה (כי היא מכילה את כל נקודות ההצטברות שלה), והרי הסגור של \,A מוכל בכל קבוצה סגורה שמכילה את \,A. קיבלנו כי: \ \overline{A} \subset A \cup A' .

משתי ההכללות נובע השוויון המבוקש \ \overline{A} = A \cup A'.

צורת הצגה זו שימושית ונוחה יותר לחישוב הסגור יותר מאשר באמצעות הגדרתו (כקבוצה הסגורה הקטנה ביותר שמכילה את \,A).

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