Compact unit ball characterizes finite-dimensional normed spaces
= Compact unit ball characterizes finite-dimensional normed spaces
A normed vector space has compact closed unit ball if and only if it is finite-dimensional. In an infinite-dimensional space, repeated application of <Riesz lemma> produces unit vectors separated pairwise by a fixed positive distance, contradicting sequential compactness.