交换巴拿赫代数

交换巴拿赫代数是谱理论的"可交换宇宙"：在其中，每个元素可被一族"数值化"（特征）完全探测，代数结构等价于某个紧空间上的连续函数代数。$C(K)$ 与 $L^1$（卷积）是原型，前者是有限情形的模板，后者通向 Fourier 分析。前置依赖：巴拿赫代数的定义、谱（巴拿赫代数）。

交换巴拿赫代数

乘法交换的（含单位元）巴拿赫代数称为交换巴拿赫代数。其核心研究对象是极大理想空间 $\mathfrak{M}(A)$：由全部非零乘法线性泛函（特征（巴拿赫代数））配上 $A^*$ 的弱*拓扑构成，它是紧 Hausdorff 空间。

基本事实

• 每个 $\varphi\in\mathfrak{M}(A)$ 满足 $|\varphi(a)|\le\lVert a\rVert$（连续性自动成立），且 $\varphi(e)=1$
• 极大理想与特征一一对应：$\varphi\leftrightarrow\ker\varphi$，见极大理想
• 谱的代数刻画：$\lambda\in\sigma(a)\iff\varphi(a)=\lambda$ 对某 $\varphi\in\mathfrak{M}(A)$ 成立
• Gelfand 表示 $\Gamma:A\to C(\mathfrak{M}(A))$，$\Gamma(a)(\varphi)=\varphi(a)$，是谱半径保持的（$\lVert\Gamma(a)\rVert_\infty=r(a)$），见Gelfand表示

例子

• $A=C(K)$：$\mathfrak{M}(A)\cong K$（点赋值），$\Gamma$ 是恒等
• $A=L^1(\mathbb{R})$（卷积，无单位元）：$\mathfrak{M}(A)\cong\mathbb{R}$，$\Gamma$ 即 Fourier 变换
• $A=\ell^1(\mathbb{Z})$（卷积）：$\mathfrak{M}(A)\cong\mathbb{T}$（单位圆周），$\Gamma$ 即 Fourier 级数

后续

交换巴拿赫代数的结构定理把抽象元素还原为函数，从而可用函数论工具研究谱与理想；这一纲领的自然终点是 $C^*$ 代数的 Gelfand–Naimark 定理（C星代数）。非交换情形则进入算子代数理论。