[论文解读] On closed subalgebras of CB(X)

Majid Farhadi, M. R. Koushesh|arXiv (Cornell University)|Dec 31, 2017

Advanced Topics in Algebra参考文献 7被引用 3

一句话总结

本文通过构造由 $ H $ 生成的紧化空间 $ \alpha_HX $ 的开子空间 $ \mathfrak{sp}(H) $，为完全正则空间 $ X $ 上非零、自伴、闭的子代数 $ H \subset C_B(X) $ 的 Gelfand 谱建立了一种新表示。关键结果表明，当且仅当 $ H $ 是可数生成时，$ \mathfrak{sp}(H) $ 是可分度量空间。

ABSTRACT

For a completely regular space $X$ and a non-vanishing self-adjoint closed subalgebra $H$ of $C_B(X)$ which separates points from closed sets in $X$ we construct the Gelfand spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the compactification of $X$ generated by $H$. The simple construction of $\mathfrak{sp}(H)$ enables easier examination of its properties. We illustrate this by an example showing that the space $\mathfrak{sp}(H)$ is separable metrizable if and only if $H$ is countably generated.

研究动机与目标

• 将先前工作中依赖于局部单位的特殊假设，替换为标准的拓扑条件——将点与闭集分离。
• 提供 $ \mathfrak{sp}(H) $ 作为 $ H $-生成紧化空间 $ \alpha_HX $ 的开子空间的典范构造。
• 通过使用更自然且结构更清晰的紧化方式，使谱性质的分析更加简便。
• 精确刻画谱为可分度量空间的条件。
• 提供满足定理适用条件的空间与代数的具体例子。

提出的方法

• 将 $ \alpha_HX $ 定义为赋值映射 $ e: X \to \prod_{h \in H} \overline{h(X)} $ 的闭包，从而得到 $ X $ 的一个紧化。
• 将每个 $ h \in H $ 连续延拓至 $ h_\alpha \in C(\alpha_HX) $，使得 $ h_\alpha|_X = h $。
• 将 Gelfand 谱 $ \mathfrak{sp}(H) $ 构造为 $ \alpha_HX $ 中所有 $ h_\alpha $ 均非零的开子集。
• 利用 $ \alpha_HX $ 是紧集乘积的子空间的事实；当 $ H $ 可数生成时，$ \alpha_HX $ 是可分且度量化的。
• 应用标准的 Gelfand–Naimark 对偶性，将 $ \mathfrak{sp}(H) $ 识别为 $ H $ 的谱，且满足 $ H \cong C_0(\mathfrak{sp}(H)) $。
• 利用可数子代数的稠密性，证明若 $ H $ 可数生成，则 $ \alpha_HX $ 是可分度量空间，因此 $ \mathfrak{sp}(H) $ 继承这些性质。

实验结果

研究问题

• RQ1 在何种条件下，闭子代数 $ H \subset C_B(X) $ 的 Gelfand 谱可自然地嵌入 $ X $ 的紧化空间中？
• RQ2 谱 $ \mathfrak{sp}(H) $ 的拓扑结构如何与 $ H $ 的代数生成方式相关？
• RQ3 能否用更标准的拓扑条件替代早期表示中对局部单位的假设？
• RQ4 在何种情况下，谱 $ \mathfrak{sp}(H) $ 是可分且度量化的？
• RQ5 哪些类别的空间与代数满足构造所必需的点与闭集可分离的条件？

主要发现

• 对于非零、自伴、闭的子代数 $ H \subset C_B(X) $，若其能将点与闭集分离，则其 Gelfand 谱 $ \mathfrak{sp}(H) $ 可自然地实现为 $ H $-生成紧化空间 $ \alpha_HX $ 的开子空间。
• 谱 $ \mathfrak{sp}(H) $ 是可分且度量化的，当且仅当 $ H $ 是可数生成的。
• 将 $ \alpha_HX $ 构造为赋值映射的闭包，可确保 $ H $ 的所有元素均可连续延拓至 $ \alpha_HX $，且 $ \mathfrak{sp}(H) $ 是 $ \alpha_HX $ 中所有 $ h_\alpha $ 均不为零的点的集合。
• 当 $ H $ 可数生成时，代数 $ H $ 包含一个可数稠密子代数 $ Q $，且 $ \alpha_QX $ 是可分度量空间，因此 $ \mathfrak{sp}(H) $ 继承此结构。
• 谱 $ \mathfrak{sp}(H) $ 同胚于 $ H $ 的结构空间，且 $ H \cong C_0(\mathfrak{sp}(H)) $，从而确认了对偶性。
• 此类代数的例子包括 $ H = \{ f \in C_B(X) : |f|^{-1}([\epsilon,\infty)) \text{ 具有性质 } \mathscr{P} \} $，其中 $ \mathscr{P} $ 是一个闭遗传性、保持可数并的拓扑性质，且 $ X $ 局部具有性质 $ \mathscr{P} $。