Warning: Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3

Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297

Warning: Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660

Warning: session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834

Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126

Warning: ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127

Warning: session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133

Warning: session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140

Warning: "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773

Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294

Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300

Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46

Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46

Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
https:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=2400%3A2410%3ACDA0%3A4E00%3AD535%3ABDFE%3A50C5%3A4B3E 2024-06-29T01:09:48Z 利用者の投稿記録 MediaWiki 1.31.0 2017-08-19T02:13:41Z

<p>2400:2410:CDA0:4E00:D535:BDFE:50C5:4B3E: /* 滑らかな関数 */誤字修正</p> <hr /> <div>{{出典の明記|date=2015年10月}}<br /> [[数学]]において、[[関数 (数学)|関数]]の&#039;&#039;&#039;滑らかさ&#039;&#039;&#039;（なめらかさ、{{lang-en-short|smoothness}}）は、その関数に対して[[微分]]可能性を考えることで測られる。より高い階数の[[導関数]]を持つ関数ほど滑らかさの度合いが強いと考えられる。<br /> <br /> == 滑らかさの分類 ==<br /> 関数 &#039;&#039;f&#039;&#039; が&#039;&#039;&#039;連続的微分可能&#039;&#039;&#039;（れんぞくてきびぶんかのう、&lt;em lang=&quot;en&quot;&gt;continuously differentiable&lt;/em&gt;）であるとは、&#039;&#039;f&#039;&#039; に導関数 &#039;&#039;f&#039;&#039;′ が存在して、なおかつその &#039;&#039;f&#039;&#039;′ が[[連続関数]]となることをいう。同様に自然数 &#039;&#039;k&#039;&#039; について、&#039;&#039;f&#039;&#039; の &#039;&#039;k&#039;&#039; 階の導関数が存在して連続であるとき、&#039;&#039;f&#039;&#039; は &#039;&#039;k&#039;&#039; &#039;&#039;&#039;階連続的微分可能&#039;&#039;&#039;あるいは &#039;&#039;k&#039;&#039; 回の連続的微分が可能であるといい、また &#039;&#039;f&#039;&#039; は &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt; 級の関数であるという。微分可能な関数は連続であることから、&#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt; (&#039;&#039;k&#039;&#039; = 1, 2, ...) は包含関係に関して非増加な列を成している。任意有限階の導関数をもつ関数は&#039;&#039;&#039;無限回&#039;&#039;&#039;（連続的）&#039;&#039;&#039;微分可能&#039;&#039;&#039;であるといい、そのクラスは &#039;&#039;C&#039;&#039;&lt;sup&gt;∞&lt;/sup&gt; で表される。<br /> :&lt;span style=&quot;font-size:smaller; line-height:141%&quot;&gt;関数のクラス &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt; を、&#039;&#039;k&#039;&#039; 階の導関数が存在して連続であり、なおかつ &#039;&#039;k&#039;&#039; + 1 階の導関数が存在しないかあるいは存在しても連続でない関数全体が成す類とすることもある。この場合、各クラスは交わりを持たない排他的な分類を与える。&lt;/span&gt;<br /> さらに強い滑らかさを表すクラスとして、[[解析関数]]つまり各点で冪級数展開可能な関数のクラス &#039;&#039;C&#039;&#039;&lt;sup&gt;ω&lt;/sup&gt; がある。また場合により、連続関数のクラス &#039;&#039;C&#039;&#039; を 0 階連続的微分可能な関数のクラス &#039;&#039;C&#039;&#039;&lt;sup&gt;0&lt;/sup&gt; として、滑らかな関数の仲間に入れて考えることがある。<br /> <br /> 滑らかさのクラスを考えることは、具体的な定義域と値域をあたえることで、たくさんの[[関数空間]]（の台集合）の例を与える。関数の定義域が &#039;&#039;X&#039;&#039; であるときそれを明示して、&#039;&#039;X&#039;&#039; 上で定義される &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt; 級関数全体の成す空間をしばしば &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt;(&#039;&#039;X&#039;&#039;) のように記す。定義域 &#039;&#039;X&#039;&#039; は多くの場合 &quot;滑らかな&quot; 位相空間である。さらに値域 &#039;&#039;Y&#039;&#039; をも明示して &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt;(&#039;&#039;X&#039;&#039;; &#039;&#039;Y&#039;&#039;) などと記すこともある。値域 &#039;&#039;Y&#039;&#039; はこの空間の[[係数]]と見なされる。<br /> <br /> :&lt;span style=&quot;font-size:smaller; line-height:141%&quot;&gt;&#039;&#039;p&#039;&#039;-進解析のようにある種のリジッド &lt;span lang=&quot;en&quot;&gt;(rigid)&lt;/span&gt; な空間を考えているとき、そこでは空間の[[完全不連結|全不連結]]性から必ずしも実解析あるいは複素解析的な意味での微積分を考えることはできないが、例えば[[局所定数関数]]全体の成すクラスを &#039;&#039;C&#039;&#039;&lt;sup&gt;∞&lt;/sup&gt; とすることがある。&lt;/span&gt;<br /> <br /> == 滑らかな関数 ==<br /> 関数 &#039;&#039;f&#039;&#039; が（それが属する文脈での議論に用いるに）十分大きな &#039;&#039;n&#039;&#039; に関して &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;n&#039;&#039;&lt;/sup&gt;-級であるとき、&#039;&#039;&#039;滑らかな関数&#039;&#039;&#039;（なめらかなかんすう、&lt;em lang=&quot;en&quot;&gt;smooth function&lt;/em&gt;）と総称される。またこのとき、関数 &#039;&#039;f&#039;&#039; は&#039;&#039;&#039;十分滑らか&#039;&#039;&#039;であるともいう。このような語法を用いるとき、&#039;&#039;n&#039;&#039; は十分大きければよく、その値が厳密に知られている必要はないし、とくに &#039;&#039;n&#039;&#039; は固定して考えないのが通例である。<br /> そのような状況下では多くの場合、「滑らかな関数」のクラスとして無限回微分可能関数のクラス &#039;&#039;C&#039;&#039;&lt;sup&gt;∞&lt;/sup&gt; や[[解析関数]]のクラス &#039;&#039;C&#039;&#039;&lt;sup&gt;ω&lt;/sup&gt; を考えるのが、議論の便宜からして有用である。<br /> <br /> 滑らかさの概念は（微分の概念がそうであるように）局所的なものである。つまり、ある点での滑らかさというのは、その点の周りの十分小さな近傍において考察される。有限個の例外を除く各点で滑らかな関数は&#039;&#039;&#039;[[区分的]]に滑らか&#039;&#039;&#039;であるといわれる。滑らかさのクラスを明示して、区分的に &#039;&#039;C&#039;&#039;&lt;sup&gt;&#039;&#039;k&#039;&#039;&lt;/sup&gt; 級の関数や、&#039;&#039;&#039;区分的に連続&#039;&#039;&#039;な関数を考えることもある。<br /> <br /> == 関連項目 ==<br /> * [[位相同型]]<br /> <br /> {{DEFAULTSORT:なめらかなかんすう}}<br /> [[Category:関数]]<br /> [[Category:滑らかな関数]]<br /> [[Category:数学に関する記事]]</div>

2400:2410:CDA0:4E00:D535:BDFE:50C5:4B3E
Warning: Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46