临界点 (数学)

✍ dations ◷ 2025-07-30 00:18:05 #几何术语,多变量微积分,光滑函数

在数学上,一个可微的实函数或复函数 f {\displaystyle f} 的临界点是指在 f {\displaystyle f} 的定义域中导数为 0 的点 。有些作者会把临界点的定义包括一般实或复函数的定义域中导数为 0 的点和不可微的点。对于一个多变数实函数(英语:function of several real variables)而言,临界点是在定义域中所有偏导数为 0 的点。一个函数的临界点的函数值称为临界值。

这个概念重要的地方在于函数的局部极值会发生在临界点上。

这个定义可以延伸到 R m {\displaystyle \mathbb {R} ^{m}} R n {\displaystyle \mathbb {R} ^{n}} 之间的函数上,在这个情况下,临界点是雅可比矩阵的秩不是最大的点。更进一步可以再延伸到微分流形之间的可微函数,在这个情况下临界点也可以被称为歧点。

特别的,假设 C {\displaystyle C} 是一条由隐函数 f ( x , y ) = 0 {\displaystyle f(x,y)=0} 定义的平面曲线。把 C {\displaystyle C} 平行 y 轴投影到 x 轴的临界点是 C {\displaystyle C} 上所有满足 f y ( x , y ) = 0 {\displaystyle {\frac {\partial f}{\partial y}}(x,y)=0} 的点。换句话说,临界点是不能套用隐函数定理的点。

临界点这个概念能够使用数学来描述哥白尼时代之前无法解释的天文学现象,一个星球的轨迹的留点是一个在天球的星球轨迹上星球转向其他方向前看起来停止的点,因为它是在黄道圆上轨迹投影的临界点。

