方程式x^2 = aが解をもつ可換C*-環の極大イデアル空間について