第12章多元函数的微积分学.docVIP

多元函数的微积分学 前言 数学（分析）是刻划自然界中量和形关系的一门基础学科，是人类认识自然、改造自然的强有力的工具。 我们知道，人类要认识、改造自然，必须要研究自然现象，其实质是分析产生这一自然现象的原因，寻找产生或影响这一自然现象的因素，刻划这些因素和自然现象之间的规律，并研究这些规律，找出形成这些因果关系间的机制，从而通过预知原因以求预知结果，通过改变原因以求实现某个结果。以下框图所示： 因 SKIPIF 1 0 原因 SKIPIF 1 0 进一步分析这一过程与数学分析间的关系： SKIPIF 1 0 转变为数学关系 SKIPIF 1 0 因此，对自然界感知的过程，实际就是对函数的研究。以函数作为研究对象，穷其基本性质的研究，这正是数学分析。我们第一学年所学数学分析的内容也反映了这些。 但是，就我们以前所学的数分内容来说，在上述描绘的感知自然的过程中，所对应的范围是很小的，所刻划的自然现象是很少的。因为至此我们所学的数学分析是单变元微积分学，即变元的个数只有一个，至多刻划一个影响元素。但是，我们知道，造成某种自然现象或自然界中，某个结果的产生通常有众多因素的制约，单靠一个变量是不能代表众多的制约因素。单元函数便不能描述这些现象。 SKIPIF 1 0 ，因此，必须将单变元函数进行推广，这就形成了我们将要学习的多元函数的微积分学。 那么，整个多元函数的微积分学的基本内容是什么？如何引入这些基本内容（框架结构）？简单回顾一下单元函数的相应内容： 单元函数： 先给出实数轴及其区间I的概念，形成了函数建立的基础，然后给出函数 SKIPIF 1 0 ，进一步研究函数的分析性质――单变量微分学和积分学。当然，建立这些理论的基础是单元函数的极限理论。 对多元函数的研究基本上沿单元函数的框架进行平行的推广（相同）和延伸（区别），因此，我们仍然先引入多元函数建立的基础――多维集合与多维空间，进一步引入极限，并在此基础上建立多元函数的微分学和积分学。 第十二章 SKIPIF 1 0 维Euclid空间及多元函数 由于高等代数中已经学习过 SKIPIF 1 0 维Euclid空间 SKIPIF 1 0 ，因此，我们多元函数理论从引入 SKIPIF 1 0 开始。 §1 SKIPIF 1 0 维Euclid空间及基本概念 在一元函数的学习中，我们知道，为定义函数，必须有数轴上区间的概念，用以刻划函数的定义域和值域。还必须有邻域的概念，用于刻划极限的定义和性质。实数轴、实数轴上的区间（包括邻域）实际上最简单的集合，组成这些集合的元素是实数（或1维的“点“），当然，仅用集合的概念还不能准确的刻划实数轴及其区间在函数研究中的本质和作用，因为邻域的这一重要的且最常出现的概念是用距离来刻划的，这就是说，实数轴上配备了距离，才使我们有了邻域的概念，才能用邻域进一步引入极限，从而引入微积分。只是一维实数轴（包括一维的距离）太简单了，使我们没有注意到这一点。实际上，正是这一点带来了引起集合概念本质变化的空间概念――集合上配备了距离便形成了空间。因此，实数轴或全体实数的集合 SKIPIF 1 0 上配备了距离d=d(x,y)便形成了一维空间，通常记为（ SKIPIF 1 0 ，d）也简记为 SKIPIF 1 0 。故，区间是实数集合 SKIPIF 1 0 （视为大集合）中的一个集合，邻域却是实数空间 SKIPIF 1 0 （1维空间）中的一个集合。没有距离，就没有邻域，也就没有函数性质的刻划，使得引入的函数成为一个无用的符号。正是有了距离，才使得引入的函数性质发生了质的飞跃，才有了函数一系列分析性质的研究。 因此，为引入多元函数理论，必须引入相应的多维集合、多维空间及其距离的概念，下面，我们以一般的n维空间 SKIPIF 1 0 为例引入相关概念。 一：距离空间 定义1.1设 SKIPIF 1 0 是一个非空的集合，若对 SKIPIF 1 0 中任意两个元素 SKIPIF 1 0 ，都有唯一确定的实数 SKIPIF 1 0 与之对应且满足： 1）非负性： SKIPIF 1 0 SKIPIF 1 0 ， SKIPIF 1 0 =0 SKIPIF 1