Do normed linear spaces have the properties of a normal hausdorff space?

I just sat an exam and I couldn't work out how to prove something initially, then I assumed that normed linear spaces are $T_4$, and the proof was easy. Are they? Please say yes :)

The proof for the record was showing that if we have some normed linear space $X$, and the unit ball on this space has a compact surface, prove that $X$ is not infinite dimensional. Which after the exam I realized was a consequence of Riesz's lemma. But without that I took an open covering and using my $T_4$ properties there were disjoint open balls covering every element of the compact surface, which would cause contradiction for my finite subcovering over infinite elements.


Every metric space is Hausdorff and $T_4$: Hausdorffness is easy to check. For $T_4$, we use the reciprocal of Urysohn's Lemma: take $F,K \subset X$ be disjoint closed sets. Then: $$f: X \to \Bbb R \\ f(x) = \frac{{\rm d}(x,F)}{{\rm d}(x,F)+{\rm d}(x,K)}$$ is well-defined, continuous, and $f^{-1}([0,1/2[) \supset F$, $f^{-1}(]1/2,1]) \supset K$ are disjoint open sets (because $[0,1/2[$ and $]1/2,1]$ are open in $[0,1]$).

Normed linear spaces are particular metric spaces, so yes, normed linear spaces are Hausdorff and $T_4$.

  • 1
    $\begingroup$ Probably got 100%! Thanks! $\endgroup$ – TeaForMrHausdorff Jun 19 '15 at 0:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.