高等代数理论基础36：正定二次型

正定二次型

二次型正定

定义：给定实二次型 $f(x_1,x_2,\cdots,x_n)$ ,若对任意一组不全为零的实数 $c_1,c_2,\cdots,c_n$ 都有 $f(c_1,c_2,\cdots,c_n)\gt 0$ ,则称 $f(x_1,x_2,\cdots,x_n)$ 是正定的

例：二次型 $f(x_1,x_2,\cdots,x_n)=x_1^2+x_2^2+\cdots+x_n^2$ 是正定的

注：

1.实二次型 $f(x_1,x_2,\cdots,x_n)=d_1x_1^2+d_2x_2^2+\cdots+d_nx_n^2$ 是正定的 $\Leftrightarrow d_i\gt 0,i=1,2,\cdots,n$

2.设实二次型 $f(x_1,x_2,\cdots,x_n)=\sum\limits_{i=1}^n\sum\limits_{j=1}^na_{ij}x_ix_j,a_{ij}=a_{ji}$ 是正定的,经过非退化线性替换 $X=CY$ 变成二次型 $g(y_1,y_2,\cdots,y_n)=\sum\limits_{i=1}^n\sum\limits_{j=1}^nb_{ij}y_iy_j,b_{ij}=b_{ji}$ ,则 $g(y_1,y_2,\cdots,y_n)$ 也是正定的

即对任意一组不全为零的实数 $k_1,k_2,\cdots,k_n$ ,有 $g(k_1,k_2,\cdots,k_n)\gt 0$

令 $y_1=k_1,y_2=k_2,\cdots,y_n=k_n$ ,可得 $x_1,x_2,\cdots,x_n$ 对应的一组值,设为 $c_1,c_2,\cdots,c_n$

即 $\begin{pmatrix}c_1\\c_2\\\vdots\\c_n\end{pmatrix}=C\begin{pmatrix}k_1\\k_2\\\vdots\\k_n\end{pmatrix}$

C可逆,因而 $\begin{pmatrix}k_1\\k_2\\\vdots\\k_n\end{pmatrix}=C^{-1}\begin{pmatrix}c_1\\c_2\\\vdots\\c_n\end{pmatrix}$

故当 $k_1,k_2,\cdots,k_n$ 不全为零时, $c_1,c_2,\cdots,c_n$ 也不全为零

显然 $g(k_1,k_2,\cdots,k_n)=f(c_1,c_2,\cdots,c_n)\gt 0$

3.非退化线性替换保持正定性不变

定理

定理：n元实二次型 $f(x_1,x_2,\cdots,x_n)$ 是正定的 $\Leftrightarrow$ 它的正惯性指数等于n

证明：

$设二次型f(x_1,x_2,\cdots,x_n)经过非退化线性替换变成标准形$

$d_1y_1^2+d_2y_2^2+\cdots+d_ny_n^2$

$则f(x_1,x_2,\cdots,x_n)正定\Leftrightarrow标准形正定$

$标准形正定\Leftrightarrow d_i\gt 0,i=1,2,\cdots,n$

$即正惯性指数为n\qquad\mathcal{Q.E.D}$

注：正定二次型 $f(x_1,x_2,\cdots,x_n)$ 的规范形为 $y_1^2+y_2^2+\cdots+y_n^2$

矩阵正定

定义：对实对称矩阵A,若二次型 $X'AX$ 正定,则称A正定

注：一个实对称矩阵是正定的 $\Leftrightarrow$ 它与单位矩阵合同

推论：正定矩阵的行列式大于零

证明：

$设A为一正定矩阵$

$\because A与单位矩阵合同$

$\therefore 有可逆矩阵C,使得$

$A=C'EC=C'C$

$两边取行列式可得$

$|A|=|C'||C|=|C|^2\gt 0\qquad\mathcal{Q.E.D}$

顺序主子式

