Showing Regularity of X with Order Topology

  • Thread starter ~Death~
  • Start date
  • Tags
    Topology
In summary, to show that a topological space X with an order topology is regular, we first establish that it is Hausdorff. Then, for a closed set S and a point x not in S, we can write X\S as a union of open intervals. In Case 1, we can find two open sets, one containing S and one containing x, that are disjoint. In Case 2, we can use a similar approach, but in Case 3, we must consider the possibility that x is in an interval of the form (a, infinity) or (-infinity, b). However, this can also be handled by finding two open sets that are disjoint and contain S and x, respectively.
  • #1
~Death~
45
0
how do I show a topological space X with an order topology is regular. I've shown it is hausdorff already.
 
Physics news on Phys.org
  • #2
So, let S be a closed set, and x be a point not in S. Since S is closed, X\S is open, so write it as a union of open intervals. Since x is in X\S, fix an interval (a,b) in X\S containing x.
Case 1: there exists an element c in (a,x) and an element d in (x,b). In that case, (-infinity,c) U (d, infinity) is an open set containing S disjoint from (c,d), an open set containing x.
Case 2: There exists an element c in (a,x) but (x,b) is empty. Then (c,x] = (c,b) is open. In that case, (-infinity, c) U (x,infinity) is an open set containing S disjoint from (c,x], an open set containing x.
Case 3: both (a,x) and (x,b) are empty. Then {x}=(a,b) is open. Then (-infinity, x) U (x, infinity) is an open set containing S, disjoint from {x}, an open set containing x.

EDIT: I realize this isn't exactly correct, since you need to consider the case x is in an interval of the form (a, infinity) or (-infinity, b), but I think those can be handled the same way.
 
Last edited:

FAQ: Showing Regularity of X with Order Topology

1. How is regularity defined in the order topology?

In the order topology, a space is considered regular if for every point in the space and every open set containing that point, there exists a smaller open set containing the point that is still contained within the larger open set.

2. What is the significance of showing regularity in the order topology?

Showing regularity in the order topology is important because it ensures that the space is well-behaved and has certain desirable properties, such as being able to separate points and closed sets.

3. Are there any other equivalent ways to define regularity in the order topology?

Yes, regularity in the order topology can also be defined as the intersection of all open sets containing a given point being equal to that point, or as every open set containing a given point being contained within another open set containing that point.

4. How is regularity related to other topological concepts, such as Hausdorffness?

In general, regularity is a stronger condition than Hausdorffness. However, in the order topology, regularity and Hausdorffness are equivalent. This means that a space is regular in the order topology if and only if it is Hausdorff.

5. Is regularity a necessary condition for a space to have the order topology?

No, regularity is not a necessary condition for a space to have the order topology. The order topology can be defined on any totally ordered set, regardless of whether it is regular or not.

Similar threads

Replies
6
Views
670
Replies
1
Views
217
Replies
3
Views
703
Replies
20
Views
686
Replies
44
Views
2K
Replies
7
Views
3K
Replies
20
Views
3K
Back
Top