正在进行中，描述正在进行中
介绍了另一种用于消除 LMI 中变量的条件，称为互反投影引理。
对于给定的对称矩阵 Φ ∈ S n {\displaystyle \Phi \in \mathbb {S} ^{n}} ，存在一个矩阵 S ∈ R n × n {\displaystyle S\in \mathbb {R} ^{n\times n}} 满足
Φ + S T + S < 0 {\displaystyle \Phi +S^{T}+S<0}
当且仅当，对于任意固定的对称矩阵 P ∈ S n {\displaystyle P\in \mathbb {S} ^{n}} ，存在一个矩阵 W ∈ R n × n {\displaystyle W\in \mathbb {R} ^{n\times n}} 满足
[ Φ + P − ( W T + W ) S T + W T S + W − P ] < 0 {\displaystyle {\begin{bmatrix}\Phi +P-(W^{T}+W)&S^{T}+W^{T}\\S+W&-P\end{bmatrix}}<0} .
正在进行中，将添加更多参考文献
记录和验证 LMI 的参考列表。
，存在一个矩阵 
满足
，存在一个矩阵 
满足
.
