
数学において、曲線上の点におけるベクトルは、曲線に接するベクトル(接線成分)と、曲線に垂直なベクトル(法線成分)の和として一意に分解できます。同様に、曲面上の点におけるベクトルも同じように分解できます。
より一般的には、多様体Mの部分多様体Nと、N上の点におけるMの接空間内のベクトルが与えられた場合、それはNに接する成分とNに垂直な成分に分解することができる。
より正式には、表面であり、表面上の点とする。ベクトルになるそうすれば、独自に書くことができる合計として ここで、和の最初のベクトルは接線成分、2番目のベクトルは法線成分である。したがって、これら2つのベクトルは互いに直交することが直ちにわかる。
接線成分と法線成分を計算するには、表面に垂直な単位ベクトル、つまり単位ベクトルを考えます。垂直にで。それから、 そしてこうして どこ "は内積を表します。接線成分の別の公式は次のとおりです。
どこ "「」は外積を表します。
これらの式は特定の単位法線に依存しない(任意の表面上の特定の点には、反対方向を向いた2つの単位法線が存在するため、一方の単位法線はもう一方の単位法線の負の値となる)
より一般的には、多様体Mの部分多様体Nと点が与えられたとき接空間を含む短い正確な数列が得られます。 商空間これは、法線ベクトルの一般化された空間である。
Mがリーマン多様体である場合、上記のシーケンスは分割され、pにおけるMの接空間は、 Nに接する成分とNに垂直な成分の直和として分解されます。 したがって、すべての接線ベクトル分割として、どこそして。
Nが非退化方程式で与えられると仮定する。
Nがパラメトリック方程式(パラメトリック曲線など)によって明示的に与えられる場合、導関数は接束の張る集合を与えます(パラメトリック化が埋め込みである場合に限り、基底となります)。
Nが暗黙的に与えられている場合(上記の曲面の説明のように、またはより一般的には超曲面として) 、レベルセットまたはレベル曲面の交点として与えられます。すると、勾配は通常の空間に広がる。
どちらの場合も、内積を使って計算できますが、外積は3次元特有のものです。
{{cite book}}: CS1メンテナンス: パブリッシャーの場所 (リンク)