を左半開区間全体の集合とする。
このとき、以下の問いに答えよ。
(1) は のある位相の基底となることを示せ。
(2) (1) により定まる の位相を と表し、上限位相(ゾルゲンフライ直線)という。
このとき、左半開区間は の開集合でも閉集合でもあることを示せ。
(3) 有界開区間は の開集合であることを示せ。
(4) を右半開区間全体の集合とすると、(1) と同様にして、 は のある位相の基底となる。
を を基底とする の位相とすると、(2), (3) の議論と同様にして、右半開区間は の開集合でも閉集合でもあり、さらに、有界開区間は の開集合であることが分かる。
を下限位相という。
このとき、 および より大きい の位相は離散位相であることを示せ。
(1)
任意の に対して、 を含む左半開区間が存在する。
また、2つの左半開区間の共通部分は、空集合でないならば、左半開区間である。
従って、 は のある位相の基底となることが分かる。
(2)
左半区間を とする。ここで、 とする。
まず、 であり、 は のある位相の基底であるので、 は の開集合である。
次に、 とするとき、 と は の開集合である。
ここで
であるので、 は の開集合である。
よって、その補集合である は閉集合である。
以上の議論より、題意が示された。
(3)
とするとき、 は の開集合である。ここで
であるので、 は の開集合となる。
(4)
よりも大きい の位相を とする。
とする。
このとき、(2) の結果より であるので、 である。
同様に、 より、 となる。
したがって
が得られる。
すなわち、 は離散位相であることが分かる。