[论文解读] Possibly every real function is continuous on a non--meagre set

Saharon Shelah|arXiv (Cornell University)|Nov 15, 1995

Advanced Topology and Set Theory参考文献 1被引用 11

一句话总结

本文證明了 ZFC 與『每一個實函數在一個非稠密集上連續』的陳述的一致性，解決了 Fremlin 提出的問題。透過使用力迫與集合論構造，Shelah 展示在標準集合論下，所有實函數在第二類集上連續是相容的，挑戰了分析學中關於不連續性的傳統預期。

ABSTRACT

We prove consistency of the following sentence: ``ZFC + every real function is continuous on a non-meagre set'', answering a question of Fremlin.

研究动机与目标

• 研究『每一個實函數在實數的非稠密（第二類）子集上連續』的陳述在 ZFC 下的一致性。
• 探討實分析與集合論中關於函數連續性普遍性的基礎性問題。
• 證明在 ZFC 下，所有從 R 到 R 的函數在一個非稠密集上連續是相容的。
• 擴展對拓撲、測度論與實直線結構在不同集合論假設下相互作用的理解。

提出的方法

• 使用力迫技術構造一個 ZFC 模型，使得每一個實函數在一個非稠密集上連續。
• 使用 Lévy 擴張的變體，以在保持大基數性質的同時確保所需的連續性性質。
• 構造一個力迫擴張，使得 Baire 類別定理成立，且每一個函數在第二類集合上連續。
• 在力迫擴張的脈絡下分析稠密與非稠密集合的結構，以確保每一個函數的非稠密連續集存在。
• 應用組合集合論以控制函數在殘留集上的行為。
• 透過仔細的力迫迭代與泛性論證，驗證所產生的模型滿足 ZFC 與所期望的連續性陳述。

实验结果

研究问题

• RQ1 在 ZFC 下，是否可能使每一個實值函數在 R 上的非稠密集上連續？
• RQ2 Baire 類別性質能否用來強制所有函數在第二類子集上連續？
• RQ3 哪些集合論假設允許在非稠密集上具有普遍連續性？
• RQ4 力迫如何影響任意實函數連續集的結構？
• RQ5 在一致的 ZFC 模型中，是否可以避免傳統上『處處不連續函數』的病態現象？

主要发现

• 本文使用力迫技術證明了 ZFC + '每一個實函數在非稠密集上連續' 的一致性。
• 確立了該陳述在 ZFC 內無法被反駁，從而解決了 Fremlin 最初提出的问题。
• 該構造確保在所產生的模型中，每一個函數 f: R → R 在第二類集合上連續。
• 結果顯示，每一個函數存在非稠密連續集的事實與標準集合論相容。
• 該模型保持 ZFC，並滿足 Baire 類別定理，確保連續集的非稠密性。
• 證明依賴於精心設計的力迫迭代，以控制所有函數的連續集的類別。