1. 函数的两要素与四大性质:有界()、单调、奇偶、周期的正式定义★★ 必会
① 两要素:函数 由定义域 与对应法则 完全确定,值域由这两者派生。因此两个函数相同 定义域与对应法则都相同。例如 与 不是同一个函数,因为二者的定义域分别为 与 ;而 与 是同一个函数。
② 有界性: 在数集 上有界 存在 ,使对一切 都有 ,这等价于它既有上界又有下界。无界是有界的否定,即对任意 ,总存在 ,使 。必须注意,有界性总是相对于某个区间而言的。例如 在 上有界,而在 内无界。
③ 单调性:如果对 中任意 恒有 ,那么称 在 上单调增加;如果恒有 ,那么称单调减少。考研中若不加声明,单调性都指严格不等号的情形。
④ 奇偶性:讨论奇偶性的前提是定义域关于原点对称。如果恒有 ,那么称它为偶函数,其图形关于 轴对称;如果恒有 ,那么称它为奇函数,其图形关于原点对称。奇函数如果在 处有定义,那么必有 ,证明见下。
⑤ 周期性:如果存在 ,使对定义域内一切 (且 仍在定义域内)恒有那么称 为周期函数, 为它的一个周期。通常所说的周期指最小正周期,但最小正周期未必存在。例如常数函数与 Dirichlet 函数,任何正有理数都是它们的周期,其中并没有最小者。
② 有界性: 在数集 上有界 存在 ,使对一切 都有 ,这等价于它既有上界又有下界。无界是有界的否定,即对任意 ,总存在 ,使 。必须注意,有界性总是相对于某个区间而言的。例如 在 上有界,而在 内无界。
③ 单调性:如果对 中任意 恒有 ,那么称 在 上单调增加;如果恒有 ,那么称单调减少。考研中若不加声明,单调性都指严格不等号的情形。
④ 奇偶性:讨论奇偶性的前提是定义域关于原点对称。如果恒有 ,那么称它为偶函数,其图形关于 轴对称;如果恒有 ,那么称它为奇函数,其图形关于原点对称。奇函数如果在 处有定义,那么必有 ,证明见下。
⑤ 周期性:如果存在 ,使对定义域内一切 (且 仍在定义域内)恒有那么称 为周期函数, 为它的一个周期。通常所说的周期指最小正周期,但最小正周期未必存在。例如常数函数与 Dirichlet 函数,任何正有理数都是它们的周期,其中并没有最小者。
证明 / 推导
证奇函数在 有定义 :在恒等式 中令 ,得 ,即 ,因此 。这一结论常用来由奇偶性确定待定常数,下面的真题就是一例。至于更深一层的结构,即对称区间上任何函数都可唯一地分解为奇部与偶部之和,将在下一条中讨论。
举例说明
真题(2014 数一,填空):设 是周期为 的可导奇函数,且 ,,则 ______。解:在 上积分,得 。由奇函数 得 ,即 ,于是 。再利用周期性与奇性,把 化到已知表达式所在的区间上:应填 。
易错之处:作周期平移时,必须把自变量化到已知表达式所在的区间内。这里 ,故须再减去一个周期而得到 ,然后用奇性把它化回 ;而确定常数 所依据的是奇函数的图形通过原点这一事实。