[论文解读] Strong c-algebrability of strong Sierpiński-Zygmund, smooth nowhere analytic and other sets of functions

Artur Bartoszewicz, Marek Bienias+2 more|arXiv (Cornell University)|Jul 1, 2013

Advanced Banach Space Theory参考文献 23被引用 5

一句话总结

本文為多種異常實函數族確立了強大的 𝔠-代數可構性，包括強 Sierpiński-Zygmund 函數、處處不 Hölder 連續函數、Bruckner-Garg 函數、光滑但處處非解析函數，以及可微但處處非單調的函數。作者透過與指數類函數的複合構造自由代數，證明這些集合包含與自由代數同構的 𝔠-生成代數，從而在每種情況下達到最高的代數可構性層級。

ABSTRACT

We present a useful technique of proving strong $\mathfrak{c}$-algebrability. As an outcome we obtain the strong $\mathfrak{c}$-algebrability of the following sets of functions: strong Sierpiński-Zygmund, nowhere Hölder, Bruckner-Garg, nowhere monotone differentiable, a certain Baire class, smooth and nowhere analytic functions.

研究动机与目标

• 為在拓撲或測度論意義下通常被視為「小」的病態實函數族確立強大的 𝔠-代數可構性。
• 發展並應用一種基於與指數類函數複合的通用技術，以在函數集合內生成自由代數。
• 證明代數可構性結果在基數與結構複雜度上均為最佳，達成最大可能的 𝔠-生成元數量。
• 補齊如近似連續函數與具有指定連續點集之函數等類別的代數可構性圖景。

提出的方法

• 透過選擇合適的生成函數 F，並與指數類函數 f 進行複合，於函數集合內構造出基數為 𝔠 的自由代數。
• 利用指數類函數為有限對一且保持 Lebesgue 零集的性質，確保極限集（如 Cantor 集）在複合下仍保持為 Cantor 集。
• 驗證所有生成元的有限非常數多項式組合之集合仍屬於目標函數類，以確保代數封閉性。
• 應用一般性準則（定理 1.5）：若對每個指數類函數 f 及固定的 F ∈ F，均有 f∘F ∈ F∖{0}，則可保證強 𝔠-代數可構性。
• 證明生成集合在複合下仍保持線性無關，從而維持代數的自由性。
• 利用若 F 為一對一函數，則其生成的代數在 C[0,1] 中稠密的事實，將代數可構性推廣至稠密子代數。

实验结果

研究问题

• RQ1 在 ZFC 系統下（不假設 CH），是否可證明強 Sierpiński-Zygmund 函數族具有強 𝔠-代數可構性？
• RQ2 透過與指數類函數複合，光滑但處處非解析的函數族是否具有強 𝔠-代數可構性？
• RQ3 Bruckner-Garg 函數與可微但處處非單調的函數族是否可在最大 𝔠 層級上實現代數可構性？
• RQ4 在何種條件下，與指數類函數複合所生成的代數在 C[0,1] 中稠密？
• RQ5 是否可對 n 階導數處處不 Hölder 連續的函數集合實現強 𝔠-代數可構性？

主要发现

• 在 ZFC 框架下，只要強 Sierpiński-Zygmund 函數族非空，其即為強 𝔠-代數可構的。
• 具有指定 Gδ 連續點集的函數集合是強 𝔠-代數可構的。
• 處處不 Hölder 連續的函數集合，以及幾乎處處不連續的近似連續函數集合，均為強 𝔠-代數可構的。
• 光滑但處處非解析的函數與可微但處處非單調的函數均為強 𝔠-代數可構的。
• 其極限點集為 Cantor 集的有界序列集合是強 𝔠-代數可構的。
• 即使生成函數本身非指數類，指數類函數集合本身亦為強 𝔠-代數可構的。