函数

函数 (Function)

函数（Function），亦称映射（Mapping），是数学中描述两个集合之间元素对应关系的核心概念。它将一个称为定义域（Domain）的集合中的每一个元素，唯一地关联到另一个称为陪域（Codomain）的集合中的一个元素。函数是微积分、线性代数、概率论乃至所有定量学科的基础工具，在自然科学、工程技术、经济学和计算机科学中扮演着不可或缺的角色。

形式化定义

从集合论的角度，从集合 $X$ 到 $Y$ 的函数 $f$ 可严格定义为笛卡尔积 $X \times Y$ 的一个子集，满足：对任意 $x \in X$，存在唯一的 $y \in Y$ 使有序对 $(x, y)$ 属于该子集。记为 $f: X \to Y$，其中 $y = f(x)$ 表示 $x$ 在 $f$ 下的像。

关键术语包括：定义域（所有合法输入 $X$）、陪域（可能输出的目标范围 $Y$）、自变量（代表定义域元素的 $x$）、因变量（代表输出值的 $y$）以及值域（函数所有实际输出 $\{f(x) \mid x \in X\}$）。值域是陪域的子集——例如 $f(x)=x^2$ 的值域为 $[0, \infty)$，仅为陪域 $\mathbb{R}$ 的一部分。

核心特征

函数定义蕴含两个基本特性：(1) 存在性——定义域中每个元素都必須有输出，不可遗漏；(2) 唯一性——每个输入对应唯一输出，不可一对多。唯一性在坐标系中体现为垂直线检验（Vertical Line Test）：任何垂直于 $x$ 轴的直线与函数图像至多交于一点，以此区分函数与其他数学关系（如圆方程 $x^2+y^2=1$）。

表示方法

函数可通过四种方式表示：解析式法（如 $f(x)=3x^2-\sin x$，最精确）、图像法（笛卡尔坐标系中的曲线，直观显示单调性、周期性等性质）、列表法（输入-输出对应表，适用于有限集或实验数据）和语言描述法（用自然语言定义规则，如分段函数）。

分类

函数可按多种标准分类。

按映射性质：单射（Injective，不同 $x$ 对应不同 $f(x)$）、满射（Surjective，值域等于陪域）、双射（Bijective，既单且满，存在逆函数）。

按代数性质：代数函数包括多项式函数（$a_n x^n + \dots + a_0$）和有理函数（多项式之比）；超越函数包括指数函数 $a^x$、对数函数 $\log_a x$、三角函数 $\sin x$ 等。

按对称性：偶函数满足 $f(-x)=f(x)$，图像关于 $y$ 轴对称（如 $x^2$）；奇函数满足 $f(-x)=-f(x)$，图像关于原点对称（如 $x^3$）。此外还有分段函数、周期函数、隐函数等分类。

应用

函数是构建科学模型的基石。微积分中的极限、导数和积分均围绕函数展开，分别描述局部行为、变化率和累积效应。物理学用函数描述运动轨迹和波的传播；经济学以需求函数、供给函数和成本函数分析市场行为；计算机科学中的函数（方法/子程序）延续了这一思想，函数式编程更将其提升为一等公民；统计学中的概率密度函数和回归模型亦以函数为核心工具。