Showing Regularity of X with Order Topology

  • Context: Graduate 
  • Thread starter Thread starter ~Death~
  • Start date Start date
  • Tags Tags
    Topology
Click For Summary
SUMMARY

The discussion focuses on demonstrating that a topological space X with an order topology is regular, having already established that it is Hausdorff. The approach involves considering a closed set S and a point x not in S, utilizing open intervals to construct disjoint open sets. Three cases are analyzed: the existence of elements in the intervals, the scenario where one interval is empty, and the case where both intervals are empty. The discussion acknowledges a need to address additional cases where x lies in intervals of the form (a, infinity) or (-infinity, b).

PREREQUISITES
  • Understanding of order topology
  • Familiarity with Hausdorff spaces
  • Knowledge of open and closed sets in topology
  • Basic concepts of set theory and intervals
NEXT STEPS
  • Study the properties of regular spaces in topology
  • Explore the implications of Hausdorff conditions on topological spaces
  • Learn about different types of topologies, including order topology
  • Investigate the handling of open sets in various topological contexts
USEFUL FOR

Mathematicians, particularly those specializing in topology, students studying advanced mathematical concepts, and educators seeking to enhance their understanding of regular and Hausdorff spaces.

~Death~
Messages
45
Reaction score
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
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:

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
2K