16
$\begingroup$

In $\mathbb{R}^n$ we know (Heine-Borel Theorem) that a set is compact if and only if it is closed and bounded.

In $C(X)$ for a compact metric space $X$, we know (corollary of Ascoli-Arzela Theorem) that a set is compact if and only if it is closed, bounded, and equicontinuous.

I am looking for as many examples as I can of other spaces where the extra condition for compactness is known.

Also, I am looking for as many examples as I can of (important) spaces where the extra condition is not currently known.

I am planning on doing some research (under a professor) and I thought this topic was particularly interesting, so I would very much appreciate some examples to start off with, just so I can get a feel for the problem.

  • 2
    And let's not forget [Montel's Theorem](http://en.wikipedia.org/wiki/Montel%27s_theorem) from complex analysis, which classifies the compact subsets of $\text{Hol}(U)$.2011-11-26

1 Answers 1

8

For Banach spaces, there is a big table in Dunford & Schwartz characterizing compactness of subsets in many different spaces.

Zev is right that "complete + totally bounded" is the general formulation. For subset in Banach space, complete holds if and only if closed. So the question is to characterize total boundedness.

  • 0
    @KCD: Thanks! Found it.2011-11-25