Norm Topologies on an Infinite Dimensional Vector Space

functional-analysisgeneral-topologynormed-spacesvector-spaces

I know that all norms on a finite dimensional vector space induce the same topology. Moreover, I know that there are infinite dimensional vector spaces with norms that don't induce the same topology. But I am curious about the existence of two infinite dimensional vector spaces:

(1) Is there any infinite dimensional vector space such that all norms induce the same topology? (2) Is there an infinite dimensional vector space such that no two norms induce the same topology?

Best Answer

Question (1): No.

You didn't mention which field you consider, so let us assume that all vector spaces are vector spaces over $\mathbb R$.

Let $V$ be a vector space with an infinite basis $\mathcal B$. Let $\mathcal B _0 \subset \mathcal B $ be countably infinite subset and $V_0 \subset V$ the subspace spanned by $\mathcal B _0$, $V'$ be the subspace spanned by $\mathcal B \setminus \mathcal B _0$. It is possible that $V' = \{ 0 \}$. Then $V = V_0 \oplus V'$. Take any norm on $V'$. Then any two norms $\lVert - \rVert_i$ on $V_0$ induce two norms on $V$, and these are equivalent (i.e. induce the same topology on $V$) iff the norms $\lVert - \rVert_i$ are equivalent. This reduces your question to showing that $V_0$ has non-equivalent norms. It suffices to consider $\ell_0 =$ set of real sequences $x = (x_n)$ such that $x_n = 0$ for almost all $n$. Let $\lVert x \rVert_1 = \sum \lvert x_i \rvert$ and $\lVert x \rVert_2 = \max \lvert x_i \rvert$. Let $x^n = (1,2,\dots,n-1,n,0,\dots)$. Then $\lVert x^n \rVert_1 = (n+1)n/2$ and $\lVert x^n \rVert_2 = n$, i.e. $\lVert x^n \rVert_1 = (n+1)/2 \cdot \lVert x^n \rVert_2$. This shows that $\lVert - \rVert_1, \lVert - \rVert_2$ are not equivalent.

Question (2): No.

See the comments.