极大理想

在交换巴拿赫代数中，极大理想是"不可再压缩"的理想，其作用远超过抽象代数中的定义：它们与特征一一对应，并直接刻画谱——$a$ 在极大理想上的"值"正是谱点。这是把抽象代数与拓扑分析连接起来的关键结构。前置依赖：交换巴拿赫代数、特征（巴拿赫代数）。

极大理想与谱

设 $A$ 为含单位元的交换巴拿赫代数。

• $A$ 的每个极大理想 $M$ 是闭的，且商 $A/M\cong\mathbb{C}$（Gelfand–Mazur：$A/M$ 是交换巴拿赫除环，故同构于 $\mathbb{C}$）
• 商映射 $A\to A/M\cong\mathbb{C}$ 给出一个特征 $\varphi_M$，$\ker\varphi_M=M$
• 反之每个特征 $\varphi$ 的核是极大理想；从而极大理想空间与特征空间 $\mathfrak{M}(A)$ 双射
• 谱的刻画：$\lambda\in\sigma(a)\iff a-\lambda e$ 属于某极大理想，即 $\varphi(a)=\lambda$

例子

• $A=C(K)$：极大理想恰为 $M_t=\{f\in C(K):f(t)=0\}$，对应点 $t\in K$
• $A=\ell^1(\mathbb{Z})$：极大理想对应单位圆周上的点，对应 $\varphi_z((a_n))=\sum a_n z^n$
• $A=L^1(\mathbb{R})$（无单位元）：极大理想对应实数 $\xi$，$\varphi_\xi(f)=\int f(t)e^{-i\xi t}\,dt$

后续

极大理想空间 $\mathfrak{M}(A)$ 承载弱*拓扑成为紧空间，诱导Gelfand表示；反过来，连续函数代数 $C(K)$ 的所有极大理想由点给出，正是"Gelfand 表示是同构"这种情形的特征。