Yrurtj

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（2015年10月）

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

滑らかさの分類

関数 f が連続的微分可能（れんぞくてきびぶんかのう、continuously differentiable）であるとは、f に導関数 f′ が存在して、なおかつその f′ が連続関数となることをいう。同様に自然数 k について、f の k 階の導関数が存在して連続であるとき、f は k 階連続的微分可能あるいは k 回の連続的微分が可能であるといい、また f は C^k 級の関数であるという。微分可能な関数は連続であることから、C^k (k = 1, 2, ...) は包含関係に関して非増加な列を成している。任意有限階の導関数をもつ関数は無限回（連続的）微分可能であるといい、そのクラスは C^∞ で表される。

関数のクラス C^k を、k 階の導関数が存在して連続であり、なおかつ k + 1 階の導関数が存在しないかあるいは存在しても連続でない関数全体が成す類とすることもある。この場合、各クラスは交わりを持たない排他的な分類を与える。

さらに強い滑らかさを表すクラスとして、解析関数つまり各点で冪級数展開可能な関数のクラス C^ω がある。また場合により、連続関数のクラス C を 0 階連続的微分可能な関数のクラス C⁰ として、滑らかな関数の仲間に入れて考えることがある。

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

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

滑らかな関数

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

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

関連項目

• 位相同型