(Translated by https://www.hiragana.jp/)
可微函数 - 维基百科,自由的百科全书 とべ转到内容ないよう

ほろ函数かんすう

维基百科ひゃっか自由じゆうてき百科ひゃっかぜん
重定しげさだこうほろ
一个可微函数的图像

微分びぶん函数かんすう英語えいごDifferentiable functionざいほろ积分がくちゅうゆび些在てい义域ちゅう所有しょゆうてん存在そんざい导数てき函数かんすうほろ函数かんすうてき图像ざいてい义域内的ないてきごと一点上必存在非垂直切线。よし此,ほろ函数かんすうてき图像しょう对光すべりてきぼつゆう间断てんとんがてんあるにんなんゆう垂直すいちょくきり线的てん

一般いっぱんらい说,わかX0函数かんすうfてい义域じょうてきいちてん,且f′(X0)有定ありさだ义,则称fざいX0てんほろ。这就fてき图像ざい(X0f(X0))てんゆう垂直すいちょくきり线,且该てん间断てんとんがてん

ほろせいあずか连续せい

[编辑]
尔斯とくひしげ斯函すう连续,ただし在任ざいにんいちてん不可ふかほろ

わかfざいX0てんほろ,则fざい该点必连续とく别的,所有しょゆうほろ函数かんすうざい其定义域ないにんいちてん必连续。ぎゃくいのち题则不成立ふせいりつ:一个连续函数未必可微。如,いち个有おりてんとんがてんある垂直すいちょくきり线的函数かんすう可能かのう连续てきただしざい异常てん不可ふかほろ

实践ちゅう运用てき函数かんすうだいざい所有しょゆうてんほろある几乎处处ほろただし斯特凡·ともえ拿赫こえしょうほろ函数かんすうざい所有しょゆう函数かんすう构成てき集合しゅうごうちゅう却是少数しょうすう[1]表示ひょうじほろ函数かんすうざい连续函数かんすうちゅう不具ふぐ代表だいひょうせいひと们发现的だい一个处处连续但处处不可微的函数是尔斯とくひしげ斯函すう

连续ほろまとぶん

[编辑]

函数かんすうf连续ほろ(continuously differentiable),如果导数f'(x)存在そんざい且是连续函数かんすうほろ函數かんすうf(x)これしるべすうf'(x)不可能ふかのうゆう跳躍ちょうやく不連續ふれんぞくてんただし可能かのう有本ありもとせい不連續ふれんぞくてんれい考慮こうりょ以下いか函數かんすうf(x)

此函すうざいx=0しょほろあきら定義ていぎもとめf'(0):

ただしたいx≠0,

とうx趨近於0f'(x)てき極限きょくげんなみ存在そんざい

连续ほろ函数かんすうしょうさく函数かんすういち个函すうしょうさく'函数かんすう如果函数かんすうてきいち阶、二阶导数存在且连续。さら一般いっぱんてきいち个函すうしょうさく函数かんすう如果まえk阶导すうf′(x), f″(x), ..., f(k)(x) 存在そんざい且连续。如果对于所有しょゆうせい整数せいすうn,f(n)存在そんざい,这个函数かんすうしょうひかりすべり函数かんすうあるしょう函数かんすう

多元たげん函数かんすうてきほろせい

[编辑]

如果一个函数的所有偏导数在某点的邻域うち存在そんざい且连续,么该函数かんすうざい该点ほろ,而且class C1。(这是ほろてき一个充分不必要条件)

形式けいしきじょういち多元たげん实值函数かんすう f: RmRnざいてんx0处可ほろ,如果存在そんざい线性うつJ: RmRn满足

注意ちゅういへん导数(甚至所有しょゆう方向ほうこうしるべすう存在そんざい不能ふのう证函すうざい该点ほろ考慮こうりょ以下いか函數かんすうf: R2R

此函すうざい(0, 0)なみ不可ふかほろただし所有しょゆうへんしるべすう方向ほうこうしるべすうざい該點みな存在そんざい以下いかいち連續れんぞくてきれい

此函すうざい(0, 0)なみ不可ふかほろただし所有しょゆうへんしるべすう方向ほうこうしるべすうざい該點みな存在そんざい

ふくへん函數かんすうてきほろせい

[编辑]

ざいふく分析ぶんせきなかにんなんざいぼうてん附近ふきんほろてきふくへん函數かんすうしょうためぜんじゅん函數かんすう,這類函數かんすう也將かい無限むげんほろ,甚至解析かいせき函数かんすう

参考さんこう资料

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