Lower Limit Topology Clopen Sets

Click For Summary
SUMMARY

The lower-limit topology on R, denoted as (R,T), is proven to be disconnected due to the existence of clopen sets, specifically the intervals of the form [a,b). These intervals are both open and closed within this topology, which leads to the conclusion that (R,T) is not connected. The proof involves demonstrating that the complements of these intervals, namely (-∞,a) and [b,∞), can be expressed as infinite unions of basis sets, confirming their openness in the lower-limit topology.

PREREQUISITES
  • Understanding of lower-limit topology
  • Familiarity with open and closed sets in topology
  • Knowledge of basis sets in topological spaces
  • Ability to work with infinite unions of sets
NEXT STEPS
  • Study the properties of clopen sets in various topological spaces
  • Learn about basis and subbasis in topology
  • Explore connectedness and disconnectedness in topological spaces
  • Investigate examples of different topologies on R, such as the standard topology
USEFUL FOR

Mathematics students, particularly those studying topology, as well as educators and researchers interested in the properties of topological spaces and their applications.

tylerc1991
Messages
158
Reaction score
0

Homework Statement



Let T be the lower-limit topology on R. Is (R,T) connected? Prove your answer.

The Attempt at a Solution



Since there exists a proper subset V of R such that V is both open and closed (since all intervals of the form [a,b) are open and closed), then (R,T) is disconnected.

Well, I think I need to provide some justification of why the intervals of the form [a,b) are open and closed: [a,b) is open because it is an element of the basis for the lower limit topology. However, I am not exactly sure of how to go about showing that [a,b) is closed. I was trying to show that it's complement is open, but this didn't exactly get me anywhere. The complement of [a,b) is (-infinity,a) union [b,infinity). I can maybe grasp how [b,infinity) is open because it has the form of an open set in the lower limit topology, but what about (-infinity,a)? Is this open?

Anyway, the question essentially comes down to showing that [a,b) is closed in the lower limit topology. Thank you for any help!
 
Physics news on Phys.org
Show (-infinity,a) and [b,infinity) are infinite unions of basis sets.
 
Dick said:
Show (-infinity,a) and [b,infinity) are infinite unions of basis sets.

(-infinity,a) = U_(n in Z) [a-(n+1),a-n) where U - union, and Z is the set of non-negative integers

[b,infinity) = U_(n in Z) [b+n,b+(n+1)) where U - union, and Z is the set of non-negative integers.
 
tylerc1991 said:
(-infinity,a) = U_(n in Z) [a-(n+1),a-n) where U - union, and Z is the set of non-negative integers

[b,infinity) = U_(n in Z) [b+n,b+(n+1)) where U - union, and Z is the set of non-negative integers.

Sure.
 

Similar threads

  • · Replies 58 ·
2
Replies
58
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K