セミナーノート

結局,森田先生の本の定理29.4 は fibrewise の場合はだめなようだ。
normal space という仮定と,fibrewise normal space という仮定の状況の違いからうまくいかない。

しかし系29.5 の
「paracompact Hausdorff ならば任意の開被覆は正規被覆になる」
は fibrewise の場合でも成立する。
ここに先輩の論文で証明されている定理がうまく使える。
これによって
「paracompact Hausdorff space の開被覆全体は covering uniformity の base になる」
という定理の fibrewise 版が証明できた。
まずは目標の第一段階が終了。
次は完備化だ。

0
カテゴリー: 数学 パーマリンク

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

*

日本語が含まれない投稿は無視されますのでご注意ください。(スパム対策)