完備性に向けて進んでいる。まずは「:dense, が一様連続で が完備ならば, は に一意的に拡張できる」の類似を証明した。 完備化を作るために,Cauchy filter に同値関係を入れてまずは集合を作る。uniformity などを構成していくときに必要となる補題を二つ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。