定义：子式 $H_i=\begin{vmatrix}a_{11}&a_{12}&\cdots&a_{1i}\\ a_{21}&a_{22}&\cdots&a_{2i}\\ \vdots&\vdots& &\vdots\\ a_{i1}&a_{i2}&\cdots&a_{ii}\end{vmatrix}$

$i=1,2,\cdots,n$ 称为矩阵 $A=(a_{ij})_{nn}$ 的顺序主子式

定理：实二次型 $f(x_1,x_2,\cdots,x_n)$ 正定 $\Leftrightarrow$ 矩阵A的顺序主子式全大于零

证明：

$必要性$

$设二次型f(x_1,x_2,\cdots,x_n)=\sum\limits_{i=1}^n\sum\limits_{j=1}^na_{ij}x_ix_j正定$

$\forall k,1\le k\le n$

$令f_k(x_1,x_2,\cdots,x_k)=\sum\limits_{i=1}^k\sum\limits_{j=1}^ka_{ij}x_ix_j$

$下证f_k为k元正定二次型$

$对任一组不全为零的实数c_1,c_2,\cdots,c_k$

$f_k(c_1,\cdots,c_k)=\sum\limits_{i=1}^k\sum\limits_{j=1}^ka_{ij}c_ic_j$

$=f(c_1,\cdots,c_k,0,\cdots,0)\gt 0$

$\therefore f_k(x_1,\cdots,x_k)正定$

$\therefore f_k的矩阵行列式$

$\begin{vmatrix}a_{11}&\cdots&a_{1k}\\ \vdots& &\vdots\\ a_{k1}&\cdots&a_{kk}\end{vmatrix}\gt 0,k=1,2,\cdots,n$

$即A的顺序主子式全大于零$

$充分性$

$n=1时,f(x_1)=a_{11}x_1^2$

$由条件a_{11}\gt 0,显然f(x_1)正定$

$假设对n-1元二次型结论成立$

$下证n元二次型结论成立$

$令A_1=\begin{pmatrix}a_{11}&\cdots&a_{1,n-1}\\ \vdots& &\vdots\\ a_{n-1,1}&\cdots&a_{n-1,n-1}\end{pmatrix}$

$\alpha=\begin{pmatrix}a_{1n}\\\vdots\\a_{n-1,n}\end{pmatrix}$

$则A=\begin{pmatrix}A_1&\alpha\\\alpha'&a_{nn}\end{pmatrix}$

$A的顺序主子式全大于零$

$则A_1的顺序主子式也全大于零$

$由归纳假设$

$A_1为正定矩阵$

$即有可逆n-1级矩阵G使$

$G'A_1G=E_{n-1}$

$令C_1=\begin{pmatrix}G&O\\O&1\end{pmatrix}$

$则C_1'AC_1=\begin{pmatrix}G'&O\\O&1\end{pmatrix}\begin{pmatrix}A_1&\alpha\\\alpha'&a_{nn}\end{pmatrix}\begin{pmatrix}G&O\\O&1\end{pmatrix}$

$=\begin{pmatrix}G'A_1&G'\alpha\\\alpha'&a_{nn}\end{pmatrix}\begin{pmatrix}G&O\\O&1\end{pmatrix}$

$=\begin{pmatrix}E_{n-1}&G'\alpha\\\alpha'G&a_{nn}\end{pmatrix}$

$令C_2=\begin{pmatrix}E_{n-1}&-G'\alpha\\O&1\end{pmatrix}$

$则C_2'C_1'AC_1C_2=\begin{pmatrix}E_{n-1}&O\\-\alpha' G&1\end{pmatrix}\begin{pmatrix}E_{n-1}&G'\alpha\\\alpha'G&a_{nn}\end{pmatrix}\begin{pmatrix}E_{n-1}&-G'\alpha\\O&1\end{pmatrix}$

$=\begin{pmatrix}E_{n-1}&G'\alpha\\O&-\alpha' GG'\alpha+a_{nn}\end{pmatrix}\begin{pmatrix}E_{n-1}&-G'\alpha\\O&1\end{pmatrix}$

