Questions tagged [sorgenfrey-line]

For questions about the Sorgenfrey line ($\mathbb{R}$ with the lower limit topology) and closely related spaces.

Filter by
Sorted by
Tagged with
4
votes
1answer
41 views

Example 2, Sec. 31, in Munkres' TOPOLOGY, 2nd ed: Normality of $\mathbb{R}_l$ — Why are these two sets disjoint?

The set $\mathbb{R}$ of real numbers with the lower limit topology having as a basis the collection of all closed-open intervals $[a, b)$, where $a, b \in \mathbb{R}$ with $a < b$, is denoted by $\...
3
votes
1answer
78 views

Topology Munkres ($2^\text{ed}$) $\S 16$ Exercise $2$: Subspaces of Finer Topologies

The following theorems are well known to me: (i) Suppose $\tau$ and $\tau '$ are two topologies on a given set $X$. Then, $\tau '$ is said to be strictly finer than $\tau$ if $\tau \subsetneq \tau '$. ...
0
votes
2answers
22 views

Compact sets through topologies over a set

I have to show that a set is compact on the Sorgenfrey line. I can prove that it is indeed compact on the usual topology over the real line and my idea is to say that, since the Sorgenfrey topology is ...
2
votes
1answer
55 views

$\mathscr{B} = \{ [a, b) | a< b \in \mathbb{R} \}$ is a basis for a Topology in $\mathbb{R}$

