今回は圏論で出てくる自然同型という概念の例として、Gelfand-Shilovの定理を証明します。 これは、Xをコンパクトハウスドルフ空間とした時に XとSpm(C(X))が同相になるという定理です。 今回はまず定理の証明をして、その後にそれがコンパクトハウスドルフ …