Banach algebra
スペクトル半径公式は、バナッハ環の任意の元 に対して