[论文解读] A normal measure on a compact connected space

Grzegorz Plebanek|arXiv (Cornell University)|Jul 10, 2015

advanced mathematical theories参考文献 2被引用 3

一句话总结

本文构建了一个权为 𝔠 的紧致连通空间，其上存在一个正规概率测度，从而解决了长期悬而未决的问题：证明了正规测度可以在连通紧致空间上存在。该构造通过一个严格正的保测度满射进行迭代扩张的逆系统实现，确保每个正测度的零集具有非空内部，从而依据测度论中的一个准则满足正规性。

ABSTRACT

We present a construction of a compact connected space which supports a normal probability measure.

研究动机与目标

• 为解决一个长期悬而未决的问题：即紧致连通空间是否可以支持一个正规概率测度。
• 构造一个拓扑权为 𝔠 的紧致连通空间，其上支持一个正规测度。
• 证明测度的正规性并不意味着底层空间必须不连通。
• 扩展先前结果，表明局部连通的紧致空间无法支持正规测度。

提出的方法

• 通过长度为 ω₁ 的超限归纳法，从 [0,1] 搭建一个紧致连通空间的逆系统，其上赋予勒贝格测度。
• 在每个后继阶段 α+1，空间 L_{α+1} 定义为 L_α 的“扩张” (L_α)^#，依据引理 3.2，确保 L_α 中每个正测度的零集在 L_{α+1} 中的原像具有非空内部。
• 极限空间 L 取为该系统的逆极限，极限测度 ν 通过逆极限的普遍性质定义。
• 该构造确保每个满足 ν(Z) > 0 的闭 G_δ 集 Z ⊆ L 具有非空内部，从而满足引理 2.1 中的正规性准则。
• 在每一步中保持拓扑权，确保 w(L) = 𝔠。
• 关键技术工具是引理 3.2，其保证正测度零集的原像在扩张空间中具有非空内部。

实验结果

研究问题

• RQ1 尽管局部连通的紧致空间无法支持正规测度，但是否存在一个紧致连通空间可以支持一个正规概率测度？
• RQ2 是否存在一个权为 𝔠 的紧致连通空间，其上支持一个正规测度？
• RQ3 在紧致空间上存在正规测度是否意味着该空间必须不连通？
• RQ4 该构造能否被改进，使得在连续统假设下得到一个完全正规的空间？
• RQ5 哪些拓扑与测度论条件可确保一个测度在紧致空间上是正规的？

主要发现

• 存在一个权为 𝔠 的紧致连通空间 L，其上支持一个正规概率测度，从而以否定方式回答了问题 1.1。
• L 上的测度 ν 是正规的，因为每个满足 ν(Z) > 0 的闭 G_δ 集 Z ⊆ L 具有非空内部，满足引理 2.1 中的准则。
• 该构造确保 ν 在 C(L) 上是严格正且序连续的，从而确认其正规性。
• 空间 L 是长度为 ω₁ 的系统的逆极限，且每一步均保持连通性与测度论性质。
• L 的拓扑权恰好为 𝔠，因为构造在每一步都保持了权。
• 在连续统假设下，一个变体构造可得到一个完全正规、第一可数的紧致连通空间，其上支持一个正规测度（定理 3.3）。