《有界闭区间上多元连续函数的性质分析综述》2500字.docxVIP

有界闭区间上多元连续函数的性质分析综述

目录

TOC\o1-3\h\u22365有界闭区间上多元连续函数的性质分析综述 1

232311.1有界闭区域上多元连续函数的定义 1

53651.2有界区域上多元连续函数的性质 2

83701.2.1有界性定理 2

307341.2.2最值定理 4

177101.2.3零点存在性定理 6

233961.3多元函数性质的应用 7

在实际生活和科学技术中，我们经常遇到的不仅限于区间，更普遍的是区域，接下来我们将研究在上多元函数的性质。为连续函数的性质在实际中更广泛地应用提供了一定的理论依据。

有界闭区域上多元连续函数的定义

事实上闭区间是一维空间中的有界闭集，所以对于高维空间上的连续函数，应该要求函数的定义域是高维空间中的有界闭集。这样，一元函数在闭区间的性质就可以拓展到多元函数。

回顾对一元函数的处理过程，我们通过引入单侧连续的概念，先将“连续”从区间内延伸到区间的边界点（端点），从而将函数在开区间上的连续性拓展到在闭区间上的连续性，再到闭区间上的连续函数进行讨论。

接下来对高维点集作类似地处理，将连续的概念拓展到点集的边界点。

对于任意区域，一般有以下规定：

用表示的内部，表示的闭包，表示的直径，表示的边界，表示点到原点的距离。

定义2.1.1REF_Re\r\h[4]设区域是开集，如果对于区域内任何两点，都可用折线连接起来，且该折线上的点都属于区域，则称区域是连通的。连通的开集称为区域或开区域。开区域连同它的边界一起，称为闭区域。

定义2.1.2REF_Re\r\h[5]设区域，若对任意，存在，使得对任意有且，，则称区域是道路连通的，其中叫做区域中的一条道路，和分别称为该道路的起点和终点。

定义2.1.3设点集为映射（向量值函数），。若对任意给定的，存在，使得当时，成立

，

则称在点连续。

引理2.1.1REF_Re\r\h[6](Bolzano-Weierstrass引理)设是中的有界序列，则它一有收敛的子序列。

有界区域上多元连续函数的性质

有界性定理

定理2.2.1REF_Re\r\h[7]设在有界区域上函数连续，且对任意，任意，时，存在，则函数在上有界。

证：函数定义如下：

当时，成立。

当时，成立，，。

另一方面，在中任意地取两个趋于点列、，即。

如果，那么，，存在。

从而可得

．

所以，的定义有意义。

下证函数的连续性：即在区域上任取一点，当时，有

1.当时，趋于。令趋于无穷，，那么。所以有

。

2.当时，在上任意取点列，使得，构造另一个点列，让满足：，。

其中点列的取法是：

当时，令。

当时，一定能在D上找到一点列，其中趋近于，并且成立。即存在，，

，。

这时令，由于属于区域，

所以有

、，

由于属于区域，可得，极限存在。即成立

。

根据以上的定义可得：

。

因此函数是连续的。

有界闭区域紧致，

所以在区域上有界。从而在上有界。

并且在区域上，成立，所以在区域上函数有界。

最值定理

引理2.2.1设在有界区域上函数连续，若为紧集，则函数为紧集。

证：任取，则。

因为为紧集，根据致密性定理，存在子列满足。

由的连续性和海涅定理得：

。

所以函数为紧集。

定理2.2.2设在有界区域上函数连续，若为紧集，则函数在内能取得最小值和最大值。

证：由引理2.2.1的证明过程可知，函数为紧集。设的上、下确界分别为。由上确界的定义得

对于任意小的，一定有对应存在的，使得

因为为紧集，根据致密性定理可知：存在子列满足。

由函数的连续性和海涅定理以及上式易知：

。

定理2.2.3如果一有界区域，函数定义在其上并且连续，对任意的，点列，同时收敛到时，成立，那么在区域内函数可以取到最值。

证：先证函数存在下界。利用反证法：假设函数没有下界，那么一定会有点列含于区域，同时成立。因为点列含于区域，所以它必有界，所以一定有一个子序列是收敛的，而且收敛到，且。

如果，那么，这和结论相矛盾。

如果，那么，这和结论相矛盾。

所以函数一定有下界。假设是的下确界，显然可得：存在点属于，使得。否则，取区域上任意一点，都会有不等式成立。那么设

。

定义：

则连续(证明方法与定理2.2.1证明过程相似)。

由于函数取不得下确界，那么在上一定有点列，满足。又由于点列是有界的，所以一定有一个子序列是收敛的，且满足收敛于，，因为在区域上是连续的，因此

。

由于，根据函数的定义，可知

。

这和结论相矛盾。因此可知在上，函数可取到最小值。

定理2.2.4如果一有界区域，函数定义在其上并且连续，