WIP，描述正在進行中
兩個基本引理處理分割槽矩陣中變數的消元。
考慮矩陣 Z = [ Z 11 Z 12 Z 12 T Z 22 ] {\displaystyle Z={\begin{bmatrix}Z_{11}&Z_{12}\\Z_{12}^{T}&Z_{22}\end{bmatrix}}} ， Z 11 ∈ R n × n {\displaystyle Z_{11}\in \mathbb {R} ^{n\times n}} ，是對稱的。然後，存在一個對稱矩陣 X {\displaystyle X} 使得
[ Z 11 − X Z 12 X Z 12 T Z 22 0 X 0 − X ] < 0 {\displaystyle {\begin{bmatrix}Z_{11}-X&Z_{12}&X\\Z_{12}^{T}&Z_{22}&0\\X&0&-X\end{bmatrix}}<0}
當且僅當
Z = [ Z 11 Z 12 Z 12 T Z 22 ] < 0 {\displaystyle Z={\begin{bmatrix}Z_{11}&Z_{12}\\Z_{12}^{T}&Z_{22}\end{bmatrix}}<0} .
令 Z i j {\displaystyle Z_{ij}} ， i = 1 , 2 , 3 , j = i , ⋯ , 3 {\displaystyle i=1,2,3,j=i,\cdots ,3} ，是給定的適當維數的矩陣。然後存在一個矩陣 X {\displaystyle X} 使得
[ Z 11 Z 12 Z 13 Z 12 T Z 22 Z 23 + X T Z 13 T Z 23 T + X Z 33 ] < 0 {\displaystyle {\begin{bmatrix}Z_{11}&Z_{12}&Z_{13}\\Z_{12}^{T}&Z_{22}&Z_{23}+X^{T}\\Z_{13}^{T}&Z_{23}^{T}+X&Z_{33}\end{bmatrix}}<0}
Z = [ Z 11 Z 12 Z 12 T Z 22 ] < 0 {\displaystyle Z={\begin{bmatrix}Z_{11}&Z_{12}\\Z_{12}^{T}&Z_{22}\end{bmatrix}}<0} , Z = [ Z 11 Z 13 Z 13 T Z 33 ] < 0 {\displaystyle Z={\begin{bmatrix}Z_{11}&Z_{13}\\Z_{13}^{T}&Z_{33}\end{bmatrix}}<0}
在這種情況下， X {\displaystyle X} 由下式給出
X = Z 13 T Z 11 − 1 Z 12 − Z 23 T {\displaystyle X=Z_{13}^{T}Z_{11}^{-1}Z_{12}-Z_{23}^{T}} .
待辦事項，將新增更多參考資料
記錄和驗證 LMI 的參考資料列表。
，
，是對稱的。然後，存在一個對稱矩陣 
使得
.
，
，是給定的適當維數的矩陣。然後存在一個矩陣 使得
, 
由下式給出
.
