Simultaneous spectral-radius renorming
ID: simultaneous-spectral-radius-renorming
For a finite commuting family in a unital Banach algebra, divide each by . The spectral radius formula makes each normalized element's powers bounded. Commutativity lets every product be reordered into one power of each generator, so the entire generated semigroup is bounded. Renorming a bounded multiplicative semigroup gives the displayed bounds simultaneously. Applying this to two commuting elements proves submultiplicativity and subadditivity of their spectral radius.
New to topics? Read the docs here!