南开大学高数第三阶段讲义.docx

PAGE \* MERGEFORMAT137 第八章 多元函数微分学 在上册中，我们已研究了一元函数微积分，它所研究的对象是仅依赖于一个自变量的函数。然而，实际问题中的许多事情会受到多方面因素的影响，这就需要我们在数学上研究依赖于多个自变量的函数。本章将讨论多元函数的基本概念及其微分学。在学习时，应注意一元函数微分学与多元函数微分学之间的联系与区别。 8.1 多元函数的极限与连续性 8.1.1 维欧式空间 从第七章知道，在空间直角坐标系中,空间的任一点与由实数组成的一个有序三元数组一一对应，这样有序三元实数组就等同于点，所有有序三元实数组所构成的集合为三维空间。一般地，我们把所有由有序元实数组所构成的集合称为维空间，其中称为维向量。回忆三维空间的知识，设Mx,y,z是中一点，则以坐标原点为起点，以点Mx,y,z为终点的向量的坐标是x,y,z, 以坐标原点为起点的向量称为径矢，在三维空间中可以不区分径矢x,y,z及其终点Mx,y,z。仿效三维空间，维欧几里得空间中的向量也称为点，向量的第个分量也称为点的第个坐标，类似三维空间的情况，中点可看作以坐标原点为始点，为终点的一个向量，因此在符号上也不加区别。在空间中，引入向量加法，数乘以及内积运算如下: 定义8.1.1 对任意，，任意实数 ⑴规定向量加法： ; ⑵规定向量与实数的数乘： ; ⑶规定向量的内积： x?y=x,y ⑷规定向量模： 这时称空间为维欧几里得空间，简称欧氏空间，仍记为. 维空间中的两点与之间的距离规定为 . 特别，当n=1时，ρx,y=x-y,其中x,y是数轴上的两个点，当n=2,3时， 利用空间的线性运算与距离的概念，可以讨论中点集的一些简单概念。在一元函数微积分中，为了讨论局部性质经常涉及领域的概念，这里先将领域的概念推广到的情况。 定义8.1.2(邻域) 设，是某一正数，则称点集 为点的邻域(或邻域)，它是中以为中心，为半径的维球(不含球面)；称点集 为点的去心邻域。 以领域概念为基础可以进一步讨论中点集的拓扑性质。 定义8.1.3(内点，外点，边界点，聚点) 设点， 如果存在点的一个邻域，使得，则称为的一个内点； 如果存在点的一个邻域，使得，则称为的一个外点； 如果点的任何一个邻域中，既含有中的点，也含有不属于中的点，则称为的一个边界点； 如果点的任何一个去心邻域中总含有中的点，则称为的一个聚点 的全部内点组成的集合称为的内部，记为或；的全部外点组成的集合称为的外部，记为；的全部边界点组成的集合称为的边界，记为；的全部聚点组成的集合称为的导集，记为。 例如, 的内部为， 的外部, 的边界为。 注8.1.1 显然，的内点一定是的聚点；的边界点可能是，也可能不是的聚点；的聚点可能是中的一点，也可能不是中的点。 定义8.1.4(开集，闭集) 设如果中的每一点都是它的内点，即，则称为的开集；如果的余集为开集，则称为的闭集。另外，约定空集与既是开集又是闭集。 例如，平面点集是开集， 是闭集；既不是开集又不是闭集。 定义8.1.5(连通集，区域) 设是中的两个不同的点，称点集是中连接与点的线段。设如果中任意两点都可以用包含在中的由有限条线段组成的折线连接起来，则称是连通集；连通的开集称为开区域(或区域)；连通的闭集称为闭区域 。 定义8.1.5(有界集，无界集) 设如果存在一个常数，对中的任意点，都有，则称为有界集；否则，称为无界集。 易知，有界集必含在一个以原点为中心，为半径的球内。最后给出的点列收敛定义及相关性质。 定义8.1.6(中的点列收敛与发散) 设为中的点列， ，如果对任意，存在，当时，有 则称点列收敛于，记为 或；否则，称点列发散。 注8.1.2 根据极限的定义，易知中的点列(记)收敛于等价于。 下面两个定理分别给出中的点列收敛的充分必要条件以及是的聚点的充分必要条件(证明从略)。 定理8.1.1（柯西收敛准则）中的点列收敛的充分必要条件为：，使得当时，有 。 定理8.1.2设则是的聚点的充分必要条件是存在中的点列,使得 。 8.1.2多元函数的概念 在实际问题中，经常会讨论多个变量之间的关系。例如，理想气体状态方程(R为常数)反映了气体的压强对体积和绝对温度的依赖关系。与一元函数类似，我们给出一般多元函数的定义，即 定义8.1.7设是中一个非空点集，如果对于中的任一点，按照某一给定的法则，变量都有唯一的值与之对应，则称是变量的元函数，并记为 或 ， 其中，称为自变量，称为因变量(或函数值)；称为函数的定义域，集合称为该函数的值域。 通常，二元函数记为，三元函数记为自变量个数大于或等于2的函数通称为多元函数。本章我们主要