Branched Evolution

Competitive Programming in Python

Entries from 2020-08-16 to 1 day

C(X)の可分性について

コンパクトで距離化可能な位相空間 $X$ 上の連続関数全体の空間 $C(X)$ は一様収束位相に関して可分である.

一様連続関数を完備化した空間に拡張する

距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる.