Give an example of infinite closed sub set of R that is not perfect.
My set theory is a bit rusty so here goes.
Ok, so we want a set that is closed but infinite, that is not perfect.
Closed says that all accumulation points are contained in the set. Not perfect means that there must be points in the set that are not accumulation points.
Define an open set to be any subset of containing 0 or is the empty set. You may need to prove that this collection of sets satisfies what it means to be open.
You can show that the set of accumulation points is which is a non-empty proper (strict) subset of .
Open set - Wikipedia, the free encyclopedia and Open set - Wikipedia, the free encyclopedia. So I'll give it a shot based on the 2 questions that I see you have posted.
A topological space, is a set, A, with a collection of subsets (which will be the collection of open subsets) that satisfy the following conditions:
- the empty set must be open
- The intersection of 2 (and thus finitely many) open sets must be open
- The arbitrary union (finite or infinite) of open sets must be open.
I found a problem with my original example so I am going to come up with a new (and hopefully correct) example.
Define the collection of open sets to be .
The way I defined the collection of open sets, I explicitly declared the empty set to be open so #1 is satisfied.
#2. Prove by exhaustion:
which is open
#3. Prove by exhaustion again.
OK. we just proved that A is a valid topological space.
Now, we have to show that it is closed but not perfect. We know that A is infinite.
The closure of A is . Proof: Let . Then is not contained in any open set. Thus, the following statement is trivially true: all open sets containing contain another point. Thus is a limit point. 0.5 is not a limit point since there is an open set, namely , that does not contain another point.
Since we know that is closed (defined with the above topology it contains all limit points) and that it is not perfect (since it contains a point that is not in the closure (not a limit point).