求证L^∞(Ω,μ)是B(L²(Ω,μ))的极大交换子代数及B'=B的提示

没问题，我来给你拆解这个泛函分析问题的证明思路，分两个核心目标来梳理：

这里的 ( B ) 是 ( L^\infty ) 对应乘法算子构成的 ( C^* )-子代数，( B' ) 是它的交换子（所有和 ( B ) 中每个算子交换的有界线性算子集合）。我们分两步证：

• 第一步：证 ( B \subseteq B' )
  这部分很直观：任取两个乘法算子 ( M_\phi, M_\psi \in B )，对任意 ( f \in L^2(\Omega, \mu) )，都有 ( M_\phi(M_\psi f) = \phi(\psi f) = (\phi\psi)f = M_\psi(M_\phi f) )——乘法本身是交换的，所以所有 ( B ) 里的算子互相交换，自然每个 ( M_\phi ) 都属于 ( B' )。

• 第二步：证 ( B' \subseteq B )
  这是核心难点，思路是从交换性出发，构造出对应的 ( L^\infty ) 函数：

  1. 假设 ( T \in B' )，即 ( T ) 和所有 ( M_\phi ) 交换。先考虑可测集的特征函数 ( \chi_E )，对应的乘法算子 ( M_{\chi_E} ) 是投影算子，由交换性 ( T M_{\chi_E} = M_{\chi_E} T )，这意味着 ( T ) 把 ( L^2(E) )（也就是 ( \chi_E \cdot L^2 )）这个子空间映到自身——简单说就是 ( T(\chi_E f) = \chi_E T f ) 对任意 ( f \in L^2 ) 成立。
  2. 定义 ( \psi(x) = (T 1)(x) )，这里的1是 ( L^2 ) 中的常函数1。接下来验证 ( T f = \psi f ) 对所有 ( f \in L^2 ) 成立：
     • 先对简单函数验证：简单函数是特征函数的线性组合 ( f = \sum a_i \chi_{E_i} )，那么 ( T f = \sum a_i T \chi_{E_i} = \sum a_i \chi_{E_i} T 1 = \sum a_i \chi_{E_i} \psi = \psi f )。
     • 再利用简单函数在 ( L^2 ) 中稠密，结合 ( T ) 的有界性，把这个等式推广到所有 ( L^2 ) 中的函数。
  3. 最后证明 ( \psi \in L^\infty )：假设 ( |\psi|_\infty > |T| )，那存在一个测度大于0的可测集 ( E )，使得在 ( E ) 上 ( |\psi(x)| > |T| )。取 ( f = \chi_E \cdot \overline{\psi}/|\psi| )（( \psi \neq 0 ) 的地方），计算得 ( |f|_2 = \sqrt{\mu(E)} )，而 ( |T f|_2 = |\psi f|_2 = \sqrt{\int_E |\psi|^2 d\mu} > |T| \sqrt{\mu(E)} = |T| |f|2 )，这和 ( T ) 是有界算子矛盾，所以 ( |\psi|\infty \leq |T| )，即 ( \psi \in L^\infty )。

这样就证明了 ( T = M_\psi \in B )，从而 ( B' \subseteq B )，结合第一步得 ( B' = B )。

极大交换子代数的定义是：它本身是交换子代数，且不存在更大的交换子代数包含它。我们利用第一部分的结论来证：

• 首先，( L^\infty ) 对应的 ( B ) 是交换子代数（因为乘法交换），且我们已经证得 ( B' = B )。
• 假设存在一个交换子代数 ( C ) 满足 ( B \subseteq C \subseteq B(L^2) )。因为 ( C ) 是交换的，所以 ( C \subseteq C' )（每个元素都和 ( C ) 中所有元素交换）。同时，因为 ( B \subseteq C )，所以 ( C' \subseteq B' = B )（交换子的单调性：如果 ( A \subseteq D )，则 ( D' \subseteq A' )）。
• 这样就得到 ( C \subseteq C' \subseteq B )，而我们一开始假设 ( B \subseteq C )，所以只能是 ( C = B )。这说明 ( B ) 是极大交换子代数，而 ( L^\infty ) 和 ( B ) 是等距同构的，自然 ( L^\infty ) 也是 ( B(L^2) ) 的极大交换子代数。

内容的提问来源于stack exchange，提问作者userly0