2007-08-08 完備化とコンパクト化 数学 Samuel が 1948 年の論文でやっている。ここ2,3日彼の論文をフォローしているが,構造が今ひとつよく分からない。もう少し内容を整理してみる必要を感じる。