# 非可換幾何学への動機：ゲルファント双対性が語る「空間 = 関数環」 > 可換 C*-代数と局所コンパクト空間を対応させるゲルファント・ナイマルクの定理を証明し、空間の位相が関数環に完全にエンコードされることを示す。その上で量子論の交換関係と無理数回転の軌道空間を例に、非可換代数を「空間」とみなす枠組みを導入する。 > https://rikai.mugen-giken.com/mathematics/noncommutative-geometry/motivation ## 0. この記事の要点 - 局所コンパクトハウスドルフ空間 $X$ の位相は、その上の「無限遠で消える」連続関数のなす可換 C*-代数 $C_0(X)$ に余すところなくエンコードされています。逆にすべての可換 C*-代数はこの形をしています。これがゲルファント・ナイマルクの定理です。 - この対応は反変的な圏同値であり、空間と代数のあいだに完全な辞書が引けます。コンパクト性は単位元の存在、連結性は非自明な冪等元の非存在、点は極大イデアル、ベクトル束は有限生成射影加群、というように。 - 「可換 C*-代数」と「局所コンパクトハウスドルフ空間」が同義語なら、可換性を捨てた C*-代数を**非可換空間**と呼んでよいはずです。これが非可換幾何学の出発点です。 - 一般化が要る場面は二つあります。量子論では位置と運動量が可換でないため相空間の関数環が非可換代数に置き換わり、商空間では軌道空間のような「悪い空間」が点の集合としては潰れる一方、交叉積 C*-代数としては豊かな対象として残ります。 - 中心的な例は無理数回転による円周の軌道空間です。商位相は密着位相になり連続関数は定数しかありませんが、対応する非可換トーラス $A_\theta$ は単純な無限次元 C*-代数で、その K-理論は回転角 $\theta$ を復元します。 - 有界作用素の世界では $ab - ba = \mathbf{1}$ は決して成り立ちません。交換関係を C*-代数で扱うにはワイル形式が必要で、その関係式は非可換トーラスの定義式と同じ形です。 --- ## 1. 動機：点の集まりとしての空間から、関数環としての空間へ ### 1.1. 座標環という発想 デカルト以来、空間とは点の集まりであり、幾何とは点の間の関係を調べる学問でした。しかし 20 世紀の数学は、逆向きの見方を何度も再発見してきました。**空間そのものではなく、その上の関数がなす環を第一の対象にする**という見方です。 代数幾何ではこの転換が最も早く完成しました。体 $k$ 上のアフィン代数多様体 $V$ に座標環 $k[V]$ を対応させると、$V$ の点は $k[V]$ の極大イデアルに、多様体の射は環準同型に、向きを逆にして対応します（ヒルベルトの零点定理）。グロタンディークはこれを徹底し、**任意の**可換環 $R$ の素イデアル全体 $\operatorname{Spec} R$ を「空間」とみなしました。環と空間はもはや区別されません（[イデアルと剰余環](/mathematics/algebra/ideals-and-quotient-rings)）。測度論も同様で、$(X, \mu)$ に $L^\infty(X,\mu)$ を対応させると可測集合は冪等元に、測度は線形汎関数に翻訳されます（[L^p 空間と関数解析への導入](/mathematics/real-analysis/lp-spaces)）。 では**位相**についてはどうでしょうか。位相空間 $X$ にその上の複素数値連続関数のなす環 $C(X)$ を対応させるのは自然です。問題は、この対応がどこまで忠実か、すなわち $C(X)$ から $X$ を復元できるかです。答えは、適切なノルムと対合を込みで考えれば「できる」であり、それがイズライル・ゲルファントとマルク・ナイマルクが 1943 年に確立した定理です。$X$ がコンパクトハウスドルフなら、$C(X)$ というデータだけから $X$ が同相を除いて決まります。 ### 1.2. 二つの困難：量子論と悪い商 ゲルファント・ナイマルクの定理を「空間 $=$ 可換 C*-代数」という等式として読むと、直ちに次の問いが立ちます。**可換性を落としたらどうなるのか。** この問いは好奇心だけから出てくるのではありません。むしろ、既存の数学が行き詰まっている二つの場所が、いずれも非可換代数を指し示しています。 第一は量子力学です。古典力学の相空間の上では物理量は関数であり、その積は可換です。ところが量子力学では位置 $q$ と運動量 $p$ が $qp - pq = i\hbar$ を満たし、可換ではありません。ハイゼンベルクが 1925 年に到達した「物理量は数ではなく行列である」という洞察は、相空間の関数環が非可換代数に置き換わったことを意味します。可換 C*-代数が空間なのだとすれば、量子力学の物理量の代数は**空間ではない何か**、つまり「点を持たない相空間」です。 第二は商空間です。同値関係で割って商 $X/\sim$ を作る操作は幾何のいたるところに現れます。群作用の軌道空間、葉層構造の葉の空間、タイル張りの並進による同値類などです。ところがこれらの商は、商位相を入れると壊れてしまう場合があります。 で見るように、円周を無理数回転で割った空間は位相空間としては 1 点と区別がつきません。 アラン・コンヌの提案は明快です。**商を取ってから関数環を作るのをやめ、同値関係そのものを代数に符号化する。** 出てくる代数は非可換ですが、そのぶん情報を失いません。 --- ## 2. 準備：バナッハ代数と C*-代数 以下、代数はすべて複素数体上のものとします。$\mathbb{T} = \{z \in \mathbb{C} : |z| = 1\}$ と書き、$\mathbb{N} = \{1, 2, \ldots\}$ とします。ヒルベルト空間 $H$ 上の有界線形作用素全体を $B(H)$ と書きます。 複素代数 $A$ がノルム $\|\cdot\|$ を備え、そのノルムに関して完備であり、かつすべての $a, b \in A$ に対して $$ \|ab\| \le \|a\|\,\|b\| $$ を満たすとき、$A$ を**バナッハ代数**といいます。乗法単位元 $\mathbf{1}$ を持ち $\|\mathbf{1}\| = 1$ であるとき、$A$ は**単位的**であるといいます。 さらに写像 $*: A \to A$ が、すべての $a, b \in A$ と $\lambda \in \mathbb{C}$ に対して $$ (a+b)^* = a^* + b^*, \quad (\lambda a)^* = \bar{\lambda} a^*, \quad (ab)^* = b^* a^*, \quad (a^*)^* = a $$ を満たすとき、$*$ を**対合**といい、対合を備えたバナッハ代数を**バナッハ *-代数**といいます。 ノルムの完備性は、極限操作を代数の内部で行うための条件です（[実数の完備性とコーシー列](/mathematics/real-analysis/completeness-and-cauchy) の ）。 バナッハ *-代数 $A$ が、すべての $a \in A$ に対して $$ \|a^* a\| = \|a\|^2 $$ を満たすとき、$A$ を **C\*-代数**といいます。この等式を **C\*-恒等式**といいます。 $A$ が可換（すべての $a,b$ で $ab = ba$）であるとき、$A$ を**可換 C\*-代数**といいます。 C*-恒等式は一見すると小さな追加条件ですが、これがすべての鍵を握ります。まず、この一本の等式から対合の等長性が従います。 C*-代数において $\|a^*\| = \|a\|$ が成り立ちます。実際、C*-恒等式と劣乗法性から $$ \|a\|^2 = \|a^* a\| \le \|a^*\|\,\|a\| $$ なので、$a \ne 0$ なら両辺を $\|a\|$ で割って $\|a\| \le \|a^*\|$ を得ます（$a = 0$ のときは両辺 $0$）。$a$ を $a^*$ に置き換えると $\|a^*\| \le \|a^{**}\| = \|a\|$ となり、合わせて等号が出ます。さらに のとおりノルムはスペクトル半径から復元されるので、C*-代数のノルムは代数構造から一意に決まり、実質的に純代数的な対象になります。 $X$ を局所コンパクトハウスドルフ空間とします。連続関数 $f: X \to \mathbb{C}$ が**無限遠で消える**とは、任意の $\varepsilon > 0$ で $\{x \in X : |f(x)| \ge \varepsilon\}$ がコンパクトであることをいい、そのような $f$ の全体を $C_0(X)$ と書きます。$X$ がコンパクトならこの条件は自動的に成り立ち、$C_0(X) = C(X)$ です。 $C_0(X)$ に各点ごとの和と積、ノルム $\|f\|_\infty = \sup_{x \in X} |f(x)|$、対合 $f^*(x) = \overline{f(x)}$ を入れます。完備性は一様収束極限が連続であること（[関数列と一様収束](/mathematics/real-analysis/uniform-convergence) の ）から従います。劣乗法性は、各点で $|f(x)g(x)| \le \|f\|_\infty \|g\|_\infty$ が成り立つので左辺の上限を取れば出ます。C*-恒等式は $$ \|f^* f\|_\infty = \sup_{x} |\overline{f(x)} f(x)| = \sup_x |f(x)|^2 = \left(\sup_x |f(x)|\right)^2 = \|f\|_\infty^2 $$ と直接計算できます。積が各点ごとなので、$C_0(X)$ は可換 C*-代数です。 $H$ をヒルベルト空間、$B(H)$ を有界線形作用素全体とし、作用素ノルムと随伴 $T \mapsto T^*$ を入れます。C*-恒等式は次のように示せます。任意の $\xi \in H$ に対し $$ \|T\xi\|^2 = \langle T\xi, T\xi \rangle = \langle T^* T \xi, \xi\rangle \le \|T^* T\|\,\|\xi\|^2 $$ （コーシー・シュワルツの不等式）から $\|T\|^2 \le \|T^* T\|$ を得ます。逆向きは劣乗法性と $\|T^*\| = \|T\|$ から $\|T^*T\| \le \|T^*\|\|T\| = \|T\|^2$ です。 $H = \mathbb{C}^n$ の場合が $M_n(\mathbb{C})$ で、$n \ge 2$ なら非可換な有限次元 C*-代数です。$B(H)$ のノルム閉 *-部分代数はすべて C*-代数であり、逆もまた真というのが です。 最後に、この記事の中心となる概念を定めます。$A$ を単位的代数、$a \in A$ とするとき、 $$ \sigma(a) = \{\lambda \in \mathbb{C} : \lambda \mathbf{1} - a \text{ は } A \text{ の中で可逆でない}\} $$ を $a$ の**スペクトル**といいます。$A$ が $\{0\}$ でない単位的バナッハ代数なら $\sigma(a)$ は空でないコンパクト集合であり（）、 $$ r(a) = \max\{|\lambda| : \lambda \in \sigma(a)\} $$ を**スペクトル半径**といいます。$A = M_n(\mathbb{C})$ なら $\sigma(a)$ は固有値の集合、$A = C(X)$ なら $\sigma(f) = f(X)$（値域）です。後者は、$f - \lambda$ が可逆であることと「どこでも $0$ にならない」ことが同値である（そのとき $1/(f-\lambda)$ が連続）ことから出ます。 --- ## 3. ゲルファント変換 可換 C*-代数 $A$ からどうやって空間を作るか。$A = C(X)$ の場合を手がかりにしましょう。点 $x \in X$ は評価写像 $$ \mathrm{ev}_x : C(X) \to \mathbb{C}, \qquad f \mapsto f(x) $$ を定め、これは $0$ でない代数準同型です。逆に、$C(X)$ から $\mathbb{C}$ への $0$ でない代数準同型が必ず評価写像だと言えれば、$X$ を代数の言葉だけで再構成できます。これがゲルファント理論の筋書きです。 $A$ を可換バナッハ代数とします。線形かつ $\chi(ab) = \chi(a)\chi(b)$ を満たし恒等的に $0$ でない写像 $\chi: A \to \mathbb{C}$ を $A$ の**指標**といい、指標全体の集合 $\Omega(A)$ を $A$ の**ゲルファントスペクトル**（指標空間）といいます。 $\Omega(A)$ には双対空間 $A^*$ の弱 * 位相の相対位相を入れます。すなわち $\chi_i \to \chi$ とは、すべての $a \in A$ で $\chi_i(a) \to \chi(a)$ となることです。 $A$ を単位的可換バナッハ代数とします。このとき次が成り立ちます。 1. すべての $\chi \in \Omega(A)$ に対し $\chi(\mathbf{1}) = 1$ であり、$\chi$ は連続で $\|\chi\| \le 1$ である。 2. $\Omega(A)$ は弱 * 位相についてコンパクトハウスドルフ空間である。 **(1)** $\chi \ne 0$ なので $\chi(a) \ne 0$ となる $a$ が存在し、$\chi(a) = \chi(a\mathbf{1}) = \chi(a)\chi(\mathbf{1})$ から $\chi(\mathbf{1}) = 1$ を得ます。次に、$a$ が可逆なら $\chi(a)\chi(a^{-1}) = \chi(\mathbf{1}) = 1$ なので $\chi(a) \ne 0$ です。つまり**指標は可逆元を $0$ に送りません**。 いま $|\chi(a)| > \|a\|$ なる $a$ があったとします。$\lambda = \chi(a)$ とおくと $\|a/\lambda\| < 1$ なので、$A$ の完備性からノイマン級数 $\sum_{n \ge 0} (a/\lambda)^n$ は絶対収束し、その和が $(\mathbf{1} - a/\lambda)^{-1}$ を与えます。よって $\lambda\mathbf{1} - a$ は可逆ですが、$\chi(\lambda \mathbf{1} - a) = \lambda - \chi(a) = 0$ となっていま示したことに矛盾します。したがってすべての $a$ で $|\chi(a)| \le \|a\|$、すなわち $\chi$ は連続で $\|\chi\| \le 1$ です。 **(2)** (1) より $\Omega(A)$ は $A^*$ の閉単位球 $B$ に含まれ、バナッハ・アラオグルの定理により $B$ は弱 * 位相でコンパクトです。あとは $\Omega(A)$ が $B$ の弱 * 閉部分集合であることを示せば十分です。 $\varphi \in B$ が $\Omega(A)$ の弱 * 閉包に属するとします。弱 * 位相の定義から、$a, b \in A$ と $\varepsilon > 0$ を与えるごとに、$|\varphi(a) - \chi(a)|$、$|\varphi(b) - \chi(b)|$、$|\varphi(ab) - \chi(ab)|$、$|\varphi(\mathbf{1}) - \chi(\mathbf{1})|$ がすべて $\varepsilon$ 未満となる $\chi \in \Omega(A)$ が取れます。$\chi(ab) = \chi(a)\chi(b)$ と $\chi(\mathbf 1) = 1$ を使って $\varepsilon \to 0$ とすれば $\varphi(ab) = \varphi(a)\varphi(b)$ と $\varphi(\mathbf{1}) = 1$ が従い、とくに $\varphi \ne 0$ なので $\varphi \in \Omega(A)$ です。ハウスドルフ性は、$\varphi \ne \psi$ に対し $\varphi(a) \ne \psi(a)$ なる $a$ が取れ、$\mathbb{C}$ の開集合で分離できることから出ます。 指標とスペクトルは、可換な世界では同じものの二つの顔です。 $A$ を単位的可換バナッハ代数、$a \in A$ とします。このとき $$ \sigma(a) = \{\chi(a) : \chi \in \Omega(A)\} $$ が成り立ちます。 **（$\supseteq$）** $\chi \in \Omega(A)$ とし $\lambda = \chi(a)$ とおくと $\chi(\lambda\mathbf{1} - a) = 0$ ですが、 の証明のとおり指標は可逆元を $0$ に送りません。よって $\lambda\mathbf{1} - a$ は非可逆、つまり $\lambda \in \sigma(a)$ です。 **（$\subseteq$）** $\lambda \in \sigma(a)$ とし、非可逆元 $b = \lambda\mathbf{1} - a$ を取ります。$A$ は可換なので $I = bA$ はイデアルです。もし $\mathbf{1} \in I$ なら $\mathbf{1} = bc$ なる $c$ があり、可換性から $cb = bc = \mathbf 1$ となって $b$ が可逆になり矛盾します。よって $I$ は真のイデアルです。 ツォルンの補題により $I$ を含む極大イデアル $M$ が存在します。 より $M$ は閉なので商 $A/M$ は単位的可換バナッハ代数であり、$M$ の極大性から $A/M$ は体です（[イデアルと剰余環](/mathematics/algebra/ideals-and-quotient-rings) の ）。ゲルファント・マズールの定理（）により $A/M \cong \mathbb{C}$ です。 商写像 $A \to A/M \cong \mathbb{C}$ を $\chi$ と書けばこれは $0$ でない代数準同型、すなわち指標であり、$b \in I \subseteq M = \ker\chi$ より $\chi(b) = 0$、すなわち $\chi(a) = \lambda$ です。 $A$ を単位的可換バナッハ代数とします。$a \in A$ に対し関数 $\hat{a} : \Omega(A) \to \mathbb{C}$ を $$ \hat{a}(\chi) = \chi(a) $$ で定めます。弱 * 位相の定義から $\hat{a}$ は連続です。写像 $$ \Gamma : A \to C(\Omega(A)), \qquad \Gamma(a) = \hat{a} $$ を **ゲルファント変換**といいます。$\widehat{ab}(\chi) = \chi(ab) = \chi(a)\chi(b) = \hat a(\chi)\hat b(\chi)$ なので $\Gamma$ は代数準同型です。 により $\hat{a}(\Omega(A)) = \sigma(a)$、したがって $\|\hat{a}\|_\infty = r(a)$ です。つまり $\Gamma$ が等長になるかどうかは $\|a\| = r(a)$ にかかっています。一般のバナッハ代数ではこれは偽で、$M_2(\mathbb{C})$ の $0$ でない冪零行列はスペクトル半径 $0$ ですがノルムは $0$ ではありません。ここで C*-恒等式が効きます。 $A$ を単位的 C*-代数、$a \in A$ を**正規元**（$a^* a = a a^*$）とすると $$ \|a\| = r(a) $$ が成り立ちます。とくに $A$ が可換ならすべての元が正規なので、任意の $a \in A$ で $\|a\| = r(a)$ です。 まず $b \in A$ が自己共役（$b^* = b$）のとき、C*-恒等式から $\|b^2\| = \|b^* b\| = \|b\|^2$ です。 次に $a$ が正規のとき $\|a^2\| = \|a\|^2$ を示します。$a^2$ に C*-恒等式を使うと $$ \|a^2\|^2 = \|(a^2)^* a^2\| = \|(a^*)^2 a^2\| $$ ですが、$a$ が正規なので $a^*$ と $a$ は可換であり、$(a^*)^2 a^2 = (a^* a)^2$ と書き直せます。$a^* a$ は自己共役ですから、いま示したことを $b = a^*a$ に適用して $$ \|(a^*a)^2\| = \|a^* a\|^2 = \left(\|a\|^2\right)^2 = \|a\|^4 $$ を得ます。よって $\|a^2\| = \|a\|^2$ です。 $a$ が正規なら $a^2$ も正規（$a$ と $a^*$ が可換だから）なので、この議論を繰り返して帰納的に $$ \|a^{2^n}\| = \|a\|^{2^n} \qquad (n = 0, 1, 2, \ldots) $$ を得ます。スペクトル半径公式（）$r(a) = \lim_{m \to \infty} \|a^m\|^{1/m}$ では極限が存在するので、部分列 $m = 2^n$ で計算してよく、 $$ r(a) = \lim_{n \to \infty} \|a^{2^n}\|^{1/2^n} = \lim_{n \to \infty} \|a\| = \|a\| $$ となります。 --- ## 4. ゲルファント・ナイマルクの定理 $A$ を単位的可換 C*-代数とします。このとき $\Omega(A)$ はコンパクトハウスドルフ空間であり、ゲルファント変換 $$ \Gamma : A \longrightarrow C(\Omega(A)), \qquad \Gamma(a) = \hat{a} $$ は等長な *-同型（すなわち全単射な代数準同型で、$\|\Gamma(a)\|_\infty = \|a\|$ かつ $\Gamma(a^*) = \overline{\Gamma(a)}$）です。 $\Omega(A)$ のコンパクトハウスドルフ性は 、$\Gamma$ が代数準同型であることは で確認しました。残りを 4 段階で示します。 **第 1 段：自己共役元の指標値は実数である。** $b \in A$ を自己共役、$\chi \in \Omega(A)$ とし、$\chi(b) = \alpha + i\beta$（$\alpha, \beta \in \mathbb{R}$）と書きます。任意の $t \in \mathbb{R}$ に対して $$ \chi(b + it\mathbf{1}) = \alpha + i(\beta + t) $$ です（ の $\chi(\mathbf 1) = 1$ を使いました）。同じ補題の $\|\chi\| \le 1$ より $$ \alpha^2 + (\beta+t)^2 = |\chi(b+it\mathbf{1})|^2 \le \|b + it\mathbf{1}\|^2 . $$ 右辺を C*-恒等式で計算します。$b^* = b$ より $(b + it\mathbf{1})^* = b - it\mathbf{1}$ なので $$ \|b+it\mathbf{1}\|^2 = \|(b - it\mathbf{1})(b + it\mathbf{1})\| = \|b^2 + t^2 \mathbf{1}\| \le \|b\|^2 + t^2 $$ です（最後は三角不等式と $\|b^2\| \le \|b\|^2$、$\|\mathbf 1\| = 1$）。両者を合わせると $$ \alpha^2 + \beta^2 + 2\beta t + t^2 \le \|b\|^2 + t^2, \qquad \text{すなわち} \qquad \alpha^2 + \beta^2 + 2\beta t \le \|b\|^2 $$ がすべての $t \in \mathbb{R}$ で成り立ちます。$\beta \ne 0$ なら $t \to \pm\infty$ で左辺は $+\infty$ に発散するので不合理です。よって $\beta = 0$、つまり $\chi(b) \in \mathbb{R}$ です。 **第 2 段：$\Gamma$ は *-準同型である。** 任意の $a \in A$ を $$ a = b + ic, \qquad b = \frac{a + a^*}{2}, \quad c = \frac{a - a^*}{2i} $$ と分解すると、$b, c$ はいずれも自己共役です（$b^* = (a^* + a)/2 = b$、$c^* = (a^* - a)/(-2i) = c$）。第 1 段より $\chi(b), \chi(c) \in \mathbb{R}$ なので、$a^* = b - ic$ から $$ \chi(a^*) = \chi(b) - i\chi(c) = \overline{\chi(b) + i \chi(c)} = \overline{\chi(a)} . $$ すなわち $\widehat{a^*} = \overline{\hat{a}}$ です。 **第 3 段：$\Gamma$ は等長である。** $A$ は可換なので全元が正規です。 と から $$ \|\hat{a}\|_\infty = \sup_{\chi \in \Omega(A)} |\chi(a)| = \max\{|\lambda| : \lambda \in \sigma(a)\} = r(a) = \|a\| . $$ とくに $\Gamma$ は単射であり、$A$ が完備なので像 $\Gamma(A)$ は $C(\Omega(A))$ の閉部分集合です。 **第 4 段：$\Gamma$ は全射である。** $\Gamma(A)$ は $C(\Omega(A))$ の部分代数で、第 2 段より複素共役で閉じており、$\Gamma(\mathbf{1})$ は定数関数 $1$ です。また $\Gamma(A)$ は $\Omega(A)$ の点を分離します。実際 $\chi \ne \psi$ なら定義から $\chi(a) \ne \psi(a)$ なる $a$ が存在し、$\hat{a}(\chi) \ne \hat{a}(\psi)$ となるからです。 $\Omega(A)$ はコンパクトハウスドルフなので、ストーン・ワイエルシュトラスの定理により $\Gamma(A)$ は稠密です。第 3 段より $\Gamma(A)$ は閉なので $\Gamma(A) = C(\Omega(A))$ です。 単位元を仮定しない可換 C*-代数 $A$ でも同じ結論が成り立ちます。$\Omega(A)$ は（コンパクトとは限らない）局所コンパクトハウスドルフ空間になり、ゲルファント変換は等長 *-同型 $A \cong C_0(\Omega(A))$ を与えます。証明は、単位元を添加した $\tilde{A} = A \oplus \mathbb{C}\mathbf{1}$ に本定理を適用し、$\Omega(\tilde A) = \Omega(A) \cup \{\infty\}$ が一点コンパクト化であることを見ればつきます。 ### 4.1. 空間の復元と圏同値 は「可換 C*-代数は必ず関数環である」と言っています。逆向きの「空間は関数環から復元される」を確認しましょう。 $X$ をコンパクトハウスドルフ空間とします。写像 $$ \varepsilon : X \to \Omega(C(X)), \qquad \varepsilon(x) = \mathrm{ev}_x $$ （$\mathrm{ev}_x(f) = f(x)$）は同相写像です。 **well-defined：** $C(X)$ の演算が各点ごとなので $\mathrm{ev}_x(fg) = f(x)g(x) = \mathrm{ev}_x(f)\mathrm{ev}_x(g)$ であり、和とスカラー倍も同様なので $\mathrm{ev}_x$ は代数準同型です。$\mathrm{ev}_x(\mathbf{1}) = 1 \ne 0$ なので $0$ 写像ではなく、指標です。 **単射性：** $x \ne y$ とします。コンパクトハウスドルフ空間は正規なので、 により $f(x) = 0, f(y) = 1$ なる $f \in C(X)$ が存在し（[分離公理と距離づけ可能性](/mathematics/topology/separation-axioms)）、$\mathrm{ev}_x \ne \mathrm{ev}_y$ です。 **全射性：** $\chi \in \Omega(C(X))$ とし $M = \ker \chi$ とおき、すべての $f \in M$ が同時に消える点 $x$ の存在を示します。存在しないとすると、各 $x$ に対し $f_x(x) \ne 0$ なる $f_x \in M$ が取れます。$U_x = \{y : f_x(y) \ne 0\}$ は $x$ を含む開集合なので $\{U_x\}$ は開被覆であり、$X$ のコンパクト性から有限個 $U_{x_1}, \ldots, U_{x_n}$ で被覆できます（[コンパクト性](/mathematics/topology/compactness)）。そこで $$ g = \sum_{k=1}^{n} \overline{f_{x_k}} f_{x_k} $$ とおくと、$g$ はどの点でも $0$ にならない連続関数、すなわち可逆元です。ところが $M$ はイデアルなので $g \in M$ であり、指標が可逆元を $0$ に送らないこと（ の証明）に矛盾します。 よって、すべての $f \in M$ が $f(x) = 0$ を満たす点 $x$ が存在します。任意の $f \in C(X)$ で $f - \chi(f)\mathbf{1} \in M$ ですから、この点 $x$ で $f(x) - \chi(f) = 0$、すなわち $\chi = \mathrm{ev}_x$ です。 **同相性：** 弱 * 位相は各 $f$ について $\chi \mapsto \chi(f)$ が連続となる最弱の位相であり、$x \mapsto f(x)$ は連続なので $\varepsilon$ も連続です。$X$ はコンパクト、$\Omega(C(X))$ はハウスドルフ（）なので、連続全単射は同相写像です（、[連続写像と同相写像](/mathematics/topology/continuous-maps)）。 $X, Y$ をコンパクトハウスドルフ空間とします。$X$ と $Y$ が同相であることと、$C(X)$ と $C(Y)$ が *-同型な C*-代数であることは同値です。 **（$\Rightarrow$）** 同相写像 $\varphi : X \to Y$ に対し $\varphi^*(f) = f \circ \varphi$ と定めると、$\varphi^*$ は *-同型で逆写像は $(\varphi^{-1})^*$ です。 **（$\Leftarrow$）** *-同型 $\Phi: C(X) \to C(Y)$ が与えられたとします。双対 $\Phi^\vee(\chi) = \chi \circ \Phi$ は $\Omega(C(Y)) \to \Omega(C(X))$ の写像で、$\Phi$ が全単射準同型なので $\Phi^\vee$ も全単射、弱 * 位相の定義から $\Phi^\vee$ とその逆はともに連続、よって同相写像です。 により $X \cong \Omega(C(X))$、$Y \cong \Omega(C(Y))$ なので、合成して $Y \cong X$ を得ます。
|"固有連続写像 φ"| Y["空間 Y"] CY["可換 C*-代数 C₀(Y)"] -->|"φ* : f ↦ f∘φ"| CX["C₀(X)"] X -.->|"C₀(−)"| CX Y -.->|"C₀(−)"| CY`} />
対応は射についても成立します。固有連続写像 $\varphi: X \to Y$（コンパクト集合の逆像がコンパクト）は $\varphi^*: C_0(Y) \to C_0(X)$ を定め、逆にすべての非退化 *-準同型 $C_0(Y) \to C_0(X)$ はこの形をしていて、合成の順序は逆転します。すなわち**局所コンパクトハウスドルフ空間と固有連続写像の圏は、可換 C\*-代数と非退化 *-準同型の圏に反変的に同値です**。 ### 4.2. 幾何と代数の辞書 圏同値があれば、幾何的な性質はすべて代数的な性質に翻訳されます。実際にやってみましょう。 1. $X$ を局所コンパクトハウスドルフ空間とする。$C_0(X)$ が乗法単位元を持つことと $X$ がコンパクトであることは同値である。 2. $X$ をコンパクトハウスドルフ空間とする。$X$ が連結であることと、$C(X)$ の冪等元（$p^2 = p$ を満たす元）が $0$ と $\mathbf{1}$ しかないことは同値である。 **(1)（$\Leftarrow$）** $X$ がコンパクトなら定数関数 $1$ は $C_0(X)$ に属し、これが単位元です。 **(1)（$\Rightarrow$）** $u \in C_0(X)$ を単位元とします。局所コンパクトハウスドルフ空間ではウリゾーンの補題により、各 $x$ に対し $f(x) \ne 0$ なる $f \in C_0(X)$ が存在します。$uf = f$ を $x$ で評価して $f(x)$ で割ると $u(x) = 1$、$x$ は任意なので $u \equiv 1$ です。$u \in C_0(X)$ の定義を $\varepsilon = 1/2$ に適用すると $\{x : |u(x)| \ge 1/2\} = X$ がコンパクトでなければなりません。 **(2)（$\Rightarrow$）** $p \in C(X)$ を $p^2 = p$ なる元とすると、各点で $p(x)^2 = p(x)$ なので $p(x) \in \{0, 1\}$ です。よって $U = p^{-1}(1)$ と $V = p^{-1}(0)$ はともに開で $X = U \sqcup V$ という分割を与えます。$X$ が連結なら一方が空であり、$p = \mathbf{1}$ または $p = 0$ です。 **(2)（$\Leftarrow$）** $X$ が連結でないとし、$X = U \sqcup V$（$U, V$ は空でない開集合）と書きます。$U$ は開かつ閉なので指示関数 $\mathbf{1}_U$ は連続で、$\mathbf{1}_U^2 = \mathbf{1}_U$、かつ $U, V$ がともに空でないので $\mathbf{1}_U \ne 0, \mathbf{1}$ です。 翻訳をまとめると次の辞書になります。右端の列は可換性を捨てたときの対応物です。 | 空間 $X$（コンパクトハウスドルフ） | 可換 C*-代数 $C(X)$ | 一般の C*-代数 $A$ | |---|---|---| | 点 | 極大イデアル、指標 | 既約表現、純粋状態、原始イデアル | | コンパクト | 単位元を持つ | 単位元を持つ | | 連結 | 冪等元は $0, \mathbf 1$ のみ | 射影の構造、$K_0$ | | 開集合 $U$ | 閉イデアル $C_0(U)$ | 閉両側イデアル | | 閉集合 $F$ | 商 $C(F)$ | 商 C*-代数 | | 距離づけ可能 | 可分 | 可分 | | ベクトル束 | 有限生成射影加群（スワンの定理） | 有限生成射影加群、$K_0$ | | ラドン測度 | 正線形汎関数（リースの表現定理） | 状態、トレース | | 微分構造・計量 | （関数環だけでは見えない） | スペクトル三つ組 $(A, H, D)$ | 最後の 2 行がこの理論の射程を示しています。測度論的な情報は状態とトレースに、微分幾何的な情報はスペクトル三つ組に翻訳されます（[K-理論入門](/mathematics/noncommutative-geometry/k-theory)、[スペクトル三つ組 (A, H, D)](/mathematics/noncommutative-geometry/spectral-triples)）。ベクトル束と有限生成射影加群の対応を与えるのは です。 最後に、C*-代数が「作用素環」と同義であることを述べます。 $A$ を任意の C*-代数とする。このとき、あるヒルベルト空間 $H$ と等長な単射 *-準同型 $\pi: A \to B(H)$ が存在し、$\pi(A)$ は $B(H)$ のノルム閉 *-部分代数である。$A$ が可分ならば $H$ も可分に取れる。 証明は GNS 構成（Gelfand–Naimark–Segal）によります。状態 $\varphi$ から内積 $\langle a, b\rangle = \varphi(b^* a)$ を作って零空間で割り、完備化してヒルベルト空間を得る操作を十分多くの状態で行い、直和を取ります（[C*-代数の基礎](/mathematics/noncommutative-geometry/c-star-algebras)）。 この定理と を合わせると、次の構図が得られます。**C\*-代数とは作用素環のことであり、そのうち可換なものが空間である。** 非可換な C*-代数とは「作用素環でありながら空間ではないもの」であり、これを空間とみなそうというのが非可換幾何学の主張です。 --- ## 5. 悪い空間：商が壊れるとき 非可換代数が必要になる典型例を、最後まで計算して見せます。 $\theta \in \mathbb{R} \setminus \mathbb{Q}$ を固定し、円周 $\mathbb{T}$ 上の回転 $$ R_\theta : \mathbb{T} \to \mathbb{T}, \qquad R_\theta(z) = e^{2\pi i \theta} z $$ を考えます。これは $\mathbb{Z}$ の作用 $n \cdot z = e^{2\pi i n\theta} z$ を定めます（[群論入門 - 群の定義と例](/mathematics/algebra/groups)）。軌道空間 $\mathbb{T}/\mathbb{Z}$ を商位相で考えます。 **第 1 段：すべての軌道は稠密である。** まず $z_n = e^{2\pi i n \theta}$（$n \in \mathbb{Z}$）はすべて相異なります。実際 $z_n = z_m$ なら $(n-m)\theta \in \mathbb{Z}$ ですが、$\theta$ が無理数なので $n = m$ です。 $\mathbb{T}$ はコンパクトなので無限集合 $\{z_n\}_{n \in \mathbb{N}}$ は集積点を持ち、任意の $\varepsilon > 0$ に対し $n \ne m$ かつ $|z_n - z_m| < \varepsilon$ なるものが存在します。$k = n - m \ne 0$ とおくと、回転が等長なので $|z_k - 1| = |z_n - z_m| < \varepsilon$ です。したがって $z_k$ は $0$ でない角度の回転で、その弦の長さは $\varepsilon$ 未満です。ゆえに $\{z_{kj}\}_{j\in\mathbb{Z}}$ は隣り合う距離 $\varepsilon$ 未満で円周を一周し、$\mathbb{T}$ の $\varepsilon$-網になります。$\varepsilon$ は任意なので $\{z_n\}_{n \in \mathbb{Z}}$ は稠密であり、任意の $x$ の軌道 $\{z_n x\}$ も、回転が等長な全単射であることから稠密です。 **第 2 段：商位相は密着位相である。** $F \subseteq \mathbb{T}$ を空でない $R_\theta$-不変な閉集合とします。$x \in F$ を取ると不変性から軌道全体が $F$ に含まれ、第 1 段よりその軌道は稠密です。$F$ は閉なので $F \supseteq \overline{\{z_n x\}} = \mathbb{T}$、すなわち $F = \mathbb{T}$ です。補集合を取れば $R_\theta$-不変な開集合は $\emptyset$ と $\mathbb{T}$ だけであり、商位相の定義（開集合とは逆像が不変開集合であるもの）から $\mathbb{T}/\mathbb{Z}$ の位相は密着位相です。 **第 3 段：連続関数は定数のみである。** 商位相の普遍性から、$\mathbb{T}/\mathbb{Z}$ 上の連続関数は $\mathbb{T}$ 上の $R_\theta$-不変な連続関数と一対一に対応します。$f \in C(\mathbb{T})$ が不変ならすべての $n$ で $f(z_n x) = f(x)$ なので、第 1 段より $f$ は稠密集合の上で値 $f(x)$ を取り、連続性から $f \equiv f(x)$ です。よって $$ C(\mathbb{T}/\mathbb{Z}) = \mathbb{C} . $$ **結論。** $\mathbb{C}$ は 1 点空間の関数環です（$\Omega(\mathbb{C})$ は恒等写像ただ 1 つ）。関数環から見ると $\mathbb{T}/\mathbb{Z}$ は**1 点と区別がつかず**、$\theta$ の情報は完全に失われています。
R_θ x
### 5.1. 商を取らずに代数を作る の失敗の原因は明確です。$C(\mathbb{T}/\mathbb{Z})$ は $C(\mathbb{T})$ の**不変元だけ**を取り出す操作で、不変元が少なすぎたのです。 コンヌの処方箋は、不変元を取る代わりに $C(\mathbb{T})$ へ「作用を実装する新しい元」を付け加えることです。回転 $R_\theta$ を代数の言葉に直すと $*$-自己同型 $$ \alpha : C(\mathbb{T}) \to C(\mathbb{T}), \qquad \alpha(f) = f \circ R_\theta^{-1} $$ になります。そこで $C(\mathbb{T})$ とユニタリ元 $v$（$v^* v = v v^* = \mathbf{1}$）を含み、関係式 $$ v f v^* = \alpha(f) \qquad (f \in C(\mathbb{T})) $$ を満たす最大の C*-代数を作ります。これを**交叉積** $C(\mathbb{T}) \rtimes_\alpha \mathbb{Z}$ といいます。$v$ と $f$ は一般に可換でないので非可換です。 $C(\mathbb{T})$ は座標関数 $u(z) = z$ で生成される（ストーン・ワイエルシュトラス）ので、交叉積は 2 つのユニタリ $u, v$ で生成され、関係式は $$ (vuv^*)(z) = \alpha(u)(z) = u(R_\theta^{-1}z) = e^{-2\pi i\theta} z = e^{-2\pi i \theta}\, u(z) $$ から $vuv^* = e^{-2\pi i\theta} u$、書き直して $uv = e^{2\pi i \theta} v u$ です。 $\theta \in \mathbb{R}$ に対し、2 つのユニタリ元 $u, v$ と関係式 $$ u^* u = u u^* = \mathbf{1}, \quad v^* v = v v^* = \mathbf{1}, \quad uv = e^{2\pi i \theta}\, vu $$ で生成される普遍 C*-代数を $A_\theta$ と書き、**非可換トーラス**（$\theta$ が無理数のときは**無理数回転環**）といいます。「普遍」とは、この関係式を満たすユニタリの組 $(U, V)$ を含む任意の C*-代数 $B$ に対し、$u \mapsto U$, $v \mapsto V$ を延長する *-準同型 $A_\theta \to B$ がただ一つ存在するという意味です。$A_\theta$ は交叉積 $C(\mathbb{T}) \rtimes_{\alpha} \mathbb{Z}$ と *-同型です。 $H = L^2(\mathbb{T})$（正規化ハール測度に関する二乗可積分関数、[L^p 空間と関数解析への導入](/mathematics/real-analysis/lp-spaces)）に 2 つの作用素を定めます。 $$ (Uf)(z) = z f(z), \qquad (Vf)(z) = f(e^{-2\pi i \theta} z) . $$ $U$ は絶対値 $1$ の関数を掛ける作用素、$V$ は回転による平行移動なので、いずれもユニタリです。 $$ (UVf)(z) = z\,(Vf)(z) = z\, f(e^{-2\pi i\theta} z), $$ $$ (VUf)(z) = (Uf)(e^{-2\pi i\theta}z) = e^{-2\pi i\theta} z \, f(e^{-2\pi i \theta} z) . $$ したがって $VU = e^{-2\pi i\theta}\, UV$、すなわち $UV = e^{2\pi i\theta}\, VU$ であり、 の関係式が成り立ちます。$U, V$ の生成する $B(H)$ のノルム閉 *-部分代数が $A_\theta$ の具体的なモデルです（$\theta$ が無理数なら の単純性からこの表現は自動的に単射です）。 $\theta$ を無理数とする。このとき $A_\theta$ は単純である。すなわち閉両側イデアルは $\{0\}$ と $A_\theta$ しかない。さらに $A_\theta$ 上のトレース状態はただ一つで、 $$ \tau\left(\sum_{m,n} a_{mn} u^m v^n\right) = a_{00} $$ で与えられる。 証明は、トーラス $\mathbb{T}^2$ の $A_\theta$ への自然な作用 $\gamma_{(s,t)}(u) = su,\ \gamma_{(s,t)}(v) = tv$ を平均した条件付き期待値 $E(a) = \int_{\mathbb{T}^2} \gamma_{(s,t)}(a)\, ds\, dt$ を用い、$\theta$ の無理数性から $E$ の像が $\mathbb{C}\mathbf{1}$ になることを使います。詳細は （[非可換トーラスの例](/mathematics/noncommutative-geometry/noncommutative-torus)）とリーフェルの原論文（参考文献 5）を参照してください。 閉イデアルが開集合に対応するという辞書に照らすと、単純性は「点が 1 つしかない」ことに当たります。しかし $A_\theta$ は無限次元で、$M_n(\mathbb{C})$ のような単純代数とは構造がまるで違います。「点は 1 つだが、その 1 点が無限に豊かである」という状況こそ非可換空間の特徴です。 $\theta = 0$ のとき関係式は $uv = vu$ となり、$A_0$ は 2 つの可換なユニタリで生成される普遍可換 C*-代数、すなわち $A_0 \cong C(\mathbb{T}^2)$ です。ゲルファント双対性を通せば、これは 2 次元トーラスにほかなりません。$A_\theta$ を「非可換トーラス」と呼ぶ理由がここにあります。 $\theta = p/q$（既約分数、$q \ge 1$）のときは中間的です。関係式を繰り返し使うと $$ u^q v = e^{2\pi i \theta q}\, v u^q = e^{2\pi i p}\, v u^q = v u^q $$ であり（$p$ は整数なので $e^{2\pi i p} = 1$）、同様に $v^q$ も $u$ と可換です。よって $u^q, v^q$ は可換なユニタリで、生成する部分代数は $C(\mathbb{T}^2)$ と同型です。実際 $A_{p/q}$ の中心はちょうどこれに等しく、$A_{p/q}$ は 2 次元トーラス上の $M_q(\mathbb{C})$-束の連続切断のなす代数と同型であることが知られています。 つまり有理数 $\theta$ では非可換性が $q \times q$ 行列の中に閉じ込められ、中心のスペクトルとして「点」が復活します。無理数 $\theta$ にこの逃げ道はなく（）、非可換性が本質的になります。これは、有理数回転の軌道が有限集合で商がふつうの円周になるのに対し、無理数回転では の状況になるという違いに対応しています。 同じ処方箋が広い範囲で機能します。離散群 $\Gamma$ の空間 $X$ への作用には交叉積 $C_0(X) \rtimes \Gamma$、葉層構造には葉層 C*-代数、ペンローズ・タイル張りには亜群 C*-代数、というように「悪い商」はいずれも非可換 C*-代数として復活します。共通の枠組みは**亜群 C\*-代数**で、同値関係のグラフそのものを代数化する操作だと理解できます。 --- ## 6. 量子論が要求する非可換性 非可換代数へ向かうもう一方の道は物理からきます。ハイゼンベルクの正準交換関係 $qp - pq = i\hbar \mathbf{1}$ を C*-代数の枠組みでそのまま扱えるでしょうか。答えは否です。 $A$ を $\{0\}$ でない単位的バナッハ代数とする。このとき $$ ab - ba = \mathbf{1} $$ を満たす $a, b \in A$ は存在しない。とくに、有界作用素 $Q, P \in B(H)$ で $QP - PQ = i\hbar I$（$\hbar \ne 0$）を満たすものは存在しない。 $ab - ba = \mathbf{1}$ を満たす $a, b$ が存在したとします。 **第 1 段：$ab^n - b^n a = n b^{n-1}$（$n \ge 1$）の帰納法。** $n = 1$ は仮定そのものです（$b^0 = \mathbf{1}$）。$n$ で成り立つとすると、 $$ \begin{aligned} a b^{n+1} - b^{n+1} a &= (a b^n) b - b^{n+1} a \\ &= (b^n a + n b^{n-1}) b - b^{n+1} a \\ &= b^n (ab) + n b^n - b^{n+1}a \\ &= b^n (ba + \mathbf{1}) + n b^n - b^{n+1} a \\ &= b^{n+1} a + b^n + n b^n - b^{n+1}a = (n+1) b^n . \end{aligned} $$ 2 行目で帰納法の仮定、4 行目で $ab = ba + \mathbf{1}$ を使いました。 **第 2 段：ノルムの評価。** 第 1 段と三角不等式・劣乗法性から $$ n \|b^{n-1}\| = \|ab^n - b^n a\| \le 2\|a\|\,\|b^n\| \le 2\|a\|\,\|b\|\,\|b^{n-1}\| $$ であり、$b^{n-1} \ne 0$ なら両辺を $\|b^{n-1}\| > 0$ で割って $n \le 2\|a\|\,\|b\|$ を得ます。右辺は $n$ によらない定数なので、$n$ を十分大きく取ればこの不等式は破れます。したがって、ある $n$ で $b^{n-1} = 0$、すなわち $b^m = 0$ となる整数 $m \ge 0$ が存在します。 **第 3 段：矛盾。** $b^m = 0$ となる最小の $m \ge 0$ を $m_0$ とします。$m_0 = 0$ なら $\mathbf{1} = b^0 = 0$ となり $A = \{0\}$ で仮定に反します。よって $m_0 \ge 1$ であり、最小性から $b^{m_0 - 1} \ne 0$ です。ところが第 1 段を $n = m_0$ で使うと $$ 0 = a b^{m_0} - b^{m_0} a = m_0\, b^{m_0 - 1} $$ となり、$m_0 \ge 1$ なので $b^{m_0-1} = 0$ が従います。これは $b^{m_0-1} \ne 0$ に矛盾します。 否定的な結果に見えますが、これは指針でもあります。**位置と運動量は有界作用素として実現できず、非有界作用素を使うか関係式の形を変えるかしかない。** C*-代数の枠内にとどまる後者の道がワイル形式です。 $q, p$ が $qp - pq = i\hbar\mathbf 1$ を満たすとし、指数関数 $$ U_s = e^{isq}, \qquad V_t = e^{itp} \qquad (s, t \in \mathbb{R}) $$ を考えます。自己共役作用素の指数関数なのでこれらはユニタリです。交換子 $[isq, itp]$ は中心的なので、ベーカー・キャンベル・ハウスドルフの公式は $$ e^{A}e^{B} = e^{A+B}e^{[A,B]/2} $$ という形に退化します。$A = isq$, $B = itp$ とすると $[A,B] = (is)(it)[q,p] = -st\cdot i\hbar\,\mathbf{1}$ なので $$ U_s V_t = e^{A+B} e^{-i\hbar st/2}, \qquad V_t U_s = e^{A+B} e^{+i\hbar st /2} $$ であり、割り算して $$ U_s V_t = e^{-i\hbar s t}\, V_t U_s $$ を得ます。これが**ワイル形式の正準交換関係**です。非有界作用素は現れず、ユニタリ元の関係式だけが残ります。 $s, t$ を固定して $u = U_s$, $v = V_t$ とおき、$\theta$ を $-\hbar st / 2\pi$ の小数部とすれば、関係式は $$ uv = e^{2\pi i \theta} vu $$ となり、これは の関係式そのものです。つまり**非可換トーラスは、量子力学の相空間を格子上の平行移動に制限したものにほかなりません**。無理数回転という力学系の問題と正準交換関係という量子論の問題が、同じ C*-代数に行き着くわけです。 古典極限 $\hbar \to 0$（$\theta \to 0$）で $A_\theta$ は可換な $C(\mathbb{T}^2)$ に近づきます（）。可換な関数環の族が非可換な代数の族に「変形」され、そのパラメータが $\hbar$ である、というのが変形量子化の描像であり、非可換幾何学は変形された対象を幾何学的に扱う言語を与えます。$A_\theta$ は 2 次元量子ホール系のモデルとしても現れ、ホール伝導度の整数量子化が $A_\theta$ の K-理論と指数定理から導かれます（、[指数定理への応用](/mathematics/noncommutative-geometry/index-theorem)）。 --- ## 7. これから進む道 出発点は整いました。空間とは可換 C*-代数であり、可換性を落とせば量子論の相空間や悪い商が視野に入る、というのが基本方針です。残る仕事は**幾何の道具立てを非可換な設定へ移植すること**で、この先の章立てはその作業にあたります。 - [C*-代数の基礎](/mathematics/noncommutative-geometry/c-star-algebras)：正元、状態、表現、イデアル、テンソル積。 - [K-理論入門](/mathematics/noncommutative-geometry/k-theory)：辞書の「ベクトル束 = 有限生成射影加群」を出発点に、$K_0, K_1$ とボット周期性。 - [スペクトル三つ組 (A, H, D)](/mathematics/noncommutative-geometry/spectral-triples)：ディラック作用素 $D$ を「距離を測る道具」と読み替え、微分構造と計量を移植する。 - [非可換トーラスの例](/mathematics/noncommutative-geometry/noncommutative-torus)：この記事で構成した $A_\theta$ の射影・トレース・K-理論の計算。 - [指数定理への応用](/mathematics/noncommutative-geometry/index-theorem)：アティヤ・シンガーの指数定理の非可換版とその帰結。 --- ## 8. 演習 $A$ を単位的可換 C*-代数とする。次を示せ。 1. $b \in A$ が自己共役（$b^* = b$）ならば $\sigma(b) \subseteq \mathbb{R}$。 2. $w \in A$ がユニタリ（$w^* w = w w^* = \mathbf{1}$）ならば $\sigma(w) \subseteq \mathbb{T}$。 により $\Gamma$ は *-同型、 により $\sigma(a) = \hat{a}(\Omega(A))$ です。 **(1)** の証明の第 1 段で、自己共役元 $b$ とすべての指標 $\chi$ に対し $\chi(b) \in \mathbb{R}$ を示しました。したがって $$ \sigma(b) = \{\chi(b) : \chi \in \Omega(A)\} \subseteq \mathbb{R} . $$ **(2)** $\Gamma$ は *-準同型なので $\hat{w}\,\overline{\hat{w}} = \widehat{w w^*} = 1$、すなわち各 $\chi$ で $|\chi(w)| = 1$ です。よって $$ \sigma(w) = \{\chi(w): \chi \in \Omega(A)\} \subseteq \mathbb{T} . $$ なお、これらは $A$ が可換でなくても正しく、その場合は $b$（あるいは $w$）と $\mathbf{1}$ の生成する**可換な** C*-部分代数に本問の結果を適用し、部分代数でのスペクトルが全体でのスペクトルと一致すること（スペクトル置換不変性、）を使います。 $X$ をコンパクトハウスドルフ空間とする。$C(X)$ が有限次元であることと $X$ が有限集合であることは同値であり、そのとき $|X| = n$ ならば $C(X) \cong \mathbb{C}^n$（成分ごとの積）であることを示せ。 **（$X$ 有限 $\Rightarrow$）** $X$ が $n$ 点なら、有限ハウスドルフ空間は離散なのですべての関数が連続で、$C(X) = \mathbb{C}^X \cong \mathbb{C}^n$、次元は $n$ です。積は各点ごとなので $\mathbb{C}^n$ の成分ごとの積と一致します。 **（$\Rightarrow$ $X$ 有限）** $X$ が相異なる $n+1$ 点 $x_1, \ldots, x_{n+1}$ を含むとします。コンパクトハウスドルフ空間は正規なので、ウリゾーンの補題により各 $k$ に対して $$ f_k(x_k) = 1, \qquad f_k(x_j) = 0 \ (j \ne k) $$ なる $f_k \in C(X)$ が取れます（$\{x_k\}$ と有限閉集合 $\{x_j : j \ne k\}$ を分離すればよい）。$\sum_k c_k f_k = 0$ を $x_j$ で評価すると $c_j = 0$ が出るので、これらは一次独立であり $\dim C(X) \ge n+1$ です。 したがって $\dim C(X) = n$ が有限ならば $X$ の点は $n$ 個以下であり、逆向きの評価と合わせて $|X| = n$、そして $C(X) \cong \mathbb{C}^n$ です。 $X, Y$ をコンパクトハウスドルフ空間、$\varphi: X \to Y$ を連続写像とし、$\varphi^*: C(Y) \to C(X)$ を $\varphi^*(f) = f \circ \varphi$ で定める。$\varphi$ が全射であることと $\varphi^*$ が単射であることが同値であることを示せ。 **（$\Rightarrow$）** $\varphi$ が全射で $\varphi^*(f) = 0$ とすると、すべての $x \in X$ で $f(\varphi(x)) = 0$ であり、全射性からすべての $y \in Y$ で $f(y) = 0$、すなわち $f = 0$ です。 **（$\Leftarrow$）** 対偶を示します。$\varphi$ が全射でないとすると、$\varphi(X)$ は $X$ のコンパクト性から $Y$ のコンパクト部分集合、$Y$ がハウスドルフなので閉集合であり、$Y \setminus \varphi(X)$ は空でない開集合です。$y_0 \in Y \setminus \varphi(X)$ を取り、ウリゾーンの補題で $f(y_0) = 1$ かつ $\varphi(X)$ 上で $0$ なる $f \in C(Y)$ を作れば、$f \ne 0$ でありながら $\varphi^*(f) = 0$ です。よって $\varphi^*$ は単射でありません。 同様に「$\varphi$ が単射であることと $\varphi^*$ が全射であることが同値」も示せます（ティーツェの拡張定理を使います）。 の背後にある圏同値が射のレベルでも働いていることの現れです。 $\theta$ を無理数とし、$A_\theta$ を の非可換トーラスとする。$A_\theta$ の各元 $a$ は形式的フーリエ級数 $$ a \sim \sum_{m, n \in \mathbb{Z}} a_{mn}\, u^m v^n, \qquad a_{mn} = \tau(a\, v^{-n} u^{-m}) $$ を持ち、係数 $(a_{mn})$ が $a$ を一意に決めることが知られている（$\tau$ は一意トレース）。これを用いて $A_\theta$ の中心が $\mathbb{C}\mathbf{1}$ であることを示せ。 $a \in A_\theta$ が中心に属するとします。とくに $u$ とも $v$ とも可換です。 基本関係式 $uv = e^{2\pi i\theta} vu$ から $u v u^{-1} = e^{2\pi i \theta} v$ が従い、これを繰り返して $$ u v^n u^{-1} = e^{2\pi i n\theta} v^n \qquad (n \in \mathbb{Z}) $$ を得ます（$n \ge 0$ は帰納法、$n < 0$ は両辺の逆元を取ればよい）。$u$ は $u^m$ と可換なので $u (u^m v^n) u^{-1} = e^{2\pi i n \theta} u^m v^n$ です。 $\gamma(x) = uxu^{-1}$ は $A_\theta$ の *-自己同型で、$\tau$ がただ一つのトレース状態であることから $\tau \circ \gamma = \tau$ です。よってフーリエ係数は $(\gamma(a))_{mn} = e^{2\pi i n\theta} a_{mn}$ を満たします。$a$ が $u$ と可換なら $\gamma(a) = a$ なので、係数の一意性から $$ a_{mn}\left(e^{2\pi i n \theta} - 1\right) = 0 \qquad (\forall m, n) $$ です。$\theta$ が無理数なので $e^{2\pi i n\theta} = 1$ となるのは $n = 0$ に限り、$n \ne 0$ なら $a_{mn} = 0$ です。 同様に $v x v^{-1}$ を考えます。$uv = e^{2\pi i\theta}vu$ を $v^{-1}$ で挟むと $v u v^{-1} = e^{-2\pi i \theta} u$、繰り返して $v (u^m v^n) v^{-1} = e^{-2\pi i m\theta} u^m v^n$ なので、$a$ が $v$ と可換なら同じ議論で $m \ne 0$ のとき $a_{mn} = 0$ です。 合わせて $a$ のフーリエ係数は $a_{00}$ を除きすべて $0$ です。$\mathbf{1}$ の係数は $a_{00} = 1$、他は $0$ ですから、一意性より $a = a_{00}\mathbf{1}$、すなわち中心は $\mathbb{C}\mathbf{1}$ です。 **補足。** $\theta = p/q$ なら $e^{2\pi i n\theta} = 1$ が $n \in q\mathbb{Z}$ で成り立つので、この議論は $m, n$ がともに $q$ の倍数の項を排除できず、中心に $u^q, v^q$ の生成する $C(\mathbb{T}^2)$ が残ります（）。無理数性がどこで効くかがはっきりします。 --- ## 参考文献 1. A. Connes, *Noncommutative Geometry*, Academic Press, 1994 — 第 I 章（非可換空間の例：ペンローズ・タイル張り、葉層、群作用の商）および第 II 章。この記事の全体の設計図にあたる本です。全文が著者のサイトで公開されています（[alainconnes.org](https://alainconnes.org/)）。 2. G. J. Murphy, *C\*-Algebras and Operator Theory*, Academic Press, 1990 — 第 1 章（バナッハ代数とゲルファント理論）、第 2 章（C\*-代数、可換ゲルファント・ナイマルクの定理、GNS 構成）。この記事の §2〜§4 の標準的な教科書です。 3. K. R. Davidson, *C\*-Algebras by Example*, Fields Institute Monographs 6, American Mathematical Society, 1996 — 無理数回転環を扱う章。 と の詳細な証明があります。 4. I. Gelfand and M. Naimark, "On the imbedding of normed rings into the ring of operators in Hilbert space", *Matematicheskii Sbornik* 12 (1943), 197–213 — と の原論文。 5. M. A. Rieffel, "C\*-algebras associated with irrational rotations", *Pacific Journal of Mathematics* 93 (1981), 415–429. [doi:10.2140/pjm.1981.93.415](https://doi.org/10.2140/pjm.1981.93.415) — 無理数回転環の射影の構成と K-理論。 6. H. Wielandt, "Über die Unbeschränktheit der Operatoren der Quantenmechanik", *Mathematische Annalen* 121 (1949), 21 — の原論文。 --- ## Appendix: スペクトル理論からの補題 本文で用いた、可換バナッハ代数のゲルファント理論に必要な基本事実をまとめます。いずれも標準的で、参考文献 2 の第 1 章に証明があります。 **スペクトルの非空性。** 単位的バナッハ代数の元のスペクトルは空でないコンパクト集合です。 $A$ を $\{0\}$ でない単位的複素バナッハ代数、$a \in A$ とする。このとき $\sigma(a)$ は空でないコンパクト集合であり、$\sigma(a) \subseteq \{\lambda : |\lambda| \le \|a\|\}$ である。 有界性は、$|\lambda| > \|a\|$ なら $\lambda\mathbf{1} - a = \lambda(\mathbf{1} - a/\lambda)$ がノイマン級数で可逆になることから、閉性は可逆元全体が開集合であることから従います。 非空性は複素解析によります。$\sigma(a) = \emptyset$ とすると、レゾルベント $\lambda \mapsto (\lambda\mathbf{1} - a)^{-1}$ は $\mathbb{C}$ 全体で正則な $A$ 値関数で、$|\lambda| \to \infty$ でノルムが $0$ に収束するので有界です。リウヴィルの定理（任意の $\varphi \in A^*$ に合成して適用）からこれは定数関数 $0$ ですが、レゾルベントは可逆元の値を取るので $0$ になりません。 **ゲルファント・マズールの定理。** これは の証明の要です。 $A$ を単位的複素バナッハ代数とし、$0$ でない元がすべて可逆であるとする。このとき $\lambda \mapsto \lambda \mathbf{1}$ は $\mathbb{C}$ から $A$ への等長な代数同型である。すなわち $A \cong \mathbb{C}$ である。 $a \in A$ を任意に取ります。 により $\lambda \in \sigma(a)$ が存在し、定義から $\lambda\mathbf{1} - a$ は可逆でありません。仮定により可逆でない元は $0$ のみなので $a = \lambda\mathbf{1}$ です。 したがって $A = \mathbb{C}\mathbf{1}$ であり $\lambda \mapsto \lambda\mathbf{1}$ は全射、単射性は $\mathbf 1 \ne 0$ から、等長性は $\|\lambda\mathbf{1}\| = |\lambda|\,\|\mathbf{1}\| = |\lambda|$ から従います。 **極大イデアルの閉性。** 商をバナッハ代数にするために必要でした。 $A$ を単位的バナッハ代数、$M \subseteq A$ を極大な真の（両側、$A$ が可換なら単に）イデアルとする。このとき $M$ は閉集合である。 まず、真のイデアル $I$ は可逆元を含みません（$x \in I$ が可逆なら $\mathbf{1} = x^{-1}x \in I$ となり $I = A$）。$\|\mathbf{1} - y\| < 1$ ならノイマン級数で $y$ は可逆なので、$\mathbf{1}$ を中心とする半径 $1$ の開球 $B$ は可逆元からなります。よって $I \cap B = \emptyset$ であり、$B$ は開なので閉包 $\bar{I}$ も $B$ と交わらず、$\mathbf{1} \notin \bar{I}$ です。 一方、和と積の連続性からイデアルの閉包はイデアルです。したがって $\bar{M}$ は $M$ を含む真のイデアルであり、$M$ の極大性から $\bar{M} = M$、すなわち $M$ は閉集合です。 **スペクトル半径公式。** で使いました。 $A$ を単位的バナッハ代数、$a \in A$ とする。このとき極限 $\lim_{n\to\infty}\|a^n\|^{1/n}$ が存在し、 $$ r(a) = \lim_{n \to \infty} \|a^n\|^{1/n} = \inf_{n \ge 1} \|a^n\|^{1/n} $$ が成り立つ。 極限の存在は $\log\|a^n\|$ の劣加法性とフェケテの補題から従います。$r(a) \le \lim \|a^n\|^{1/n}$ は、因数分解 $\lambda^n \mathbf{1} - a^n = (\lambda\mathbf{1} - a)(\lambda^{n-1}\mathbf{1} + \cdots + a^{n-1})$ から $\lambda \in \sigma(a) \Rightarrow \lambda^n \in \sigma(a^n)$ を導き、 の有界性を使えば出ます。逆向きはレゾルベントのローラン展開が $|\lambda| > r(a)$ で収束することから係数を評価します。詳細は参考文献 2 にあります。