日韩性视频-久久久蜜桃-www中文字幕-在线中文字幕av-亚洲欧美一区二区三区四区-撸久久-香蕉视频一区-久久无码精品丰满人妻-国产高潮av-激情福利社-日韩av网址大全-国产精品久久999-日本五十路在线-性欧美在线-久久99精品波多结衣一区-男女午夜免费视频-黑人极品ⅴideos精品欧美棵-人人妻人人澡人人爽精品欧美一区-日韩一区在线看-欧美a级在线免费观看

歡迎訪問 生活随笔!

生活随笔

當前位置: 首頁 > 编程资源 > 编程问答 >内容正文

编程问答

Sylvester不等式证明

發(fā)布時間:2023/12/14 编程问答 27 豆豆
生活随笔 收集整理的這篇文章主要介紹了 Sylvester不等式证明 小編覺得挺不錯的,現(xiàn)在分享給大家,幫大家做個參考.

Sylvester不等式

設A、B分別是s×n、n×ms\times n、n\times ms×nn×m,則rank(AB)≥rank(A)+rank(B)?nrank(AB)\ge rank(A)+rank(B)-nrank(AB)rank(A)+rank(B)?n

證明

只需證n+rank(AB)≥rank(A)+rank(B)n+rank(AB)\ge rank(A)+rank(B)n+rank(AB)rank(A)+rank(B)
n+rank(AB)=rank(In00AB)n+rank(AB)=rank \begin{pmatrix}I_n & 0\\0 &AB \end{pmatrix} n+rank(AB)=rank(In?0?0AB?)

作分塊矩陣的初等行變換

(In00AB)?(In0AAB)?(In?BA0)?(InBA0)?(BInA0)\begin{pmatrix} I_n&0\\0&AB\end{pmatrix}\longrightarrow \begin{pmatrix}I_n&0\\A&AB\end{pmatrix} \longrightarrow \begin{pmatrix}I_n&-B\\A&0\end{pmatrix}\\ \longrightarrow \begin{pmatrix}I_n&B\\A&0\end{pmatrix} \longrightarrow \begin{pmatrix}B&I_n\\A&0\end{pmatrix} (In?0?0AB?)?(In?A?0AB?)?(In?A??B0?)?(In?A?B0?)?(BA?In?0?)

根據(jù)分塊矩陣的初等行變換不改變矩陣的秩有:
rank(In00AB)=(BIn0A)≥rank(B)+rank(A)rank \begin{pmatrix}I_n&0\\0&AB\end{pmatrix} =\begin{pmatrix}B&I_n\\0&A\end{pmatrix} \ge rank(B)+rank(A) rank(In?0?0AB?)=(B0?In?A?)rank(B)+rank(A)
因此

rank(AB)≥rank(A)+rank(B)?nrank(AB)\ge rank(A)+rank(B)-n rank(AB)rank(A)+rank(B)?n

總結

以上是生活随笔為你收集整理的Sylvester不等式证明的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯,歡迎將生活随笔推薦給好友。