华罗庚先生在他的《高等数学引论》一书的前言当中谈到自己的教学方法(在我看来, 其实也是一种学习方法):
我讲书喜欢埋些伏笔, 把有一些重要概念,重要方法尽早的提出. 并且不止一次的提出. 目的在于将来进一步学习的时候, 会较易接受高深的方法......
我也喜欢 生书熟讲, 熟书生温的方法. 似乎是在温熟书, 但把新的东西讲进去了, 因为一般来讲, 生书比旧课, 真正原则性的添加并不太多的缘故. 另找一条线索, 把旧东西贯彻起来, 这样的温习方法,容易发现我们究竟有那些主要环节没有懂透......
这个专栏中所写的东西, 我努力参考多种资料, 也学着 Rudin 的线索来把大家熟悉的概念温习一遍. 所述或有错漏繁杂之处, 希望大家多提意见, 一起改进.
下面开始这一篇专栏的正文吧!
现在开始进入函数的部分, 我们先了解一下函数的定义. 一般的关于函数的描述性的定义,来自于狄利克雷, 我们已经很熟悉了. 这里将使用集合来更严格的定义函数的概念.
函数的定义
要用集合的语言来定义函数, 我们要用集合的语言来描述"关系"这个概念, 为此我们需要"序偶"的概念(N. Wiener 给出了序偶定义的一个精确的描述, 具体的可参考相关文献). 默认我们已经对集合的概念以及运算很熟悉了.
* 以下一部分可以跳过
这里我们仅用不严格的直观的语言来描述序偶.
[序偶]和是两个集合, 任取两个元素, 按顺序放在一起构成序偶, 表示为. 前面的称为序偶的 第一坐标 , 后面的称为这个序偶的 第二坐标 .
关于序偶的一个基本事实是: 两个序偶相等, 当且仅当两个序偶具有相同的第一坐标与第二坐标.
[关系及其逆]是一个 关系(relationship) , 当且仅当对于的每个元, 存在与,使得. 换句话说 一个关系是一个类, 其元素为序偶 . 一个关系的逆, 是通过对调这个关系中的每一个序偶的两个坐标的顺序而得到的.
最简单的一个关系,是笛卡尔积.
两个关系
关于"关系"的更多的内容, 可以参考任意一本抽象代数教材. 在此不作为主题讨论.
由狄利克雷给出的函数定义这样说: 一个函数(或称由
函数的图像可以定义为集合
[函数] 一个函数, 是一个有序三元组, 其中, 满足: 对于每一个, 只有一个.
换句话说, 一个函数, 是使得没有两个不同的元具有相同的第一坐标的一种关系.
Too much for the definition of function......回到数学分析的视野里来.
实数空间上, 我们有六类基本初等函数, 分别是:
- 常数函数
;
- 幂函数
- 指数函数
,为某一固定常数;
- 对数函数
, 对数函数是指数函数的反函数;
- 三角函数 三角函数有三个,正弦
, 余弦, 正切;
- 反三角函数 反正先
, 反余弦, 反正切.
由基本初等函数进行四则运算以及复合运算得到的函数称为初等函数.
这些函数读者在高中应该很熟悉了, 对于这些函数的很多性质也有了一定的了解. 下面我们探讨一般的(实或复变量)函数的性质,对于向量值函数,以及更一般的任意度量空间上的函数, 留待以后讨论. 我们从函数极限的定义开始.
函数极限
令和为度量空间, 设,将映入中. 而为的极限点. 我们说, 当时, 函数以为极限,表示为
就是存在点, 具有性质: 当,,
对于满足
的一切成立.和分别表示和中的距离.
这个定义是一般的. 对于实函数的特殊情况, 比如一元实函数($X,Y$为实直线), 只要定义度量空间上的范数为绝对值, 就变成了我们常见的的函数极限的定义.
我们已经学过了数列极限的定义, 可以以此改写函数极限定义, 也就是:
[海涅(Heine)定理]定义如上,当且仅当: 对于中满足
的每个序列, 都有
成立.
和数列极限类似, 函数在一点处有极限, 则极限必唯一.
设
设,为度量空间, 而为的极限点.与是上的复函数, 并且
那么
-(a);
-(b);
-(c) 若.
Note: 特别的,若
令
对于
是定义在上的函数. 若当,,
对于一切落在的左-邻域(右-邻域)中的成立, 则称为函数在点处的左极限(右极限).记为
显然, 实函数
函数连续性
连续性这一重要的性质我们已经在 R^n 上的拓扑回顾 中介绍了, 在这里,再用函数极限的语言描述一遍, 接着直接给出连续函数的一些性质.
令和为度量空间, 设,将映入中. 而为的极限点. 则$f$在处连续, 当且仅当
如果在上的每一点都连续, 就说函数在上连续.
Note: 这里定义了在一个度量空间
R^n 上的拓扑回顾 中我们已经给出了连续函数的一些性质, 重述并罗列如下:
-
与是度量空间上的(实或复)的连续函数, 那么,,,(当)均在上连续;
- 函数
在上连续, 在上的限制也连续.
- 两个连续函数的合成(复合)函数连续;
- 连续函数的逆映射连续;
- 向量值函数连续当且仅当其每一分量函数都连续.
-
是把度量空间映入度量空间内的连续映射,为的一个连通子集, 则是连通的. 特别的, 任意区间是连通的, 那么定义在其上的连续实函数具有介值性, 也就是说连续实函数能取得一个区间中的一切中间值.
连续的概念是从单个点上定义的, 从一个点到一个集, 由定义知道, 对于集中的每个点, 都有一个依赖于所选择的点的
[一致连续]
设是把度量空间映入度量空间内的映射. 称在上一致连续, 当,,, 有
每一个一致连续的函数都是连续的, 连续却不一定一致连续, 不过在紧集上, 连续和一致连续则是等价的(比如,我们熟悉的命题: 闭区间上的连续实函数在该闭区间上一致连续). 作为一个更强的性质, 一致连续函数有哪些性质呢?
设在度量空间上一致连续, 那么
-在上有界;
- 令, 则, 使得.
函数可以在一点处连续, 相反的情况我们称函数这一点处间断.
之前我们对
对于定义在上的函数, 其在间断. 称为的第一类间断点, 当与均存在. 其他情况称为第二类间断点.
对于第一类间断点, 若
例子
这里我们给出一些例子, 来加深大家对连续的理解. 在以下例子中,
(a) 由
证明: 对于
否则, 可以取
(b) 向下取整函数
(c) 狄利克雷函数
(d) 设
(e) 函数
Lipschitz 连续的函数均是连续的, 而且是一致连续}的. 注意这个命题得逆命题并不成立.
证明: 任意给定
(c) 常值函数是 Lipschitz 连续的.
(g) 恒等映射函数是 Lipschitz 连续.
(h) 对于定义在
(i) 令
是 Lipschitz 连续的.
证明: 由三角不等式,可以得到命题.
未来几周文章预告: 微分法; Banach 不动点定理; R-S积分...