トップ «前の日記(2007-04-06) 最新 次の日記(2007-04-08)» 月表示 編集

日々の流転


2007-04-07 [長年日記]

λ. チコノフの定理

コンパクト性を理解できたので、今度はチコノフの定理(Tychonoff's Theorem)。今読んでいる Topology via Logic には有限個の直積の場合の証明しか載っていないが、それでも証明を追いかけるのに結構苦労した。まだ、コンパクト性の扱いに慣れていないのかも。

それから、位相空間だけでなくLocaleでもチコノフの定理は成り立つそうだ。しかし、両者の一般化である Topological System への一般化は知らないとのこと。何だか少し不思議だ。