单调函数的不连续点可数——泛函分析观点

设 M = { f : [ 0 , 1 ] → R : f 单 调 增 } ⊂ C ( [ 0 , 1 ] , R ) M=\{f:[0,1]\rightarrow \R: f 单调增\}\subset C([0, 1],\R) M={f:[0,1]→R:f单调增}⊂C([0,1],R). $M$上定义上确界范数，则$M$是 Banach 空间。令$L_x,R_x$ 分别表示左右极限算子，不难证明则它们是连续线性泛函。令 $D_x=L_x-R_x$.

$f$在$x$不连续等价于$D_x(f)\ne 0$.

令 N = { f ∈ M : f 至 多 有 可 数 个 不 连 续 点 } N=\{f\in M: f 至多有可数个不连续点\} N={f∈M:f至多有可数个不连续点}，则 $N$是$M$的子空间。我们证明：

1. $N$是$M$的闭子空间
2. $N$在$M$中稠密

从而 $N=M$.

对于1， 设 $f\in \overline{N}$，则存在$(f_n)\in N$, $f_n\to f$，由 $D_x$ 连续得若 $D_x(f_n)=0$，对任意$n$，则$D_x(f)=0$. 因此 { x : D x ( f ) ≠ 0 } ⊂ ∪ n { x : D x ( f n ) ≠ 0 } \{x:D_x(f)\neq 0\}\subset \cup_{n} \{x:D_x(f_n) \neq 0\} {x:Dx​(f)​=0}⊂∪n​{x:Dx​(fn​)​=0}，由假设，前者是可数的，因此$f\in N$.

对于2，令$S$为$[0,1]$上的单调增阶梯函数集合，则$S\subset N$，只需证明 $S$ 稠即可。对任意 $f\in M$，令 g = ∑ k = − ∞ ∞ k n 1 { x ∈ [ 0 , 1 ] : k − 1 n ≤ f < k n } g = \sum_{k=-\infty}^\infty \frac kn \mathbb{1}\{x\in[0,1]: \frac {k-1}n \le f < kn \} g=∑k=−∞∞​nk​1{x∈[0,1]:nk−1​≤f<kn}，则$\Vert g-f\Vert \le \frac{1}{n}$，而 $g\in S$，证毕。