如何证明L^∞([0,1],m)的极大理想空间无孤立点？
Hey，刚好啃过Rudin这道习题，咱们一步步来捋清楚。
一、证明极大理想空间M无孤立点
首先回忆交换C*-代数的基本结论：极大理想空间M与代数的非零乘法线性泛函（特征）一一对应，Gelfand拓扑就是特征空间的弱*拓扑。要证M无孤立点，等价于证：对任意特征φ₀∈M，它的任意邻域内都存在另一个不同的特征ψ≠φ₀。
咱们用反证法结合Gelfand变换的性质来证：
- 假设存在孤立点φ₀∈M，根据Gelfand拓扑的定义，存在一个f∈L∞，使得Gelfand变换(\hat{f})满足：(\hat{f}(\varphi_0)=1)，且对所有(\psi≠\varphi_0)，(|\hat{f}(\psi)|<1)。甚至更强一点，因为C(M)同构于L∞，如果φ₀是孤立点，那么C(M)中存在孤立点的特征函数(\chi_{{\varphi_0}})，对应的原像f∈L∞满足(\hat{f}=\chi_{{\varphi_0}})，也就是(f2=f)（特征函数平方等于自身），所以f本质上是某个可测集A的指示函数(\chi_A)。
- 现在看这个指示函数(\chi_A)：它的Gelfand变换(\hat{\chi_A}(\varphi)=\varphi(\chi_A))，根据假设，只有φ₀满足(\varphi(\chi_A)=1)，其他特征都有(\varphi(\chi_A)=0)。
- 但勒贝格测度m是非原子的：
- 如果m(A)=0，那么对所有特征φ，(\varphi(\chi_A)=0)，矛盾；
- 如果m(A)=1，那么对所有特征φ，(\varphi(\chi_A)=1)，矛盾；
- 如果0<m(A)<1，那么取包含A的超滤对应的特征φ₁（满足(\varphi_1(\chi_A)=1)），和包含([0,1]\setminus A)的超滤对应的特征φ₂（满足(\varphi_2(\chi_A)=0)），这两个特征都≠φ₀，且φ₁使得(\hat{\chi_A}(\varphi_1)=1)，和假设只有φ₀取1矛盾。
- 综上，不存在这样的孤立点φ₀，所以M中没有孤立点。
二、如何可视化极大理想空间M
说实话，这个空间确实很难直观画出来，因为它是一个非可分的紧Hausdorff空间，远超欧几里得空间的直观范畴，但我们可以从几个角度来理解它的结构：
1. 与[0,1]的关系
M包含一个稠密的子集，就是对应[0,1]中每个点x₀的“平凡特征”(\varphi_{x_0})，定义为(\varphi_{x_0}(f)=f(x_0))（这里f是L^∞中的等价类，取任意代表元在x₀处的值即可，因为零测集不影响特征的定义）。这些平凡特征就是把[0,1]嵌入到M中，而且在Gelfand拓扑下是稠密的——也就是说，M里的所有元素都可以看作是[0,1]中点的某种“极限”。
2. 非平凡特征的本质
M中剩下的元素是“非平凡特征”，它们不能用[0,1]中的点来表示。这些特征对应**[0,1]上的本质超滤**：简单来说，就是一族可测集（模零测集），满足超滤的公理（比如对任意可测集A，要么A属于这族，要么[0,1]\A属于这族，且对任意两个集合A,B属于这族，它们的交也属于这族），但不能被任何单个点x₀“生成”（即不存在x₀使得这族集合包含所有包含x₀的可测集）。
你可以把非平凡特征理解为[0,1]的“无穷小聚点”——比如，考虑所有包含某个测度为1的稠密集的超滤，或者更极端的，那些“集中”在某个零测集上但又不是单个点的超滤（不过零测集在L^∞中被视为等价于空集，所以其实非平凡特征是忽略零测集后的超滤）。
3. 从布尔代数的角度看
L^∞中的投影算子（即指示函数的等价类）构成一个布尔代数，而M作为这个布尔代数的Stone空间，它的闭开子集正好对应这个布尔代数中的元素。也就是说，每个可测集（模零测集）对应M中的一个闭开子集，而M的拓扑就是由这些闭开子集生成的。
内容的提问来源于stack exchange，提问作者User8976
