尖点
幾何学における尖点[1]（せんてん、テンプレート:Lang-en-short, 古くは尖節点 (spinode)）は、曲線に沿って走る動点がそこで向きを逆転するような曲線上の点である。尖点は曲線の特異点の一種ということになる。
解析的に媒介付けられた平面曲線 において尖点は、テンプレート:Mvar および テンプレート:Mvar の微分係数がともに消えているような点（つまり曲線の特異点）であって、その点での接線方向への方向微分が符号を変えるものである（ここで「接線方向」とは、その近傍の各点における傾きの極限 テンプレート:Math を傾きとする直線の方向の意）。媒介変数 テンプレート:Mvar のただ一つの値のみで決まるという意味で尖点は「局所的な特異点」であるテンプレート:Efn。場合によっては尖点の定義に方向微分に関する条件を問わないこともあるが、その場合は一見すると正則点のようにも見える特異点も現れ得ることに注意すべきである。
なめらかな陰伏方程式 で定められる曲線において尖点は、テンプレート:Mvar のテイラー展開の最低次の項が適当な一次多項式の冪となる点となっている（が、この性質を持つ点が必ずしも尖点となるわけではないことには注意しなければならない）。テンプレート:Ill2論からわかることとして、テンプレート:Mvar が解析函数（たとえば多項式函数はそうである）ならば、尖点の近傍において適当な線型座標変換により曲線を と媒介表示できることが言える。ただし、テンプレート:Mvar は適当な実数、テンプレート:Mvar は正の偶数で、テンプレート:Math は位数（最も次数の低い非零項の次数）テンプレート:Mvar が テンプレート:Mvar より大きい冪級数とする。このとき、テンプレート:Mvar をこの尖点の位数 (order) または重複度 (multiplicity) と呼び、これは テンプレート:Mvar の最低次非零成分の次数に等しくなる。
これらの定義を、ルネ・トムおよびウラジーミル・アーノルドは、可微分函数の定める曲線に対するものへ一般化した。すなわち、曲線がある点に尖点を持つとは、全体空間で考えたその点の近傍上で微分同相写像が存在して、その曲線を上で定義された意味での尖点の上へ写すことができるときに言う。
文脈によっては、単に「尖点」と言えばここでいう位数 テンプレート:Math の尖点のみを特に指すものとして定めていることもある。本項も以下そのような制限された意味でこれを用いることとする。テンプレート:Nowrap の尖点を持つ平面曲線は、適当な微分同相により、適当な自然数 テンプレート:Mvar に対する曲線 テンプレート:Math の形におくことができる。
微分幾何学における分類
テンプレート:Mvar は実変数とし、滑らかな実数値函数 テンプレート:Math を考える（つまり テンプレート:Mvar は実平面全体を実数直線へ写す写像である）。そのような滑らかな函数全体の成す空間は、定義域および終域のそれぞれにおける微分同相な座標変換という形で、平面の微分同相群および直線の微分同相群というふたつの群の作用を受ける。この群作用によってこの函数空間の全体を軌道と呼ばれる同値類に分けることができる。
そのような同値類からなる族の一つに、アーノルドの導入した記法で、非負整数 テンプレート:Mvar に対して テンプレート:Ill2 と書かれるものがある。すなわち、函数 テンプレート:Mvar が テンプレート:Math-型であるとは、それが テンプレート:Math の軌道に属する—つまり定義域および終域における適当な微分同相座標変換が存在して テンプレート:Mvar がその形の曲線に写すことができる—ときに言う。この単純な形 テンプレート:Math を テンプレート:Math-型特異函数のテンプレート:Ill2(normal form) と呼ぶ。
- 注
- テンプレート:Mvar が偶数のとき（それを テンプレート:Math と書けば）、テンプレート:Math と テンプレート:Math は一致する—実際、定義域における微分同相座標変換 テンプレート:Math により テンプレート:Math が テンプレート:Math に写る—から、テンプレート:Math を（テンプレート:Math を省略して）テンプレート:Math と書いてよい。
この分類を用いれば、尖点は、適当な整数 テンプレート:Math に対する同値類 テンプレート:Math の代表元の零位集合（テンプレート:Math-型特異曲線）によって与えられる。
例
- 通常尖点 (ordinary cusp) はテンプレート:Math-型特異曲線 テンプレート:Math で与えられる尖点を言う。テンプレート:Mvar の滑らかな函数 テンプレート:Math をとり、簡単のため テンプレート:Math であると仮定する。このとき、テンプレート:Mvar が テンプレート:Math に テンプレート:Mvar-特異点を持つことは以下のように特徴付けられる:
- 退化した二次成分を持つ: すなわち テンプレート:Mvar のテイラー級数の二次の項は、テンプレート:Mvar に関する適当な一次式 テンプレート:Math の完全平方式 テンプレート:Math の形をしている。
- かつ、この一次式 テンプレート:Math は テンプレート:Mvar のテイラー級数の三次の項を割り切らない。
- 嘴点 (rhamphoid cusp) は、もともとは曲線においてその点を端点とするふたつの枝が共通接線の同じ側にあるような尖点（例えば テンプレート:Math における尖点）を意味するものである。このような特異函数は テンプレート:Math-型特異曲線 テンプレート:Math が属するのと同じ微分同相類に属するから、嘴点という用語をそのような曲線の与える尖点に対して用いるのに不自然なことはない。この種の尖点は焦線や波面としては一般でない。嘴点は通常尖点に微分同相でない。
テンプレート:Math-型特異点を与えるためには、テンプレート:Mvar は退化な二次成分を持つ必要があり（これは テンプレート:Math となる条件）、また テンプレート:Mvar が三次の項を割り切る必要がある（これで テンプレート:Math になる）し、さらに テンプレート:Math となるためのさらなる整除条件と、それが テンプレート:Math とならないための非整除条件が必要となる。
これら余分の整除性に関する条件がどのようなものとなるかを見るために、テンプレート:Mvar は退化二次項 テンプレート:Math を持ち テンプレート:Mvar は三次の項を割り切らないと仮定する。すると テンプレート:Mvar の三次までのテイラー級数は テンプレート:Math（テンプレート:Mvar は テンプレート:Mvar の二次式）の形であるから、平方完成してテンプレート:Math と書ける。ここで適当な微分同相変数変換（この場合単に線型独立な一次成分を持つ多項式で置き換えること）を施せば テンプレート:Math（テンプレート:Math は テンプレート:Math の四次多項式）の形に写る。さてこのとき、テンプレート:Math となるための整除条件は、テンプレート:Math が テンプレート:Math を割り切ることである（テンプレート:Math が テンプレート:Math を割らないときはちょうど テンプレート:Math であり、対応する零位集合となる曲線の尖点は テンプレート:Ill2 となる）。テンプレート:Math が テンプレート:Math を割り切るとき、テンプレート:Math を平方完成し、変数変換を施して テンプレート:Math（テンプレート:Math は テンプレート:Math の五次多項式）の形に書けば、テンプレート:Math が テンプレート:Math を割り切らないときちょうど テンプレート:Math-型で対応する尖点として嘴点を得る。
応用
三次元ユークリッド空間内の滑らかな曲線を平面にテンプレート:Ill2するとき、尖点は自然に表れてくる。一般には、そのような射影は自己交叉点や通常尖点を特異点として持つ曲線となる。自己交叉は曲線上の相異なる二点が同じ点に射影されるときに生じる。通常尖点は曲線の接線が射影方向に平行なとき（つまりその接線全体が一点に射影されるとき）に生じる。これらの現象が同時に起こる点ではより複雑な特異点が現れる。例えば、変曲点（およびテンプレート:Ill2）において接線が射影方向に平行ならば嘴点を生じる。
多くの場合（典型的にはコンピュータビジョンやコンピュータグラフィックスにおいて）、射影を考える曲線は、その射影の適当な（滑らかな）空間的対象への制限に関する臨界点の成す曲線であり、したがって尖点は対象の像（コンピュータビジョン）やその影（コンピュータグラフィックス）の輪郭の特異点として生じる。
ほかには、テンプレート:Ill2や波面などを、実世界で目に見える尖点を持つ曲線の例として挙げることができる。