How to prove the following :
Given $(X, \tau)$ a topological vector space on $\mathbb{R}$, If {0} is closed then $\tau$ is separated.
Thank you.
How to prove the following :
Given $(X, \tau)$ a topological vector space on $\mathbb{R}$, If {0} is closed then $\tau$ is separated.
Thank you.