$=\begin{pmatrix}E_{n-1}&O\\O&a_{nn}-\alpha'GG'\alpha\end{pmatrix}$

$令C=C_1C_2,a_{nn}-\alpha'GG'\alpha=a$

$则C'AC=\begin{pmatrix}1\\ &\ddots\\ & &1\\ & & &a\end{pmatrix}$

$两边取行列式$

$|C|^2|A|=a$

$\because |A|\gt 0$

$\therefore a\gt 0$

$\begin{pmatrix}1\\ &\ddots\\ & &1\\ & & &a\end{pmatrix}=\begin{pmatrix}1\\ &\ddots\\ & &1\\ & & &\sqrt{a}\end{pmatrix}\begin{pmatrix}1\\ &\ddots\\ & &1\\ & & &1\end{pmatrix}\begin{pmatrix}1\\ &\ddots\\ & &1\\ & & &\sqrt{a}\end{pmatrix}$

$即矩阵A与单位矩阵合同$

$\therefore A为正定矩阵$

$即二次型f(x_1,x_2,\cdots,x_n)正定\qquad\mathcal{Q.E.D}$

负定

定义：设实二次型 $f(x_1,x_2,\cdots,x_n)$ ,对任一组不全为零的实数 $c_1,c_2,\cdots,c_n$ ,若 $f(c_1,c_2,\cdots,c_n)\lt 0$ ,则称 $f(x_1,x_2,\cdots,x_n)$ 负定,若 $f(c_1,c_2,\cdots,c_n)\ge 0$ ,则称 $f(x_1,x_2,\cdots,x_n)$ 半正定,若 $f(x_1,x_2,\cdots,x_n)\le 0$ ,则称 $f(x_1,x_2,\cdots,x_n)$ 半负定,若 $f(x_1,x_2,\cdots,x_n)$ 既不是半正定,又不是半负定,则称为不定的

注： $f(x_1,x_2,\cdots,x_n)$ 是负定时, $-f(x_1,x_2,\cdots,x_n)$ 为正定的

定理：对实二次型 $f(x_1,\cdots,x_n)=X'AX$ ,其中A为实对称的,则

$(1)f(x_1,x_2,\cdots,x_n)半正定$

$\Leftrightarrow(2)f(x_1,x_2,\cdots,x_n)正惯性指数与秩相等$

$\Leftrightarrow(3)有可逆矩阵C使得$

$C'AC=\begin{pmatrix}d_1\\ &d_1\\ & &\ddots\\ & & &d_n\end{pmatrix}$

$其中d_i\ge 0,i=1,2,\cdots,n$

$\Leftrightarrow (4)有实矩阵C使A=C'C$

$\Leftrightarrow (5)A的所有主子式(行指标与列指标相同的子式)全大于或等于零$

注：仅顺序主子式大于或等于零不能保证半正定性

例： $f(x_1,x_2)=-x_2^2$

$=(x_1,x_2)\begin{pmatrix}0&0\\0&-1\end{pmatrix}\begin{pmatrix}x_1\\x_2\end{pmatrix}$

最后编辑于：2019.02.03 09:30:56

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 200,045评论 5赞 468
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 84,114评论 2赞 377
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 147,120评论 0赞 332
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 53,902评论 1赞 272
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 62,828评论 5赞 360
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 48,132评论 1赞 277
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 37,590评论 3赞 390
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 36,258评论 0赞 254
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 40,408评论 1赞 294
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 35,335评论 2赞 317
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 37,385评论 1赞 329
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 33,068评论 3赞 315
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 38,660评论 3赞 303
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 29,747评论 0赞 19
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 30,967评论 1赞 255
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 42,406评论 2赞 346
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 41,970评论 2赞 341

高等代数理论基础36：正定二次型

正定二次型

二次型正定

定理

矩阵正定

顺序主子式

负定

推荐阅读更多精彩内容