函数在数学上的定义：给定一个非空的数集A,对A施加对应法则f,记作f（A）,得到另一数集B,也就是B=f（A）.那么这个关系式就叫函数关系式,简称函数.设函数f(x)的定义域为D，数集X包含于D。如果存在数K1，使得f(x)≤K1对任一x∈X都成立，则称函数f(x)在X上有上界，而K1称为函数f(x)在X上的一个上界。如果存在数K2，使得f(x)≥K2对任一x∈X都成立，则称函数f(x)在X上有下界，而K2称为函数f(x)在X上的一个下界。如果存在正数M，使得|f(x)|<=M对任一x∈X都成立，则称函数f(x)在X上有界，如果这样的M不存在，就称函数f(x)在X上无界。