Ascoli-Arzelaの定理の証明 証明 Q^dは可算なのでUに含まれる有理点をr_1,r_2,...とする. すると{f_n(r_1)}は仮定より有界なので収束する部分列{f_1n(r_1)}を取れる. 次に{f_1n(r_2)}を考えると,同様に{f_1n(r_2)}の中から収束する部分列{f_2n(r_2)}が取れる…