Finite Dimensional Hausdorff Topological Space

  • Thread starter creative_
  • Start date
  • #1
creative_
3
0
How do I prove that a Hausdorff topological space E is finite dimensional iff it admits a precompact neighborhood of zero?
 

Answers and Replies

  • #2
mathwonk
Science Advisor
Homework Helper
11,389
1,613
i think you mean banach space, not hausdorff space, and then this is a well known theorem of riesz: th.5.9.4., p.109, of dieudonne's foundations of modern analysis.
 
  • #3
creative_
3
0
Hi mathwonk,

I mean Hausdorff space.
 
  • #4
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,305
It is indeed true that a locally compact Hausdorff topological vector space E is finite dimensional.

Proof: Let K be a compact neighborhood of 0. We can assume that K is balanced. Since (1/2)K is a neighborhood of 0, there are finitely many points x1,...,xn such that

[tex]K\subseteq (x_1+\frac{1}{2}K)\cup...\cup (x_n+\frac{1}{2}K)[/tex]

Let M be the finite dimensional subspace spanned by the x1,...,xn. Then M is closed. The quotient space E/M is Hausdorff. Since [itex]K\subseteq M+\frac{1}{2}K[/itex], then [itex]\varphi(K)\subseteq \frac{1}{2}\varphi(K)[/itex]. So (by induction) [itex]\varphi(2^nK)\subseteq \varphi(K)[/itex].

K is balanced, so [itex]E=\bigcup_n 2^n K[/itex]. Thus [itex]\varphi(E)=\varphi(K)[/itex]. Thus E/M is compact. Which implies that E/M is one point. Thus E=M.
 
  • #5
mathwonk
Science Advisor
Homework Helper
11,389
1,613
what do you mean by zero in a topological space? oh i see micromass, you assumed he meant a vector space. the argument you gave is a variation of the argument for Riesz's theorem that I referred to. That's a nice example of extending an argument to a more general setting. I didn't know that version.
 
Last edited:
  • #6
creative_
3
0
Thank you micromass. Your proof makes sense.
 

Suggested for: Finite Dimensional Hausdorff Topological Space

  • Last Post
Replies
9
Views
548
Replies
5
Views
969
Replies
6
Views
585
  • Last Post
Replies
5
Views
1K
Replies
2
Views
840
Replies
2
Views
1K
  • Last Post
Replies
17
Views
1K
Replies
14
Views
913
Replies
2
Views
1K
Top