エーレスマンの定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > エーレスマンの定理の意味・解説 

エーレスマンの定理(Ehresmann's theorem)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/23 04:50 UTC 版)

周期写像」の記事における「エーレスマンの定理(Ehresmann's theorem)」の解説

詳細は「エーレスマンの定理(英語版) 」を参照 f : X → B を正則埋め込みの射(morphism)とする。B の点 b に対し、b 上の f のファイバを Xb で表すとし、B の点 0 を固定する。エーレスマンの定理(英語版)は 0 の周り小さな開近傍 U であってそこで f がファイバーバンドルとなるようなものが存在することを保証する。すなわち、f−1(U) は X0 × U に微分同相である。特に、合成写像 X b ↪ f − 1 ( U ) ≅ X 0 × U ↠ X 0 {\displaystyle X_{b}\hookrightarrow f^{-1}(U)\cong X_{0}\times U\twoheadrightarrow X_{0}} は微分同相である。この微分同相写像は、写像自明化の選択依存しているので、一意には決まらない。(ファイバーバンドルの)自明化は U 内の滑らかな経路から構成され微分同相ホモトピー類は b から 0 への経路ホモトピー類選択にのみ依存することを示すことができる。特に、U が可縮であればホモトピー差異除ききちんと定義できる微分同相存在するXb から X0 への微分同相写像は、コホモロジー群同型 H k ( X b , Z ) ≅ H k ( X b × U , Z ) ≅ H k ( X 0 × U , Z ) ≅ H k ( X 0 , Z ) {\displaystyle H^{k}(X_{b},\mathbf {Z} )\cong H^{k}(X_{b}\times U,\mathbf {Z} )\cong H^{k}(X_{0}\times U,\mathbf {Z} )\cong H^{k}(X_{0},\mathbf {Z} )} を引き起こしホモトピー写像コホモロジー上に恒等写像引き起こすので、この同型は b から 0 への経路ホモトピー類のみに依存する

※この「エーレスマンの定理(Ehresmann's theorem)」の解説は、「周期写像」の解説の一部です。
「エーレスマンの定理(Ehresmann's theorem)」を含む「周期写像」の記事については、「周期写像」の概要を参照ください。

ウィキペディア小見出し辞書の「エーレスマンの定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「エーレスマンの定理」の関連用語

1
14% |||||

エーレスマンの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



エーレスマンの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの周期写像 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS