連続的微分可能性とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 連続的微分可能性の意味・解説 

微分可能関数

(連続的微分可能性 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/01 06:14 UTC 版)

ナビゲーションに移動 検索に移動
ある微分可能関数
絶対値関数は x = 0 において微分可能ではない
微分可能関数は線型関数によって局所的に近似できる

数学の一分野である微分積分学において、可微分函数あるいは微分可能関数(びぶんかのうかんすう、: differentiable function)とは、その定義域内の各点において導関数が存在するような関数のことを言う。微分可能関数のグラフには、その定義域の各点において非垂直な接線が存在しなければならない。その結果として、微分可能関数のグラフは比較的なめらかなものとなり、途切れたり折れ曲がったりせず、尖点(カスプ)や、垂直接線を伴う点などは含まれない。

より一般に、ある関数 f の定義域内のある点 x0 に対し、導関数 f′(x0) が存在するとき、fx0 において微分可能であるといわれる。そのような関数 f はまた、点 x0 の近くでは線型関数によってよく近似されるため、x0 において局所線型(locally linear)とも呼ばれる。

微分可能性と連続性

ワイエルシュトラス関数は連続であるが、どの点においても微分可能ではない

f が点 x0 において微分可能であるなら、f はその点 x0 において連続である。特に、微分可能関数はどのようなものでも、その定義域内のすべての点において連続である。しかしその逆は成立しない:すなわち、連続関数は必ずしも微分可能ではない。例えば、折れ(bend)や尖点、あるいは垂直接線を伴う関数は連続であることもあり得るが、それら例外的な箇所においては微分可能性は失われている。

現実に現れる多くの関数は、すべての点あるいはほとんどすべての点において導関数を持つものである。しかし、バナッハによる一つの結果として、ある点において導関数を持つ関数の集合は、すべての連続関数からなる空間におけるやせた集合英語版であることが示されている[1]。くだけた言い方をすると、このことはつまり、微分可能関数は連続関数の中でも珍しいものであることを意味している。至る所で連続であるが、どこにおいても微分可能ではない関数の最もよく知られた例は、ワイエルシュトラス関数である。

微分可能性のクラス

関数 f は、それ自体連続であるような導関数 f′(x) が存在するなら、連続的微分可能(continuously differentiable)であると言われる。微分可能関数の導関数が跳躍不連続点を持つことは無いが、真性不連続点を持つことはある。例えば、関数

は点 0 において微分可能である。なぜならば、

が存在するからである。しかし、x≠0 に対して、

であるが、これは x → 0 に対する極限を持たない(したがってこの関数 f は原点を含む区間において微分可能ではあるが連続的微分可能ではない)。それにもかかわらず、ダルブーの定理英語版によれば、任意の関数の導関数に対して中間値の定理は成立する。

しばしば連続的微分可能関数は、C1-級であると言われる。関数に一階および二階の導関数が存在し、それらが両方とも連続であるとき、その関数は C2-級にであると言われる。より一般的に、k-階までの導関数 f′(x), f″(x), ... , f(k)(x) が存在し、すべて連続であるなら、その関数は Ck-級であると言われる。すべての正の整数 n に対して導関数 f(n) が存在するなら、その関数は滑らか、あるいは、C-級であると言われる。

高次の微分可能性

関数 f: RmRn が点 x0 において微分可能であるとは、

を満たすような線型写像 J: RmRn存在することを言う。関数が x0 において微分可能であるなら、そのすべての偏導関数は x0 において存在しなければならず、そのような場合、線型写像 Jヤコビ行列となる。高階導函数に関する同様の定式化は、一変数微分積分学でいうところの有限増分の補題英語版によって与えられる。

ここで、偏導関数の存在は(あるいは、すべての方向微分の存在でさえも)、ある点における関数の微分可能性を保証するものではない、ということに注意されたい。例えば、

で定義される関数 f: R2R は、(0, 0) において微分可能でないが、そのすべての偏微分と方向微分はその点において存在している。連続的な例として、関数

(0, 0) において微分可能でないが、ふたたびその偏導関数と方向微分はすべて存在する。

関数のすべての偏導関数が存在し、ある点の近傍において連続であるなら、その関数はその点において微分可能でなければならず、実際 C1-級である。

複素解析における微分可能性

複素解析において、ある点の近傍で複素微分可能な関数はすべて正則と呼ばれる。そのような関数は必ず無限回微分可能であり、実は解析的である。

多様体上の微分可能関数

M微分可能多様体であるとき、M 上の実あるいは複素数値関数 f がある点 p において微分可能であるとは、それが p の周りで定義されるある(あるいは、任意の)座標に関して微分可能であることを言う。より一般的に、MN が微分可能多様体であるとき、関数 fM → N がある点 p において微分可能であるとは、それが pf(p) の周りで定義されるある(あるいは、任意の)座標に関して微分可能であることを言う。

脚注

  1. ^ Banach, S. (1931). “Uber die Baire'sche Kategorie gewisser Funktionenmengen”. Studia. Math. (3): 174–179. . Cited by Hewitt, E and Stromberg, K (1963). Real and abstract analysis. Springer-Verlag. Theorem 17.8 

関連項目


連続的微分可能性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/12 09:39 UTC 版)

ガトー微分」の記事における「連続的微分可能性」の解説

連続的ガトー微分可能性大きく二つ方法定義することができる。以下、函数 F: U → Y は開集合 U の各点ガトー微分可能と仮定する。U における連続的微分可能性の概念一つは、直積空間上の写像 dF: U × X → Y が連続であることを課すのである。この場合線型性仮定する要はなく、X と Y がともにフレシェ空間ならば dF(u; •) は任意の u に関して自動的に有界かつ線型である (Hamilton 1982)。

※この「連続的微分可能性」の解説は、「ガトー微分」の解説の一部です。
「連続的微分可能性」を含む「ガトー微分」の記事については、「ガトー微分」の概要を参照ください。

ウィキペディア小見出し辞書の「連続的微分可能性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「連続的微分可能性」の関連用語

連続的微分可能性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



連続的微分可能性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの微分可能関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのガトー微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS