を位相空間として、を直積空間の開被覆とした時、の開被覆があって、がの細分被覆になっているようにできるか？という問題。 がコンパクトだったらできると Steenrod*1 に書いてあって、わからなくて慌てたのでメモ。 すっかり忘れてたけど、これってTychono…