出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "滑らかな関数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2015年10月) |
| この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
●英語版記事を日本語へ機械翻訳したバージョン︵Google翻訳︶。
●万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
●信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
●履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
●翻訳後、{{翻訳告知|en|Smoothness|…}} をノートに追加することもできます。
●Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
数学において、関数の滑らかさ︵なめらかさ、英: smoothness︶は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。
直観的には、グラフの各点をどんなに拡大しても尖っていないことを意味する。
滑らかさの分類[編集]
関数 fが連続的微分可能︵れんぞくてきびぶんかのう、英: continuously differentiable︶であるとは、f に導関数 f′ が存在して、なおかつその f′ が連続関数となることをいう。
同様に自然数 kについて、f の k階の導関数が存在して連続であるとき、f は k階連続的微分可能であるといい、また fは Ck級の関数であるという。微分可能な関数は連続であることから、Ck (k = 1, 2, ...) は包含関係に関して非増加な列を成している。任意有限階の導関数をもつ関数は無限階︵連続的︶微分可能であるといい、そのクラスは C∞ で表される。
関数のクラス Ckを、k 階の導関数が存在して連続であり、なおかつ k+ 1 階の導関数が存在しないかあるいは存在しても連続でない関数全体が成す類とすることもある。この場合、各クラスは交わりを持たない排他的な分類を与える。
さらに強い滑らかさを表すクラスとして、解析関数つまり各点で冪級数展開可能な関数のクラス Cω がある。また場合により、連続関数のクラス Cを 0 階連続的微分可能な関数のクラス C0 として、滑らかな関数の仲間に入れて考えることがある。
滑らかさのクラスを考えることは、具体的な定義域と値域をあたえることで、たくさんの関数空間︵の台集合︶の例を与える。関数の定義域が Xであるときそれを明示して、X 上で定義される Ck級関数全体の成す空間をしばしば Ck(X) のように記す。定義域 Xは多くの場合﹃滑らかな﹄位相空間である。さらに値域 Yをも明示して Ck(X; Y) などと記すこともある。値域 Yはこの空間の係数と見なされる。
p-進解析のようにある種のリジッド (rigid) な空間を考えているとき、そこでは空間の全不連結性から必ずしも実解析あるいは複素解析的な意味での微積分を考えることはできないが、例えば局所定数関数全体の成すクラスを C∞ とすることがある。
滑らかな関数[編集]
関数 fが︵それが属する文脈での議論に用いるに︶十分大きな nに関して Cn-級であるとき、滑らかな関数︵なめらかなかんすう、smooth function︶と総称される。またこのとき、関数 fは十分滑らかであるともいう。このような語法を用いるとき、n は十分大きければよく、その値が厳密に知られている必要はないし、とくに nは固定して考えないのが通例である。
そのような状況下では多くの場合、﹁滑らかな関数﹂のクラスとして無限回微分可能関数のクラス C∞ や解析関数のクラス Cω を考えるのが、議論の便宜からして有用である。
滑らかさの概念は︵微分の概念がそうであるように︶局所的なものである。つまり、ある点での滑らかさというのは、その点の周りの十分小さな近傍において考察される。有限個の例外を除く各点で滑らかな関数は区分的に滑らかであるといわれる。滑らかさのクラスを明示して、区分的に Ck級の関数や、区分的に連続な関数を考えることもある。