Is there a "deep line" topological space in analogue to the "long line" $\omega_1\times[0,1)$? I was reading about the "long line" $L=\omega_1\times[0,1)$ in the lexicographic order topology, which is locally like $\Bbb R$ except that it is "long" on one end, so there is no countable sequence that runs off to infinity unlike $\Bbb R$. My question is whether one could construct a "deep line" that is homogeneous and totally ordered (i.e. one dimensional), and is only as "long" as $\Bbb R$ as you run off to infinity to either end, but is much deeper in the sense that no point is the intersection of countably many neighborhoods; you need to intersect at least $\omega_1$ open sets to get a singleton.
I'm using some informal language above because I'm a bit new to topology; does my idea correlate to any known or studied spaces? My intuition is telling me that a model of this space is the surreal numbers up to generation $\omega_1$, except that you cut off all the infinite elements: which is to say, I want to define $D=\{x\in{\sf No}\mid{\rm bday}(x)<\omega_1\wedge\exists y\in\Bbb N\,|x|<y\}$ in the order topology. Does this set behave the way I think it should?
I find it curious that this space is not metrizable, even though there is an obvious "metric" $d(x,y)=|x-y|$.
 A: $\def\RR{\mathbb{R}}$Let $X = \RR^{\omega_1}$; the set of all maps $\omega_1 \to \RR$. Make $X$ into an abelian group by pointwise addition. Let $f\in X$ be nonzero. Let $a$ be the least element of $\omega_1$ for which $f(a) \neq 0$. (Since $\omega_1$ is well ordered, there is a least such $a$.) Define $f$ to be positive if $f(a) >0$ and negative if $f(a) < 0$. This makes $X$ into an ordered abelian group. Equip $X$ with the order topology. Since I built $X$ as the order topology on an ordered abelian group, $X$ is homogenous and one-dimensional in your sense.
Let $f_n$ map the minimal element of $\omega_1$ to $n$ and map everything else to $0$. Then the sequence $f_n$ marches all the way to the end of $X$, so this line is not "long".
I claim that $X$ is deep. Let $U_i$ be a countable collection of open sets in $X$ containing $0$; we must show that $\bigcap U_i$ is not $\{ 0 \}$. Replacing each $U_i$ by a smaller open set, we may assume that $U_i$ is of the form $(f_i, g_i)$ with $f_i < 0 < g_i$. Let $a_i$ be the least element of $\omega_1$ for which $f_i(a_i) \neq 0$, so $f_i(a_i) < 0$. Similarly, let $b_i$ be minimal with $g_i(b_i) > 0$. Countable subsets of $\omega_1$ have upper bounds so we may choose $c \in \omega_1$ with $a_i < c$ and $b_i < c$ for all $i$. Let $f(c) = 1$ and $f(d) = 0$ for all other $d \in \omega_1$. Then $(-f,f) \subset (f_i, g_i)$ for all $i$, so the intersection contains the whole interval $(-f,f)$.
A: I just thought of this the other night and came up with something similar to the other answer.
Take {0,1}^(your favorite ordinal) to create "long" sequences of binary numbers. Putting them in order is simple. Find where two different sequences first differ (by well-orderedness of ordinals) and the one assigned a 1 is the larger element.
Not quite done yet though. We want a line, not a closed interval type space with a first and last element, so go ahead and remove the "all-zeros" and "all-ones" elements from the space.
Still not quite done. This space is not connected. So identify all elements such that all positions past a certain point are 1s (meaning there is a last element of the domain of the "sequence" assigned 0) with the element flipping that last 0 and the following 1s. This is the analogue of 0.9999... = 1.
Okay, so now we have a line that is both deep and long (assuming your favorite ordinal is one that is not a successor, has no countable increasing sequences converging to it etc.). Interestingly you'll find elements in this deep line having countable sequences converging from behind (like omega 1s followed by all 0s), but never from ahead so that there is no countable basis at any point -- thus the line is indeed "deep".
That's the line I was interested in, but you asked for one which isn't long. That's an easy fix, somewhat inspired by the other answer. Just glue countably many of these together, and you're done!
