特征（巴拿赫代数）

特征把巴拿赫代数中的抽象元素"投影"成复数，是探测元素性质的最小探针。在交换情形，全体特征足以区分不同元素（对半单代数），从而构成Gelfand表示的输入空间。它在 Fourier 分析中表现为"频率"：$f\mapsto\widehat f(\xi)$ 正是一个特征。前置依赖：交换巴拿赫代数、对偶空间（泛函分析）。

特征

设 $A$ 为含单位元 $e$ 的交换巴拿赫代数。非零代数同态 $\varphi:A\to\mathbb{C}$（即线性且 $\varphi(ab)=\varphi(a)\varphi(b)$，$\varphi(e)=1$）称为 $A$ 的特征（character）。全体特征记为 $\mathfrak{M}(A)$，配 $A^*$ 的弱*拓扑后是紧 Hausdorff 空间，称极大理想空间或谱。

基本性质

• 自动连续：对任意 $a\in A$，$|\varphi(a)|\le\lVert a\rVert$（若 $|\lambda|>\lVert a\rVert$，则 $\lambda e-a$ 可逆，由 $\varphi(\lambda e-a)=\lambda-\varphi(a)\ne0$ 与可逆元不被零同态消灭矛盾）
• $\varphi(e)=1$，且 $\varphi$ 是乘法的：$\varphi(ab)=\varphi(a)\varphi(b)$
• 与极大理想一一对应（$\ker\varphi$ 是极大理想），见极大理想
• 谱点分解：$a$ 的谱 $\sigma(a)=\{\varphi(a):\varphi\in\mathfrak{M}(A)\}$，故 $r(a)=\sup_{\varphi\in\mathfrak{M}(A)}|\varphi(a)|$

例子

• $C(K)$ 的特征：点赋值 $\varphi_t(f)=f(t)$，$t\in K$
• $L^1(\mathbb{R})$ 的特征：$\varphi_\xi(f)=\widehat f(\xi)=\int f(t)e^{-i\xi t}\,dt$
• $\ell^1(\mathbb{Z})$ 的特征：$\varphi_z((a_n))=\sum a_n z^n$，$|z|=1$

后续

特征全体构成Gelfand表示的底空间：$\widehat a(\varphi)=\varphi(a)$ 把 $a$ 映为 $\mathfrak{M}(A)$ 上的连续函数，从而把代数的谱理论翻译为函数论。