Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to prove that if $B$ is local base for a topological vector space $X$, then every member of $B$ contains the closure of some member of $B$.

I would appreciate if somebody can guide me through this problem. I am still facing problems in understanding various primary concepts.

share|cite|improve this question
What do you mean by "the local base"? I have only ever heard "local base" applied to a system of neighborhoods around a single point. Please also include any separation axioms you intended to assume. – rschwieb Jun 7 '12 at 13:15
For a 0-neighbourhood $U$, $x \in \overline{U}$ implies $ (x+U)\cap U \neq \emptyset$, i.e. $x+u_1 = u_2$. Can you proceed from here? – Vobo Jun 7 '12 at 13:24
up vote 4 down vote accepted

Since you read Ridin's functional analysis I will refer to its theorems.

Let $U\in B$ be some neighborhood of zero and element of the base $B$. Consider compact $K=\{0\}$, and closed set $C=X\setminus U$. By corollary of theorem 1.10 there exist neighborhood of zero $V$ such that $\overline{(K+V)}\cap (C+V)=\varnothing$.

Assume that, $\overline{(K+V)}\cap C\neq\varnothing$ , then there exist $c\in C$ such that $c\in \overline{(K+V)}$. Since $C\subset C+V$, then we have $c\in C+V$ such that $c\in \overline{(K+V)}$. This means that $\overline{(K+V)}\cap(C+V)\neq\varnothing$. Contradiction, hence $\overline{(K+V)}\cap C=\varnothing$.

Since $\overline{(K+V)}\cap C=\varnothing$ then $\overline{K+V}\subset X\setminus C=U$. Since $K=\{0\}$, then $\overline{(K+V)}=\overline{V}$, so we get $\overline{V}\subset U$. Since $B$ is a local base of zero, then there exist $W\in B$ such that $W\subset V$. As the consequence $\overline{W}\subset\overline{V}\subset U$. Thus for each $U\in B$ we found $W\in B$ such that $\overline{W}\subset U$.

share|cite|improve this answer
I would want you to check if my argument is correct for the fact that closure of $K+V$ doesn't intersect $C$. My argument is that if closure of $K+V$ intersects $C$ then there exists some open set of $K$ ie $x+V_x$ which intersects with $C$ contradicting the fact that $K\cap C =\varnothing$. Am i right ? – Theorem Jun 8 '12 at 17:20
If $x+V_x$ intersects $C$ then the point of intersection $p$ not necessary in $K$. So you proof is not correct. I'edit my answer, to get things more clear. – Norbert Jun 8 '12 at 17:26

Have you learned that (a $T_0$) topological vector space is regular?

If so, then you can use the following lemma to prove your statement.

Lemma: A topological space $X$ is regular iff for every $x\in X$ and open set $\mathcal{O}$ containing $x$, there exists an open set $\mathcal{U}$ such that $x\in\mathcal{U}\subseteq \overline{\mathcal{U}}\subseteq \mathcal{O}$.

share|cite|improve this answer
Isn't the regularity of a TVS usually proved by checking that a TVS has a base of closed neighbourhoods? – Vobo Jun 7 '12 at 14:26
@Vobo It could be: it has been years since I learned about these. – rschwieb Jun 7 '12 at 14:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.