Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 wonder about the following statement:

Unit ball closed in a NLS iff the space is finite.

Is this statement true? How would I go about proving this? I don't want to use that every norm in a finite dimensional NLS is equivalent because I am using the previous result to prove the later.

share|cite|improve this question
NLS=? Moreover, are you sure you don't want to speak of compactness of the unit ball? – Giuseppe Negro Jan 26 '13 at 15:22
Does "finite" mean "finite-dimensional"? Note that "closed + bounded" does not imply "compact" in infinite-dimensional normed spaces. – Martin Jan 26 '13 at 15:27
up vote 2 down vote accepted

The unit ball is always closed in a normed (real or complex) linear space. You may be thinking of compactness:

The unit ball is compact iff the space is finite dimensional.

For the first direction, prove the contrapositive by fixing $\epsilon > 0$ and then choosing a countable set of linearly independent vectors with length less than $1$, so that each subsequent vector is further than $\epsilon$ from the span of the previous vectors. This can be done with Riesz's lemma. This is a sequence with no convergent subsequence. For the converse direction, pick a basis and consider $\mathbb{R}^n$.

Thank you for the correction, Martin.

share|cite|improve this answer
Linearly independent is not good enough. Consider $\sqrt{1-2^{-2n}} e_1 + 2^{-n} e_n$ in $\ell^2$. You need to ensure that they are far away from each other, which is usually done by using Riesz's lemma. – Martin Jan 26 '13 at 15:38
@Martin Touche - thank you. – Neal Jan 26 '13 at 15:40

I assume you are talking about compactness.

($\Leftarrow$) Use criterion of compactness for finite-dimensional subspaces - id est closedness and boundedness.

1.1. Unit ball $B$ of normed space $(X,\Vert\cdot\Vert)$ is bounded by definition of boundedness.

1.2. Unit ball is closed because it is preimage of the closedd set $[0,1]\subset \mathbb{R}$ under the continuous map $$ f:X\to\mathbb{R}_+:x\mapsto\Vert x\Vert $$

($\Rightarrow$) Prove ad absurdum. Use Riesz lemma, to construct a sequence $\{x_n:n\in\mathbb{N}\}\subset B$ with the property $$ \forall n,m\in\mathbb{N}\qquad n\neq m\implies \Vert x_n-x_m\Vert>1/2 $$ Show that it have no convergent subsequence.

share|cite|improve this answer

The unit ball is always closed. What is true is that for a normed linear space, the unit ball is compact iff the space is finite dimensional.

share|cite|improve this answer

It depends what you mean by "unit ball". To be make the question precise, let $$U:=\{x\in X: \|x\| < 1\}$$ and $$E:=\{x\in X: \|x\| \leq 1\}.$$ Then the conclusions are the following;

(1) $U$ is open in $X$, and not closed in $X$.

(2) $E$ is closed in $X$ and not open in $X$.

(3) $E$ is compact if and only if $X$ is finite dimensional.

(4) $U$ is totally bounded in $X$ if and only if $X$ is finite dimensional.

(5) $E$ is complete in $X$ if and only if $X$ is complete.

The proofs of (1), (2) are easy, and is left to the reader as exercises.

For the proofs of (3) and (4) see the book: "Functional Analysis: A First Course", PHI-learning, New Delhi, 2002 (Fourth Print: 2014), by me (M.Thamban Nair).

Proof of (5) is also easy, recently observed by me, and is going to appear in an educational news letter. This shows that if the space is not complete, then its "closed unit ball" $E$ is not complete, and hence not compact.

share|cite|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.