曲線

数学における**曲線**（きょくせん、）は、一般にまっすぐとは限らない幾何学的対象としての「線」を言う。 つまり、曲線とは曲率が零とは限らないという意味での直線の一般化である。

数学の様々な分野において、その研究領域に応じたそれぞれやや異なる意味で「曲線」の語が用いられる（から、精確な意味は文脈に即して捉えるべきである）が、それらの意味の多くは以下に挙げる定義の特別な実例になっているはずである。すなわち、曲線とは局所的に直線と同相であるような位相空間を言う。それは日常語で言えば、曲線は点の集合であって、それらの点が十分近くであれば直線のように見えるが、変形があってもよいというような意味である。数学の各分野で扱われる。

最初に触れる曲線の簡単な例というのはほとんどの場合「平面曲線」（例えば平らな紙の上に描いた曲がった線）であろうが、螺旋のように三次元的なものもある。幾何学的な必要性や、例えば古典力学からの要請で任意次元の空間に埋め込まれた曲線の概念も必要とされる。一般相対論において世界線とは時空内の曲線である。

; 注: 一般用語として、「曲線」が（成長曲線やフィリップス曲線の例に見るように）函数のグラフ、あるいはより多様なの意味で用いられることがあるが、本項で言う意味とは（近い関連はあるにせよ）異なるものである。

## 歴史

曲線への関心が、それが数学的研究の主題となるよりずっと昔から存在したことは、先史時代までさかのぼれる芸術や日用品において装飾的に用いられる種々の例から見てとることができる。曲線、あるいは少なくともそれらの視覚的表現は、例えば浜の砂に棒きれで描くように、容易に作り出せる。

古代ギリシアの幾何学者は多種多様な曲線を研究した。その一つの理由は、彼らが標準的なコンパスと定木を用いた作図を用いて解くことのできない幾何学的問題を解くことに関心を持っていたからである。
* 円錐曲線はペルガのアポロニウスが研究した。
* ディオクレスのシッソイドはが研究し、立方倍積問題に用いた。
* ニコメデスのコンコイドはが研究し、立方倍積問題と角の三等分問題の両方に用いた。
* アルキメデスの螺旋はシラクサのアルキメデスが研究し、角の三等分問題と円積問題に用いた。
*  (ペルセウスの) はの研究した、（アポロニウスの円錐曲線と同様に）平面による切断でトーラスの断面に現れる曲線である。

曲線論の基本的な進歩は17世紀に解析幾何学によってもたらされた。これにより曲線は、極めて精巧な幾何学的構成ではなく、方程式を用いて記述することができるようになる。これは新しい曲線を定義して研究できるようになるというばかりでなく、代数方程式を用いて定義できる代数曲線と、そうでないという、曲線の形式的な区別も可能となることも意味する。それ以前には、曲線が「どのように生成されたか」または「どのようにして生成できるか」の別に従って「幾何学的」または「機械的」と記述されていた。

円錐曲線はケプラーが天文学に応用した。
ニュートンも変分法の初期の例に取り組んだ。例えば最速降下問題や等時問題のような変分問題の解曲線として、新たな方法に関する曲線の性質が導入された（この例の場合は擺線）。懸垂線は吊るされた鎖の問題の解曲線としてその名がある。この種の問題は微分法の登場とともに機械的に扱えるものとなっていった。

一般に平面代数曲線論が始まるのは18世紀からである。ニュートンは、実点集合が「卵形」になることに関する一般記述において、三次曲線を研究した。ベズーの定理の主張は、当時の幾何学が直接的に扱えない数々の側面を示しており、特異点や複素数解も併せて扱う必要がある。

19世紀以降は独立した曲線論ではなく、射影幾何学や微分幾何学の一次元的側面として曲線が現れるようになる。後には位相幾何学でも扱われ、そのころには例えばジョルダン曲線定理は、複素解析において必要とされるだけでなく、極めて深い内容を持つものと理解されるようになる。空間充填曲線の現れる時代には、ついに現代的な曲線の定義が生み出されることとなる。

## 定義

一般に**曲線**は実数直線内の区間  から位相空間  への連続写像  を通じて定義される。写像  自身を曲線と呼ぶか、 の像を曲線と呼ぶかは文脈による。例えば位相空間論において写像自身を曲線と呼ぶのは、単に連続というだけの写像の像を曲線と呼ぼうとすれば、およそ一般的に言う意味での曲線とは思えないものまで曲線と呼ぶことになってしまうためである。他方で、可微分函数（あるいは少なくとも区分的に微分可能な函数）の定める曲線を対象とするならば、曲線と呼ぶのはふつう像のほうである。

