バナッハ環
Spectrum of a commutative Banach algebra