ערכתי לאחרונה בתאריך 07.09.08 בשעה 19:57 בברכה, Deuce
תוכיח בהתחלה טענה פשוטה שהקבוצה היחידה ב-IR שהיא גם פתוחה וגם סגורה היא הקבוצה הריקה או IR^N.באותו אופן תראה כמובן שב-IR^N גם הקבוצה הריקה וגם IR^N הן קבוצות פתוחות וסגורות.
כעת להוכחה המהותית:
הנח בשלילה שקיימת קבוצה נוספת ב-IR^N שהיא גם פתוחה וגם סגורה ששונה מהקבוצה הריקה ושונה מ-IR^N עצמה, נסמנה ב-E.
בחר איפוא נקודה ב-E ונקודה ב-IR^N/E והגדר ישר כדלקמן (נקרא לנקודות x ו-y בהתאמה).
עבור t שייך לקטע
כעת:
l-1(E), כלומר קבוצת המקורות של הטווח E (PREIMAGE) היא פתוחה וסגורה כי קבוצת מקורות של העתקה רציפה של טווח פתוח/סגור היא קבוצה פתוחה/סגורה.
כלומר:
l(E) היא קבוצה פתוחה וסגורה.
l(E) היא קבוצה שמוכל ב-IR (היא חלק מהישר) אך היא אינה ריקה ואינה כל IR.
סתירה !
