我们来系统地梳理一下函数的概念及其基本性质。
一、函数的概述
1. 什么是函数？
简单来说，函数是一种特殊的"对应关系"。它描述了一个集合（定义域）中的每一个元素，如何唯一地对应到另一个集合（值域）中的一个元素。
-
核心思想 ：对于每一个输入，都有且只有一个输出。
-
数学定义 ：设 A 和 B 是两个非空数集。如果按照某种确定的对应关系 f ，使得对于集合 A 中的任意一个数 x ，在集合 B 中都有唯一确定的数 y 与之对应，那么就称 f: A \to B 是从集合 A 到集合 B 的一个函数。
-
常用记法： y = f(x)
-
x ：自变量（输入），属于定义域。
-
y ：因变量（输出），属于值域。
-
f ：对应法则（函数规则）。
-
2. 函数的三要素
一个完整的函数由三个关键部分组成：
-
定义域 (Domain)：自变量 x 所有可能取值的范围。例如， y = \sqrt{x} 的定义域是 [0, +\infty) 。
-
值域 (Range)：因变量 y 所有可能取值的范围。例如， y = x^2 的值域是 [0, +\infty) 。
-
对应法则 (Correspondence Rule)：描述如何将 x 变成 y 的具体规则，比如 f(x) = 2x + 1 。
注意：两个函数相同，当且仅当它们的定义域和对应法则完全相同（值域自然也就相同了）。
二、函数的几种基本性质
了解这些性质能帮助我们更深入地分析函数的图像和行为。
- 单调性 (Monotonicity)
描述函数值随自变量增大而变化的趋势。
-
增函数：如果 x_1 < x_2 ，那么 f(x_1) < f(x_2) 。图像从左到右上升。
-
减函数：如果 x_1 < x_2 ，那么 f(x_1) > f(x_2) 。图像从左到右下降。
-
判断方法：通常通过求导。若导数 f'(x) > 0 在某区间恒成立，则函数在该区间递增；若 f'(x) < 0 ，则递减。
- 奇偶性 (Parity)
描述函数图像关于原点或y轴的对称性。
-
偶函数 ：满足 f(-x) = f(x) 。图像关于 y轴对称。例如： y = x^2 , y = \cos x 。
-
奇函数 ：满足 f(-x) = -f(x) 。图像关于 原点对称。例如： y = x^3 , y = \sin x 。
-
判断前提：定义域必须关于原点对称。
- 周期性 (Periodicity)
描述函数值按固定间隔重复出现的特性。
-
定义：如果存在一个非零常数 T ，使得对于定义域内的任意 x ，都有 f(x+T) = f(x) ，那么 f(x) 就是周期函数， T 称为它的一个周期。
-
最小正周期：所有正周期中最小的那个（通常所说的周期）。
-
典型例子：三角函数 y = \sin x 的最小正周期是 2\pi 。
- 有界性 (Boundedness)
描述函数值是否被限制在一个范围内。
-
上界：存在一个实数 M ，使得对于所有 x \in D ，都有 f(x) \le M 。
-
下界：存在一个实数 m ，使得对于所有 x \in D ，都有 f(x) \ge m 。
-
有界函数：既有上界又有下界的函数。例如， y = \sin x 是有界的，因为 -1 \le \sin x \le 1 。
- 凹凸性 (Concavity/Convexity)
描述函数图像的弯曲方向。这在微积分和优化问题中非常重要。
-
凸函数：图像向上弯曲。其几何特征是：曲线上任意两点间的弦位于曲线之上方。二阶导数 f''(x) > 0 。
-
凹函数：图像向下弯曲。其几何特征是：曲线上任意两点间的弦位于曲线之下方。二阶导数 f''(x) < 0 。
-
注意：国内教材对"凹凸"的定义有时与国外相反，建议结合具体上下文理解。这里采用的是大多数高等数学教材的定义（凸=向上弯）。
总结表格
| 性质 | 定义要点 | 直观含义 | 判断方法举例 |
|---|---|---|---|
| 单调性 | x_1 < x_2 时， f(x_1) 与 f(x_2) 的大小关系恒定 | 图像上升或下降 | 导数符号 |
| 奇偶性 | f(-x) = f(x) 或 f(-x) = -f(x) | 图像对称 | 代入 -x 化简 |
| 周期性 | 存在 T \neq 0 ，使 f(x+T)=f(x) | 图像重复出现 | 寻找最小正周期 |
| 有界性 | 存在 M, m 使 m \le f(x) \le M | 图像被框住 | 求最值或极限 |
| 凹凸性 | 弦与曲线的位置关系 | 图像弯曲方向 | 二阶导数符号 |