Closed and Open sets in R (or 'clopen')

  • Context: Graduate 
  • Thread starter Thread starter Bleys
  • Start date Start date
  • Tags Tags
    Closed Sets
Click For Summary
SUMMARY

The discussion focuses on proving that a subset A of the real numbers R, which is both open and closed (clopen), must be either the entire set R or the empty set. The proof utilizes the Representation theorem for open sets in R, which states that A can be expressed as a union of disjoint intervals. The argument hinges on the properties of boundary points, interior points, and exterior points, ultimately concluding that a clopen set must contain all its boundary points and none, leading to the conclusion that A must equal R or be empty.

PREREQUISITES
  • Understanding of open and closed sets in topology
  • Familiarity with the Representation theorem for open sets in R
  • Knowledge of boundary, interior, and exterior points in metric spaces
  • Basic concepts from Mathematical Analysis, specifically from Apostol's text
NEXT STEPS
  • Study the properties of clopen sets in different topological spaces
  • Learn about the concept of connectedness in topology
  • Explore the implications of the Heine-Borel theorem in R
  • Investigate the relationship between open and closed sets in metric spaces
USEFUL FOR

Mathematics students, particularly those studying real analysis or topology, as well as educators seeking to deepen their understanding of set properties in R.

Bleys
Messages
74
Reaction score
0
I'm sure this has been asked before, but the proofs I've seen use the fact R is connected or continuous functions is some way. I'm trying to prove it with the things that have only been presented in the book so far (Mathematical Analysis by Apostol).

So, let A be a subset of R which is both open and closed. Assume A is non-empty. I want to end up showing A = R.
Now A is open so by the Representation theorem for open sets in R, A is the union of a countable collection of disjoint component intervals of A. Denote these intervals by I_{k} = (a_{k},b_{k})
But both a_{k} and b_{k} are accumulation points of A, and so must belong to A (for A is closed).
I'm not really sure how to proceed, or if I'm even using the right path. Would I then say, since A is open there is an r>0 such that (b_{k}-r,b_{k}+r) is in A. Then use the representation again on this, and reiterate to conclude the whole real line is in A?
 
Physics news on Phys.org
A point, p, is an "interior point" of set A, in a metric space. if and only if there exist \delta> 0 such that the \delta neighborhood of p (\{y | d(p, y)< \delta) is a subset of A.

A point, p, is an "exterior point" of set A if and only if it is an interior point of the complement of A.

A point, p, is a "boundary point" of set A if and only if it is neither an interior point nor an exterior point of A.

Clearly a set contains all of its interior points and none of its exterior points. A boundary point of set A may or may not be in A. Also the interior points of A are the exterior points of complement of A and vice-versa. A set and its complement have the same boundary points.

One can show that a set is open if and only if it contains none of its boundary points and closed if and only if it contains all of its boundary points. In order to be both open and closed, A set would have to contain all of its boundary points and none of its boundary points. That is possible if and only if the set has no boundary points. For the set of real numbers with the "usual" topology, on R and the empty set have no boundary points.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
11K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 14 ·
Replies
14
Views
10K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K