order topology
Let (X,≤) be a linearly ordered set. The order topology on X is defined to be the topology 𝒯 generated by the subbasis consisting of open rays, that is sets of the form
(x,∞)={y∈X|y>x} |
(-∞,x)={y∈X|y<x}, |
for some x∈X.
This is equivalent to saying that 𝒯 is generated by the basis of open intervals; that is, the open rays as defined above, together with sets of the form
(x,y)={z∈X|x<z<y} |
for some x,y∈X.
The standard topologies on ℝ, ℚ and ℕ are the same as the order topologies on these sets.
If Y is a subset of X, then Y is a linearly ordered set under the induced order from X. Therefore, Y has an order topology 𝒮 defined by this ordering, the induced order topology. Moreover, Y has a subspace topology 𝒯′ which it inherits as a subspace
of the topological space X. The subspace topology is always finer than the induced order topology, but they are not in general the same.
For example, consider the subset Y={-1}∪{1n∣n∈ℕ}⊆ℚ. Under the subspace topology, the singleton set {-1} is open in Y, but under the order topology on Y, any open set containing -1 must contain all but finitely many members of the space.
A chain X under the order topology is Hausdorff: pick any two distinct points x,y∈X; without loss of generality, say x<y. If there is a z such that x<z<y, then (-∞,z) and (z,∞) are disjoint open sets separating x and y. If no z were between x and y, then (-∞,y) and (x,∞) are disjoint open sets separating x and y.
Title | order topology |
Canonical name | OrderTopology |
Date of creation | 2013-03-22 12:10:34 |
Last modified on | 2013-03-22 12:10:34 |
Owner | rspuzio (6075) |
Last modified by | rspuzio (6075) |
Numerical id | 10 |
Author | rspuzio (6075) |
Entry type | Definition |
Classification | msc 54B99 |
Classification | msc 06F30 |
Synonym | induced order topology |
Related topic | OrderedSpace |
Related topic | LinearContinuum |
Related topic | ProofOfGeneralizedIntermediateValueTheorem |
Related topic | ASpaceIsConnectedUnderTheOrderedTopologyIfAndOnlyIfItIsALinearContinuum |