一个可微实函数 f {\displaystyle f} 的临界点 x 0 {\displaystyle x_{0}} 是一个在 f {\displaystyle f} 的定义域中导数为0的点: f ( x 0 ) = 0 {\displaystyle f'(x_{0})=0} ,临界值是临界点在 f {\displaystyle f} 之下的像,这些概念可以借由 f {\displaystyle f} 的函数图形来具象化:函数图形在临界点的位置会有水平切线而且函数的导数为0。虽然临界点可以借由函数图形来具现化,但函数临界点的概念和曲线在某些方向上的临界点的概念并不能混为一谈。如果 g ( x , y ) {\displaystyle g(x,y)} 是一个两变数可微函数, g ( x , y ) = 0 {\displaystyle g(x,y)=0} 则是一个曲线的隐式方程,这样的曲线对于平行 y 轴的投影(映射 ( x , y ) x {\displaystyle (x,y)\rightarrow x} )的临界点,是曲线上满足 g y ( x , y ) = 0 {\displaystyle {\frac {\partial g}{\partial y}}(x,y)=0} 的点,也就是说在那个点,曲线的切线会平行y轴,而且 g 不能定义成一个从 x 映射到 y 的隐函数(参考隐函数定理)。如果 ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} 是临界点, x 0 {\displaystyle x_{0}} 则是对应的临界值。这样的临界点也可以被称为歧点,而且当x变动时,在 x 0 {\displaystyle x_{0}} 的一侧有两个曲线的分支而另一侧没有。

如果 f ( x ) {\displaystyle f(x)} 有临界点 x 0 {\displaystyle x_{0}} 和对应的临界值 y 0 {\displaystyle y_{0}} ,当且仅当 ( x 0 , y 0 ) {\displaystyle (x_{0},y_{0})} f {\displaystyle f} 的函数图形平行x轴投影的临界点,且对应的临界值是 y 0 {\displaystyle y_{0}}

例如,方程式 x 2 + y 2 = 1 {\displaystyle x^{2}+y^{2}=1} 定义出单位圆,将单位圆平行 y 轴投影到 x 轴的临界点是 (0, 1) 和 (0, -1);将单位圆平行 x 轴投影到 y 轴的临界点是 (1, 0) 和 (-1, 0)。上半圆是 f ( x ) = 1 x 2 {\displaystyle f(x)={\sqrt {1-x^{2}}}} 的函数图形 , f {\displaystyle f} 有唯一一个临界点 0,其临界值是 1。单位圆平行 y 轴的投影的临界值则是对应到 f {\displaystyle f} 的导数不存在的点。

有些作者会将函数 f {\displaystyle f} 的临界点定义为 f {\displaystyle f} 的函数图形平行 x 轴和 y 轴的投影的临界点,以上述的上半圆的例子,-1、0、1 都是 f {\displaystyle f} 的临界点。然而,此定义大多只出现在基础的课本,而且在定义的前面章节时候并未提到函数图形以外的曲线,并且只限于单变数的情形,因为该定义不能推广到多变数。

根据高斯-卢卡斯定理,在复平面上所有多项式函数的临界点会落在函数的根所构成的凸包内。所以对于一个只有实数解的多项式函数,所有的临界点会是实数且落在最大的根和最小的根之间。

森多夫猜想(英语:Sendov's conjecture)声称,在复平面上如果一个函数所有的根都落在单位圆中,那么对于任意给定的根,至少有一个临界点与其的距离不超过1。

在由隐函数定义出的平面曲线的研究上,临界点扮演重要的角色,特别是在描绘曲线与决定拓朴结构方面。在本节中,临界点定义由以下段落给出,它可能看起来与前面的定义完全不同,但事实上,它是前面定义的一个特殊情形。
我们考虑一个落在二维平面上的曲线 C {\displaystyle C} ,曲线上点的笛卡尔座标满足由双变数可微函数 f {\displaystyle f} 定义的隐式方程 f ( x , y ) = 0 {\displaystyle f(x,y)=0} 。设 π x {\displaystyle \pi _{x}} π y {\displaystyle \pi _{y}} 分别是将曲线 C 投影到x、y轴上的标准投影,也就是 π x ( x , y ) = x {\displaystyle \pi _{x}(x,y)=x} π y ( x , y ) = y {\displaystyle \pi _{y}(x,y)=y} π x {\displaystyle \pi _{x}} π y {\displaystyle \pi _{y}} 分别被称作平行y轴方向和平行x轴方向的投影。

如果 C 在某个点上的切线存在,并且平行y轴,则称该点是 π y {\displaystyle \pi _{y}} 的一个临界点。此时,整条切线,包含该点,在 π y {\displaystyle \pi _{y}} 下的像都是同样的值,称为临界值。所以 π y {\displaystyle \pi _{y}} 的临界点就是座标满足方程组 f ( x , y ) = f y ( x , y ) = 0 {\displaystyle f(x,y)={\frac {\partial f}{\partial y}}(x,y)=0} 的点,下面将说明为何上述定义是原本定义的特殊情况。

类似的,我们有 π x {\displaystyle \pi _{x}} 的临界点的定义,因此,如果 C 是 y = g ( x ) {\displaystyle y=g(x)} 的函数图形,则 ( x , y ) {\displaystyle (x,y)} π x {\displaystyle \pi _{x}} 的临界点当且仅当 x {\displaystyle x} g {\displaystyle g} 的临界点,而且他们有相同的临界值。

有些作者将平面曲线 C 的临界点定义为 π x {\displaystyle \pi _{x}} π y {\displaystyle \pi _{y}} 的临界点,但是要注意到这个定义会依赖于坐标轴的选取。也有一些作者会将曲线的奇点也定义做临界点,其中奇点是那些满足方程式

的点。在这个定义之下, π y {\displaystyle \pi _{y}} 的临界点就是那些不适用隐函数定理的点。

如果一个曲线 C {\displaystyle C} 是代数的,也就是它可以被一个双变数多项式函数 f 所定义,这时候判别式会是一个计算临界点的有用工具。

临界点是微分流形的拓朴结构与实代数几何(英语:real algebraic geometry)相关研究的基础,特别的,它是莫尔斯理论和突变理论(英语:catastrophe theory)中的基本工具。

临界点与拓朴学的关系在非常具体的情形终究可以体现出来。例如,令 V {\displaystyle V} R n {\displaystyle \mathbb {R} ^{n}} 中的子流形, P {\displaystyle P} V {\displaystyle V} 外面的一点, f : V R {\displaystyle f\colon V\rightarrow \mathbb {R} } 是一个光滑函数将 V {\displaystyle V} 中的点映射到与 P {\displaystyle P} 的距离平方,很明显的, f {\displaystyle f} V {\displaystyle V} 的每个连通部分都至少有一个临界点,就是距离最近的点。因此 f {\displaystyle f} 的临界点个数是 V {\displaystyle V} 的连通部分个数的上界。

在实代数几何,上述观察变成多项式的次数是由它所定义出来的代数簇的联通部分个数的上界。

相关

  • 修道制度基督宗教中的修道制度是起因于反对教会逐渐世俗化,在3、4世纪时兴起。而更早的潜伏因素是在君士坦丁大帝统一教会及罗马帝国前,因基督教的宽柔政策,所以教会水准偏低、基督徒素
  • 动脉瘤动脉瘤(aneurysm)也称为动静脉瘤,是指血管壁局部,类似气球,其中充满血液的膨胀。动脉瘤会出现在任何的血管,致死率高的有脑部Willis环的动脉瘤、胸部主动脉的大动脉瘤,以及腹主动脉
  • 不完全变化动词不完全变化动词(英语:defective verb)是指变位不完全的动词,也就是说在一个有变位的语言中,这一类动词与普通的动词相比,较少随人称、数、性、时态等进行词形变化,甚至完全不进行变
  • 兰博基尼兰博基尼公司(意大利语:Automobili Lamborghini S.p.A.,意大利语: 聆听)是一家集设计、工程、制造与销售于一身的超级跑车制造商,坐落于意大利圣亚加塔·波隆尼。1963年由费鲁齐
  • 8088Intel 8088 是一个 Intel 以 8086 为基础的 微处理器,拥有 16 比特 寄存器 和 8 比特外部 数据总线。这是原本 IBM PC 上所使用的处理器。8088 使用 8 比特的设计,所针对的是
  • 床垫床垫是一个和床大小差不多的垫子,放在床上,在睡眠时支撑人的背部,使人睡眠时躺卧舒适。有时床垫也可单独做床来使用。床垫可以用毛、稻草、棉花、化纤、泡沫橡胶、羽毛、弹簧等
  • 闰周历闰周历是一种每年的星期数都是整数,每年开始的工作日也是同一天的日历系统。多数的闰周历都是对民用历提出改革,以实现万年历。然而,像ISO周日历,只是方便使用于特定的目的。上
  • Agsub3/sub[Co(CN)sub6/sub]六氰合钴(III)酸银是一种无机化合物,化学式为Ag3,属六方晶系,具有Co-CN-Ag-NC-Co链状结构。它可由六氰合钴(III)酸钾和硝酸银反应沉淀得到,产物经过水洗、60 °C烘干,得到纯品。
  • 缎带突触缎带突触(ribbon synapse)是突触类型之一,具有特化的特征。例如神经递质的快速释放与不断的胞外分泌循环以及在膜电位梯度变化的反应中的内噬作用。缎带突触已被发现存在于视
  • 生酮氨基酸生酮氨基酸(ketogenic amino acid)是指在体内能转化为酮体,即乙酰乙酸、β-羟丁酸和丙酮的氨基酸。生酮氨基酸包括赖氨酸、亮氨酸,他们在分解过程中都可转变为乙酰乙酰辅酶A,再在