I just want to ask if my proof for this problem is correct. $$\mathscr{B} = \{ [a, b) | a< b \in \mathbb{R} \}$$ is a basis for a Topology in $\mathbb{R}$ . Here is my proof: Let $x \in \mathbb{...
2
votes
2answers
34 views

Lower limit topology and empty set

How is the empty set generated by the arbitrary union of half open intervals of the form $[a,b), a<b, a,b\in R$. I can't come up with a union.
3
votes
1answer
49 views

Connected topologies on $\mathbb{R}$ strictly between the usual topology and the lower-limit topology

It is well-known that the usual order/metric topology on $\mathbb{R}$ is connected, and the lower-limit topology is not connected (it is even totally disconnected). We also know that the lower-limit ...
2
votes
0answers
53 views

One-Sided Notion of Topological Closure

Has the following notion already been studied? I am really stuck on a problem that seems to require some general results concerning this: Let $A$ be a subspace of $\mathbb{R}$. Define an operation ...
0
votes
2answers
55 views

Disconnectedness of closed intervals in Sorgenfrey's line

In order to prove Sorgenfrey's line is totally disconnected I took the long road and proved every type of subset except singletones (intervals and rays) is disconnected. Everyone except for closed ...
2
votes
1answer
93 views

Certain Subset of Sorgenfrey Plane is Closed

Note that $L = \{(x,-x) \mid x \in \Bbb{R} \}$ is closed. Then if $A$ is closed in $L$, then it will also be closed in $\Bbb{R}^2_\ell$. According to Munkres, $L-A$ will also be closed, but I am ...
2
votes
1answer
80 views

Sorgenfrey Line is not a topological vector space

Show that Sorgenfrey line is not a topological vector space. My attempt: We know that if $X$ is a topological vector space, then the map $$x\mapsto \alpha x$$ is a homeomorphism for each scalar $\...
1
vote
2answers
888 views

$\mathbb R_l$ is not connected.

How to show $\mathbb R_l$ (lower limit topology on $\mathbb R$) is not connected?Means how any basis element of $\mathbb R_l$ can be written as the union of two separated sets?
0
votes
3answers
181 views

Show that a subset of $\mathbb{R}$ is compact in upper limit topology

I want to show that $A = [0,1]$ is not a compact subspace of $\mathbb{R}$, where $\mathbb{R}$ has the upper limit topology with open sets of the form $(a,b] = \{x \in \mathbb{R}\space|\space a < x \...
0
votes
0answers
116 views

Boundary points with a lower limit topology

Let $\tau$ be a lower limit topology (also called the Sorgenfrey topology) on $\mathbb{R}$. If $a<b$, then for an interval $A=[a,b)$ on the real number line what is the boundary points w.r.t $\tau$?...
0
votes
1answer
632 views

$\mathbb{R}_\ell$ is not locally compact

Consider $\mathbb{R}_\ell$ be the the 'Sorgenfrey line': Real line with the topology constructed from the intervals $\{[a,b):a<b\}$. Prove that $\mathbb{R}_\ell$ is not locally compact.
1
vote
1answer
219 views

Let $X=\mathbb{R}$ with the lower limit topology, and $Y=\mathbb{R}$ with the upper limit topology. Is $[1,2) \times [1,2)$ open in $X \times Y$

I don't believe $[1,2)$ is open in Y, so the product topology, $X\times Y$, is then not open. As I'm reading Topology Without Tears, I see Proposition 8.1.4 that discusses the product space being ...
2
votes
2answers
850 views

Prove that the Sorgenfrey line is totally disconnected

Problem: Let $ \mathbb{R}_l $ denote the topological space whose underlying set is the real line $ \mathbb{R} $ and the topology is generated by the half closed intervals $ [a,b) $. Prove that the ...
3
votes
1answer
512 views

Prove that the Sorgenfrey line is not connected

Problem: Let $ \mathbb{R}_l $ denote the topological space whose underlying set is the real line $ \mathbb{R} $ and the topology is generated by the half closed intervals $ [a,b) $. Prove that the ...
1
vote
2answers
71 views

Example of cont. map. $\psi: \mathbb{R}_l \to \mathbb{R}_l$ such that $ \phi: \mathbb{R}\to \mathbb{R} $, def. by $ \phi(x)=\psi(x) $, is not cont.

$ \mathbb{R}_l $ denotes the Sorgenfrey line or the Lower limit topology generated by the half-open intervals $ [a,b) $ and $ \mathbb{R} $ denotes the usual euclidean topology in $ \mathbb{R} $. Can ...
1
vote
2answers
586 views

Interval $[0,1]$ is neither compact nor connected in the Sorgenfrey line.

Let $A=[0,1]$. Show that $A$ is neither compact nor connected in the Sorgenfrey line, $\tau_{[,)}$, and that there is no neighborhood of $0$ compact. For the connectedness part, I thought that $[0,1)$...
3
votes
2answers
448 views

Open sets which are not closed in the Sorgenfrey line

Basically, it is a simple fact about the Sorgenfrey line that: the only connected sets are the singelton sets. the open set in Sorgenfrey line $(b,\infty)$ is not closed. But are there other open ...
0
votes
1answer
454 views

Regular topological spaces need not to be normal

I was looking for a counterexample for the following statement: "A regular topological space need not to be normal." I don't understand how to use the lemma to prove Theorem 7: http://fac.hsu.edu/...
1
vote
1answer
58 views

Is the given function $f$ continuous?

Problem Let $\mathbb{R}_l$ denote the reals with lower limit topology, and let $\mathbb{R}_l\times \mathbb{R}_l$ have the product topology. Then the map $f:\mathbb{R}_l\times\mathbb{R}_l\to\mathbb{R}...
1
vote
1answer
660 views

Compact sets of lower limit topology

Find all the compact sets of the lower limit topology in $\mathbb{R}$, i.e. the topology given by basis $\{[a,b)|a,b \in \mathbb{R} \}$. What I have got so far: necessary conditions: the compact ...
3
votes
1answer
141 views

Sorgenfrey line is not orderable [closed]

How can I prove that the Sorgenfrey line is not a linearly ordered topological space, i.e., that the Sorgenfrey topology on $\mathbb R$ is not the order topology for some linear ordering? I tried to ...
1
vote
1answer
73 views

How to prove Sorgenfrey topology stronger then standard?

I understand that my title's statement is true and I'm not sure why. Any [a,b) set is open on Sorgenfrey's so I guess I could use a union of all [a + 1/n, b) sets in order to get the (a,b) set which ...
7
votes
2answers
2k views

Cheap proof that the Sorgenfrey line is normal?

It is very easy to prove that the Sorgenfrey line is completely regular: To separate a point $x$ from a closed set $F$, note that there is an interval $[x,y)$ disjoint from $F$ and observe that the ...
1
vote
1answer
883 views

topology (upper limit and lower limit)

I have to show that upper limit topology and lower limit topology on $\mathbb{R}$ (Real line) are not comparable. But suppose if we take $[a,b)$ and $(a-1,b]$, where $a-1 > a$, then isn't it ...
0
votes
2answers
104 views

Why is $\mathfrak{c}$ the cardinality of the lower limit topology on $\mathbb{R}$?

Why is $\mathfrak{c} = |\mathbb R|$ the cardinality of the lower limit topology on $\mathbb{R}$? An open set in the lower limit topology is of the form $[a,b)$. I can clearly see why the cardinality ...
1
vote
1answer
116 views

Prob. 2, Sec. 28 in Munkres' TOPOLOGY, 2nd ed: Compactness of $[0,1]$ in the lower limit topology

Let $\mathbb{R}_l$ denote the set of real numbers with the topology having as a basis all the half open intervals $[a,b)$ on the real line. Then is the closed interval $[0,1]$ compact as a subspace ...
4
votes
1answer
923 views

Lower Limit Topology Properties

I am reading topology from Munkres book. While reading the countability and Separation axioms, I came across several references to Lower limit topology ($\mathbb{R}_l$) which essentially comprises of ...
0
votes
2answers
2k views

The closure of $(0,1)$ in the lower-limit topology on $\mathbb{R}$

I've been given the topology $\tau_l$ on $\mathbb{R}$ generated by the subbasis consisting of all half open intervals $[a,b)$. I've concluded therefore that one can define the topology as: $$\tau_l :=...
1
vote
1answer
2k views

Is the Sorgenfrey Line second countable? [duplicate]

The Sorgenfrey topology on $\mathbb{R}$ is the topology whose basic open sets are of the form $[a,b)$ where $a < b \in \mathbb{R}$. Does it have a countable base? (I suspect not.) Certainly it is ...
25
votes
2answers
7k views

$\mathbb{R}$ with the lower limit topology is not second-countable

I am trying to prove that $\mathbb{R}$ with the lower limit topology is not second-countable. To do this, I'm trying to form an uncountable union $A$ of disjoint, half-open intervals of the form $[a, ...
2
votes
1answer
198 views

$\{1/n\}_n$ converges in the Sorgenfrey line

The following is my attempted proof that the sequence $\{ \frac{1}{n} \}_n$ converges in the Sorgenfrey line. Offer criticism, please! Consider $\{\frac{1}{n}\}_n=(1,\frac{1}{2},\frac{1}{3},\cdots)$...
3
votes
1answer
139 views

$\{1-\frac{1}{n} \}_n$ does not converge in the Sorgenfry line

I am trying to prove that the sequence $\{1-\frac{1}{n} \}_n$ does not converge in the Sorgenfry line. Below is my attempt. Consider $\{1-\frac{1}{n}\}_n=(0,\frac{1}{2},\frac{2}{3},\frac{3}{4},\...
1
vote
2answers
149 views

Continuity of addition under the lower limit topology

Letting $\Bbb R_\ell$ denote $\mathbb{R}$ with the lower limit topology, prove that the function $f : \Bbb R_\ell \times \Bbb R_\ell \to \Bbb R_\ell$ defined by $f((x,y)) = x+y$ is continuous.
5
votes
2answers
4k views

Is the lower limit topology finer than the standard topology on $\mathbb{R}$?

Is the lower limit topology finer than the standard topology on $\mathbb{R}$? In Lemma 13.4 on p.82 of Munkres' Topology (2nd ed.), it is stated that the lower limit topology is (strictly) finer ...
2
votes
1answer
1k views

Is set on lower-limit topology path-connected?

Is $\mathbb R$ endowed with the left-hand topology (also called lower limit topology) path-connected? Intuitively, I know that the answer is yes but I'm not sure how to prove it. Would it suffice to ...
2
votes
2answers
873 views

Every subspace of $\mathbb{R}$ with the lower limit topology is separable

Let us consider the lower limit topology $τ=\{G⊂R: (∀x∈G)(∃ϵ>0)([x,x+ϵ)⊂G)\}$ on $\mathbb{R}$. I am trying to show that any subspace of $(\mathbb{R},τ)$ is separable, but couldn't find the ...
3
votes
1answer
512 views

$\mathbb{R}_{S}$ = (Sorgenfrey line) is a Baire Space

I'm tried to prove that $\mathbb{R}_{S}$ = (Sorgenfrey line) is a Baire Space. I find that my prove is correct, but I'm not sure. $\{U_n; n \in \mathbb{N}\}$ are a collection of open and dense sets ...
6
votes
2answers
1k views

The Sorgenfrey line is hereditarily Lindelöf

How can one show that the Sorgenfrey line is hereditarily Lindelöf (that is, all subspaces of the Sorgenfrey line are Lindelöf)? I know the Sorgenfrey line is Lindelöf and hence every closed ...
4
votes
3answers
742 views

Base for a topology, euclidean topology and Hausdorff

I am trying to solve an exercise from an old exam, but i am stuck at some parts of the exercise, which are not very clear for me or i can't move on. I would be very glad if someone could help me. So, ...
3
votes
3answers
3k views

How to prove that compact subspaces of the Sorgenfrey line are countable?

How to prove that every compact subspace of the Sorgenfrey line is countable?
5
votes
1answer
2k views

$[0,1)\times[0,1)$ (lower limit topology) is a regular, but not a normal topological space

Let $X=[0,1)\times[0,1)$, $\tau$ its topology with base $$\beta = \{ [a,b)\times[c,d): 0 \leq a < b \leq 1, 0 \leq c < d \leq 1 \}\;.$$ Please help me prove, that it is regular, but not a ...