[论文解读] Cardinal invariants concerning functions whose sum is almost continuous

Krzysztof Ciesielski, Arnold W. Miller|arXiv (Cornell University)|Oct 26, 1994

Advanced Topology and Set Theory参考文献 3被引用 6

一句话总结

本文研究了与几乎连续函数及其和相关的基数不变量。研究证明，使得不存在单个函数 g 能使所有和 f+g 均为几乎连续的实函数族的最小大小（记为 AA）的共Finality 大于连续统，并且可以在连续统与 2^c 之间的任意正则基数取值，表明其在 ZFC 中的独立性。此外，本文进一步证明了 AA 等于 AD，即达布函数的类似不变量，从而解决了该领域的一个问题。

ABSTRACT

A function f from reals to reals (f:R->R) is almost continuous (in the sense of Stallings) iff every open set in the plane which contains the graph of f contains the graph of a continuous function. Natkaniec showed that for any family F of continuum many real functions there exists g:R->R such that f+g is almost continuous for every f in F. Let AA be the smallest cardinality of a family F of real functions for which there is no g:R->R with the property that f+g is almost continuous for every f in F. Thus Natkaniec showed that AA is strictly greater than the continuum. He asked if anything more could be said. We show that the cofinality of AA is greater than the continuum, c. Moreover, we show that it is pretty much all that can be said about AA in ZFC, by showing that AA can be equal to any regular cardinal between c^+ and 2^c (with 2^c arbitrarily large). We also show that AA = AD where AD is defined similarly to AA but for the class of Darboux functions. This solves another problem of Maliszewski and Natkaniec.

研究动机与目标

• 确定基数不变量 AA 的共Finality 及其可能取值，其中 AA 定义为：不存在单个函数 g 使得对族中所有 f 都有 f+g 几乎连续的实函数族的最小大小。
• 研究 AA 与 AD 之间的关系，其中 AD 是达布函数的类似不变量。
• 探讨在 Natkaniec 之前已证明 AA > c 的前提下，AA 在 ZFC 中可被确定的程度。
• 解决 Maliszewski 与 Natkaniec 提出的关于 AA 与 AD 是否相等的问题。

提出的方法

• 作者使用拓扑与集合论方法分析几乎连续函数的结构，特别关注平面上的图拓扑。
• 他们采用力迫与独立性技术，证明 AA 可以是 c^+ 到 2^c 之间的任意正则基数，即使 2^c 任意大也成立。
• AA = AD 的证明依赖于构造合适的函数，并利用达布函数的性质，而达布函数在几乎连续性的拓扑中是稠密的。
• 作者使用平面上的“图稠密”集合概念来刻画几乎连续函数，基于 Stallings 的定义。
• 通过构造使基数不变量 AA 变大的函数族，分析 AA 的共Finality。
• 该论证涉及对理想中函数的仔细分析，即其与固定 g 的和为几乎连续的函数，利用实数的组合性质。

实验结果

研究问题

• RQ1 基数不变量 AA 的共Finality 是什么？AA 定义为：不存在单个函数 g 使得对族中所有 f 都有 f+g 几乎连续的函数族的最小大小。
• RQ2 AA 是否可以等于 c^+ 到 2^c 之间的任意正则基数？如果是，这是否与 ZFC 一致？
• RQ3 基数不变量 AA 是否等于 AD，即达布函数的类似不变量？
• RQ4 在已知 Natkaniec 证明 AA > c 的前提下，AA 的取值在多大程度上由 ZFC 确定？
• RQ5 几乎连续函数及其和的哪些结构性质使得此类独立性结果成为可能？

主要发现

• AA 的共Finality 大于连续统，意味着 AA 不能表示为少于 2^c 个大小小于 AA 的集合的并集。
• AA 可以等于 c^+ 到 2^c 之间的任意正则基数，且该结论与 ZFC 一致，即使 2^c 任意大也成立。
• AA = AD 成立，意味着不存在单个函数 g 使得对所有 f 都有 f+g 几乎连续的函数族的最小大小，等于达布函数的类似不变量。
• 该结果解决了 Maliszewski 与 Natkaniec 提出的关于 AA 与 AD 是否相等的问题。
• 本文表明，AA 的值不能仅由 ZFC 确定，其取值可在给定范围内广泛变化。
• 分析确认，几乎连续函数类足够丰富，足以支持此类独立性结果，尽管 AA > c 在 ZFC 中可证。