平面曲線

初等幾何学における平面曲線は、その像がひとつの平面に全く含まれるような曲線を言う。例えばユークリッド平面曲線は連続写像 によって同定することができる。ここに I}} は実数直線 R}} 内の区間である。

特に、2}} より大きい次元のユークリッド空間に含まれる曲線が平面的  であるとは、曲線の定義空間に全く含まれる適当な平面が存在して、その曲線の像がその平面に全く含まれるときに言う。平面的でない空間曲線は非平面曲線という。

平面曲線が単純とは、それが自己交叉を持たないこと、すなわち となるときに言う。

もっともよく調べられる平面曲線は、微分幾何学において調べられる可微分な場合や代数幾何学において調べられる曲線の陰伏方程式が多項式で与えられる場合である。代数曲線は18世紀以降広汎に研究されてきた。

1. 表現
-----

陽表示陽表式: 平面曲線を表す方法の一つは、各 x}} に対応する y}} の値を与える方程式 を用いるもので、そのように与えられる xy}}-平面上の点 }} がその平面曲線上の点を表すように方程式を与えることである。この種の曲線は、実函数のグラフとして曲線のグラフを与えることでも記述できる。実際、この表現法はひとつの独立変数に関する写像 としても書くことができる。しかしこの方法は幾何学的には様々な制約があり、この形で表すには複雑すぎる曲線というものが極めて頻繁にあらわれるから、そのような場合にこの形で幾何学的性質を調べることは向かない。 陰表示陰伏式: 平面曲線はまた二変数の函数を用いて の形に表すこともできる。このような表現は、ある種の観点からは陽な表現よりも適していることもあるが、二つの変数の間の関係性が分かりにくくなるという問題に遭遇することにもなる。 媒介表示媒介変数表示: もっとも紛れがないという意味では、媒介変数 //t// ∈ //I//}} を用いる のような表示をかんがえるのがよい。

2. 可微分平面曲線
----------

滑らかな平面曲線、すなわち望ましい正則性条件を満足する一次元のひものような対象としての曲線を表し研究するためには、連続性条件は十分ではない。追加の条件として平面曲線は I}} 上複素変数函数の実微分とする。媒介表示された平面曲線 が微分可能であるとは、二つの函数 φ, ψ}} がともに任意の t}} において微分可能であることを言う。滑らかな平面曲線は平面に含まれる一次元の滑らかな多様体であり、この意味で各点の近傍において滑らかな函数によって直線に写される。

2.1. 正則性と特異点
------------

媒介表示された平面曲線が点 //t//sub において正則もしくは正常  である、または点 //t//sub がこの曲線上の正則点}}であるとは、//α′// ≠ }} となることを言う。

1=//α′//(//t//sub を満たす点 //t//sub はこの曲線の特異点}}と呼ぶ。

曲線の正則性は、その平面曲線の接線曲線の接線の定義を可能にする。可微分曲線 //α//}} の正則点 //P//sub における接線は、点 //P//sub を通り、ベクトル に平行な直線を言う。すなわち、点 //t//sub の周りで接線上の点 }} は方程式 を満足し、また媒介変数 t}} を用いれば  coloneqq}} }} によって陽に与えられているならば、その点  = 0}} によって与えられているならば接線は なる関係を満たす。ただし、//F//sub はそれぞれ F}} の x, y}} による偏微分をそれぞれ //x//sub において評価した値である。//

曲線の正則性は、その曲線の点 //t//sub における法線法線も定義可能にし、法線の方程式が で与えられる。接線の場合と同様に

陽表示: ;
陰表示: の陽にも書ける。

微分の定義により、 は幾何学的には曲線の接線の傾きを表しており、右辺において正弦が引数にとる角 θ}} は接線が x}}-軸の正の半直線となす角である。この関係式を と展開すれば、これにより曲線の接線の方向余弦}}と呼ばれる量 cos}} が得られる。

2.2. 曲線の長さ
----------

