パラコンパクト空間Bとし、I=[0,1]とする。BU(n)を群U(n)をもつ主バンドルの分類空間とする。
BU＝∪BU(n)　には　BU(n)のcoveringから弱位相を与える。
このとき、
F:B×I　->　BU＝∪BU(n)　なる連続写像にたいし、
あるｍ＞０が存在して、FはBU(m)でfactorされる、

だろうか？