数学分析之变量与函数

函数的概念

变量

在分析构建模型的时候会遇到许多的量，这些量基本可以分为两种：一种是在对象生命周期中保持不变的量，这种量称为常量。另一种是在观察过程中不断变化的量，这种量称为变量。

常见的常量有：

• 光速 $c$
• 圆周率 $\pi$
• 研究自由落体时的重力加速度$g$

在研究实际问题时，我们常常抽去变量或常量的具体意义来研究某一过程中这些量在数值上的关系。接下来一段时间将从实数角度讨论问题。

实数

实数包含有理数与无理数两种，所有整数、所有分数统称为有理数，即所有能表示为 $\frac{p}{q}(p,q为整数且q>0)$的数为有理数，其余则为无理数。
实数包含一些重要的性质：

• 实数和直线上的点有一一对应的关系，并称这条直线为实数轴。
• 有理数在实数中是稠密¹的，无理数也是稠密的。
• 有理数与有理数的和或差仍是有理数，有理数与无理数的和或差为无理数，无理数与无理数的和或差可能为有理数，也可能为无理数。

变量的取值范围

在实际构建模型时我们常常会发现一些变量是有变化范围的，也就是变量的取值范围。

映射

我们发现在生活中一些量是有关系的，而这种关系通常称之为映射，是指不同量之间的对应关系。例如在我们的生活中见到绿色往往能联系到生命，见到红色能联想到热情等等，这就是一种映射，把颜色与我们的认知联系到一起。

函数

具体的说，函数是映射的一种，有一些独特的性质：

• 在联系的量中，一个量变化，另一个也相应的变化，我们把前者称为自变量，把后者称为因变量。
• 自变量和因变量有一定的变化范围²。
• 对自变量的变化范围内的每一个确定的值，通过关联关系总能找到一个确定且唯一的因变量的值。

下面给出函数的数学定义：
如果对某个范围$X$内的每一个实数$x$,可以按照规定的规律$f$找到$Y$内唯一确定的一个实数$y$和这个$x$对应，我们就称$f$是$X$上的函数，它在$x$的数值（称为函数值）是$y$，记为$f(x)$,即$y=f(x)$。有时我们也称这个$y$是$x$的像，称$y$是$x$的一个逆像，数学符号表示为
$$f:X\to Y$$
$$x\mapsto f(x)$$
这个记号有两层意思：

• 它表明通过函数$f$的作用，把整个$X$变到$Y$里去
• 对$X$内的每一个实数$x$,在$f$的作用下变为$Y$内唯一一个实数$y$,记作$f(x)$

我们称$X$是函数$f$的定义域，$f(x)$为函数$f$的值域³。

函数的几何性质

###单调性
如果对于某区间$X$内的任何两点$x_1<x_2$,总成立着$f(x_1)\ge f(x_2)$或$f(x_1)\le f(x_2)$，则称$y=f(x)$在区间内单调增加（或单调减少）。如果等号恒不成立，则称为严格单调增加（或减少）。
###奇偶性
如果$f(x)$的定义域为$(-a,a)(a>0)$,并且对定义域内的任何x，满足$f(-x)=-f(x)$,则称$f(x)$为奇函数，他的图形关于原点对称；如果对定义域内的任何$x，f(x)$满足$f(-x)=f(x)$,就称它为偶函数，它的图形关于$y$轴对称。
###周期性
设函数$f(x)$的定义域是$(-\infty ，+\infty )$，如果对任何$x$，等式$f(x+\omega )=f(x)$成立，其中$\omega$为常数，则称$f$为周期函数，$\omega$称为周期，它通常指最小正周期，但并不是每一个函数都有最小正周期。

Dirichlet函数

$$y=f(x)=\{\begin{array}{ll}a,& 当x为有理数时，\\ b,& 当x为无理数时。\end{array}$$
狄利克雷函数不能在数轴上画出，但可以进行直观想象为在0和1处稠密的函数，它是不单调的，但它是偶函数，它是周期函数，但没有最小正周期。

---

1. 任何两个实数之间存在有理数。 ↩︎

2. 无限或者无穷也是一种范围。 ↩︎

3. 值域不一定就是$Y$,它不可能比$Y$大，但可能比$Y$小。 ↩︎