在本节中, 我们将介绍以后常用到的几类具有某些特性的函数.
一、有界函数
定义 1
设 fff 为定义在 DDD 上的函数. 若存在数 M(L)M(L)M(L), 使得对每一个 x∈Dx \in Dx∈D, 有
f(x)⩽M(f(x)⩾L),f(x) \leqslant M(f(x) \geqslant L),f(x)⩽M(f(x)⩾L),
则称 fff 为 DDD 上的有上 (下) 界函数, M(L)M(L)M(L) 称为 fff 在 DDD 上的一个上(下) 界.
根据定义, fff 在 DDD 上有上 (下) 界, 意味着值域 f(D)f(D)f(D) 是一个有上 (下)界的数集. 又若 M(L)M(L)M(L) 为 fff 在 DDD 上的上 (下) 界, 则任何大于 (小于)M(L)M(L)M(L) 的数也是 fff 在 DDD 上的上 (下) 界.
定义 2
设 fff 为定义在 DDD 上的函数. 若存在正数 MMM, 使得对每一个 x∈Dx \in Dx∈D, 有
∣f(x)∣⩽M,|f(x)| \leqslant M,∣f(x)∣⩽M,
则称 fff 为 DDD 上的 有界函数.
根据定义, fff 在 DDD 上有界, 意味着值域 f(D)f(D)f(D) 是一个有界集. 又按定义, 不难验证: fff在 DDD 上有界的充要条件是 fff 在 DDD 上既有上界又有下界. (1) 式的几何意义是: 若 fff 为 DDD上的有界函数,则 fff 的图像完全落在直线 y=My=My=M 与 y=−My=-My=