![[Mathpedia]](image/pukiwiki.png "[Mathpedia]")
Banach環とC*-環のスペクトル理論 †＜＜現在工事中＞＞ 本稿においては、Banach環と$C^*$-環のスペクトルに関する基本的なことを述べる。特に正則汎関数計算（holomorphic functional calculus）、Gelfand変換、連続汎関数計算（continuous functional calculus）などについて述べる。本稿では、多元環、*-環（速習「線形空間論」の定義1.4）、Banach環、$C^*$-環（位相線形空間1：ノルムと内積の定義1.4）と言えば、断ることなく $\mathbb{C}$ 上のものを指すこととする。また単位的なBanach環（位相線形空間1：ノルムと内積の定義1.4）に関してはその単位元のノルムは断ることなく $1$ とする。
1. 単位的Banach環の元のスペクトルの定義と基本的事実 †定義1.1（単位的多元環の可逆元全体 ${\rm GL}(\mathcal{A})$） †$\mathcal{A}$ を単位的Banach環とする。$A\in \mathcal{A}$ で乗法逆元 $A^{-1}\in\mathcal{A}$ を持つものを $\mathcal{A}$ の可逆元と言う。そして $\mathcal{A}$ の可逆元全体を ${\rm GL}( \mathcal{A})$ と表す。 命題1.2（Neumann級数） †$\mathcal{A}$ を単位的Banach環とする。$A\in\mathcal{A}$ が $\lVert A\rVert<1$ を満たすならば、$\sum_{n\in\mathbb{Z}_+}A^n$ は絶対収束（位相線形空間1：ノルムと内積の定義5.5）する。そして、 $$ 1-A\in{\rm GL}(\mathcal{A}),\quad(1-A)^{-1}=\sum_{n\in\mathbb{Z}_+}A^n $$ が成り立つ。 証明 $$ \sum_{n\in\mathbb{Z}_+}\lVert A^n\rVert\leq\sum_{n\in\mathbb{Z}_+}\lVert A\rVert^n=\frac{1}{1-\lVert A\rVert}<\infty $$ であるので、$\sum_{n\in\mathbb{Z}_+}A^n$ は絶対収束する。そして、 $$ (1-A)\sum_{n\in\mathbb{Z}_+}A^n=\left(\sum_{n\in\mathbb{Z}_+}A^n\right)(1-A)=\sum_{n\in\mathbb{Z}_+}A^n-\sum_{n\in\mathbb{N}}A^n=1 $$ であるから $\sum_{n\in\mathbb{Z}_+}A^n=(1-A)^{-1}$ である。 命題1.3（単位的Banach環の可逆元全体 ${\rm GL}(\mathcal{A})$ は開集合） †$\mathcal{A}$ を単位的Banach環とする。$\mathcal{A}$ の可逆元全体 ${\rm GL}(\mathcal{A})$ は $\mathcal{A}$ の開集合である。 証明 任意の $A\in {\rm GL}(\mathcal{A})$ を取る。$\lVert B-A\rVert<\frac{1}{\lVert A^{-1}\rVert}$ なる任意の $B\in\mathcal{A}$ に対し、 $$ \lVert A^{-1}(A-B)\rVert\leq \lVert A^{-1}\rVert\lVert A-B\rVert<1 $$ であるから、命題1.2より $1-A^{-1}(A-B)\in {\rm GL}(\mathcal{A})$ である。よって、 $$ B=A-(A-B)=A(1-A^{-1}(A-B))\in {\rm GL}(\mathcal{A}) $$ である。これより $A$ を中心とする半径 $\frac{1}{\lVert A^{-1}\rVert}$ の $\mathcal{A}$ の開球は ${\rm GL}(\mathcal{A})$ に含まれるので ${\rm GL}(\mathcal{A})$ は $\mathcal{A}$ の開集合である。 命題1.4（逆元を取る演算の連続性） †単位的Banach環 $\mathcal{A}$ に対し、 $$ {\rm GL}(\mathcal{A})\ni A\mapsto A^{-1}\in{\rm GL}(\mathcal{A})\quad\quad(*) $$ は同相写像である。 証明 $(*)$ の逆写像は $(*)$ 自身であるから $(*)$ が連続であることを示せばよい。任意の $A_0\in{\rm GL}(\mathcal{A})$ を取り $A_0$ における連続性を示す。$\lVert A-A_0\rVert<\frac{1}{2\lVert A_0^{-1}\rVert}$ を満たす任意の $A\in {\rm GL}(\mathcal{A})$ を取る。 $$ \lVert A^{-1}-A_0^{-1}\rVert\leq \lVert A_0^{-1}\rVert\lVert A_0A^{-1}-1\rVert\quad\quad(**) $$ の右辺の評価を考える。 $$ AA_0^{-1}=(A_0-(A_0-A))A_0^{-1}=1-(A_0-A)A_0^{-1} $$ であり、 $$ \lVert(A_0-A)A_0^{-1}\rVert\leq\lVert A_0-A\rVert\lVert A_0^{-1}\rVert<\frac{1}{2}\quad\quad(***) $$ であるから、命題1.2より、 $$ A_0A^{-1}=(AA_0^{-1})^{-1}=(1-(A_0-A)A_0^{-1})^{-1}=\sum_{n\in\mathbb{Z}_+}((A_0-A)A_0^{-1})^n $$ である。よって、 $$ A_0A^{-1}-1=\sum_{n\in\mathbb{N}}((A_0-A)A_0^{-1})^n $$ であるから $(***)$ より、 $$ \begin{aligned} \lVert A_0A^{-1}-1\rVert&\leq\sum_{n\in\mathbb{N}}\lVert(A_0-A)A_0^{-1}\rVert^n =\frac{\lVert(A_0-A)A_0^{-1}\rVert}{1-\lVert(A_0-A)A_0^{-1}\rVert}\leq2\lVert(A_0-A)A_0^{-1}\rVert\\ &\leq 2\lVert A_0^{-1}\rVert\lVert A_0-A\rVert \end{aligned} $$ である。よって $(**)$ より、 $$ \lVert A^{-1}-A_0^{-1}\rVert\leq \lVert A_0^{-1}\rVert\lVert A_0A^{-1}-1\rvert\leq2\lVert A_0^{-1}\rVert^2\lVert A_0-A\rVert $$ となる。これより $\lim_{A\rightarrow A_0}\lVert A^{-1}-A_0^{-1}\rVert=0$ であるから $(*)$ は連続である。 定義1.5（単位的Banach環のスペクトルとレゾルベント集合） †$\mathcal{A}$ を単位的Banach環とする。任意の $A\in \mathcal{A}$ に対し、 $$ \sigma(A):=\{\lambda\in\mathbb{C}:\lambda-A\notin {\rm GL}(\mathcal{A})\} $$ を $A$ のスペクトルと言う。また $A$ のスペクトルの $\mathbb{C}$ における補集合 $$ \rho(A):=\mathbb{C}\backslash \sigma(A)=\{\lambda\in\mathbb{C}:\lambda-A\in {\rm GL}(\mathcal{A})\} $$ を $A$ のレゾルベント集合と言う。 命題1.6（単位的Banach環の元のレゾルベント集合は開集合） †$\mathcal{A}$ を単位的Banach環とする。任意の $A\in\mathcal{A}$ に対し $A$ のレゾルベント集合 $\rho(A)$ は $\mathbb{C}$ の開集合である。 証明 $\rho(A)$ は連続写像 $$ \mathbb{C}\ni \lambda\mapsto \lambda-A\in \mathcal{A} $$ による ${\rm GL}(A)$ の逆像であり、命題1.3より ${\rm GL}(\mathcal{A})$ は $\mathcal{A}$ の開集合であるから、$\rho(A)$ は $\mathbb{C}$ の開集合である。 命題1.7（レゾルベント等式） †$\mathcal{A}$ を単位的Banach環とする。任意の $\lambda_0,\lambda\in\rho(A)$ に対し、 $$ (\lambda-A)^{-1}-(\lambda_0-A)^{-1}=(\lambda_0-\lambda)(\lambda-A)^{-1}(\lambda_0-A)^{-1} $$ が成り立つ。そして、 $$ \rho(A)\ni \lambda\mapsto(\lambda-A)^{-1}\in \mathcal{A}\quad\quad(*) $$ はBanach空間値正則関数（複素解析の初歩の定義1.4）である。 証明 任意の $\lambda_0\in \rho(A)$ に対し、 $$ \begin{aligned} (\lambda-A)^{-1}-(\lambda_0-A)^{-1}&=(\lambda-A)^{-1}\{(\lambda_0-A)-(\lambda-A)\}(\lambda_0-A)^{-1}\\ &=(\lambda_0-\lambda)(\lambda-A)^{-1}(\lambda_0-A)^{-1} \end{aligned} $$ である。これより、 $$ \frac{(\lambda-A)^{-1}-(\lambda_0-A)^{-1}}{\lambda-\lambda_0}=-(\lambda-A)^{-1}(\lambda_0-A)^{-1}\quad(\forall\lambda\in \rho(A)\backslash\{\lambda_0\}) $$ であり、命題1.4より、 $$ \rho(A)\ni \lambda\mapsto-(\lambda-A)^{-1}(\lambda_0-A)^{-1}\in \mathcal{A}, $$ $$ \rho(A)\ni \lambda\mapsto-(\lambda-A)^{-2}\in \mathcal{A} $$ は連続であるから、$(*)$ はBanach空間値正則関数である。 命題1.8（単位的Banach環の元のスペクトルは非空） †$\mathcal{A}\neq\{0\}$ を単位的Banach環とする。任意の $A\in \mathcal{A}$ に対し $\sigma(A)\neq\emptyset$ である。 証明 ある $A\in \mathcal{A}$ に対し $\sigma(A)=\emptyset$ であると仮定して矛盾を導く。このとき $\rho(A)=\mathbb{C}$ であり、命題1.7より、 $$ \mathbb{C}\ni\lambda\mapsto (\lambda-A)^{-1}\in \mathcal{A}\quad\quad(*) $$ はBanach空間値整関数である。また命題1.4より、 $$ \lVert(\lambda-A)^{-1}\rVert=\lvert\lambda\rvert^{-1}\lVert(1-\lambda^{-1}A)^{-1}\rVert\rightarrow0\quad(\lvert\lambda\rvert\rightarrow\infty)\quad\quad(**) $$ であるから $(*)$ は無限遠で消える連続関数なので有界である。よってLiouvilleの定理（複素解析の初歩の注意9.5）と $(**)$ より $(*)$ は恒等的に $0$ である。しかし $\mathcal{A}\neq\{0\}$ であるから $0$ は可逆元ではないので矛盾する。 定義1.9（スペクトル半径） †$\mathcal{A}$ を単位的Banach環とする。任意の $A\in \mathcal{A}$ に対し、 $$ {\rm spr}(A):=\sup\{\lvert\lambda\rvert:\lambda\in\sigma(A)\} $$ を $A$ のスペクトル半径と言う。 命題1.10（単位的Banach環の元のスペクトル半径はノルム以下） †$\mathcal{A}$ を単位的Banach環とする。任意の $A\in \mathcal{A}$ に対し ${\rm spr}(A)\leq \lVert A\rVert$ が成り立つ。 証明 $\lVert A\rVert<\lvert\lambda\rvert$ を満たす任意の $\lambda\in\mathbb{C}$ に対し $\lVert \lambda^{-1}A\rVert<1$ であるから、命題1.2より $\lambda-A=\lambda(1-\lambda^{-1}A)\in {\rm GL}(\mathcal{A})$、したがって $\lambda\notin \sigma(A)$ である。よって 任意の $\lambda\in \sigma(A)$ に対し $\lvert\lambda\rvert\leq \lVert A\rVert$ であるから ${\rm spr}(A)\leq \lVert A\rVert$ である。 系1.11（単位的Banach環の元のスペクトルは空でないコンパクト集合） †$\mathcal{A}$ を単位的Banach環とする。このとき任意の $A\in \mathcal{A}$ に対し $\sigma(A)$ は空でないコンパクト集合である。 証明 $\sigma(A)$ が空でないことは命題1.8による。命題1.6と命題1.10より $\sigma(A)$ は $\mathbb{C}$ の有界閉集合であるからコンパクトである。 2. 正則汎関数計算（holomorphic functional calculus） †補題2.1 †$\Phi$ を $\mathbb{C}$ の長さが正の線分（複素解析の初歩の定義4.1）からなる空でない有限集合とし、任意の $z\in \mathbb{C}$ に対し $z$ を始点とする $\Phi$ の元の個数と $z$ を終点とする $\Phi$ の元の個数が一致するとする。このとき $\Phi$ に属する全ての線分の和はサイクル（閉路の和、複素解析の初歩の定義3.1）である。 証明 今、互いに異なる $c_1,\ldots,c_m\in \Phi$ で、各 $j\in\{1,\ldots,m-1\}$ に対し $c_j$ の終点と $c_{j+1}$ の始点が一致するようなものが取れているとする。もし $c_m$ の終点が $c_1$ の始点と一致しないならば、$\{c_1,\ldots,c_m\}$ の元のうち終点が $c_m$ の終点と一致するものの個数は、$\{c_1,\ldots,c_m\}$ の元のうち始点が $c_m$ の終点と一致するものの個数より一個多い。よって仮定より $c_{m+1}\in \Phi\backslash \{c_1,\ldots,c_m\}$ で、始点が $c_m$ の終点と一致するものが取れる。こうして互いに異なる $c_1,\ldots,c_{m+1}\in \Phi$ で、各 $j\in\{1,\ldots,m\}$ に対し $c_j$ の終点と $c_{j+1}$ の始点が一致するようなものができる。同じことを繰り返せば、$\Phi$ が有限集合であることから、最終的に互いに異なる $c_1,\ldots,c_m,c_{m+1},\ldots,c_{m'}\in \Phi$ で各 $j\in\{1,\ldots,m'-1\}$ に対し $c_j$ の終点と $c_{j+1}$ の始点が一致し、$c_{m'}$ の終点と $c_1$ の始点が一致するようなものができる。よってこのとき、 $$ c_1+\ldots+c_{m'} $$ は閉路である。今、この閉路を構成する互いに異なる $\Phi$ の元 $c_1,\ldots,c_{m'}$ を改めて $c_{1,1},c_{1,2}\ldots,c_{1,m(1)}$ と表し、 $$ \Phi_1:=\Phi\backslash\{c_{1,1},\ldots,c_{1,m(1)}\} $$ とおく。もし $\Phi_1\neq\emptyset$ ならば、$c_{1,1}+\ldots+c_{1,m(1)}$ が閉路であることから、任意の $z\in \mathbb{C}$ に対し $z$ を始点とする $\Phi_1$ の元の個数と $z$ を終点とする $\Phi_1$ の元の個数は一致する。 よって上と全く同様にして互いに異なる $c_{2,1},c_{2,2},\ldots,c_{2,m(2)}\in \Phi_1$ で、 $c_{2,1}+\ldots+c_{2,m(2)}$ が閉路となるものが取れる。 $$ \Phi_2:=\Phi_1\backslash \{c_{2,1},\ldots,c_{2,m(2)}\} $$ とおき、$\Phi_2\neq\emptyset$ ならば同様に閉路を構成する互いに異なる線分を $\Phi_2$ から取り、それらを除いたものを $\Phi_3$ とおく。この操作を続けて行けば、最終的に、 $$ \Phi_k=\Phi_{k-1}\backslash\{c_{k,1},\ldots,c_{k,m(k)}\}=\emptyset $$ となる。このとき、 $$ \Phi=\{c_{1,1},\ldots,c_{1,m(1)}\}\cup\ldots\cup\{c_{k,1},\ldots,c_{k,m(k)}\} $$ であり、$\Phi$ に属する全ての線分の和は $k$ 個の閉路の和 $$ (c_{1,1}+\ldots+c_{1,m(1)})+\ldots+(c_{k,1}+\ldots+c_{k,m(k)}) $$ である。 定理2.2（基本定理） †$K,V$ をそれぞれ $\mathbb{C}$ のコンパクト集合と開集合とし、$K\subset V$ であるとする。このとき $\mathbb{C}$ のサイクル $c$（複素解析の初歩の定義3.1）で、次の条件を満たすものが存在する。
ただし $c^*$ は $c$ の跡（複素解析の初歩の定義3.1）であり、 ${\rm Ind}_c(z)$ は $z\in \mathbb{C}\backslash c^*$ における $c$ の回転数（複素解析の初歩の定義5.2）である。 証明 十分小さい $\delta\in (0,\infty)$ を取れば、 $$ d(K,\text{ }\mathbb{C}\backslash V)>\sqrt{2}\delta\quad\quad(*) $$ となる（超関数の定義と基本操作の命題2.2の $(4)$ を参照）。そこで複素平面 $\mathbb{C}$ において各 $n\in \mathbb{N}$ に対し実軸からの距離が $n\delta$ の直線と虚軸からの距離が $n\delta$ の直線を引く。こうして複素平面に間隔 $\delta$ の格子を作る。今、その格子がなす一辺の長さが $\delta$ の正方形（辺と内部）のうち、$K$ と交わるものを全て取り、それらを $Q_1,\ldots,Q_m$ とする。このとき各 $Q_j$ の直径は $\sqrt{2}\delta$ であるので $(*)$ より、 $$ K\subset \bigcup_{j=1}^{m}Q_j\subset V\quad\quad(**) $$ が成り立つ。今、各 $Q_j$ に対し $4$ つの線分（複素解析の初歩の定義4.1）$c_{j,1},c_{j,2},c_{j,3},c_{j,4}$ で、その跡がそれぞれ $Q_j$ の辺であり、 $$ c_j:=c_{j,1}+c_{j,2}+c_{j,3}+c_{j,4} $$ が $Q_j$ の周を反時計周りに周る閉路であるものを取る。このとき $\mathbb{C}$ の線分からなる有限集合 $$ \widetilde{\Phi}:=\{c_{j,k}:j\in\{1,\ldots,m\},\text{ }k\in\{1,2,3,4\}\} $$ は明らかに補題2.1の条件を満たす。$\widetilde{\Phi}$ の元で跡が $K$ と交わるもの全てを除いたものを $\Phi$ とおくと $\Phi$ も補題2.1の条件を満たす。なぜなら $\widetilde{\Phi}$ の元で跡が $K$ と交わるものに対し、それと跡が等しく向きが逆の $\widetilde{\Phi}$ の元が存在するからである。そこで $\Phi$ の全ての元の和からなるサイクルを $c$ とおき、$\widetilde{\Phi}$ の全ての元の和からなるサイクルを、 $$ \widetilde{c}:=\sum_{j=1}^{m}\sum_{k=1}^{4}c_{j,k}=\sum_{j=1}^{m}c_j $$ とおく。明らかに $c$ の跡 $c^*$ は $V\backslash K$ に含まれるので $(1)$ が成り立つ。各 $j\in \{1,\ldots,m\}$ に対し、 $$ {\rm Ind}_{c_j}(z)=\left\{\begin{array}{cl}0&(z\in\mathbb{C}\backslash Q_j)\\1&(z\in Q_j^{\circ})\end{array}\right. $$ （複素解析の初歩の命題5.3とCauchyの積分定理（系7.5）による。）であるから、任意の $z\in \mathbb{C}\backslash \widetilde{c}^*=(\mathbb{C}\backslash\bigcup_{j=1}^{m}Q_j)\cup\bigcup_{j=1}^{m}Q_j^{\circ}$ に対し、 $$ {\rm Ind}_c(z)={\rm Ind}_{\widetilde{c}}(z)=\left\{\begin{array}{cl}0&(z\in\mathbb{C}\backslash \bigcup_{j=1}^{m}Q_j)\\ 1&(z\in \bigcup_{j=1}^{m}Q_j^{\circ})\end{array}\right.\quad\quad(***) $$ である。また任意の $z\in \widetilde{c}^*\backslash c^*$ に対しある $j\in\{1,\ldots,m\}$ が取れて $z\in \partial Q_j$ であり、$z$ に収束する $Q_j^{\circ}$ の列 $(z_n)_{n\in \mathbb{N}}$ を取れば、回転数の連続性（複素解析の初歩の命題5.3）より、 $$ {\rm Ind}_c(z)=\lim_{n\rightarrow\infty}{\rm Ind}_{c}(z_n)=\lim_{n\rightarrow\infty}{\rm Ind}_{\widetilde{c}}(z_n)=1 $$ である。よって、 $$ {\rm Ind}_c(z)=1\quad(\forall z\in \widetilde{c}^*\backslash c^*)\quad\quad(****) $$ である。$(***), (****)$ より任意の $z\in \mathbb{C}\backslash c^*=\mathbb{C}\backslash \widetilde{c}^*\cup \widetilde{c}^*\backslash c^*$ に対し ${\rm Ind}_c(z)$ は $0$ か $1$ なので $(2)$ が成り立つ。任意の $z\in K$ に対し $(**)$ より $z\in Q_j$ なる $j\in \{1,\ldots,m\}$ が取る。もし $z\in \partial Q_j$ ならば $z\in \widetilde{c}^*\backslash c^*$ であるから $(****)$ より ${\rm Ind}_c(z) =1$ である。またもし $z\in Q_j^{\circ}$ ならば $(***)$ より ${\rm Ind}_c(z)={\rm Ind}_{\widetilde{c}}(z)=1$ である。よって $(3)$ が成り立つ。任意の $z\in \mathbb{C}\backslash V$ に対し $(**)$ より $z\in \mathbb{C}\backslash \bigcup_{j=1}^{n}Q_j$ であるから $(***)$ より ${\rm Ind}_c(z)={\rm Ind}_{\widetilde{c}}(z)=0$ である。よって $(4)$ が成り立つ。 定義2.3（$K\subset V\subset\mathbb{C}$ なるコンパクト集合 $K$ と開集合 $V$ に対し $K\prec c\prec V$ なるサイクル $c$） †$K,V$ をそれぞれ $\mathbb{C}$ のコンパクト集合と開集合とし、$K\subset V$ であるとする。$\mathbb{C}$ のサイクル $c$ が定理2.2の条件 $(1)\sim(4)$ を満たすことを、 $$ K\prec c\prec V $$ と表すこととする。 定義2.4（$\mathcal{H}(K)$） †$K$ を $\mathbb{C}$ の空でないコンパクト集合とする。$K$ を含む $\mathbb{C}$ のある開集合上で定義された正則関数全体を $\mathcal{H}(K)$ と表す。そして任意の $f\in \mathcal{H}(K)$ に対し $f$ の定義域を $D(f)$（$K$ を含む開集合）と表す。任意の $f,g\in \mathcal{H}(K)$、任意の $\alpha\in \mathbb{C}$ に対し、$f+g,\alpha f,fg\in \mathcal{H}(K)$ を、 $$ \begin{aligned} f+g&:D(f+g):=D(f)\cap D(g)\ni z\mapsto f(z)+g(z)\in\mathbb{C},\\ \alpha f&:D(\alpha f):=D(f)\ni z\mapsto \alpha f(z)\in\mathbb{C},\\ fg&:D(fg):=D(f)\cap D(g)\ni z\mapsto f(z)g(z)\in\mathbb{C} \end{aligned} $$ と定義する。 定義2.5（$H(K)$） †$K\subset \mathbb{C}$ を空でないコンパクト集合とする。 $f,g\in \mathcal{H}(K)$ に対し、$K$ を含む開集合 $U\subset D(f)\cap D(g)$ で $f(z)=g(z)$ $(\forall z\in U)$ を満たすものが存在するとき $f\sim g$ と表すこととする。このとき $\sim$ は 明らかに $\mathcal{H}(K)$ における同値関係である。そこでこの同値関係による商集合と商写像を、 $$ H(K):=\mathcal{H}(K)/\sim,\quad \mathcal{H}\ni f\mapsto [f]\in H(K) $$ と表す。そして任意の $[f],[g]\in H(K)$、任意の $\alpha\in\mathbb{C}$ に対し、 $$ [f]+[g]:=[f+g],\quad \alpha[f]:=[\alpha f],\quad [f][g]:=[fg] $$ と定義（well-defined）する。 $H(K)$ はこれらを加法、スカラー倍、乗法として $\mathbb{C}$ 上の可換な単位的多元環をなす。 定義2.6（正則汎関数計算） †$\mathcal{A}\neq\{0\}$ を単位的多元環とし、任意の $A\in \mathcal{A}$ を取り固定する。$A$ のスペクトル $\sigma(A)$ は $\mathbb{C}$ の空でないコンパクト集合である（系1.11）。そこで $H(\sigma(A))$（定義2.5）を考え、写像 $$ H(\sigma(A))\ni [f]\mapsto [f](A)\in \mathcal{A}\quad\quad(*) $$ を次のように定義する。すなわち、任意の $[f]\in H(\sigma(A))$ に対し、$[f]$ の代表元 $f:D(f)\rightarrow\mathbb{C}$ と $\sigma(A)\prec c\prec D(f)$ を満たすサイクル $c$（定義2.3）を取り、Banach空間値正則関数 $$ D(f)\backslash \sigma(A)\ni \lambda\mapsto f(\lambda)(\lambda-A)^{-1}\in\mathcal{A} $$（命題1.7を参照）の複素線積分（複素解析の初歩の定義9.2）によって、 $$ [f](A):=\frac{1}{2\pi i}\int_{c}f(\lambda)(\lambda-A)^{-1}d\lambda\in\mathcal{A} $$ と定義する。このとき次の命題2.7により写像 $(*)$ はwell-definedである。$(*)$ を $A$ に関する正則汎関数計算と言う。 命題2.7（正則汎関数計算がwell-definedであること） †定義2.6における写像 $(*)$ はwell-definedである。 証明 任意の $[f]\in H(\sigma(A))$ に対し $[f]$ の任意の代表元 $f_1,f_2\in \mathcal{H}(\sigma(A))$ と $\sigma(A)\prec c_1\prec D(f_1)$、$\sigma(A)\prec c_2\prec D(f_2)$（定義2.3）を満たす任意のサイクル $c_1,c_2$ を取る。このとき、 $$ \frac{1}{2\pi i}\int_{c_1}f_1(\lambda)(\lambda-A)^{-1}d\lambda=\frac{1}{2\pi i}\int_{c_2}f_2(\lambda)(\lambda-A)^{-1}d\lambda\quad\quad(*) $$ が成り立つことを示せばよい。$f_1\sim f_2$ なので $\sigma(A)\subset U\subset D(f_1)\cap D(f_2)$ なる $\mathbb{C}$ の開集合 $U$ で $f_1(z)=f_2(z)$ $(\forall z\in U)$ を満たすものが取れる。そこで $\sigma(A)\prec c\prec U$ を満たすサイクル $c$ を取る。このとき各 $j\in\{1,2\}$ に対しサイクル $c_j-c$ は跡が $D(f_j)\backslash \sigma(A)$ に含まれ、 $$ {\rm Ind}_{c_j-c}(z)={\rm Ind}_{c_j}(z)-{\rm Ind}_c(z)=0\quad(j=1,2,\text{ }\forall z\in \mathbb{C}:z\notin D(f_j)\backslash \sigma(A))\quad\quad(**) $$ である。そして $D(f_j)\backslash \sigma(A)\ni \lambda\mapsto f_j(\lambda)(\lambda-A)^{-1}\in\mathcal{A}$ はBanach空間値正則関数であるから、$(**)$ とCauchyの積分定理（複素解析の初歩の注意9.5）より、 $$ 0=\int_{c_j-c}f_j(\lambda)(\lambda-A)^{-1}d\lambda=\int_{c_j}f_j(\lambda)(\lambda-A)^{-1}d\lambda-\int_{c}f_j(\lambda)(\lambda-A)^{-1}d\lambda\quad(j=1,2)\quad\quad(***) $$ が成り立つ。ここで $c$ の跡は $U$ に含まれ、$U$ 上で $f_1$ と $f_2$ は一致するので、 $$ \int_{c}f_1(\lambda)(\lambda-A)^{-1}d\lambda=\int_{c}f_2(\lambda)(\lambda-A)^{-1}d\lambda\quad\quad(****) $$ である。よって $(***),(****)$ より $(*)$ が成り立つ。 定理2.8（正則汎関数計算の基本的性質） †$\mathcal{A}\neq\{0\}$ を単位的Banach環、$A\in \mathcal{A}$ とする。$A$ における正則汎関数計算（定義2.6） $$ H(\sigma(A))\ni [f]\mapsto [f](A)\in \mathcal{A} $$ について次が成り立つ。
証明
$(4)$ $(3)$ より $f(\sigma(A))=\sigma([f](A))\subset D(g)$ であるから $\sigma(A)\subset f^{-1}(D(g))$ である。よって、 $$ \sigma(A)\prec c_1\prec f^{-1}(D(g)) $$ （定義2.3）なるサイクル $c_1$ が取れる。そしてこのとき、 $$ f(\sigma(A))\cup f(c_1^*)\subset D(g) $$ であり、左辺はコンパクトであるから、 $$ f(\sigma(A))\cup f(c_1^*)\prec c_2\prec D(g)\quad\quad(*) $$ なるサイクル $c_2$ が取れる。$(*)$ より $f(c_1^*)\cap c_2^*=\emptyset$ であるから、$(2)$ より、 $$ (w-[f](A))^{-1}=[(w-f)^{-1}](A)=\frac{1}{2\pi i}\int_{c_1}(w-f(\lambda))^{-1}(\lambda-A)^{-1}d\lambda\quad(\forall w\in c_2^*)\quad\quad(**) $$ であり、また $(*)$ より、 $$ {\rm Ind}_{c_2}(f(\lambda))=1\quad(\forall \lambda\in c_1^*)\quad\quad(***) $$ である。よって $(**), (***)$ とCauchyの積分公式（複素解析の初歩の注意9.5）より、 $$ \begin{aligned} [g]([f](A))&=\frac{1}{2\pi i}\int_{c_2}g(w)(w-[f](A))^{-1}dw\\ &=\frac{1}{2\pi i}\int_{c_2}g(w)\left(\frac{1}{2\pi i}\int_{c_1}(w-f(\lambda))^{-1}(\lambda-A)^{-1}d\lambda\right)dw\\ &=\frac{1}{2\pi i}\int_{c_1}\left(\frac{1}{2\pi i}\int_{c_2}\frac{g(w)}{w-f(\lambda)}dw\right)(\lambda-A)^{-1}d\lambda\\ &=\frac{1}{2\pi i}\int_{c_1}g(f(\lambda))(\lambda-A)^{-1}d\lambda=[g\circ f](A) \end{aligned} $$ である。（$3$ 番目の等号の複素線積分の順序の入れ替えについては複素解析の初歩の補題7.2を参照。）
3. Gelfandの公式、$C^*$-環の自己共役元とユニタリ元のスペクトル †定理3.1（Gelfandの公式） †$\mathcal{A}$ を単位的Banach環とする。任意の $A\in \mathcal{A}$ に対し $A$ のスペクトル半径 ${\rm spr}(A)$ について、 $$ {\rm spr}(A)=\lim_{n\rightarrow\infty}\sqrt[n]{\lVert A^n\rVert}=\inf_{n\in\mathbb{N}}\sqrt[n]{\lVert A^n\rVert} $$ が成り立つ。 証明 スペクトル写像定理（定理2.8の $(3)$ ）より、 $$ \lambda^n\in \sigma(A^n)\quad(\forall \lambda\in \sigma(A), \forall n\in\mathbb{N}) $$ であるから、命題1.10より、 $$ \lvert\lambda\rvert^n\leq{\rm spr}(A^n)\leq\lVert A^n\rVert\quad(\forall \lambda\in\sigma(A), \forall n\in\mathbb{N}), $$ したがって、 $$ \lvert\lambda\rvert\leq \sqrt[n]{\lVert A^n\rVert}\quad(\forall \lambda\in \sigma(A),\forall n\in \mathbb{N}) $$ が成り立つ。よって、 $$ {\rm spr}(A)\leq \inf_{n\in\mathbb{N}}\sqrt[n]{\lVert A^n\rVert}\quad\quad(*) $$ が成り立つ。今、$\lambda\in \mathbb{C}$ が $0<\lvert\lambda\rvert<\frac{1}{{\rm spr}(A)}$*1を満たすならば ${\rm spr}(A)<\frac{1}{\lvert\lambda\rvert}$ より $\frac{1}{\lambda}\notin \sigma(A)$ であるから、$1-\lambda A=\lambda(1-\lambda^{-1}A)\in {\rm GL}(\mathcal{A})$ である。そこで、 $$ f:\left\{\lambda\in \mathbb{C}:\lvert\lambda\rvert<\frac{1}{{\rm spr}(A)}\right\}\ni \lambda\mapsto (1-\lambda A)^{-1}\in {\rm GL}(\mathcal{A}) $$ を定義する。$\lvert\lambda_1\rvert,\lvert\lambda_2\rvert<\frac{1}{{\rm spr}(A)}$ なる任意の $\lambda_1,\lambda_2\in\mathbb{C}$ に対し、 $$ \begin{aligned} f(\lambda_1)-f(\lambda_2)&=(1-\lambda_1A)^{-1}( (1-\lambda_2A)-(1-\lambda_1A) )(1-\lambda_2A)^{-1}\\ &=(\lambda_1-\lambda_2)(1-\lambda_1A)^{-1}A(1-\lambda_2A)^{-1} \end{aligned} $$ であるから命題1.4より $f$ はBanach空間値正則関数である。よって複素解析の初歩の定理9.4より $f$ は何回でも複素微分可能であり、$f$ の $n$ 階導関数 を $f^{(n)}$ とすると、 $$ f(\lambda)=\sum_{n\in\mathbb{Z}_+}\frac{f^{(n)}(0)}{n!}\lambda^n\quad\left(\forall\lambda\in \mathbb{C}:\lvert\lambda\rvert<\frac{1}{{\rm spr}(A)}\right)\quad\quad(**) $$ と表せる。一方、$\lvert\lambda\rvert<\frac{1}{\lVert A\rVert}\leq \frac{1}{{\rm spr}(A)}$ を満たす任意の $\lambda\in\mathbb{C}$ に対し $\lVert \lambda A\rVert<1$ であるから、命題1.2より、 $$ f(\lambda)=(1-\lambda A)^{-1}=\sum_{n\in\mathbb{Z}_+}\lambda^nA^n\quad\left(\forall\lambda\in \mathbb{C}:\lvert\lambda\rvert<\frac{1}{\lVert A\rVert}\leq \frac{1}{{\rm spr}(A)}\right)\quad\quad(***) $$ である。よって $(**),(***)$ より、 $$ \frac{f^{(n)}(0)}{n!}=A^n\quad(\forall n\in\mathbb{Z}_+) $$ であるから、 $$ f(\lambda)=\sum_{n\in\mathbb{Z}_+}\lambda^nA^n\quad\left(\forall\lambda\in\mathbb{C}:\lvert\lambda\rvert<\frac{1}{{\rm spr}(A)}\right) $$ が成り立つ。よって複素解析の初歩の命題2.2よりBanach空間 $\mathcal{A}$ の列 $(A^n)_{n\in\mathbb{Z}_+}$ を係数とする冪級数の収束半径は $\frac{1}{{\rm spr}(A)}$ 以上であるから、 $$ \frac{1}{{\rm spr}(A)} \leq \frac{1}{\inf_{n\in\mathbb{N}}\sup_{k\geq n}\sqrt[k]{\lVert A^k\rVert}}, $$ したがって、 $$ \inf_{n\in\mathbb{N}}\sup_{k\geq n}\sqrt[k]{\lVert A^k\rVert}\leq {\rm spr}(A) $$ が成り立つ。これと $(*)$ より、 $$ \inf_{n\in\mathbb{N}}\sup_{k\geq n}\sqrt[k]{\lVert A^k\rVert}\leq {\rm spr}(A)\leq\inf_{n\in\mathbb{N}}\sqrt[n]{\lVert A^n\rVert}\leq\sup_{n\in\mathbb{N}}\inf_{k\geq n}\sqrt[k]{\lVert A^k\rVert} $$ であるから、 $$ {\rm spr}(A)=\inf_{n\in\mathbb{N}}\sqrt[n]{\lVert A^n\rVert}=\lim_{n\rightarrow\infty}\sqrt[n]{\lVert A^n\rVert} $$ が成り立つ。 命題3.2（単位的Banach環上の指数関数） †$\mathcal{A}$ を単位的Banach環とし、正則汎関数計算（定義2.6）によって定義される $\exp(A)\in \mathcal{A}$ $(\forall A\in \mathcal{A})$ を考える。このとき、
証明 $$ \sum_{n\in\mathbb{Z}_+}\frac{\lVert A^n\rVert}{n!}\leq \sum_{n\in\mathbb{Z}_+}\frac{\lVert A\rVert^n}{n!}<\infty $$ であるから $\sum_{n\in \mathbb{Z}_+}\frac{A^n}{n!}$ は絶対収束する。正則関数の列 $(f_N)_{N\in\mathbb{N}}$ を、 $$ f_N:\mathbb{C}\ni z\mapsto \sum_{n=0}^{N}\frac{z^n}{n!}\in \mathbb{C}\quad(\forall N\in\mathbb{N}) $$ と定義すると、定理2.8の $(1),(2)$ より、 $$ f_N(A)=\sum_{n=0}^{N}\frac{A^n}{n!}\quad(\forall N\in\mathbb{N}) $$ であり $(f_N)_{N\in\mathbb{N}}$ は、 $$ \exp:\mathbb{C}\ni z\mapsto \sum_{n\in\mathbb{Z}_+}\frac{z^n}{n!}\in \mathbb{C} $$ にコンパクト一様収束するから、定理2.8の $(5)$ より、 $$ \exp(A)=\lim_{N\rightarrow\infty}f_N(A)=\lim_{N\rightarrow\infty}\sum_{n=0}^{N}\frac{A^n}{n!}=\sum_{n\in\mathbb{Z}_+}\frac{A^n}{n!} $$ である。
定義3.3（$C^*$-環の正規元、自己共役元、ユニタリ元） †$C^*$-環 $\mathcal{A}$ の元 $A$ が正規であるとは $A^*A=AA^*$ が成り立つことを言う。$A$ が自己共役であるとは $A^*=A$ が成り立つことを言う。単位的 $C^*$-環 $\mathcal{A}$ の元 $U$ がユニタリであるとは $U^*U=1=UU^*$ が成り立つことを言う。明らかに自己共役元、ユニタリ元は正規である。 定理3.4（$C^*$-環の正規元のスペクトル半径とノルムの一致） †$\mathcal{A}$ を単位的 $C^*$-環とする。$A\in \mathcal{A}$ が正規ならば、 $$ {\rm spr}(A)=\lVert A\rVert $$ が成り立つ。 証明 まず $A\in\mathcal{A}$ が正規であるとき、 $$ \lVert A^{2^n}\rVert=\lVert A\rVert^{2^n}\quad(\forall n\in\mathbb{N})\quad\quad(*) $$ が成り立つことを示す。$A$ が自己共役である場合は $C^*$-ノルム条件（位相線形空間1：ノルムと内積の定義1.7）より、 $$ \lVert A^{2^n}\rVert=\lVert A^{2^{n-1}}\rVert^2=\lVert A^{2^{n-2}}\rVert^{2^2}=\cdots=\lVert A\rVert^{2^n}\quad(\forall n\in\mathbb{N}) $$ であるから成り立つ。$A\in \mathcal{A}$ が一般の正規元の場合、$C^*$-ノルム条件より、 $$ \lVert A^{2^n}\rVert^2=\lVert(A^{2^n})^*A^{2^n}\rVert=\lVert (A^*)^{2^n}A^{2^n}\rVert=\lVert (A^*A)^{2^n}\rVert\quad\quad(\forall n\in\mathbb{N}) $$ であり、$A^*A$ は自己共役であるから、 $$ \lVert A^{2^n}\rVert^2=\lVert (A^*A)^{2^n}\rVert=\lVert A^*A\rVert^{2^n}=(\lVert A\rVert^{2^{n}})^2\quad(\forall n\in\mathbb{N}) $$ である。よって $(*)$ が成り立つ。$(*)$ とGelfandの公式（定理3.1）より、 $$ {\rm spr}(A)=\lim_{n\rightarrow\infty}\sqrt[n]{\lVert A^n\rVert}=\lim_{n\rightarrow\infty}\sqrt[2^n]{\lVert A^{2^n}\rVert}= \lim_{n\rightarrow\infty}\sqrt[2^n]{\lVert A\rVert^{2^n}}=\lVert A\rVert $$ となる。 命題3.5（$C^*$-環のユニタリ元のスペクトルは $\mathbb{T}$ に含まれる） †$\mathcal{A}$ を単位的 $C^*$-環とする。任意のユニタリ元 $U\in\mathcal{A}$ に対し、$\sigma(U)\subset \mathbb{T}:=\{\lambda\in\mathbb{C}:\lvert\lambda\rvert=1\}$ が成り立つ。 証明 $C^*$-ノルム条件より、 $$ \lVert U\rVert^2=\lVert U^*U\rVert=1,\quad\lVert U^*\rVert^2=\lVert UU^*\rVert=1 $$ である。また $U,U^*$ は可逆であるので $\sigma(U), \sigma(U^*)$ は $0$ を含まない。任意の $\lambda\in\sigma(U)$ に対し、 $$ \lvert\lambda\rvert\leq {\rm spr}(U)=\lVert U\rVert=1 $$ であり、 $$ \frac{1}{\lambda}-U^*=\frac{1}{\lambda}(1-\lambda U^*)=\frac{1}{\lambda}U^*(U-\lambda)\notin {\rm GL}(\mathcal{A}) $$ より $\frac{1}{\lambda}\in \sigma(U^*)$ であるから、 $$ \frac{1}{\lvert\lambda\rvert}\leq {\rm spr}(U^*)=\lVert U^*\rVert=1 $$ である。よって $\lvert\lambda\rvert=1$ である。 命題3.6（$C^*$-環の自己共役元のスペクトルは $\mathbb{R}$ に含まれる） †$\mathcal{A}$ を単位的 $C^*$-環とする。任意の自己共役元 $A\in \mathcal{A}$ に対し、$\sigma(A)\subset \mathbb{R}$ が成り立つ。 証明 $(iA)^*=-iA$ であるから、命題3.2の $(1)$ より、 $$ \exp(iA)^*=\left(\sum_{n\in\mathbb{Z}_+}\frac{(iA)^n}{n!}\right)^* =\sum_{n\in\mathbb{Z}_+}\frac{(-iA)^n}{n!} =\exp(-iA) $$ であり、$iA$ と $-iA$ は可換であるから、命題3.2の $(2)$ より、 $$ \begin{aligned} &\exp(iA)^*\exp(iA)=\exp(-iA)\exp(iA)=1,\\ &\exp(iA)\exp(iA)^*=\exp(iA)\exp(-iA)=1 \end{aligned} $$ である。よって $\exp(iA)$ はユニタリであるから命題3.5より $\sigma(\exp(iA))\subset \mathbb{T}$ であり、スペクトル写像定理（定理2.8の $(3)$ ）より、 $$ \exp(it)\in \sigma(\exp(iA))\subset \mathbb{T}\quad(\forall t\in \sigma(A)) $$ である。ゆえに $\sigma(A)\subset \mathbb{R}$ である。 4. Banach環、$C^*$-環の単位化 †定義4.1（多元環、*-環の単位化） †$\mathcal{A}$ を単位元を持たない多元環とする。このとき、 $$ \widetilde{\mathcal{A}}:=\{(A,\alpha):A\in\mathcal{A},\alpha\in\mathbb{C}\} $$ とおき、任意の $(A,\alpha),(B,\beta)\in\widetilde{\mathcal{A}}$ と任意の $\gamma\in \mathbb{C}$に対し、 $$ \begin{aligned} &(A,\alpha)+(B,\beta):=(A+B,\alpha+\beta),\\ &\gamma(A,\alpha):=(\gamma A,\gamma\alpha)\\ &(A,\alpha)(B,\beta):=(AB,\alpha B+\beta A,\alpha\beta) \end{aligned} $$ とおけば、$\widetilde{\mathcal{A}}$ はこれらを加法、スカラー倍、乗法として多元環をなし、$(0,1)\in\widetilde{\mathcal{A}}$ は単位元である。また $\mathcal{A}$ が*-環である場合は、さらに任意の $(A,\alpha)\in\widetilde{{\mathcal{A}}}$ に対し、 $$ (A,\alpha)^*:=(A^*,\overline{\alpha}) $$ とおけば、$\widetilde{\mathcal{A}}$ はこれを対合として単位的*-環となる。単位元を持たない多元環（*-環）$\mathcal{A}$ に対し、単位的多元環（単位的*-環）$\widetilde{\mathcal{A}}$を $\mathcal{A}$ の単位化と言う。 定義4.2（Banach環、Banach *-環の単位化） †$\mathcal{A}$ を単位元を持たないBanach環（resp. Banach *-環）とする。多元環（resp. *-環）としての $\mathcal{A}$ の単位化 $\widetilde{\mathcal{A}}$ に対し、 $$ \lVert (A,\alpha)\rVert:=\lVert A\rVert+\lvert\alpha\rvert\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}})\quad\quad(*) $$ とおけば、これは $\widetilde{\mathcal{A}}$ のノルムであり、このノルムにより $\widetilde{\mathcal{A}}$ はBanach環（resp. Banach *-環）となる*2。そこでこのノルム $(*)$ を入れた $\widetilde{\mathcal{A}}$ を $\mathcal{A}$ の単位化Banach環（resp. 単位化Banach *-環）と言う。 $$ \mathcal{A}\ni A\mapsto (A,0)\in\widetilde{\mathcal{A}} $$ は等長準同型写像であるから、以後、しばしば $A\in\mathcal{A}$ と $(A,0)\in\widetilde{\mathcal{A}}$ を同一視し、$\mathcal{A}\subset \widetilde{\mathcal{A}}$ とみなす。 命題4.3（$C^*$-環の単位化の $C^*$-ノルム） †$\mathcal{A}$ を単位的ではない $C^*$-環とし、$\widetilde{\mathcal{A}}$ を単位化*-環とする。このとき、 $$ \lVert (A,\alpha)\rVert:=\sup\{\lVert AB+\alpha B\rVert:B\in\mathcal{A},\lVert B\rVert\leq1\}\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}})\quad\quad(*) $$ とおけば、これは $\widetilde{\mathcal{A}}$ のノルムであり、このノルムによって $\widetilde{\mathcal{A}}$ は $C^*$-環となる。そして、 $$ \mathcal{A}\ni A\mapsto (A,0)\in\widetilde{\mathcal{A}}\quad\quad(**) $$ は等長準同型写像である。 証明 任意の $(A,\alpha)\in\widetilde{\mathcal{A}}$ に対し、 $$ \rho_{(A,\alpha)}:\mathcal{A}\ni B\mapsto AB+\alpha B\in \mathcal{A} $$ は有界線形作用素であり、その作用素ノルムは $(*)$ における $\lVert (A,\alpha)\rVert$ である。また、 $$ (\rho_{(A,\alpha)}B,0)=(A,\alpha)(B,0)\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}},\forall B\in\mathcal{A}) $$ であることに注意すれば、 $$ \widetilde{\mathcal{A}}\ni (A,\alpha)\mapsto \rho_{(A,\alpha)}\in\mathbb{B}(\mathcal{A}) $$ が多元環準同型写像であることが分かる。このことから任意の $(A,\alpha),(A_1,\alpha_1),(A_2,\alpha_2)\in\widetilde{\mathcal{A}}$ と任意の $\gamma\in\mathbb{C}$ に対し、$(*)$ は、 $$ \begin{aligned} &\lVert (A_1,\alpha_1)+(A_2,\alpha_2)\rvert\leq \lVert(A_1,\alpha)\rVert+\lVert(A_2,\alpha_2)\rVert,\\ &\lVert\gamma (A,\alpha)\rVert=\lvert\gamma\rvert\lVert (A,\alpha)\rVert,\\ &\lVert (A_1,\alpha_1)(A_2,\alpha_2)\rVert\leq\lVert (A_1,\alpha_1)\rVert\lVert (A_1,\alpha_2)\rVert \end{aligned} $$ を満たす。今、$(*)$ がノルムであることを示す。そのためには $\lVert(A,\alpha)\rVert=0$ であるとして $(A,\alpha)=0$ が成り立つことを示せばよい。このとき、 $$ AB+\alpha B=0\quad(\forall B\in\mathcal{A})\quad\quad(***) $$ であり、したがって、 $$ BA^*+\overline{\alpha}B=(AB^*+\alpha B^*)^*=0\quad(\forall B\in\mathcal{A})\quad\quad(****) $$ である。もし $\alpha\neq0$ であるならば $(***),(****)$ より、 $$ B=\left(\frac{-1}{\alpha}A\right)B=B\left(\frac{-1}{\overline{\alpha}}A^*\right)\quad(\forall A\in\mathcal{A}) $$ であるから $\frac{-1}{\alpha}A=\frac{-1}{\overline{\alpha}}A^*$ は $\mathcal{A}$ の単位元であることになり $\mathcal{A}$ が単位元を持たないことに矛盾する。よって $\alpha=0$ である。したがって $(***)$ より、 $$ AB=0\quad(\forall B\in\mathcal{A}) $$ であるから、$C^*$-ノルム条件より、 $$ \lVert A\rVert^2=\lVert AA^*\rVert=0 $$ である。よって $(A,\alpha)=0$ であるから $(*)$ は $\widetilde{\mathcal{A}}$ のノルムである。次に $(**)$ が等長であることを示す。 $$ \lVert (A,\alpha)\rVert\leq\lVert A\rVert+\lvert\alpha\rvert\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}})\quad\quad(*****) $$ であるから、特に、 $$ \lVert (A,0)\rVert\leq \lVert A\rVert\quad(\forall A\in\mathcal{A}) $$ である。そして $\lVert A\rVert>0$ のとき $C^*$-ノルム条件より、 $$ \lVert A\rVert=\lVert AA^*\rVert\frac{1}{\lVert A\rVert}=\left\lVert A\left(\frac{A^*}{\lVert A\rVert}\right)\right\rVert\leq \lVert (A,0)\rVert $$ であるから $(**)$ は等長である。$\widetilde{\mathcal{A}}$ がノルム $(*)$ によりBanach空間であることを示す。$(**)$ が等長であることと $\mathcal{A}$ がBanach空間であることから、 $$ (\mathcal{A},0)=\{(A,0):A\in\mathcal{A}\}\subset \widetilde{\mathcal{A}} $$ は $\widetilde{\mathcal{A}}$ の閉部分空間である。そこで商ノルム空間*3$\widetilde{\mathcal{A}}/(\mathcal{A},0)$ を考え、商写像を、 $$ \pi:\widetilde{\mathcal{A}}\rightarrow\widetilde{\mathcal{A}}/(\mathcal{A},0) $$ とおく。$( (A_n,\alpha_n) )_{n\in\mathbb{N}}$ を $\widetilde{\mathcal{A}}$ のCauchy列とすると、$\pi$ が有界線形作用素であることから、 $$ (\pi(A_n,\alpha_n))_{n\in\mathbb{N}}=(\alpha_n\pi(0,1))_{n\in\mathbb{N}} $$ はCauchy列である。よって $\pi(0,1)\neq0$ より $(\alpha_n)_{n\in\mathbb{N}}$ は $\mathbb{C}$ のCauchy列である。そして、 $$ (A_n,0)=(A_n,\alpha_n)-(0,\alpha_n)\quad(\forall n\in\mathbb{N}) $$ であるから、$(**)$ の等長性より $(A_n)_{n\in\mathbb{N}}$ は $\mathcal{A}$ のCauchy列である。ゆえにある $A\in\mathcal{A}$ と $\alpha\in\mathbb{C}$ に対し、 $$ \lim_{n\rightarrow\infty}\lVert A_n-A\rVert=0,\quad\lim_{n\rightarrow\infty}\lvert \alpha_n-\alpha\rvert=0 $$ となるから、$(*****)$ より、 $$ \lVert (A_n,\alpha_n)-(A,\alpha)\rVert\leq\lVert A_n-A\rVert+\lvert\alpha_n-\alpha\rvert\rightarrow0\quad(n\rightarrow\infty) $$ となる。これより $\widetilde{\mathcal{A}}$ はノルム $(*)$ によりBanach空間である。後は $\widetilde{\mathcal{A}}$ のノルム $(*)$ が $C^*$-ノルム条件を満たすことを示せばよい。任意の $(A,\alpha)\in\widetilde{\mathcal{A}}$ と $\lVert B\rVert\leq 1$ なる任意の $B\in\mathcal{A}$ に対し、 $$ \begin{aligned} \lVert AB+\alpha B\rVert^2&=\lVert(AB+\alpha B)^*(AB+\alpha B)\rVert =\lVert B^*\rho_{(A^*,\overline{\alpha})}\rho_{(A,\alpha)}B\rVert\\ &\leq \lVert \rho_{(A,\alpha)^*}\rho_{(A,\alpha)}B\rVert \leq \lVert \rho_{(A,\alpha)^*(A,\alpha)}\rVert=\lVert (A,\alpha)^*(A,\alpha)\rVert \end{aligned} $$ であるから、 $$ \lVert (A,\alpha)\rVert^2\leq \lVert (A,\alpha)^*(A,\alpha)\rVert\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}})\quad\quad(******) $$ が成り立つ。これより特に、 $$ \lVert (A,\alpha)\rVert\leq \lVert (A,\alpha)^*\rVert\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}}) $$ であるから、 $$ \lVert (A,\alpha)^*\rVert=\lVert (A,\alpha)\rVert\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}}) $$ である。よって $(******)$ より任意の $(A,\alpha)\in\widetilde{\mathcal{A}}$ に対し、 $$ \lVert (A,\alpha)\rVert^2\leq \lVert (A,\alpha)^*(A,\alpha)\rVert\leq \lVert (A,\alpha)\rVert^2\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}}) $$ であるから $\widetilde{\mathcal{A}}$ のノルム $(*)$ は $C^*$-ノルム条件を満たす。 定義4.4（単位化 $C^*$-環） †$\mathcal{A}$ を単位元を持たない $C^*$-環とする。命題4.3より $\mathcal{A}$ の単位化*-環 $\widetilde{\mathcal{A}}$ は、 $$ \lVert (A,\alpha)\rVert:=\sup\{\lVert AB+\alpha B\rVert:B\in\mathcal{A},\lVert B\rVert\leq1\}\quad(\forall (A,\alpha)\in\widetilde{\mathcal{A}}) $$ をノルムとして $C^*$-環をなし、 $$ \mathcal{A}\ni A\mapsto (A,0)\in\widetilde{\mathcal{A}} $$ は等長準同型写像である。そこでこの単位的 $C^*$-環 $\widetilde{\mathcal{A}}$ を $\mathcal{A}$ の単位化 $C^*$-環と言う。以後、しばしば $A\in\mathcal{A}$ と $(A,0)\in\widetilde{\mathcal{A}}$ を同一視し、$\mathcal{A}\subset \widetilde{\mathcal{A}}$ とみなす。 定義4.5（単位元を持たないBanach環、$C^*$-環の元のスペクトル） †$\mathcal{A}$ を単位元を持たないBanach環（resp. $C^*$-環）とし、$\widetilde{\mathcal{A}}$ を $\mathcal{A}$ の単位化Banach環（resp. 単位化 $C^*$-環）とする。このとき任意の $A\in \mathcal{A}$ に対し $A$ のスペクトル $\sigma(A)$ を $A$ を $\widetilde{\mathcal{A}}$ の元とみなした場合のスペクトルとして定義する。つまり $\sigma(A):=\sigma( (A,0) )$ と定義する。 5. Gelfand変換 †定義5.1（可換Banach環の指標、指標空間） †$\mathcal{A}$ を可換Banach環とする。$\gamma:\mathcal{A}\rightarrow\mathbb{C}$ が次を満たすとき $\gamma$ を $\mathcal{A}$ の指標と言う。
そして $\mathcal{A}$ の指標全体を $\widehat{\mathcal{A}}$ と表し、これを $\mathcal{A}$ の指標空間と言う。 定義5.2（極大イデアル） †$\mathcal{A}$ を可換Banach環とする。$\mathcal{A}$ のイデアル（位相線形空間1：ノルムと内積の定義2.4）で $\mathcal{A}$ 自身ではないもののうち、集合の包含関係による順序に関して極大なものを $\mathcal{A}$ の極大イデアルと言う。 補題5.3（Gelfand-Mazurの定理） †$\mathcal{A}\neq\{0\}$ を単位的Banach環とする。もし $\mathcal{A}\backslash \{0\}={\rm GL}(\mathcal{A})$ ならば $\mathcal{A}=\mathbb{C}1$ である。 証明 任意の $A\in\mathcal{A}$ を取る。$\sigma(A)\neq\emptyset$（命題1.8）より $\lambda\in\sigma(A)$ が取れ、スペクトルの定義より $\lambda-A\notin {\rm GL}(\mathcal{A})$ であるから、仮定より $\lambda-A=0$ である。よって $A=\lambda1\in\mathbb{C}1$ であるから $\mathcal{A}=\mathbb{C}1$ である。 命題5.4（単位的可換Banach環の指標、極大イデアル、スペクトルの対応） †$\mathcal{A}\neq\{0\}$ を単位的可換Banach環とする。このとき次が成り立つ。
証明
命題5.5（単位元を持たない可換Banach環（$C^*$-環）の指標空間について） †$\mathcal{A}$ を単位元を持たない可換Banach環（単位元を持たない可換 $C^*$-環）とし、$\widetilde{\mathcal{A}}$ をその単位化Banach環（単位化 $C^*$-環）とする。 このとき任意の $A\in \mathcal{A}$ に対し $A$ のスペクトル $\sigma(A)$ は、 $$ \sigma(A)=\{\gamma(A):\gamma\in \widehat{\mathcal{A}}\}\cup\{0\} $$ を満たす。そして、 $$ \widehat{\mathcal{A}}\subset \mathcal{A}^*,\quad \lVert \gamma\rVert\leq 1\quad(\forall \gamma\in\widehat{\mathcal{A}}) $$ であり、$\widehat{\mathcal{A}}$ に $\mathcal{A}^*$ の弱*-位相の相対位相を入れたものは局所コンパクトHausdorff空間である。 証明 $\mathcal{A}\subset \widetilde{\mathcal{A}}$ は単位的可換Banach環 $\widetilde{\mathcal{A}}$ の極大イデアルである。よって命題5.4の $(2), (4)$ より $\delta_0\in \widehat{\widetilde{\mathcal{A}}}$ で ${\rm Ker}(\delta_0)=\mathcal{A}$ なるものが唯一つ存在する。また任意の $\delta\in \widehat{\widetilde{\mathcal{A}}}\backslash \{\delta_0\}$ に対し、命題5.4の $(3),(4)$ より ${\rm Ker}(\delta_0)\subset {\rm Ker}(\delta)$ は成り立たないから、$\delta(A)\neq0$ なる $A\in \mathcal{A}$ が存在する。よって任意の $\delta\in\widehat{\widetilde{\mathcal{A}}}$ に対し、$\delta$ の $\mathcal{A}$ 上への制限 $\delta|_{\mathcal{A}}:\mathcal{A}\ni A\mapsto \delta(A)\in \mathbb{C}$ は $\widehat{\mathcal{A}}$ に属する。また任意の $\gamma\in \widehat{\mathcal{A}}$ に対し、 $$ \widetilde{\gamma}:\widetilde{\mathcal{A}}=\mathcal{A}\oplus \mathbb{C}1\ni A+\alpha1\mapsto \gamma(A)+\alpha\in \mathbb{C}\quad\quad(*) $$ とおけば $\widetilde{\gamma}\in \widehat{\widetilde{\mathcal{A}}}\backslash \{\delta_0\}$ であり、$\widetilde{\gamma}|_{\mathcal{A}}=\gamma$ であるから、 $$ \widehat{\mathcal{A}} \ni \gamma\mapsto \widetilde{\gamma}\in \widehat{\widetilde{\mathcal{A}}}\backslash\{\delta_0\}\quad\quad(**) $$ は全単射である。よって命題5.4の $(5)$ より、 $$ \sigma(A)=\{\delta(A):\delta\in\widehat{\widetilde{\mathcal{A}}}\}=\{\gamma(A):\gamma\in\widehat{\mathcal{A}}\}\cup\{0\}\quad(\forall A\in\mathcal{A})\quad\quad(***) $$ が成り立つ。任意の $\gamma\in \widehat{\mathcal{A}}$ に対し $(***)$ と命題1.10より、 $$ \lvert\gamma(A)\rvert\leq {\rm spr}(A)\leq \lVert A\rVert\quad(\forall A\in\mathcal{A}) $$ であるから $\gamma\in \mathcal{A}^*$、$\lVert \gamma\rVert\leq 1$ である。今、$\widehat{\mathcal{A}}$ に $\mathcal{A}^*$ の弱*-位相の相対位相を入れ、$\widehat{\widetilde{\mathcal{A}}}\backslash \{\delta_0\}$ に $(\widetilde{\mathcal{A}})^*$ の弱*-位相の相対位相を入れる。命題5.4の $(6)$ より $\widehat{\widetilde{\mathcal{A}}}\backslash \{\delta_0\}$ は局所コンパクトHausdorff空間である*5。そして $\widehat{A}$ のネット $(\gamma_{\lambda})_{\lambda\in \Lambda}$ と $\gamma\in \widehat{\mathcal{A}}$ に対し $(*)$ より、 $$ \gamma_{\lambda}\rightarrow\gamma\quad\Leftrightarrow\quad \gamma_{\lambda}(A)\rightarrow\gamma(A)\quad(\forall A\in\mathcal{A})\quad\Leftrightarrow\quad \widetilde{\gamma_{\lambda}}(A+\alpha1)\rightarrow\widetilde{\gamma}(A+\alpha1)\quad(\forall A+\alpha1\in \widetilde{\mathcal{A}}) $$ であるから $(**)$ は同相写像である*6。よって $\widehat{\mathcal{A}}$ の局所コンパクトHausdorff空間である。 定義5.6（指標空間の位相） †$\mathcal{A}$ を可換Banach環か可換 $C^*$-環とする。命題5.4と命題5.5より $\mathcal{A}$ の指標空間 $\widehat{\mathcal{A}}$ は $\mathcal{A}^*$ の弱*-位相の相対位相により局所コンパクトHausdorff空間（単位的である場合はコンパクトHausdorff空間）である。以後、$\mathcal{A}$ の指標空間 $\widehat{\mathcal{A}}$ には、断ることなくこの位相が備わっているものとする。 定理5.7（可換Banach環のGelfand変換） †$\mathcal{A}$ を可換Banach環とする。このとき任意の $A\in \mathcal{A}$ に対し指標空間 $\widehat{\mathcal{A}}$ 上の関数 $$ \Gamma(A):\widehat{\mathcal{A}}\ni \gamma\mapsto \gamma(A)\in \mathbb{C} $$ を定義すると、$\Gamma(A)\in C_0(\widehat{\mathcal{A}})$ である。ただし $C_0(\widehat{\mathcal{A}})$ は局所コンパクトHausdorff空間 $\widehat{\mathcal{A}}$ 上の無限遠で消える $\mathbb{C}$ 値連続関数全体に $\sup$ ノルムを入れた可換 $C^*$-環（測度と積分7：局所コンパクトHausdorff空間上のRadon測度の定義28.2）である。そして、 $$ \Gamma:\mathcal{A}\ni A\mapsto \Gamma(A)\in C_0(\widehat{\mathcal{A}}) $$ は多元環準同型写像であり、 $$ \lVert \Gamma(A)\rVert={\rm spr}(A)\leq \lVert A\rVert\quad(\forall A\in\mathcal{A}) $$ が成り立つ。（$\Gamma$ を $\mathcal{A}$ のGelfand変換と言う。） 証明 任意の $A\in \mathcal{A}$ に対し $\Gamma(A):\widehat{\mathcal{A}}\rightarrow\mathbb{C}$ が連続であることは弱*-位相の定義（位相線形空間2：セミノルム位相と汎弱位相の定義10.1）より自明である。$\Gamma(A)\in C_0(\widehat{\mathcal{A}})$ を示すには任意の $\epsilon\in(0,\infty)$ に対し、 $$ \{\gamma\in \widehat{\mathcal{A}}:\lvert \Gamma(A)(\gamma)\rvert\geq\epsilon\}=\{\gamma\in \widehat{\mathcal{A}}:\lvert\gamma(A)\rvert\geq\epsilon\}\quad\quad(*) $$ が $\widehat{A}$ のコンパクト集合であることを示せばよい。そのためには、$\widehat{\mathcal{A}}\subset (\mathcal{A}^*)_1=\{\varphi\in \mathcal{A}:\lVert \varphi\rVert\leq 1\}$ であることとAlaogluの定理（位相線形空間2：セミノルム位相と汎弱位相の定理10.3）より、$(*)$ が $\mathcal{A}^*$ において弱*-位相で閉であることを示せばよいので、$(*)$ の $\mathcal{A}^*$ における弱*-閉包の任意の元 $\gamma$ が $(*)$ に属することを示せばよい。ネットによる位相空間論の命題2.4より、弱*-位相で $\gamma$ に収束する $(*)$ のネット $(\gamma_{\lambda})_{\lambda\in\Lambda}$ が取れる。弱*-位相によるネットの収束の特徴付け（位相線形空間2：セミノルム位相と汎弱位相の定義10.1）より、任意の $B,C\in \mathcal{A}$ に対し、 $$ \gamma(BC)=\lim_{\lambda\in\Lambda}\gamma_{\lambda}(BC)=\lim_{\lambda\in\Lambda}\gamma_{\lambda}(B)\gamma_{\lambda}(C)=\gamma(B)\gamma(C) $$ であり、$\lvert \gamma(A)\rvert=\lim_{\lambda\in\Lambda}\lvert \gamma_{\lambda}(A)\rvert\geq\epsilon$ であるから、$\gamma\in\widehat{\mathcal{A}}$ であり、$\gamma$ は $(*)$ に属する。よって $\Gamma(A)\in C_0(\widehat{\mathcal{A}})$ が成り立つ。任意の $A,B\in\mathcal{A}$、任意の $\alpha\in \mathbb{C}$ に対し、 $$ \begin{aligned} &\Gamma(A+B)(\gamma)=\gamma(A+B)=\gamma(A)+\gamma(B)=(\Gamma(A)+\Gamma(B))(\gamma)\quad(\forall \gamma\in\widehat{\mathcal{A}}),\\ &\Gamma(\alpha A)(\gamma)=\gamma(\alpha A)=\alpha\gamma(A)=(\alpha\Gamma(A))(\gamma)\quad(\forall \gamma\in \widehat{\mathcal{A}}),\\ &\Gamma(AB)(\gamma)=\gamma(AB)=\gamma(A)\gamma(B)=(\Gamma(A)\Gamma(B))(\gamma)\quad(\forall \gamma\in \mathcal{A}) \end{aligned} $$ であるから、$\Gamma:\mathcal{A}\rightarrow C_0(\widehat{\mathcal{A}})$ は多元環準同型写像である。 また命題5.4、命題5.5と命題1.10より、任意の $A\in \mathcal{A}$ に対し、 $$ \lVert \Gamma(A)\rVert=\sup_{\gamma\in\widehat{\mathcal{A}}}\lvert \gamma(A)\rvert={\rm spr}(A)\leq \lVert A\rVert $$ である。 補題5.8（可換 $C^*$-環の指標の対合保存性） †可換 $C^*$-環 $\mathcal{A}$ の任意の指標 $\gamma\in \widehat{\mathcal{A}}$ に対し、 $$ \gamma(A^*)=\overline{\gamma(A)}\quad(\forall A\in\mathcal{A}) $$ が成り立つ。 証明 任意の $A\in \mathcal{A}$ に対し、 $$ {\rm Re}(A):=\frac{1}{2}(A+A^*),\quad {\rm Im}(A):=\frac{1}{2i}(A-A^*) $$ とおけば、${\rm Re}(A)$ と ${\rm Im}(A)$ は $\mathcal{A}$ の自己共役元であり、 $$ A={\rm Re}(A)+i{\rm Im}(A),\quad A^*={\rm Re}(A)-i{\rm Im}(A) $$ である。$C^*$-環の自己共役元のスペクトルは $\mathbb{R}$ に含まれる（命題3.6）から、命題5.4と命題5.5より、 $$ \gamma({\rm Re}(A))\subset \sigma({\rm Re}(A))\subset \mathbb{R},\quad \gamma({\rm Im}(A))\subset \sigma({\rm Im}(A))\subset \mathbb{R} $$ である。よって、 $$ \gamma(A^*)=\gamma({\rm Re}(A))-i\gamma({\rm Im}(A)) =\overline{\gamma({\rm Re}(A))+i\gamma({\rm Im}(A))}=\overline{\gamma(A)} $$ である。 定理5.9（可換 $C^*$-環のGelfand変換は $C^*$-環同型写像） †$\mathcal{A}$ を可換 $C^*$-環とする。このとき $\mathcal{A}$ のGelfand変換 $$ \Gamma:\mathcal{A}\rightarrow C_0(\widehat{\mathcal{A}}) $$ は等長 $*$-環同型写像である。 証明 $\mathcal{A}$ は可換であるから$\mathcal{A}$ の任意の元は正規である。よって定理3.4と定理5.7より、 $$ \lVert \Gamma(A)\rVert={\rm spr}(A)=\lVert A\rVert\quad(\forall A\in \mathcal{A}) $$ であるから $\Gamma$ は等長である。また補題5.8より任意の $A\in \mathcal{A}$ に対し、 $$ \Gamma(A^*)(\gamma)=\gamma(A^*)=\overline{\gamma(A)}=\overline{\Gamma(A)(\gamma)}\quad(\forall \gamma\in \widehat{\mathcal{A}}) $$ であるから、$\Gamma:\mathcal{A}\rightarrow C_0(\widehat{\mathcal{A}})$ は $*$-環準同型写像である。後は $\Gamma(\mathcal{A})=C_0(\widehat{\mathcal{A}})$ が成り立つことを示せばよい。Stone-Weierstrassの定理（測度と積分7：局所コンパクトHausdorff空間上のRadon測度の定理35.5）を用いる。まず $\mathcal{A}$ の完備性と $\Gamma$ の等長性より $\Gamma(\mathcal{A})$ は $C_0(\widehat{\mathcal{A}})$ の閉部分*-環である。また任意の $\gamma\in \widehat{\mathcal{A}}$ に対し指標の定義より $\Gamma(A)(\gamma)=\gamma(A)\neq0$ なる $A\in \mathcal{A}$ が存在する。そして $\gamma_1,\gamma_2\in \widehat{\mathcal{A}}$ が $\gamma_1\neq \gamma_2$ ならば、ある $A\in \mathcal{A}$ に対し $\Gamma(A)(\gamma_1)=\gamma_1(A)\neq \gamma_2(A)=\Gamma(A)(\gamma_2)$ となる。よってStone-Weierstrassの定理より $C_0(\widehat{\mathcal{A}})=\overline{\Gamma(\mathcal{A})}=\Gamma(\mathcal{A})$ が成り立つ。 6. 連続汎関数計算（continuous functional calculus） †定義6.1（部分 $C^*$-環） †$C^*$-環 $\mathcal{A}$ の閉部分 *-環は $\mathcal{A}$ のノルムによってそれ自体 $C^*$-環である。そこで $C^*$-環 $\mathcal{A}$ の閉部分 *-環のことを $\mathcal{A}$ の部分 $C^*$-環と言う。 定義6.2（$C^*$-環の部分集合から生成される部分 $C^*$-環） †$\mathcal{A}$ を $C^*$-環、$\emptyset\neq \mathcal{E}\subset \mathcal{A}$ とする。このとき $\mathcal{E}$ を含む全ての部分 $C^*$-環の交叉は $\mathcal{E}$ を含む最小の部分 $C^*$-環である。これを $\mathcal{E}$ から生成される部分 $C^*$-環と言い、$C^*(\mathcal{E})$ と表す。 補題6.3（正規元と単位元から生成される部分 $C^*$-環） †$\mathcal{A}$ を単位的 $C^*$-環とし、$A\in \mathcal{A}$ を正規とする。このとき $\mathcal{A}$ の単位元 $1$ と $A$ から生成される部分 $C^*$-環 $C^*(\{1,A\})\subset \mathcal{A}$ は単位的可換 $C^*$-環であり、 $$ C^*(\{1,A\})=\overline{\text{span}\{{A^*}^nA^m:n,m\in \mathbb{Z}_+\}} $$ が成り立つ。ただし $\text{span}(\mathcal{E})$ は $\mathcal{E}\subset \mathcal{A}$ の線形包である。 証明 $A$ が正規であることから、任意の $n,m,n',m'\in\mathbb{Z}_+$ に対し、 $$ ({A^*}^nA^m)({A^*}^{n'}A^{m'})={A^*}^{n+n'}A^{m+m'}=({A^*}^{n'}A^{m'})({A^*}^nA^m) $$ が成り立つ。よって、 $$ \mathcal{B}:=\overline{\text{span}\{{A^*}^nA^m:n,m\in \mathbb{Z}_+\}} $$ は $\mathcal{A}$ の可換な部分 $C^*$-環である。$1,A\in \mathcal{A}$ なので $C^*(\{1,A\})\subset \mathcal{B}$ であり、 $$ {A^*}^nA^m\in C^*(\{1,A\})\quad(\forall n,m\in \mathbb{Z}_+) $$ なので $\mathcal{B}\subset C^*(\{1,A\})$ である。よって $C^*(\{1,A\})=\mathcal{B}$ である。 補題6.4（コンパクトHausdorff空間の間の全単射連続写像は同相写像） †$X,Y$ をコンパクトHausdorff空間、$f:X\rightarrow Y$ を全単射連続写像とする。このとき $f$ は同相写像である。 証明 $X$ が閉写像（閉集合の像が閉集合である写像）であることを示せば十分である。$X$ の任意の閉集合 $E$ を取る。$X$ はコンパクトなので $E$ はコンパクトであり、$f$ は連続なので $f(E)\subset Y$ はコンパクトである。$Y$ はHausdorff空間なので $f(E)$ は $Y$ の閉集合である。 よって $f$ は閉写像である。 定理6.5（連続汎関数計算の定義の前） †$\mathcal{A}$ を単位的 $C^*$-環、$A\in \mathcal{A}$ を正規とし、単位的可換 $C^*$-環 $C^*(\{1,A\})$（補題6.3）を考える。また $A$ のスペクトル $\sigma(A)\subset \mathbb{C}$（系1.11より空でないコンパクト集合）上の連続関数全体に各点ごとの演算と $\sup$ ノルムを入れた単位的可換 $C^*$-環 $C(\sigma(A))$ を考える。このとき等長 *-環同型写像 $$ \Phi: C(\sigma(A))\rightarrow C^*(\{1,A\}) $$ で、 $$ \Phi(1)=1,\quad \Phi(\text{id})=A\quad\quad(*) $$ （ただし $\text{id}:\sigma(A)\ni\lambda\mapsto \lambda\in\mathbb{C}$）を満たすものが唯一つ存在する。 証明 Stone-Weierstrassの定理（測度と積分7：局所コンパクトHausdorff空間上のRadon測度の定理35.4）より、
$$
C(\sigma(A))=\overline{\text{span}\{\overline{\text{id}}^n\text{id}^m:n,m\in\mathbb{Z}_+\}}
$$
が成り立つ。よって $(*)$ を満たす等長 *-環同型写像は一意的である。 定義6.6（連続汎関数計算） †$\mathcal{A}$ を単位的 $C^*$-環とし、$A\in \mathcal{A}$ を正規とする。定理6.5における等長 *-環同型写像を、 $$ C(\sigma(A))\ni f\mapsto f(A)\in C^*(\{1,A\}) $$ と表す。つまり定理6.5における $\Phi$ に対し $f(A):=\Phi(f)$ $(\forall f\in C(\sigma(A)))$ とおく。これを $A$ における連続汎関数計算と言う。 定理6.7（連続汎関数計算の基本的性質） †$\mathcal{A}$ を単位的 $C^*$-環、$A\in \mathcal{A}$ を正規とし、$A$ における連続汎関数計算を、 $$ C(\sigma(A))\ni f\mapsto f(A)\in C^*(\{1,A\}) $$ とする。このとき、
証明
7. $C^*$-環の自己共役部分の順序 †8. $C^*$-環の近似単位元、商 $C^*$-環 †9. $C^*$-環上の*-環準同型写像の自動的ノルム減少性と自動的ノルム保存性 † |
