§111欧氏空间上的基本定理.docVIP

第十一章 Ｅuclid元维向量值函数的极限、连续等概念的理解，紧集上连续映射性质的证明。 在此之前我们主要讨论一元函数微积分，把关于一元函数的主要概念、运算和定理推广到多元函数在理论和实际应用上都是至关重要的。一元函数微积分与多元函数微积分有相同的理论基础，即实数理论和极限。但是由于多元函数的定义域和多元极限的复杂性，这就给讨论多元函数的问题带来新的困难。因此在我们学习多元函数微积分时，既要注意到它与一元函数微积分的联系，又要注意到它们之间的区别。本章主要有三部分，第一部分是定义多元函数的空间——维欧氏空间的基本拓扑概念，这一部分不仅对于本课程，而且对于后继课程来说都是必不可少的基础知识；第二部分主要讨论多元函数的极限与连续；第三部分主要讨论多元连续函数的性质。 §11.1 Euclid空间上的基本定理 一、维欧氏空间的定义与结构 我们知道，实数轴上的点与全体实数1－1对应，在确定的坐标系下平面上的点与所有有序数对1－1对应，三维空间中的点与所有有序三元数组1－1对应。一般来说，定义所有元有序实数组所组成的集合为维空间，记为，即 。 全体实数的集合，实平面上的所有点的集合等同于，通常的现实空间中的所有点的集合等同于。 中一个点常常简单记为 ， 其中称为的第个分量。任意，我们既把它看作中的一个点，又把它看作以为始点，为终点的一个向量。我们按以下法则定义向量的加法与数乘： １）对于任意，定义 。 ２）对于任意和实数，定义 。 按上述定义的加法和数乘之后，就成为向量空间（容易验证这时是一个维实线性空间，为其零元素）。 如果再在上引入内积运算 ， 那么就被称为维Euclid空间，简称维欧氏空间。 容易验证内积满足以下性质：设，则 ⑴（正定性），当且公当时； ⑵（对称性）； ⑶（线性性）； ⑷（Schwarz不等式），或 。 证：⑴⑵⑶显然。对于⑷，由⑴⑵⑶可得出，对于任意有 所以其判别式大于零，即 ， 也即。 对于任意，定义之间的欧氏距离（以下简称距离）为 。 记 ， 称为向量的欧氏长度或欧氏范数(简称长度或范数)。为简单起见，有时也用向量的长度或范数的记号代替距离记号，即或。 定理11.1.1 上的距离满足以下性质： ⑴正定性 ，当且仅当时，； ⑵对称性 ； ⑶三角不等式：，有 。 证：⑴和⑵显然成立，只须证明⑶。 设，则 由Schwarz不等式可得 从而 ， 两边消去一个立得三角不等式 。 二、维欧氏空间中点列的极限及其性质 1、领域 定义 设，，则称点集 为点的领域，称为这个领域的中心，称为领域的半径。 2、点列的极限 定义 设是中的一个点列（即）。若存在定点，对任意给定的，存在正整数，使得当时，有 ， 则称点列收敛于，称为点列的极限，记为 或 。 一个点列不收敛就称其发散。 下面给出的定理说明中点列的收敛性与实数列的收敛性之间的关系。 定理11.1.2 设，是中的一个点列， 是的一个定点，则 。 证：必要性。设，则对每一个，由于 ， 又，所以，即 。 充分性。设，即，。由于 ， 所以 ， 即，也即。# 3、点列极限的性质 我们知道，数列极限具有性质：唯一性、有界性、保序性、夹逼性和四则运算法则。但由于二维及二维以上空间中点与点之间不存在序的关系，因此数列极限的保序性和夹逼性这两个与比较大小有关的性质在此已不再有意义了。 可以证明，中极限的唯一性、有界性和线性运算法则依然成立。即有 性质1 中收敛点列的极限是唯一的。 性质2 中收敛的点列必有界。即存在，使得对每一个正整数，都有。 性质3 (线性性)设与是中两个收敛的点列，与是两个任意实数，则点列也收敛，且 。 三、维欧氏空间中的开集与闭集 本段介绍点集论中的几个基本概念。 1.内点、外点、边界点、孤立点 以下设是中的点，是上的点集，它在上的补集记为，也称为的余集。 ⑴若存在的某个领域完全落在中，即，则称点是集合的内点。集合的内点全体称为的内部，记为。 ⑵若存在的某个领域完全落在之外，则称点是集合的外点。 ⑶若在的任意领域中，既有属于的点，又有不属于的点，则称点是集合的边界点。集合的边界点的全体称为的边界，记为。 ⑷若存在的某个领域，使得在这个领域中只有这一点属于，则称点是集合的孤立点。 要注意的是：的内点必属于；的外点必不属于；的边界点可能属于，也可能不属于；的孤立点必是的边界点。 2. 聚点 若的任意领域中都含有的无限多个点，则称点是集合的聚点。的聚点的全体称为的聚点集，记为。 显然，的内点必是的聚点；的边界点，只要不是的孤立点，也必是的聚点。因此的聚点可能属于，也可能不属于。例如在中，0是点集的聚点，但它不属于这个点集。 对任意，中的点，或是的聚点，或是的孤立点。 定理11.1.3 是点集的聚点的充分必要条件是：存在点列，，，使得。