一、有界函数是一个数学术语，是指具有有界性的函数。举例如下：
设函数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都成立，则称函数在X上有界。如果这样的M不存在，就称函数f(x)在X上无界;等价于，无论对于任何正数M，总存在x1属于X，使得|f(x1)|>M，那么函数f(x)在X上无界。
此外，函数f(x)在X上有界的充分必要条件是它在X上既有上界也有下界。
通俗来讲，如果一个函数的值域是有限区间的话，那么这个函数就是有界函数。
证明方法如下：
1.理论法：若f(x)在定义域[a,b]上连续，或者放宽到常义可积（有限个第一类间断点），则f(x)在[a,b]上必然有界。
2.计算法：切分(a,b)内连续。
limx→a+f(x)存在limx→a+f(x)存在；limx→b−f(x)存在limx→b−f(x)存在则f(x)在定义域[a,b]内有界。
3.运算规则判定：在边界极限不存在时。
有界函数±有界函数=有界函数（有限个，基本不会有无穷个，无穷是个难分高低的状态）。
有界*有界=有界。
注意事项
1、函数在某区间上，要么有界要么无界，二者必属其一。
2、从几何学的角度很容易判别一个函数是否有界．如果找不到两条与x轴平行的直线使得函数的图形介于它们之间，那么函数一定是无界的。
一般来说，连续函数在闭区间具有有界性。例如：y=x+6在[1，2]上有最小值7，最大值8，所以说它的函数值在7和8之间变化，是有界的，所以具有有界性。但正切函数在有意义区间，比如(-π/2，π/2)内则无界。
sinx，cosx，sin(1/x），cos（1/x），arcsinx，arccosx，arctanx，arccotx是常见的有界函数。