1 定義

法線ベクトルとは、曲線曲面などの幾何学的対象に対して、そこで定まる接線方向または接平面直交するベクトルを指す。対象の局所的な向きや傾きを表す基本量であり、微分幾何学では接空間と対をなす概念として扱われる。

法線は必ずしも一つに定まるとは限らない。符号を反転した反対向きのベクトルも同じ法線として扱われることが多く、特に曲面では向きの取り方によって区別される。

1.1 曲線における法線ベクトル

平面曲線や空間曲線では、接ベクトルに垂直な方向が法線となる。平面曲線の場合、法線は曲線の進行方向に対して横向きの成分を持ち、曲がり具合の記述に用いられる。

空間曲線では、接線に直交する方向が複数存在するため、通常は曲率や曲線の自然なフレームと組み合わせて法線方向を定める。特に主法線は、曲線の曲がる向きを示す重要なベクトルである。

1.2 曲面における法線ベクトル

曲面では、ある点で曲面に接する接平面に垂直なベクトルが法線ベクトルである。接平面が一意に定まる点では、法線方向も通常は一つの線として定まる。

曲面の法線は、表面の向き、光の当たり方、曲率の評価に深く関係する。幾何学では、法線の連続的な選択が可能かどうかも重要な問題になる。

1.3 接線ベクトルとの関係

法線ベクトルは接線ベクトルと直交する。曲線の場合は接線に、曲面の場合は接平面を張るすべての接ベクトルに対して垂直であることが条件となる。

この関係により、局所的な運動や変化を接方向成分と法線方向成分に分けて考えられる。解析や物理では、この分解が運動方程式や境界条件の整理に役立つ。

1.4 単位法線ベクトル

単位法線ベクトルは、法線ベクトルを長さ1に正規化したものをいう。方向のみを扱いたいときに便利で、記号計算や数値計算でも広く用いられる。

単位化することで、長さに依存しない比較が可能になる。一方で、元の法線が零ベクトルである場合には定義できない。

2 求め方

法線ベクトルの求め方は、対象の与えられ方によって異なる。明示式、パラメータ表示、暗黙表示のいずれでも、垂直条件を利用して導くのが基本である。

2.1 明示的に与えられた場合

明示的な式では、対象が変数の関数として表されているため、傾きや偏微分を通じて法線を求めやすい。平面やグラフ形式の曲面では、式を標準形に直すと見通しがよい。

2.1.1 平面の式から求める方法

平面が一般形で与えられるとき、その係数の並びが法線ベクトルを与える。たとえば平面の方程式の各変数の係数は、その平面に垂直な方向を表す。

これは、平面上の任意の方向ベクトルと内積を取ると零になることから確認できる。したがって、平面の式から直接法線を読み取れる。

2.1.2 曲面の式から求める方法

曲面がグラフ形式で与えられる場合、接平面の傾きを求めて、そこに垂直なベクトルを構成する。変数を一つの側にまとめると、暗黙的表示に変換できることが多い。

この方法では、偏微分によって接平面の傾きが得られ、そこから法線ベクトルを組み立てる。局所的な滑らかさがあれば、計算は比較的体系的である。

2.2 パラメータ表示の場合

パラメータ表示では、曲線や曲面を媒介変数で表すため、接方向を直接微分で取り出せる。そこから直交条件を使って法線を求めるのが標準的である。

2.2.1 位置ベクトルの偏微分

曲面が位置ベクトルで表されるとき、パラメータについて偏微分したベクトルは接ベクトルになる。これらの偏微分ベクトルに同時に直交するものが法線である。

2つの独立な接ベクトルが得られれば、その両方に垂直な方向を探すことで法線が定まる。局所座標に基づくため、微分幾何学で広く使われる。

2.2.2 外積を用いる方法

曲面の2本の接ベクトルが与えられると、その外積は両方に垂直なベクトルになる。これが法線ベクトルとして最も直接的に利用される。

外積は向きを含むため、順序を入れ替えると符号が反転する。必要に応じて向きを統一することで、一貫した法線を得られる。

2.3 暗黙的に定義された場合

暗黙表示では、対象が方程式の解集合として与えられる。関数値が一定になる点の集まりとして捉えると、法線は勾配と密接に結び付く。

2.3.1 勾配ベクトルとの関係

暗黙方程式で表される曲面では、その関数の勾配ベクトルが法線方向を与える。勾配は関数が最も急に増加する向きを示すため、等値面に直交する。

したがって、勾配が零でない点では、勾配ベクトルを法線として用いることができる。解析学では、接平面の近似最適化とも関係が深い。

2.3.2 等位面の法線

等位面上では、関数値が一定であるため、面に沿った変化は生じない。結果として、面内のすべての接方向は勾配に直交する。

この性質により、等位面の法線は自然に勾配から得られる。地形の等高線やポテンシャル面の解析でも、同様の考え方が使われる。

3 性質

