同境
二つのn次元多様体MとNを組み合わせた境界Wによる、MとNに結び付けられた(n+1)次元多様体L / ウィキペディア フリーな encyclopedia
微分位相幾何学において、同境(読み:どうきょう、英: cobordism、独: Kobordismus、仏: cobordisme、露: Бордизм、中: 配边)とはコンパクト可微分多様体におけるひとつの同値関係である。もし二つのコンパクト可微分多様体とが或るコンパクト多様体の境界 のような境界のようになることを与えるならば、それらは同境な(形容詞:仏: cobordant)または同境である(仏: cobordisme)。がとからのひとつの同境を実現しても、このような多様体がとからのひとつの同境である。そのような同境についての存在はとが同じ次元であることに関係する。
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年3月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
厳密にいうと、同境は同値関係ではない、なぜなら或る一定の次元の可微分多様体における類別は集合ではない。しかしながら、二つの多様体とが同境であるにはこれらの多様体の微分同相の同値類での同一性に依存することが与えられている。同境は、微分同相を除いて区別する次元の可微分多様体における集合での同値関係を定める。
規約しだいで、或る多様体は可算コンパクトを満たす。各々のコンパクトは 局所地図 (フランス語: carte locale )の領域の有限な個数において覆われることを与えられ、そして各々の領域はの開集合で一体化する。或る可微分多様体はこのようにして連続体濃度である。次元の可微分多様体の類は実数の集合における次元の可微分多様体の集合のひとつの商として得られるのに似た微分同相により同一視される。
向き付けられた可微分多様体についての同境であるところの、より詳細な関係がある。境界をもつ或る多様体における或る向き付けはその境界における或る向き付けから得られる。に連結する向き付け可能な可微分多様体について、異なった二つの向き付けが存在する。この向け付けが取り挙げられることにおいて一つあれば、は向き付けられると呼ばれる。二番目の向き付けの負の多様体をで記す。コンパクトな境界を持った或る多様体が存在し、とにおける直和が境界となるような向き付けが存在すれば、二つの向き付けられたコンパクト多様体とは互いに同境と呼ばれる。はとによって向き付けられた同境であると呼ばれる。
記事冒頭において取り上げるべきその他の同境についての概念も同じく存在する。