I am having trouble accepting two well known results of analysis as non contradictory.
First, given a vector space equipped with norm ||.||, the unit ball is compact iff the space is finite dimensional.
Second, the Arzela-Ascoli theorem asserts that given a compact set X, a set S contained...