how to prove that the topology generated by the left-closed intervals is finer than the usual topology

50 Views Asked by At

The idea is to prove that the open intervals (like $]a,b[$) are contained in the topology of the left-closed sets ($[a,b[$), but I cannot see a way of generating open sets from half-closed sets. (Same goes for the right-closed sets)

2

There are 2 best solutions below

0
On

Hint: Note that the sequence $\frac1n\to 0$, but $0\notin\{\frac1n:n\in\mathbb N\}$.

Can you think of a way to use this with a family of intervals to prove what you want?

2
On

$ ]a,b[ = \bigcup_{n\in\mathbb{N}} [a + \frac{1}{n},b[$