[论文解读] On the Almost Everywhere Continuity

Joël Blot|arXiv (Cornell University)|Nov 13, 2014

Advanced Banach Space Theory被引用 3

一句话总结

本文建立了在紧区间上实值函数的勒贝格几乎处处连续性的刻画，表明若函数在几乎处处点具有有限的一侧极限，则其几乎处处连续。关键贡献是基于几乎处处存在有限一侧极限的条件下，提出了黎曼可积性的充分条件。

ABSTRACT

The aim of this paper is to provide characterizations of the Lebesgue-almost everywhere continuity of a function f : [a, b] $ ightarrow$ R. These characterizations permit to obtain necessary and sufficient conditions for the Riemann integrability of f .

研究动机与目标

• 以勒贝格测度为背景，刻画几乎处处连续的函数。
• 基于有限一侧极限的存在性，建立黎曼可积性的必要与充分条件。
• 推广Rémondière与Saada关于控制函数不连续点集的结果。
• 阐明在勒贝格测度背景下，单侧极限、振荡与连续性之间的关系。
• 提供一种利用振荡函数与测度论工具分析不连续点集的框架。

提出的方法

• 引入左、右振荡函数 $\omega_L(x)$ 与 $\omega_R(x)$，以量化某一点处不连续性的严重程度。
• 利用等价关系：$\omega_L(x) = 0$ 当且仅当 $f$ 在 $x$ 处左连续，同理适用于 $\omega_R(x)$。
• 应用测度论论证：若一集合具有正测度，则其不能是正测度区间的不可数不交并。
• 运用关键引理：若 $f$ 几乎处处具有有限右极限，则 $\omega_L(x) = 0$ 几乎处处成立。
• 证明：若一侧极限几乎处处存在且有限，则不连续点集为勒贝格零测集（或至多可数）。
• 通过将两个零测集（如 $\omega_L > 0$ 与 $\omega_R > 0$ 的集合）的并集合并，得出在给定条件下几乎处处连续的结论。

实验结果

研究问题

• RQ1 在 $[a,b]$ 上有界函数基于单侧极限行为，其黎曼可积的条件是什么？
• RQ2 在几乎处处存在有限单侧极限时，何时可推出函数几乎处处连续？
• RQ3 振荡函数 $\omega_L$ 与 $\omega_R$ 如何反映不连续点集的结构？
• RQ4 能否仅通过单侧极限的存在性来刻画函数的不连续点集？
• RQ5 不连续点集的大小与有限单侧极限存在的精确关系为何？

主要发现

• 若 $f$ 在 $[a,b)$ 上除勒贝格零测集外所有点均具有有限右极限，则 $f$ 在 $[a,b]$ 上几乎处处连续。
• 当且仅当 $f$ 缺乏有限左极限或右极限的点集为勒贝格零测集时，$f$ 的不连续点集为勒贝格零测集。
• 对于有界函数，黎曼可积性等价于不连续点集为勒贝格零测集，而这也等价于几乎处处存在有限单侧极限。
• 若 $f$ 在 $[a,b]$ 上右连续或左连续，则其不连续点集至多可数，因此若 $f$ 有界，则其黎曼可积。
• 振荡函数 $\omega_L$ 与 $\omega_R$ 精确度量了不连续性，其中 $\omega_L(x) = 0$ 当且仅当 $f$ 在 $x$ 处左连续。
• 两个勒贝格零测集的并集（如 $\omega_L > 0$ 与 $\omega_R > 0$ 的集合）仍为勒贝格零测集，从而在所述条件下确保几乎处处连续。