Undergrad Trying to understand why a set is both open and closed

  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Closed Set
Click For Summary
The set X = [0,1] ∪ [2,3] is both open and closed in the induced topology on itself, though it is not open in the larger space of ℝ. The subset [0,1] is considered open in X because it can be represented as the intersection of an open set in ℝ with X. The complement of [2,3] within X, which is [0,1], is thus open by definition. To show that a set is not closed, one can demonstrate the existence of a converging sequence within it that approaches a limit not contained in the set. Understanding these properties hinges on the topology defined by the context in which the sets are considered.
Mr Davis 97
Messages
1,461
Reaction score
44
Take the subset of ##\mathbb{R}##, ##X = [0,1]\cup [2,3]##. Under the usual metric, the set ##X## is open and closed, according to my text. How is this the case? In particular, how is ##[0,1]## open in ##X##?
 
Physics news on Phys.org
Whether a subset is open or not depends on the topology you have on your full set. If your full set is ##X## and you have the induced topology, then ##X## is open in ##X## by definition (it must be!)

[0,1] is open in ##X## because it is the preimage of (for example) the open set (-2, 1.4) in ##\mathbb R##.

##[0,1] \cup [2,3]## is open in ##X## because it is the preimage of ##\mathbb R## itself (thereby satisfying the topology axiom that the set itself must be open).
 
Addendum: ##X## is open in the induced topology on ##X##. It is not open as a subset of ##\mathbb R##.
 
Mr Davis 97 said:
Take the subset of ##\mathbb{R}##, ##X = [0,1]\cup [2,3]##. Under the usual metric, the set ##X## is open and closed, according to my text. How is this the case? In particular, how is ##[0,1]## open in ##X##?
##[0,1] =(-0.1,1.1) \cap [0,1] \cup [2,3]##. This satisfies the definition of open in subspaces.
 
  • Like
Likes Mr Davis 97
WWGD said:
##[0,1] =(-0.1,1.1) \cap [0,1] \cup [2,3]##. This satisfies the definition of open in subspaces.
I suppose I understand now how to show that something IS open or closed, but how do you show that something is not? For example, why isn't ##(1/4,3/4)## closed in ##(1/2,1]##? Do I have to show that for all closed subsets ##C## of ##\mathbb{R}##, that ##(1/4,3/4) \not = (1/2,1] \cap C##?
 
Mr Davis 97 said:
I suppose I understand now how to show that something IS open or closed, but how do you show that something is not? For example, why isn't ##(1/4,3/4)## closed in ##(1/2,1]##? Do I have to show that for all closed subsets ##C## of ##\mathbb{R}##, that ##(1/4,3/4) \not = (1/2,1] \cap C##?
You do it as usual. Show that there is a sequence in ##(1/4,3/4)## which converges to, say ##3/4\,.##
 
Mr Davis 97 said:
Take the subset of ##\mathbb{R}##, ##X = [0,1]\cup [2,3]##. Under the usual metric, the set ##X## is open and closed, according to my text. How is this the case? In particular, how is ##[0,1]## open in ##X##?
Easiest way (I think): [2,3] is closed in ##X##. Since [0, 1] = X -[2, 3], [0,1] is the complement in ##X## of [2,3] and so must be open.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K