4
$\begingroup$

We define $ (\mathbb{R}^m, \|.\|)$ to be a finite dimensional normed vector space with $ \|.\|$ is defined to be any norm in $ \mathbb{R^m}$. Let $S = \lbrace x \in \mathbb{R}^m: \| x\| = 1 \rbrace.$ Prove that $S$ is compact in $ (\mathbb{R}^m, \|.\|).$

  • 0
    Tha$n$k you @Michalis! sure! done!!2012-03-07

2 Answers 2

4

You can use induction on $m$ and properties of $\mathbb R$ to show compacity using sequential compactness, which means the same thing for metric spaces. Now consider the norm induced on the space $\mathbb R \cong \mathbb R \times \{ 0 \} \times \dots \times \{ 0 \}$ viewed as a sub-metric-space of $\mathbb R^m$, and also consider the sequence $^1 x_n$ induced by putting all the other components but the first equal to $0$. Therefore the first component is a sequence of real numbers. Since in the reals, every metric is equivalent to the absolute value metric in the following sense $ \forall (\mathbb R,d), \quad \exists c_1, c_2 > 0 \quad s.t. \quad \forall x,y \in \mathbb R, \quad c_1 d(x,y) \le |x-y| \le c_2 d(x,y). $ One can deduce that the Bolzano-Weierstrass theorem also holds if we replace $| \cdot |$ by the induced metric from the norm in $\mathbb R^m$. Since the sequence $x_n$ is bounded, the sequence $^1x_n$ is also bounded in $\mathbb R$. Therefore there exists a subsequence of the sequence $x_n$ such that the first component converges. Repeat this procedure with the other components $^kx_n$ with $1 \le k \le n$, and you will get a subsequence that converges component by component, hence converges. This gives you for every sequence an element $x$ and a subsequence for which $x_n \to x$. Since $\| x_n \| = 1$ for every $n$, clearly $\|x \| = 1$, so that your subsequence converges in $S$ and we are done.

That is one way to do it ; if you have seen theorems in class that might help, perhaps they might make this less complicated.

Hope that helps,

  • 0
    I just wrote it ; so I guess you could call me the reference.2012-03-12
2

Use the Bolzano-Weierstrass theorem:

Since all the norms on $\mathbb{R}^m$ are equivalent, your subset will be closed and bounded in the euclidian norm $||\cdot||_2$, and hence compact.

Here is an exercise I found, that shows that all norms on $\mathbb{R}^m$ are equivalent: http://math.bu.edu/people/paul/771/equivalent_norms.pdf

  • 1
    @Michalis Sorry, I should have remembered that! Every normed vector space I've been studying lately has been over $\mathbb{R}$ or $\mathbb{C}$.2012-03-09