函数有界性的定义

定义：若存在两个常数m和M，使函数y=f(x),x∈D 满足m≤f(x)≤M,x∈D 。 则称函数y=f(x)在D有界，其中m是它的下界，M是它的上界。函数在某区间上不是有界就是无界，二者必属其一。

设函数f(x)的定义域为D，f(x)在集合D上有定义。如果存在数K1，使得 f(x)≤K1对任意x∈D都成立，则称函数f(x)在D上有上界。反之，如果存在数字K2，使得 f(x)≥K2对任意x∈D都成立，则称函数f(x)在D上有下界，而K2称为函数f(x)在D上的一个下界。

如果存在正数M，使得 |f(x)|≤M 对任意x∈D都成立，则称函数在D上有界。如果这样的M不存在，就称函数f(x)在D上无界；等价于，无论对于任何正数M，总存在x1属于X，使得|f(x1)|>M，那么函数f(x)在X上无界。此外，函数f(x)在X上有界的充分必要条件是它在X上既有上界也有下界。