下面列举一个定义在 [ 0 , 1 ] [0,1] [0,1] 上的单调递增函数 f f f, 它在 [ 0 , 1 ] [0,1] [0,1] 上具有可列个不连续点.
定义
f
(
x
)
=
1
f(x)=1
f(x)=1,
∀
x
∈
[
0
,
1
2
]
\forall x\in [0, \frac{1}{2}]
∀x∈[0,21]
定义
f
(
x
)
=
2
f(x)=2
f(x)=2,
∀
x
∈
(
1
2
,
2
3
]
\forall x\in (\frac{1}{2}, \frac{2}{3}]
∀x∈(21,32]
…
定义
f
(
x
)
=
k
f(x)=k
f(x)=k,
∀
x
∈
(
k
−
1
k
,
k
k
+
1
]
\forall x\in (\frac{k-1}{k}, \frac{k}{k+1}]
∀x∈(kk−1,k+1k]
…
定义
f
(
x
)
=
1
f(x)=1
f(x)=1,
x
=
1
x=1
x=1
上面列举的函数是无界的, 若定义 f ( x ) = 1 − 1 2 k f(x)=1-\frac{1}{2^{k}} f(x)=1−2k1, ∀ x ∈ ( k − 1 k , k k + 1 ] \forall x\in (\frac{k-1}{k}, \frac{k}{k+1}] ∀x∈(kk−1,k+1k], 则得到的 f f f 是有界的.