>>334
あれとはちょっと違うんじゃない？
ボルツァノ・ワイエルストラスの定理

「R^n において コンパクト ⇔ 有界閉集合」

における R^n を、コンパクト集合 G 上の連続関数がなす
一様ノルムに関するノルム空間 C(G) に置き換えたらどう
なるか？つまり

「C(G) において コンパクト ⇔ ？」

を述べたのがアスコリ・アルツェラの定理じゃない？