* 曲線  が**単純**または**ジョルダン弧**であるとは、 が単射（すなわち  が  を満たすならば必ず ）となることを言う。ただし、 が有界閉区間  のときには、 となることは許す（このように約束すれば、単純閉曲線について述べることができる）。日常語で言えば、「自分自身と交叉することがなく、また途切れたりもしていない」曲線が単純曲線である。
* （ の端点以外の）適当な  で  となるならば、 はこの曲線の**多重点**（少なくとも**二重点**）と呼ばれる曲線の特異点である。
* 曲線  が**閉**あるいは**ループ**であるとは、 が有界閉区間で、それを  と書けば  となるときに言う。したがって、閉曲線は円周  の連続像になっている。**単純閉曲線**は**[[ジョルダン曲線]]**とも呼ばれ、ジョルダン曲線定理はジョルダン曲線が平面全体を「内側」と「外側」の二つに分けることを述べるものである。

**[[平面曲線]]**は  がユークリッド平面、場合によっては射影平面であるような場合の曲線を言う。***'は  が三次元の空間（ふつうは[[ユークリッド空間]]）の場合を言い、***' (skew curve) はどのような平面上にも載っていない空間直線を言う。これら平面・空間・非平面曲線の区別はにも適用できるが、代数曲線がここでいう曲線の定義を満たさないことは注意すべきである（たとえば実代数曲線は不連結になりうる）。

ここでの曲線の定義は、幅が無く途切れもない直線の**ような**連結で連続な図形という曲線に対する我々の直観的概念をよく捉えているものになっているが、一般的な意味では曲線とはいいがたい病的な図形も含まれてしまう。例えば、平面上の正方形を像が被覆するような曲線（空間充填曲線）が存在する。単純平面曲線の像が一つ大きいハウスドルフ次元を持ち得る（コッホ雪片を参照）し、さらに正のルベーグ測度さえ持ち得る（それはペアノ曲線の構成を少し変更すれば作れる）。ドラゴン曲線はもうひとつの変な例である。

## 曲線の長さ

 を -次元ユークリッド空間  とし、曲線  は単射かつ連続的微分可能とすれば、 の**長さ** (*length*) とは
