实值可测函数的环与子环研究近期进展

两个分离实紧可测空间 $(X,\mathcal{A})$ 和 $(Y,\mathcal{B})$ 被证明同构当且仅当这两个空间上所有实值可测函数的环 $\mathcal{M}(X,\mathcal{A})$ 和 $\mathcal{M}(Y,\mathcal{B})$ 同构。进一步表明，任意这样的环 $\mathcal{M}(X,\mathcal{A})$，即使 $X$ 上无实紧性假设，也可单射嵌入到形如 $C(K)$ 的环中，其中 $K$ 是零维 Hausdorff 拓扑空间。还表明，给定 $(X,\mathcal{A})$ 上的测度 $\mu$，$\mathcal{M}(X,\mathcal{A})$ 上的 $m_\mu$-拓扑是列可数的当且仅当它是连通的，而这发生当且仅当 $\mathcal{M}(X,\mathcal{A})$ 等同于所有 $\mu$-本质有界可测函数组成的子环 $L^\infty(\mu)$。此外，我们研究了 $\mathcal{M}(X,\mathcal{A})$ 的子环中的理想结构，这些子环分别由仅在有限个点外消失的函数和“在无穷远消失”的函数构成。特别地，我们证明当前者子环在 $(X,\mathcal{A})$ 分离且 $\mathcal{A}$ 无穷时等于 $\mathcal{M}(X,\mathcal{A})$ 中所有自由理想的交。假设 $(X,\mathcal{A})$ 局部有限，我们还确定了后者子环成为 $\mathcal{M}(X,\mathcal{A})$ 理想的充要条件。