法線ベクトルには、直交性を中心としたいくつかの基本的性質がある。向きの取り方や正規化の有無によって、実際の扱いが変わる。

3.1 垂直性

法線の最も本質的な性質は、対象の接方向に対する垂直性である。これにより、接触の程度や局所的な傾きが幾何学的に把握できる。

内積を用いれば、法線と接ベクトルの直交は簡潔に表せる。数値計算でも、この条件は法線の検算に使われる。

3.2 向きと符号

法線には二つの反対向きがあり、どちらを採るかは文脈に依存する。曲面の向き付けができる場合、法線の連続的な選択が重要になる。

符号の違いは、反射方向や曲率の符号、面の表裏の判定に影響する。したがって、計算では向きの規約を明示することが望ましい。

3.3 法線空間

法線空間とは、ある点で接空間に直交するベクトル全体の集まりである。点の周りの幾何構造を調べる際、接空間と並んで基本的な役割を持つ。

低次元の対象では法線空間は比較的単純だが、高次元では複数の独立な法線を持つこともある。これは部分多様体の記述で重要になる。

3.4 正規化

正規化とは、法線ベクトルの長さを1にそろえる操作である。これにより、方向情報だけを抽出し、計算上の扱いを安定させやすくなる。

だし、正規化はゼロベクトルには適用できず、数値誤差がある場合は注意が必要である。特異点付近では、法線の定義自体を慎重に検討する。

4 応用

法線ベクトルは純粋数学だけでなく、物理や画像処理にも広く現れる。接触、反射、陰影の計算など、局所方向の情報が必要な場面で不可欠である。

4.1 微分幾何学

微分幾何学では、法線は曲線や曲面の局所的な形状を調べる中心的道具である。接空間との関係を通じて、局所と大域の性質を結び付ける。

4.1.1 曲率の計算

曲率は対象がどれだけ曲がっているかを表し、その評価には法線方向が深く関わる。曲線では主法線、曲面では法線曲率や平均曲率が代表的である。

法線の変化を追うことで、形状の凹凸や変形の特徴を定量化できる。これにより、局所的な幾何学的挙動を解析できる。

4.1.2 接平面の決定

一点での法線が分かれば、そこから接平面を定められる。接平面は局所的な一次近似であり、曲面の近傍構造を理解する基礎となる。

逆に、接平面が求まれば法線もただちに決定できる。両者は相補的で、同じ局所情報の別表現とみなせる。

4.2 物理学

物理学では、法線方向は力や運動、波の振る舞いを記述する際に重要である。境界面に対する法向成分の取り出しは、多くの現象で共通する。

4.2.1 力学における分解

力学では、力や速度を接方向成分と法線方向成分に分けて扱うことがある。これにより、拘束条件や接触反力の記述が整理される。

斜面上の運動や曲線に沿う運動では、法線成分が運動の向きや加速度の一部を決める。解析上も、分解は方程式を理解しやすくする。

4.2.2 光の反射と入射

光学では、反射や屈折の計算に表面法線が不可欠である。入射角と反射角は法線を基準に定義されるため、面の向きが結果を左右する。

鏡面反射やシェーディングモデルでは、法線が光の散乱方向の基準になる。したがって、正確な法線は見た目の再現性に直結する。

4.3 コンピュータグラフィックス

コンピュータグラフィックスでは、法線は表面の見え方を制御する基礎データである。三次元形状を二次元画像へ写す際、法線情報が質感表現を支える。

4.3.1 陰影付け

陰影付けでは、光源と法線のなす角度に応じて明るさを決める。これにより、平坦な図形でも立体感を与えられる。

法線の補間方法によって、面の滑らかさや輪郭の印象が変化する。シーンの写実性は、法線の品質に大きく依存する。

4.3.2 表面表現と可視化

表面表現では、法線マップや頂点法線を用いて、形状の細かな凹凸を効率よく表現する。実際の幾何形状を細分化しなくても、見た目の情報を増やせる。

可視化分野では、法線の方向を色で示して形状解析に利用することもある。流体や医用画像の表面解析でも、局所的な向きの把握に有効である。

5 関連概念

法線ベクトルは、接線や勾配などの基本概念と密接に結び付く。これらを合わせて理解すると、対象の局所構造がより明確になる。

5.1 接ベクトル

接ベクトルは、対象に沿って動く方向を表すベクトルである。法線ベクトルは、その接方向と直交する側に位置する。

5.2 接平面

接平面は、曲面における局所的な平面近似である。法線ベクトルは、この平面に垂直な方向として定義される。

5.3 勾配ベクトル

勾配ベクトルは、関数値が最も急に増える方向を示す。等位面に対しては法線となり、暗黙表示の曲面解析で重要である。

5.4 直交ベクトル

直交ベクトルは、内積が零になる関係にあるベクトルである。法線ベクトルは、対象の接ベクトル群に対する直交ベクトルとして理解される。