תהי A קבוצת נקודות ממשיות. נקרא נקודה פנימית של A לנקודה a שייכת ל A עבורה יש סביבת אפסילון מוכלת(עבור אפסילון>0 כלשהו) המוכלת כולה ב- A.
הוכיחו כי אם B היא קבוצה המכילה את כל נקודות ההצטברות שלה, אזי הקבוצה המשלימה שלB (שהיא R/B ) אינה מכילה אף נקודת הצטברות שאינה נקודה פנימית של R/B .
::אני בספק אם תהיה שאלה בנושא ויותר אם תהיה שאלה מהסוג הזה. אבל, בהנחה שנקודות הצטברות נלמדו בהרצאה אני מניח שהסיכוי הוא לא אפס. איך אפשר להוכיח? ניתן להוכיח אפילו יותר- שבתנאי השאלה R\B אינה מכילה אף נקודה פנימית של R\B (בלי קשר אם הנקודה היא נק' הצטברות). נניח בשלילה שקיימת נקודה x השייכת לR\B ומצד שני שx אינה נק' פנימית של R\B.
x אינה נק' פנימית של R\B ולכן משלילת ההגדרה של נק' פנימית נקבל שכל סביבת אפסילון של x לא מוכלת ב R\B. זה שקול לכך שהחיתוך של כל סביבת אפסילון של x עם B אינו ריק. כמו כן מכיון שx שייכת ל R\B
אז לכל אפסילון > 0 בחיתוך הנ"ל שאינו ריק קיימת נקודה השונה מx. לכן עפ"י ההגדרה (או אחת השקולות)
x נקודת הצטברות של B אבל הקבוצה B מכילה את כל נקודות ההצטברות שלה, ומכאן x שייכת לB בסתירה לכך ש x שייכת לR\B.--[[משתמש:מני ש.|מני]] 15:32, 10 באפריל 2012 (IDT)