Understanding the left-separated spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T18:48:04Z http://mathoverflow.net/feeds/question/118858 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/118858/understanding-the-left-separated-spaces Understanding the left-separated spaces Paul 2013-01-14T06:35:45Z 2013-01-14T13:51:21Z <p><strong>A space $X$ is called left-separated if it can be well-ordered in such a way that every initial segment is closed in $X$.</strong></p> <p>Could someone post some left-separated space to help me understand such definition?</p> http://mathoverflow.net/questions/118858/understanding-the-left-separated-spaces/118860#118860 Answer by Joseph Van Name for Understanding the left-separated spaces Joseph Van Name 2013-01-14T07:47:43Z 2013-01-14T07:47:43Z <p>The simplest example of a left-separated space would be a countable $T_{1}$-space. If $X$ is a countable $T_{1}$-space, then if <code>$&lt;$</code> is a well ordering on $X$ such that <code>$(X,&lt;)$</code> is order isomorphic to the natural numbers, then every initial segment in $X$ is closed. For instance, $\mathbb{Q}$ is left separated. We may generalize this example to get more examples of left-separated spaces with good separation axioms without messing with ordinals.</p> <p>If $\kappa$ is a regular cardinal, then a $P_{\kappa}$-space is a topological space where the intersection of less than $\kappa$ many open sets is open. $P_{\kappa}$ spaces are easy to come by since one can transform any topological space $X$ into a $P_{\kappa}$-space <code>$(X)_{\kappa}$</code> by declaring the intersection of less than $\kappa$ many open sets to be open. If $\kappa$ is a regular cardinal and $X$ is a $T_{1}$ $P_{\kappa}$-space of cardinality $\kappa$, then $X$ is left-separated by the same argument as with countable $T_{1}$-spaces. In particular, if $X$ is a $T_{1}$-space (Hausdorff, regular) with $|X|\leq\kappa$, then $(X)_{\kappa}$ is left-separated (and Hausdorff, regular). </p> <p>Of course, if you do like messing with ordinals, then one can put a left-separated topology on an ordinal $\alpha$ by making sure that every point $\beta&lt;\alpha$ has $[\beta,\alpha)$ as a neighborhood. In particular, if $Z_{\beta}$ is a filter on $\alpha$ with $[\beta,\alpha)\in Z_{\beta}$ for each $\beta&lt;\alpha$, then we may topologize $\alpha$ by letting $U\subseteq\alpha$ be open if $U\in Z_{\beta}$ whenever $\beta\in U$. This topology will be left-separated and any left-separated space can be formed by this construction.</p> http://mathoverflow.net/questions/118858/understanding-the-left-separated-spaces/118876#118876 Answer by Andreas Blass for Understanding the left-separated spaces Andreas Blass 2013-01-14T13:51:21Z 2013-01-14T13:51:21Z <p>This is just filling in some details of Ramiro de la Vega's comment: Given any space $X$, form a (possibly transfinite) sequence of points by the following induction. As long as (the range of) the sequence you've built so far isn't dense in $X$, choose arbitrarily a point not in its closure, and append the chosen point to your sequence. Stop only when your sequence has become dense in $X$. Every initial segment of (the range of) your sequence is closed because, after it was formed, you only added points outside its closure. </p>