Is [a,b] ever an open set in the order topology?

  • Thread starter Thread starter Zoomingout
  • Start date Start date
  • Tags Tags
    Set Topology
Click For Summary
In the discussion, the concept of open sets in the order topology is examined, specifically questioning when the interval [a, b] can be considered open. The textbook suggests that [a, b] can be open under certain conditions, particularly when the set X has a smallest and largest element. The example of natural numbers is used to illustrate how intervals like [3, 5] can be viewed as open in this context. However, confusion arises regarding the definition of open sets, which states they must be unions of open intervals. The discussion emphasizes the need for clarity on how these intervals are defined within the order topology framework.
Zoomingout
Messages
2
Reaction score
0
My textbook is indicating to me that sometimes {x \in X : a <= x <= b} is an open set. How can this happen?

My only guess is that if X has a smallest and largest element, called a and b, then sure. Otherwise?
 
Physics news on Phys.org
Let's look at the natural numbers for inspiration

[3,5]=(2,6)

[4,9]=(3,10)

etc. Hopefully the generalization becomes clear
 
So that would result from our space being the natural numbers and using the order topology. But why is that interval open? I suppose that for any element x in [3,5], we can find an open set, U, around x such that U \subset X.

For 3 we would choose the open set (2,4)?
 
But why is that interval open?

I'm confused. The definition of an open set in the order topology is that it's a union of open intervals. What do you mean here?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
572
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 5 ·
Replies
5
Views
3K