在数学分析中,隐函数定理是一個用來回答下面的問題的工具:以隐函数表示的多變量函數,這函數的變量在局部上是否存在显式的关系?隐函数定理说明,对于一个由关系 f(x, y)=0 表示的隐函数,如果它在某一点的偏微分满足某些条件,则在该点有鄰域使得在該鄰域內 y 可以表示成关于 x 的函数: y = h...
10 KB (1,477 words) - 19:21, 8 March 2024
確定的函數。而可以直接用含自变量的算式表示的函数称为显函数,也就是通常所说的函数,如 y = cos ( x ) {\displaystyle y=\cos(x)} 。 隱函數定理說明了隱式方程在什麼情況下會確定出隱函數。 隐函数的一个常见类型是反函数。若 f {\displaystyle f} 是一个函数,那么 f {\displaystyle...
6 KB (1,562 words) - 13:51, 24 November 2023
在数学中,反函数定理给出了向量值函数在含有定义域中一点的开区域内具有反函数的充分条件。该定理还说明了反函数的全导数存在,并给出了一个公式。反函数定理可以推广到定义在流形上、以及定义在无穷维巴拿赫空间(和巴拿赫流形)上的映射。大致地说,C1函数F在点p可逆,如果它的雅可比矩阵JF(p)是可逆的。...
7 KB (1,166 words) - 08:34, 5 June 2023
这是偏微分方程(PDE)的不定系统。 纳什嵌入定理是全局系统,因为整个流形嵌入到了Rn。局部嵌入定理要简单得多,可以在流形的座標鄰域中用高等微積分的隐函数定理证明。这里给出的全局嵌入定理的证明依赖于纳什对隐函数定理的极大推广版本,Nash-Moser定理和带后处理(postconditioning)...
6 KB (1,032 words) - 02:35, 18 January 2018
中值定理包括微分中值定理和积分中值定理。 微分中值定理分为罗尔中值定理、拉格朗日中值定理和柯西中值定理,内容粗略的说是指平面上一段固定端點的可微曲线,兩端點之中必然有一点,它的斜率與連接兩端點的直線斜率相同(严格的数学表达参见下文)。 當提到均值定理時在沒有特別說明下一般指拉格朗日均值定理。 如果函数...
8 KB (1,767 words) - 06:30, 12 July 2024
以法国数学家米歇尔·罗尔命名的罗尔中值定理(英語:Rolle's theorem)是微分学中一条重要的定理,是三大微分中值定理之一,叙述如下:如果函数 f ( x ) {\displaystyle f(x)} 满足 在闭区间 [ a , b ] {\displaystyle [a,b]} 上连续; 在开区间...
4 KB (795 words) - 06:26, 12 July 2024
0)二點之外,在其餘每一個點的鄰域上,上述二個函數中都有一個的圖形和圓的圖形類似。(上述二個函數其實剛好也通過(−1, 0)和(1, 0),不過這不是隐函数定理中提到的內容) 隐函数定理和反函数定理有密切的關係。反函数定理提到一函數在一點的開區域內具有反函數的充分條件。 另一個分支則是積分學,探討曲線下的面積...
21 KB (3,197 words) - 13:26, 26 June 2024
证明:取f为圆上的任何连续函数。通过圆的中心作一条直线,与圆相交于点A和点B。设d为f(A) − f(B)的差。如果把这条直线旋转180度,将得到值−d。根据介值定理,一定存在某个旋转角,使得d = 0,在这个角度上便有f(A) = f(B)。 这是一个更加一般的结果——博苏克-乌拉姆定理的特殊情况。 中值定理 极值定理 達布定理...
5 KB (935 words) - 09:10, 27 July 2024
微积分基本定理(英語:Fundamental theorem of calculus)描述了微积分的两个主要运算──微分和积分之间的关系。 定理的第一部分,称为微积分第一基本定理,此定理表明:給定任一連續函數,可以(利用積分)構造出該函數的反導函數。這一部分定理的重要之處在於它保證了連續函數的反導函數的存在性。...
14 KB (2,915 words) - 17:10, 10 March 2024
夾擠定理(英語:Squeeze theorem),又稱夹逼定理、夹极限定理、三明治定理、逼近定理、迫敛定理,是有關函數的極限的数学定理。指出若有兩個函數在某點的極限相同,且有第三個函數的值在這兩個函數之間,则第三個函數在該點的極限也相同。 設 I {\displaystyle I} 為包含某點 a...
5 KB (1,250 words) - 05:43, 2 June 2024
隐函数定理、压缩映射、测度、不动点定理、最优化与拓扑度定理。其中,方程被推广为包含(inclusion),微分方程被推广为微分包含式。 可以区分连续性的多种推广,如闭图性与上下拟弱连续性。此外还有各种将测度推广为多函数的方法。 集值函数见于优化控制,特别是微分包含式及博弈论等领域,其中集值函数...
6 KB (804 words) - 23:58, 28 April 2024