向き付け可能性
[Wikipedia|▼Menu]
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom:1px solid #a2a9b1;font-size:90%}

ベクトル空間の向きについては「向き」をご覧ください。
トーラスは向き付け可能メビウスの帯は向き付け不可能な曲面ローマン曲面(英語版)(Roman surface)は向き付け不可能な曲面

数学では、向き付け可能性(orientability)とは、ユークリッド空間内の曲面の性質であり、曲面のすべての点で法線の方向を整合性を持って選択できるか否かという性質である。曲面の法線の方向の選択は、例えばストークスの定理に必要であるように、右手の法則を使い曲面内のループの「時計回り」方向を決めることができる。より一般に、抽象的な曲面や多様体の向き付け可能性とは、多様体内のすべてのループの「時計回り」方向を整合性を持って選択可能か否かという性質である。同じことであるが、曲面が向き付け可能であるとは、空間内の のような二次元の図形が、空間の中を(連続的に)動き回って、スタート地点へ戻ってきても、決して自分自身の鏡像 にはならない場合を言う。

向き付け可能性の考え方は、同じように高次元の多様体へ一般化できる。向きの選択が整合性を持つ多様体を向き付け可能といい、連結で向き付け可能な多様体は、ちょうど 2つの異なる向き付けが可能である。この設定で、必要な応用や一般性の度合いに依存した様々な向き付け可能性の同値な定式化が可能である。一般の位相多様体への応用する定式化は、ホモロジー論の方法を活用することが多いのに対し、微分可能多様体(differentiable manifold)に対してはより詳細な構造があり、微分形式の言葉で定式化できる。空間の向き付け可能性の考え方の重要な一般化は、ある他の空間(ファイバーバンドル)にパラメトライズされた空間の族の向き付け可能性である。その際には、向きは、パラメータの値の変化につれて、各々の空間が連続的に変化するよう選択せねばならない。
向き付け可能曲面このアニメーションでは、曲面の法線ベクトル上の右手系に沿って回転するギアを使い、単純に向きつけ可能であることを示している。境界の曲線の向きは、歯車の動きに押されたときに点が動く方向とする。メビウスの帯のような向き付け不可能な曲面では、境界は同時に両方向へ動かざるをえなくなるが、そのようなことはできない。

ユークリッド空間 R3 内の曲面 S は、二次元の図形(例えば、)が曲面上を動き回ってスタート地点へ戻った時に、鏡像()になるようにできない場合に、向き付け可能であるという。そうでない場合を向き付け不可能であるという。抽象的な曲面(つまり二次元多様体)が向き付け可能とは、連続的に動かすことで整合性をもって曲面上に時計回りの回転を定義できる場合をいう。いわば、曲面上のある向きのループを、(自己交叉することなく)反対向きのループへ連続変形できない場合、向き付け可能と言う。このことは、曲面がメビウスの帯同相な部分集合を含まないかどうかという問いと同値であることが分かる。したがって曲面については、メビウスの帯は向き付け不可能さのすべての根源だと考えることができよう。

向き付け可能曲面において、「時計回り」(反時計回りと相反するもの)を整合性を持って選んだものを向きと言い、その曲面は向き付けられたと言う。ユークリッド空間内に埋め込まれた曲面に対し、全ての点で連続的に変化する曲面に対する法線 n の選択により、向きが特定される。法線ベクトルが全て存在するときは常に、2つの方法 n もしくは −n を選択できる。より一般には、向き付け可能曲面はちょうど2通りの向き付けが可能であり、向き付けられた曲面と向き付け可能な曲面の差異は、微妙で曖昧かもしれない。向き付け可能な曲面は、向きを入れることができる曲面を意味するのに対し、向き付けられた曲面は、向き付け可能な上に、2つの可能な向きのうちの一つが選択されたデータを持っている曲面のことを言う。

物理的な世界で出くわす曲面の大半は、向き付け可能である。例えば、球面平面トーラスは向き付け可能である。しかし、メビウスの帯や実射影平面(英語版)(real projective plane)やクラインの壺は向き付け不可能である。それらは3次元に可視化されるように、どれも面を一つしかもたない。実射影平面やクラインの壺は、R3 へ埋め込むことはできず、ただ、きれいに交叉させてはめ込める(immersed)だけである。

埋め込まれた曲面は局所的には常に2つの面を持っていることに注意すると、面が一つの曲面を這い回っている近眼の蟻は、そこに「もう一つの面」があると考えるだろう。面が一つということの本質は、蟻が曲面上から飛び出したり縁を通ったりせずに、単純に曲面の上をどこまでも這っていくことで、「もう一つの面」へ到達できることである。

一般に、向き付け可能であるという性質は、2つの面を持っているという性質と同値ではないが、しかし、周囲の空間(上記の R3 のような)が向き付け可能である場合は、このことは同値となる。例えば、 K 2 {\displaystyle K^{2}} をクラインの壺とすると、 K 2 × S 1 {\displaystyle K^{2}\times S^{1}}

にトーラスを埋め込んで、1つの面を持つようにでき、同じ周囲の空間の中のクラインの壺は、2つの面を持つことができてしまう。
三角分割による向き付け

どのような曲面も三角分割――すなわち、多数の三角形への分割であって、どの辺もほかの高々一つの辺に貼り合わされているようなもの――を持っている。各々の三角形は、周の向きを選択し、各辺の向きをそれに準じるものとすることによって向き付けられる。貼り合わせて隣り合う二辺が反対方向を指すようになっていれば、この曲面の向きが決まる。曲面が向き付け可能なときは、そのような選択が可能であり、その場合にはちょうど2つの向きが存在する。


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:25 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef