2007-04-07 [長年日記]
λ. チコノフの定理
コンパクト性を理解できたので、今度はチコノフの定理(Tychonoff's Theorem)。今読んでいる Topology via Logic には有限個の直積の場合の証明しか載っていないが、それでも証明を追いかけるのに結構苦労した。まだ、コンパクト性の扱いに慣れていないのかも。
それから、位相空間だけでなくLocaleでもチコノフの定理は成り立つそうだ。しかし、両者の一般化である Topological System への一般化は知らないとのこと。何だか少し不思議だ。