滑らかな関数

数学において、関数の**滑らかさ**（なめらかさ、）は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。

直観的には、グラフの各点をどんなに拡大しても尖っていないことを意味する。

## 滑らかさの分類
関数  が**連続的微分可能**（れんぞくてきびぶんかのう、）であるとは、 に導関数  が存在して、なおかつその  が連続関数となることをいう。
同様に自然数  について、 の  階の導関数が存在して連続であるとき、 は  **階連続的微分可能**であるといい、また  は  級の関数であるという。微分可能な関数は連続であることから、 () は包含関係に関して非増加な列を成している。任意有限階の導関数をもつ関数は**無限階**（連続的）**微分可能**であるといい、そのクラスは *C*∞ で表される。
:関数のクラス  を、 階の導関数が存在して連続であり、なおかつ  階の導関数が存在しないかあるいは存在しても連続でない関数全体が成す類とすることもある。この場合、各クラスは交わりを持たない排他的な分類を与える。
さらに強い滑らかさを表すクラスとして、解析関数つまり各点で冪級数展開可能な関数のクラス  がある。また場合により、連続関数のクラス  を 0 階連続的微分可能な関数のクラス  として、滑らかな関数の仲間に入れて考えることがある。

滑らかさのクラスを考えることは、具体的な定義域と値域をあたえることで、たくさんの関数空間（の台集合）の例を与える。関数の定義域が  であるときそれを明示して、 上で定義される  級関数全体の成す空間をしばしば  のように記す。定義域  は多くの場合 "滑らかな" 位相空間である。さらに値域  をも明示して  などと記すこともある。値域  はこの空間の係数と見なされる。

:-進解析のようにある種のリジッド (rigid) な空間を考えているとき、そこでは空間の全不連結性から必ずしも実解析あるいは複素解析的な意味での微積分を考えることはできないが、例えば局所定数関数全体の成すクラスを  とすることがある。

## 滑らかな関数
関数 *f* が（それが属する文脈での議論に用いるに）十分大きな *n* に関して *C**n*-級であるとき、**滑らかな関数**（なめらかなかんすう、smooth function）と総称される。またこのとき、関数 *f* は**十分滑らか**であるともいう。このような語法を用いるとき、*n* は十分大きければよく、その値が厳密に知られている必要はないし、とくに *n* は固定して考えないのが通例である。
そのような状況下では多くの場合、「滑らかな関数」のクラスとして無限回微分可能関数のクラス *C*∞ や解析関数のクラス *C*ω を考えるのが、議論の便宜からして有用である。

滑らかさの概念は（微分の概念がそうであるように）局所的なものである。つまり、ある点での滑らかさというのは、その点の周りの十分小さな近傍において考察される。有限個の例外を除く各点で滑らかな関数は**[[区分的]]に滑らか**であるといわれる。滑らかさのクラスを明示して、区分的に *C**k* 級の関数や、**区分的に連続**な関数を考えることもある。

## 連続性

とTony DeRoseは、*パラメトリック連続性*（*C**k*）と*幾何学的連続性*（*G<sup>n</sup>*）という用語を導入し、パラメトリック曲線の幾何学的連続性を測定する方法を示した。例えば、アニメーションのキーフレーム補間では対象物を滑らかに動かす必要があり、曲線をトレースする速度が制約となるパラメトリック連続性が適しているが、建築図面では位置のみが連続していれば十分であり、速度の制約がない分、曲線形状の自由度が増す幾何学的連続性が適していると考えられる。

### パラメトリック連続性
**パラメトリック連続性**（***C******k***）は、パラメトリック曲線に適用される概念であり、曲線に沿った距離に対するパラメータ値の滑らかさを表す。ある（パラメトリック）曲線 s:[0,1]\to\mathbb{R}^n が *C**k* 級であるとは、\textstyle \frac{d^ks}{dt^k} が存在し、区間 [0,1] で連続であることを意味する。ただし、区間の端点 0 および 1 における導関数は片側微分可能（0 では右微分可能、1 では左微分可能）として扱う。

この概念の実用的な応用例として、物体の運動を時間パラメータで記述する曲線は、少なくとも *C*1 連続であり、物体の加速度は有限値なため1回微分可能である必要がある。より滑らかな動き、たとえば映画撮影時のカメラの移動経路のような場合には、より高次のパラメトリック連続性が求められる。

#### パラメトリック連続性の次数

パラメトリック連続性の各次数は以下のように定義される：

* C^0: 0次導関数が連続（曲線が連続）
* C^1: 0次と1次導関数が連続
* C^2: 0次と1次と2次導関数が連続
* C^n: 0次から n 次導関数がいずれも連続

### 幾何学的連続性

曲線や曲面は、G^n 連続性を持つと言える。ここで n は滑らかさの程度を示す。曲線上の点の両側にある2つの曲線セグメントを考えると：

*G^0: 曲線セグメントは接合点で接している。
*G^1: さらに、曲線セグメントは接合点で接線の方向が一致している。
*G^2: さらに、曲線セグメントは接合点で曲率の中心が一致している。

一般に、曲線を再パラメータ化して C^n（パラメトリック）連続とすることが可能であれば、G^n 連続性が存在する。再パラメータ化によって、曲線の幾何学的な形状は変わらない。パラメータのみが影響を受ける。

同様に、f(1)=g(0) である2つのベクトル関数 f(t) と g(t) が、ベータ制約（Beta-constraints）と呼ばれる方程式を満たす場合、接続点で G^n 連続である。たとえば、G^4 連続のためのベータ制約は以下のようになる：

:
\begin{align}
g^{(1)}(0) & = \beta_1 f^{(1)}(1) \\
g^{(2)}(0) & = \beta_1^2 f^{(2)}(1) + \beta_2 f^{(1)}(1) \\
g^{(3)}(0) & = \beta_1^3 f^{(3)}(1) + 3\beta_1\beta_2 f^{(2)}(1) +\beta_3 f^{(1)}(1) \\
g^{(4)}(0) & = \beta_1^4 f^{(4)}(1) + 6\beta_1^2\beta_2 f^{(3)}(1) +(4\beta_1\beta_3+3\beta_2^2) f^{(2)}(1) +\beta_4 f^{(1)}(1) \\
\end{align}


ここで、\beta_2、\beta_3、\beta_4 は任意だが、\beta_1 は正でなければならない。n=1 の場合、この条件は k>0 であるスカラーについてf'(1)\neq0 かつ f'(1) =  kg'(0) に単純化される。（すなわち、2つのベクトルは方向が一致していれば良く、長さは一致していなくても良い）

曲線が滑らかに見えるためには G^1 連続であることが必要だが、建築やスポーツカーのデザインに求められるような優れた美観を実現するには、より高いレベルの幾何学的連続性が求められる。例えばでは、自動車のボディの反射が滑らかに見えるよう G^2 以上の連続性が必要とされている。

四隅が90度の円弧で構成されたは G^1 連続だが、G^2 連続ではない。各角が球の8分の1、各辺が円柱の4分の1で構成されたも同様である。編集可能で G^2 連続な曲線を必要とする場合には、通常、3次スプラインが選択される。このような曲線は、工業デザインで頻繁に使われている。

## 関連項目
* 位相同型

## 脚注
### 訳注

### 出典

## 参考文献
*