とおく. これは単連結でなく, を変位レトラクトに持つ. 変位ホモトピーは で与えられる.さて 上の微分形式 を考える. とおくと なので は閉形式.一方で, 上で連続な関数 で を満たすものは取れない. 一見, とおくと であるが, は 上で連続でない*1ので であ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。