: \operatorname{Length}(\gamma) := \int_{a}^{b} |\gamma'(t)|\mathit{dt}
で定義される量を言う。曲線の長さは  のパラメータの取り方に依らないことに注意せよ。特に、閉区間  上定義された連続的微分可能函数  のグラフ の長さ  は
: s = \int_{a}^{b} \sqrt{1 + [f'(x)]^{2}}\,\mathit{dx}
で与えられる。より一般に  が距離函数  を持つ距離空間とすれば、曲線  の長さは
:  \operatorname{Length}(\gamma) := \sup\!\Big\{\sum_{i = 1}^{n} d(\gamma(t_{i}),\gamma(t_{i - 1})) : n \in \mathbb{N}, a = t_{0} 
と定義できる。ただし、上限 sup は任意の自然数  と  の任意の分割に亘ってとる。

**求長可能曲線** (*rectifiable curve*) とは長さが有限な曲線（有限長曲線）を言う。曲線  が**自然**（または**単位速さ**もしくは**速さ 1**）あるいは**弧長パラメータを持つ**とは、任意の   に対して
:  \operatorname{Length}(\gamma|_{[t_{1},t_{2}]}) = t_{2} - t_{1}
が成り立つことを言う。 がリプシッツ連続函数ならば、曲線  は自動的に求長可能である。さらに言えば、このとき  の**速さ** (*speed*) または距離微分が
: \operatorname{Speed}_{\gamma}(t) := \limsup_{[a,b] \ni s \to t} \frac{d(\gamma(s),\gamma(t))}
と定義できて、
: \operatorname{Length}(\gamma) = \int_{a}^{b} {\operatorname{Speed}_{\gamma}}(t)\mathit{dt}
が示される。

## 微分構造

 は実数直線内の区間とする。 が可微分多様体であるとき、 内の**可微分曲線**の概念を考えることができる。厳密さをさておけば**可微分曲線**とは局所的に単射可微分写像  で定義される曲線である。より厳密には、可微分曲線は  の部分集合  であって、 の各点に近傍  が存在して、 が実数直線内の区間に微分同相となる。すなわち、可微分曲線は一次元の可微分多様体である。この概念は、数学における曲線の使用の大半の部分をカバーするのに十分一般なものである。局所的に見れば  はユークリッド空間  ととることができる。他方、より一般であることは有用で、例えば、可微分曲線の概念を用いて  の接ベクトルを定義することができる。

同様に  が滑らかな多様体であるとき  内の**滑らかな曲線**あるいは **-級曲線**を、滑らかな写像  によって定義することができる。あるいはより細かく、 が -級可微分多様体（各チャートが  回連続的微分可能）ならば、 内の **-級可微分曲線**あるいは短く -級曲線は、写像  が  回連続的微分可能とだけ仮定することで定義できる。またより強く、 が解析多様体（各チャートが無限回微分可能かつ冪級数展開可能）で、 が解析写像（-級）ならば、**解析曲線**（-級曲線）と呼ぶ。

可微分曲線が**非特異** (*regular*) とは、その微分が至る所消えないときに言う（つまり、非特異曲線は動点がその曲線上で速度が弱まり停止したり後戻りしたりしない）。二つの -級可微分曲線 ,  が**同値**であるとは、-級全単射  が存在して、逆写像  も -級、かつ任意の  において  を満たすときに言う。写像  は  の**パラメータの取り換え** (*reparametrisation*) であると言う。パラメータの取り換えであるという関係は  上の -級可微分曲線全体の成す集合上の同値関係を与え、その各同値類は -級の弧 ( *arc*) と呼ばれる。

## 代数曲線

代数曲線は代数幾何学で扱われる曲線である。**平面代数曲線**は、各座標  が適当な体  上の二変数多項式  を用いて  を満たすような点全体の成す軌跡を言う。通例、代数幾何学においては  に座標をとる点だけを見るのではなく、適当な代数閉体  に座標をとる点すべてを考える。曲線  が -係数多項式  によって定義されているとき、曲線  は ** 上定義されている**と言う。曲線  の点は、その各座標がすべて一つの体  に属しているとき、** 上の有理点**あるいは短く -有理点と呼ぶ。 の -有理点全体の成す集合は  と書かれる。 が有理数全体の成す体であるときは、単に「有理点」と呼ぶ。例えば、フェルマーの最終定理を「 に対して、次数  のの任意の有理点は必ず何れかの座標が零に等しい」と言い換えることができる。

代数曲線に対しても空間曲線や高次元空間内の曲線を考えることができる。それはの代数多様体として定義されるものである。-次元空間内の代数曲線は、  本の -変数多項式の共通零点として得られる。 本の多項式が -次元空間内の曲線を定義するに十分であるとき、その曲線はであると言う。（の任意の道具を使って）変数を消去することにより、代数曲線は平面代数曲線の上に射影することができるけれども、その際に尖点や二重点などの特異点が生じる可能性がある。

平面代数曲線は射影平面内の曲線として計算することもできる。曲線が全次数  の多項式  で定義されているとき、 は斉次次数  の斉次多項式  に簡略化できる。 を満たす  の値はもとの曲線を完備化した射影曲線上の曲線上の点の斉次座標を与えており、特にもともとの曲線上の点は  が非零であるような点として表される。例えば  はそのアフィン形が  で与えられる。この斉次化の過程はより高次元の空間内の曲線に対しても同様に定義できる。

代数曲線の重要な例として、円錐曲線は次数 , 種数  の非特異曲線であり、楕円曲線は数論で扱われ暗号理論に重要な応用を持つ種数  の非特異曲線である。標数  の体における代数曲線はほとんどすべての場合に複素数上で考えるから、代数幾何学における代数曲線は実曲面と見ることもできる。特に、非特異な複素射影代数曲線はリーマン面と呼ばれる。

## 注
### 注釈

### 出典

## 参考文献
* 
* 

## 関連文献
* 

## 関連項目

* 位置ベクトル
* 陰伏曲線
* 回転数 (数学)
* 曲線あてはめ
* 
* 
* 
* 
* 
* 
* 
* 曲率
* 
* 
* ベクトル値函数
* 道 (位相幾何学)
* キルビメータ

## 外部リンク

*, School of Mathematics and Statistics, University of St Andrews, Scotland
*Mathematical curves A collection of 874 two-dimensional mathematical curves
*Gallery of Space Curves Made from Circles, includes animations by Peter Moses
*Gallery of Bishop Curves and Other Spherical Curves, includes animations by Peter Moses
* The Encyclopedia of Mathematics article on [lines](https://www.encyclopediaofmath.org/index.php/Line_(curve)).
* The Manifold Atlas page on 1-manifolds.
* 
* 
* 
*