关于超 Lyapunov 包含

Gantmacher-Lyapunov 定理（1950 年代）刻画了谱位于复平面右半平面的矩阵。此处将该结果精炼为超 Lyapunov 包含，用于谱位于右半平面内某些圆盘中的矩阵。这些圆盘在取逆下封闭，且当其半径趋于无穷时，原结果被恢复。超 Lyapunov 包含通过二次矩阵不等式表述，谱位于单位子圆盘内的矩阵的类似超 Stein 集合亦如此。作为副产品，表明这些在取逆下封闭的圆盘是理解矩阵计算中使用的矩阵符号函数迭代格式的自然工具。