24。成立的条件是formula_2为埃尔米特矩阵及formula_17为欧几里得范数。
图.有限图的谱半径定义为其邻接矩阵的谱半径。此一定义可以扩散到无限图，但是其每个顶点都只连接有限个顶点（存在一实数使得每一个顶点的度都小于）。此情形下，针对图可定义：令是 的邻接算子：的谱半径定义为有界线性算子的谱半径。
上界.
矩阵谱半径的上界.以下的命题指出了一个简单但是有用的矩阵谱半径上界：命题：令，其谱半径为，以及相容