Perron-Frobenius 定理

如果所有元素 的一個不可約矩陣 都是非負的，那麼 是 的一個特徵值，並且 的所有特徵值都位於圓盤

其中，如果 是一組非負數（並非全部為零），

此外，如果 恰好有 個特徵值 在圓 circle 上，那麼它所有特徵值的集合在繞原點旋轉 角度下是不變的。