I}} 上の可微分曲線 1=//α// = , //ψ//)}} と区間 closed-closed に対し、曲線の //α//}} から //α//}} までの弧長}}とは で与えられる

弧長は媒介変数の取り換えに関して不変である。すなわち、//β// coloneqq}} //α//) )}} を媒介変数の取り換えとすれば、 が成り立つ媒介変数の取り換えに関して を見るのは容易}}。

曲線が 1=//y// = //f//}} と陽に与えられれば、1=//x′// = 1}} かつ 1=//df/////dx// = //dy/////dx//}} となるから、弧長を と書くことができる。

媒介変数の取り方として数学および幾何学的研究および応用において重要と考えられるものの一つに、平面極座標が挙げられる。曲線の極座標表示が //r// coloneqq}} //r// }} で与えられれば、直交座標系における θ}} に関する媒介変数表示は で与えられ、これらの微分は となるから、さらに弧長は と書ける。

2.3. 曲線座標
---------

曲線上の座標系または弧長変数s}} とは、特別な種類の媒介変数表示で、積分の下の限界 a}} を固定し上の限界 t}} を変数と見るとき、積分 が上の限界 t}} のみに依存して決まるものを言う。この積分函数 s}} は幾何学的には、固定された点 a}} から測った弧長である。これにより常に曲線上にはこの曲線座標系に基づく座標を入れることが可能となる。実際、 ゆえ //s//}} は逆を持ち、それを //t// coloneqq}} //t//}} と書けば、弧長変数への媒介変数の取り換え を得る。この場合、曲線上の一点における接線を決定することは、単位接ベクトルに平行となる直線をとることに等しい。すなわち ゆえ、接ベクトルは単位ベクトルである。

2.4. 曲線上の微分幾何
-------------

弧長変数で媒介表示された曲線 //β//}} に対し、//β′//}} はその単位接ベクトルである。さらに函数 //k//: //I// → R; //s// mapsto}} //k// coloneqq}} norm はこの曲線の曲率と呼ばれる。曲線が陽表示 1=//y// = //f//}} を持てば曲率も と陽に計算できる。陰伏表示 1=//F// = 0}} の場合は となる。

空間内の曲線はその任意の点において、フレネ標構と呼ばれる「接ベクトル」「法ベクトル」「陪法ベクトル」の三つ組からなる参照系を持つが、このような曲線が平面的となるための必要十分条件はその陪法ベクトルが常に零となることである。

弧長表示 1=//β// = , //ψ//}} に対して単位接ベクトル および単位法ベクトル は直ちに求められる。曲率を用いれば単位法ベクトルを と与えることもできる。T′}} は T}} に直交し、N}} に平行である。

これらをまとめると「平面曲線に関するフレネの公式」および曲率は、任意の媒介表示曲線 //α//}} に対して と与えられる。

3. 平面代数曲線
---------

平面代数曲線は、アフィン平面内の曲線で多項式方程式 1=//f// = 0}} によって定義されるもの、または射影平面内の曲線で斉次多項式方程式 1=//F// = 0}} で定義されるものを言う。

任意の平面代数曲線は、その定義多項式の次数をその曲線の次数として持つ。代数閉体上で考える場合には、曲線の次数はそれが一般の位置にある直線と交わるときの交点数に等しい。例えば、方程式 1=//x//exp で与えられる円の次数は 2}} である。

次数 2}} の非特異平面代数曲線は円錐曲線であり、それらの射影完備化は全て円 1=//x//exp の射影完備化に同型である。次数 3}} の平面代数曲線は平面三次曲線といい、それが非特異ならば楕円曲線となる。次数 4}} の平面代数曲線は平面四次曲線と呼ぶ。

4. 注釈
-----

5. 参考文献
-------

first=J. L..
first=R. C..

6. 関連項目
-------

平面曲線あてはめ

7. 外部リンク
--------

[1] : une encyclopédie des courbes
urlname=curvatureplanecurve /
urlname=Plane_real_algebraic_curve