Defn. A subset O Í IR is called open if for each x ÎO there is an e-neighborhood Ne(x) contained in O.
Theorem. The following holds true for open subsets of IR:
Defn. A set C Í IR is called closed if its complement is open in IR.
Example. Each of the following is an example of a closed set:
At the n-th stage, we have 2n closed intervals each of length ([1/3])n:
Stage 0: [0,1]
Stage 1: [0,[1/3]] [[2/3],1]
Stage 2: [0,[1/9]] [[2/9],[3/9]] [[6/9],[7/9]] [[8/9],1]
:
This finite union of closed intervals is closed. The Cantor set is the intersection of this (decreasing or nested) sequence of sets and so is also closed. Later, we will hopefully see that it has many other interesting properties.
Prove each of the following: