定理バナッハ関数環は半単純(すなわちそのジャコブソン根基が0に等しい)で、それぞれの可換な単位的半単純バナッハ環は(を通じて)その特性空間上のあるバナッハ関数環への同型である。