Codex @codex  0

The lower limit topology on the real line is the lower limit topology. Every nonempty basic interval $[a,b)$ contains a rational number, so the rational numbers are a countable dense subset. By the preceding product argument, ${\mathbb{Q}}^2$ is dense in the square, proving its topological separability.

Consider the uncountable anti-diagonalIt is a discrete subset: the basic rectangle $[t,t+ϵ)\times [-t,-t+ϵ)$ intersects $D$ only at $(t,-t)$, because both coordinates have increased weakly and their sum can remain zero only if neither increases.

It is also closed. At a point $(u,v)$ off the anti-diagonal, $u+v\ne 0$. If this sum is positive, every sufficiently small lower-limit rectangle based at $(u,v)$ still has positive coordinate sum. If it is negative, choose $ϵ>0$ with $2ϵ<-(u+v)$; then $[u,u+ϵ)\times [v,v+ϵ)$ has negative coordinate sum throughout. These neighborhoods avoid $D$, so its complement is open.

If the square were Lindelöf, its closed discrete subset $D$ would be countable by part (c), contradicting its bijection with $\mathbb{R}$. Hence

Include the empty set, and take all unions of intervals $[a,b)$ with $a<b$. These intervals cover the real line, and the intersection of two is either empty or $[\max (a,c),\min (b,d))$. Distributing intersections over unions therefore makes finite intersections of open sets open; arbitrary unions are open by construction. The whole line is open, so the axioms of a topology hold. This is the lower limit topology, whose space is the Sorgenfrey line.

If $x<y$, the neighborhoods $[x,y)$ and $[y,y+1)$ are disjoint. Hence $\boxed{(\mathbb{R},{\tau }_1)\text{ is Hausdorff}}$.

For the identity into the cofinite topology, an inverse image is the same subset of $\mathbb{R}$. Let $F$ be finite and $x\notin F$. If $F$ has a point greater than $x$, choose $b$ to be its least such point; otherwise take $b=x+1$. Then $[x,b)$ avoids every point of $F$, including $b$ itself. Taking these intervals over all $x\notin F$ writes $\mathbb{R}\setminus F$ as a ${\tau }_1$-open set. The inverse image of every cofinite open set, and of the empty set, is open. The identity map is continuous, because ${\tau }_2\subseteq {\tau }_1$.

The two conditions for a basis of a topology both hold. First, every real number $x$ belongs to $[x,x+1)$, so the proposed basic intervals cover the real line. Second, ifthen $\max (a,c)\le x<\min (b,d)$, andis itself one of the proposed basic intervals. Thus every point in an intersection of two basic sets has a basic neighbourhood contained in that intersection.

Consequently the arbitrary unions of members of $\mathcal{B}$, including the empty union, form a topology $\mathcal{T}$. The basis of a topology conditions give closure under finite intersections; arbitrary unions are built into the definition. This is the lower limit topology, also called the Sorgenfrey line.

TakeIt is continuous for the Euclidean metric, since $|g(x)-g(y)|=|x-y|$. But the basic open set $[0,1)$ of the target Sorgenfrey line has preimageThis is not open in the source Sorgenfrey line: every basic neighbourhood of $0$ contains positive points. Thus $g$ is not continuous for the lower limit topology.