当formula_20时，让formula_21的原因是formula_22，因此当formula_20时，使formula_24。成立的条件是formula_2为埃尔米特矩阵及formula_17为欧几里得范数。
图.有限图的谱半径定义为其邻接矩阵的谱半径。此一定义可以扩散到无限图，但是其每个顶点都只连接有限个顶点（存在一实数使得每一个顶点的度都小于）。此情形下，针对图可定义：令是 的邻接算子：的谱半径定义为有界线性算子的谱半径。
上界.