## Closedness of finite-dimensional subspaces

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Is the (algebraic) span a finite set of vectors in a Hausdorff topological vector space over a complete field always closed?

I suspect yes, but I can't come up with a proof, and it seems like locally convex might be needed to get this.

-

Yes, this is true.  I assigned it as a HW problem in a course last spring and a student solved it.  I asked him to type it up, but apparently I don't have it. :(  Anyway, sure, the proof that works over $\mathbb{R}$ (found e.g. in Rudin's Functional Analysis) goes over verbatim. – Pete L. Clark Sep 6 2010 at 8:48

## 2 Answers

This holds indeed for complete fields: see Theorem 2, Section I.2.3, of Bourbaki's "Espaces Vectoriels Topologiques".

Here is the argument.

Let $K$ be a (not necessarily commutative) field equipped with a complete nontrivial absolute value $x\mapsto|x|$, let $n$ be a positive integer, let $\tau$ be a Hausdorff vector space topology on $K^n$, and let $\pi$ be the product topology on $K^n$.

THEOREM $\tau=\pi$.

REMINDER A topological group $G$ is Hausdorff iff {1} is closed. [Proof: {1} is closed $\Rightarrow$ the diagonal of $G\times G$ is closed (because it's the inverse image of {1} under $(x,y)\mapsto xy^{-1}$) $\Rightarrow$ $G$ is Hausdorff.]

LEMMA The Theorem holds for $n=1$.

The Lemma implies the Theorem. We argue by induction on $n$. The continuity of the identity from $K^n_\pi$ to $K^n_\tau$ (obvious notation) is clear (and doesn't use the Lemma). To prove the continuity of the identity from $K^n_\tau$ to $K^n_\pi$, it suffices to prove the continuity of an arbitrary nonzero linear form $f$ from $K^n_\tau$ to $K_\pi$. By induction hypothesis, the kernel of $f$ is closed, and the Theorem follows from the Reminder and the Lemma.

Proof of the Lemma. We'll use several times the fact that $K^\times$ contains elements of arbitrary large and arbitrary small absolute value. As already observed, we have $\tau\subset\pi$. If $x$ is in $K^\times$, write $B_x$ for the open ball of radius $|x|$ and center 0 in $K$. Let $a$ be in $K^\times$, and let $\tau_0$ be the set of those $U$ such that $0\in U\in\tau$.

It suffices to check that $B_a$ contains some $U$ in $\tau_0$.

We can find a $b$ in $K^\times$ and a $V$ in $\tau_0$ such that $a$ is not in $B_bV$, and then a $c$ in $K$ with $|c|>1$ and a $W$ in $\tau_0$ such that $a$ is not in $B_cW$. Then $U:=c^{-1}W$ does the job.

-

Umm, I wouldn't have known how to prove this result, but I don't see how it addresses my question, either. – Ricky Demer Sep 8 2010 at 7:11
You asked if a finite dimensional space F in a Hausdorff topological vector space over a complete field is always  closed. The result I prove (following Bourbaki) shows that  F (equipped with the induced topology) is complete, and  thus closed. – Pierre-Yves Gaillard Sep 8 2010 at 7:32
How do you show that every complete field has an absolute value that induces its topology? – Ricky Demer Sep 8 2010 at 8:30
I'm afraid I misunderstood your question. I took it for  granted that you considered only fields complete with  respect to a nontrivial absolute value. Sorry. [I know  nothing about other kinds of complete fields.] – Pierre-Yves Gaillard Sep 8 2010 at 9:01
Your answer is still more general (and so better) than Robin's. [If you don't know what another kind of complete field would be, see Definition, Completeness, and Example 3 at en.wikipedia.org/wiki/Uniform_space ] – Ricky Demer Sep 8 2010 at 9:46
show 4 more comments

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

For real/complex vector spaces, this is Theorem 1.21 in Rudin's Functional Analysis (2nd ed.). I believe the proof works for any complete field, but haven't checked in detail.

-

2
This holds indeed for complete fields: see Theorem 2, Section I.2.3, of Bourbaki's "Espaces Vectoriels Topologiques". – Pierre-Yves Gaillard Sep 6 2010 at 8:47
Very interesting. Clearly Bourbaki was the right place! – Pietro Majer Sep 6 2010 at 8:51
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 54, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9282324910163879, "perplexity_flag": "head"}