Prove that the complement of a closed set is open

  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Closed Set
Click For Summary
SUMMARY

The discussion centers on proving that the complement of a closed set, denoted as Sc, is open. The proof utilizes a contradiction approach, demonstrating that if no radius r > 0 exists such that d(p, q) < r implies q ∈ Sc, then a sequence of points pn in S converges to p in Sc, contradicting the closedness of S. The argument hinges on the properties of metric spaces and the definition of closed sets in topology.

PREREQUISITES
  • Understanding of metric spaces and distance functions
  • Familiarity with the concepts of open and closed sets in topology
  • Knowledge of sequences and their convergence properties
  • Basic principles of proof by contradiction
NEXT STEPS
  • Study the properties of metric spaces and their implications on open and closed sets
  • Learn about sequences and convergence in the context of topology
  • Explore the definitions and examples of open and closed sets in various topological spaces
  • Review proof techniques, particularly proof by contradiction, in mathematical analysis
USEFUL FOR

Mathematics students, particularly those studying topology or real analysis, as well as educators looking to clarify concepts related to closed and open sets.

Mr Davis 97
Messages
1,461
Reaction score
44

Homework Statement


Suppose that S is a closed set. We claim that Sc is open. Take any p ∈ Sc. If
there fails to exist an r > 0 such that
d(p, q) < r ⇒ q ∈ Sc
then for each r = 1/n with n = 1, 2, . . . there exists a point pn ∈ S such that
d(p, pn) < 1/n. This sequence in S converges to p ∈ Sc, contrary to closedness of S.
Therefore there actually does exist an r > 0 such that
d(p, q) < r ⇒ q ∈ Sc
which proves that Sc is an open set.

Homework Equations

The Attempt at a Solution


So my question here is not how to do the prove, because I have that proof right here. I am just confused about the proof. I understand that the argument in general is a proof by contradiction, by assuming that Sc is not open and deriving a contradiction. However, I am confused about the reasoning here:

If there fails to exist an r > 0 such that
d(p, q) < r ⇒ q ∈ Sc
then for each r = 1/n with n = 1, 2, . . . there exists a point pn ∈ S such that
d(p, pn) < 1/n. This sequence in S converges to p ∈ Sc.

Can someone explain the logic here? Where does the 1/n comes from? Why does that sequence converge to p?
 
Physics news on Phys.org
You take a point p in the complement where the condition for being an open set does not hold. You then show that there is a sequence in S that converges to that point in S^c, implying that S is not a closed set.

This question is significantly simpler using the general topological definition of a closed set: A closed set is the complement of an open set.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
5
Views
2K