Take the 2-minute tour ×
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.

I would like to find a short proof for the following theorems:

Theorem 1. A normed space is finite dimensional iff all of its linear functional is continuous.

Theorem 2. A normed space is finite dimensional iff its unit ball is compact.

Thank you in advance.

share|improve this question
First, do you see why the conditions are necessary? Which tools do you want to be used? –  Davide Giraudo Oct 5 '12 at 16:50
@Davide Giraudo: Dear Sir. One of the direction in both theorems is easy to prove. How to prove that the given space is finite dimensional. I would like to use the simplest tool. –  blindman Oct 5 '12 at 16:55
For the first theorem, I know a proof which uses Zorn lemma to get a Hamel basis. Then with that, we can construct a non-continuous linear functional. –  Davide Giraudo Oct 5 '12 at 17:01
@Davide Giraudo: Dear Sir. Hamel basis is not familiar with me. Can you use a simpler tool? Thank you for your helping. –  blindman Oct 5 '12 at 17:03
@blindman, A hamel basis is simply the "usual" basis that you're familiar with: a linearly independent set such that every vector in the space can be written as a finite linear combination of elements from that set. –  Christopher A. Wong Oct 5 '12 at 17:52

1 Answer 1

up vote 0 down vote accepted

The direction you asked for in the comments:

Let $X$ be an infinite dimensional normed space.

  1. Pick a countable independent collection $(e_n)_{n\in\mathbb{N}}$, pick $(y_i)_i$ such that $(e_n,y_i)_{n,i}$ is a basis. Let $f$ be the functional determined by $f(e_n)=n\|e_n\|$ and $f(y_i)=0$. Then $f$ is unbounded.

  2. By Riesz's lemma one easily constructs a sequence of independent vectors in the unit ball without a converging subsequence.

share|improve this answer

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.