J. Munkres. Topology (2013) Chapter 2: Topological Spaces and Continuous Functions. 14: The Order Topology

Definition

Let \(X\) be a linearly ordered set with more than one element. The order topology on \(X\) is the topology generated by the basis consisting of:

  1. All open intervals
  2. All intervals of the form \([\bot, b)\) where \(\bot\) is the smallest element of \(X\), if this exists.
  3. All intervals of the form \((a, \top]\) where \(\top\) is the greatest element of \(X\), if this exists.

Example 1

The standard topology on \(\mathbb{R}\) is the order topology.

The order topology is the topology generated by the subbasis of all open rays.

Comments

Post a Comment

Popular posts from this blog

Reading List

Making a list here of things that come up in references that I'd like to read: R. M. Smullyan. The continuum hypothesis. In The Mathematical Sciences, A Collection of Essays . 1969. P. J. Campbell. The origin of “Zorn’s lemma”. Historia Mathematica , 5:77–89, 1978 G. H. Moore. Zermelo’s Axiom of Choice . Springer-Verlag, New York, 1982
Read more

Change of book?

I'm thinking of abandoning Jänich. It's not clear what he is assuming the reader already knows: he mentions manifolds, he assumes we know that addition and multiplication on \(\mathbb{R}^n\) and \(\mathbb{C}^n\) are continuous, and looking ahead I see he assumes we already know what an inner product space is. I'll switch instead to a book that I have started in the past but never finished, and so know is a good introduction to topology for those starting from nothing: Munkres Topology (2013).
Read more

J. Munkres. Topology (2013) Chapter 2: Topological Spaces and Continuous Functions. 21: The Metric Topology (continued)

Proposition Let \((X,d)\) be a metric space and \(Y \subseteq X\). Then \(d \restriction Y^2\) is a metric on \(Y\) that induces the subspace topology. Proposition Every metric space is Hausdorff. Proposition Let \(((X_n, d_n))\) be a sequence of metric spaces. Define \(D\) on \(prod_n X_n\) by \(D((x_n)) = \sup_n (\overline{d_n}(x_n, y_n)/n)\), where \(\overline{d_n}\) is the standard bounded metric corresponding to \(d_n\). Then \(D\) is a metric on \(\prod_n X_n\) that induces the product topology. Theorem 21.1 Let \((X, d_X)\) and \((Y, d_Y)\) be metric spaces. Let \(f : X \rightarrow Y\). Then \(f\) is continuous if and only if, for all \(x \in X\) and \(\epsilon > 0\), there exists \(\delta > 0\) such that, for all \(y \in X\), \[ d_X(x,y) Definition Let \(X\) be a topological space. Let \(x \in X\). A basis at the point \(x\) is a set \(\mathcal{B}\) of neighbourhoods of \(x\) such that every neighbourhood of \(x\) includes a member of \(\mathcal{B}\)...
Read more