函数

Function 函数

函数是客观事物的内部联系在数量方面的反映，利用函数关系可以对客观事物的规律性进行研究。

• 从集合的角度看：函数可被称为映射，是一种特殊的二元关系。
• 从向量的角度看：函数可以看作是无穷维的向量，基于此定义函数空间。

本质就是一个量（因变量）随着另一个量（自变量）的变化而变化。 —— “凡此变数中函彼变数者，则此为彼之函数”。

一、基本定义

从集合论的角度看，函数 $f$ 是从集合 $A$（定义域）到集合 $B$（值域）的一种特殊映射。它满足以下条件：

1. 唯一性: 对于定义域 $A$ 中的每一个元素 $x$，在值域 $B$ 中都有唯一确定的元素 $y$ 与之对应。
2. 对应法则: 这种对应关系由一个明确的法则 $f$ 给出，通常表示为 $y=f(x)$。

函数概念包含三个核心要素：

• 定义域 (Domain) $A$: 自变量 $x$ 可以取的所有值的集合。
• 值域 (Codomain/Range) $B$: 因变量 $y$ 可以取的所有值的集合。
• 对应法则 (Rule of Correspondence) $f$: 将定义域中的每个元素映射到值域中唯一元素的规则。这是函数的本质特征。

本质理解：函数 $y=f(x)$ 刻画的是一种因果或依赖关系：当自变量 $x$ 发生变化时，因变量 $y$ 会按照特定的规则 $f$ 随之变化。这种变化规律是函数研究的核心。

从向量空间的角度看，函数可以被视为无穷维的向量，这引出了函数空间的概念，为更高级的数学分析（如泛函分析）奠定了基础。

二、基本分类

初等函数

Elementary Functions 由常数和基本初等函数经过有限次的四则运算和有限次的函数复合步骤构成，可用一个式子表示的函数。

基本初等函数：指数函数, 对数函数, 幂函数, 三角函数，反三角函数, 双曲函数，反双曲函数

初等函数可以通过有限次的加、减、乘、除、指数和对数运算组合而成，在定义域内都连续，并且通常是可导和可微的。

这些函数在数学分析、函数图形的绘制、方程求解等领域中非常重要。

非初等函数

常见的非初等函数：

• 分段函数：Piecewise Functions 在不同区间有不同定义
• 绝对值函数：Absolute Value Function
• 取整函数：Floor/Ceiling Functions $y=\lfloor x\rfloor ,y=\lceil x\rceil$
• 最大最小值函数：Max/Min Functions
• 极限形式给出的函数

特殊函数

数学中一类具有特定性质、在物理学、工程学、统计学等领域广泛应用的函数。它们通常是某些微分方程的解、积分的计算结果，或者通过级数、积分变换等方式定义。并且具有一些独特的性质，如正交性、递推关系、生成函数等。它们是数学物理方程的解，例如拉普拉斯方程、亥姆霍兹方程、薛定谔方程等。

• 伽马函数 Gamma Function
• 贝塞尔函数 Bessel Functions
• 勒让德多项式 Legendre Polynomials
• 埃尔米特多项式 Hermite Polynomials
• 拉盖尔多项式 Laguerre Polynomials

函数应用

多元函数 向量值函数 随机变量

三、基本性质

周期性

对称性

关于某点对称或关于某轴对称

较为特殊的情况

• 偶函数 Even Function ：关于 $y$ 轴对称
• 奇函数 Odd Function：关于原点对称
• 反函数 Inverse Function：互为反函数的两个函数图像关于 $y=x$ 对称

反函数：函数的逆运算，如果一个函数 $f$ 将输入值 $x$ 映射到输出值 $y$，那么它的反函数 $f^{-1}$ 将输出值 $y$ 映射回输入值 $x$，反函数的图像是原函数图像关于直线 $y=x$ 的对称图像

单调性

极限

函数的连续、可导、可微、解析等性质都是通过极限定义的