资源描述：
《压缩映像原理翻译部分.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、.部分1.文摘结果主题和概括。压缩映像原理是一种研究非线性程最有用的工具，比如代数程，积分或微分程。原则是一个不动点定理，证明了完备度量空间的压缩映像本身有一个独特的固定点通过反复图像的映射下任意起始点的空间获得极限的定义。因此，这是一个建设性的不动点定理并且可以实现定点的数值计算。从古代数学（即计算古代数字平根的古代案）以来，迭代格式一直被使用并且在牛顿法求解多项式或代数程组和皮卡德的迭代过程求解初值和边值非线性常微分程的问题变得特别实用(见,[58],[59])。在完整的赋线性空间中，这个原理首先被巴拿赫5证明在收缩映射（在巴拿赫的多结果请看[60]）。同时，豪斯多夫为完备度量空间的收缩
2、映射（来自Caccioppoli17，[75]）提供了总体框架原则，介绍了一个抽象的度量空间的概念。它出现在各种文本实际分析(前一个注释,[56])在这些记录中，我们用不同的形式开发压缩映像原理并且提供不同数学文献中的多应用程序。我们的目的是向读者介绍一些关于已经发现有用的原则在不同区域的分析。我们会讨论这些分析：牛顿法的收敛；如确定分形是固定的点集值压缩迭代函数系统；积极使用希尔伯特的度量矩阵的门阶-弗罗贝尼乌斯定理和这个无限维空间的拓展(定理Krein-Rutman)；常微分程的存在性和唯一性定理的基本理论（Picard-Lindel定理）和各种相关的结果；Abel-Liouville类
3、型的积分程理论的应用程序；隐函数定理；变分不等式的基本存在和唯一性定理；非对称二次形式的Lax-Milgram类型结果；Cauchy-Kowalevsky基本存在性定理的偏微分程的分析条件。这些记录已经收集了几年,最近，被用来作为研讨会中VIGRE项目的一个部门基础部分。我们在这里要感那些参加了研讨会的本科学生,给了我们有价值的反馈。2．完备度量空间在本节中,我们短暂回顾大多数本科生数学课程中一些非常基本的概念。我们将假定这些是必要的知识,这里是相关基本文本,例如。[15],[32],[62]。2.1度量空间。给定一个数组M,一个度量关于M(也称为M是一个函数距离)。满足(2.1)(最后一个
4、要称为三角不等式)。我们叫这一对(M,d)为度量空间（我们经常使用M表示）一个数组在M中收敛于的前提是这里我们可以写成Word资料.我们叫数组在M中是一个柯西数组，前提是对任意，存在一个度量空间M是完整的,当且仅当每一个柯西序列在M收敛于一个点。度量空间形成一个useful-in-analysis的拓扑空间。我们需要讨论的一些概念在研究这些空间的同时。然而,我们可以在度量空间的环境里这样做而不是一般的环境。下面的概念通常是在一个高级微积分或分析的基础课程。我们将简单地列出这些概念和参考在相应文本(例如。[32]或[72])的正式定义。我们考虑一个固定的度量空间(M,d)。•开放和封闭的子集M
5、;•有界和全有界集M;•极限值(聚点)的一个子集M;•M的一个子集(注意关闭关闭开放的球不是一定是封闭球);•一组直径集合;•一组被密集的概念集合;•一个点到另外一个集合之间的距离（或两个集合）假设(M,d)是一个度量空间并且.如果我们限制d在X,将是一个度量空间的“相同”指标m。我们重要注意的是如果M是完整和XM是一个封闭的子集,然后也是完整的度量空间(任柯西序列在将M的柯西序列,因此将收敛于某些点在M中，如果在M中逼近必须在中现在M)。概念的紧密性是关键。一个度量空间对于任簇{}相关M的开集合，有一个有限的自子集。（用M的任意一个覆盖面来描述这种情况）。我们可以“分析性的”分析紧密性如下
6、。对任在M中的{}和点；对于任的正整数k>0,我们说y是{}的一个聚点，存在并且。因此在任的开发球中，在每个数组M都存在一个聚点时，我们的M是紧密的。在本章的剩余部分,我们简要列表和描述一些有用的度量空间的例子。2.2．赋矢量空间.如果M是一个真实的或复杂的向量空间矢量(标量)。一个映射在下列条件下被叫做模：Word资料.如果M是一个向量空间并且是一个M里的模，（M，）是一个赋矢量空间。我们不应模糊地说M是一个赋矢量空间。M是一个向量空间并且是一个M里的模，M就变成了一个度量空间通过我们定义一个度量空间d：赋矢量空间,是一个完备度量空间,在度量d的指标上面,叫做巴拿赫空间。因此,一个封闭的巴
7、拿赫空间的子集可能总是被视为完备度量空间,因此,一个封闭的子空间的巴拿赫空间也是一个巴拿赫空间。我们暂时一下现在的讨论再一起讨论一个小的关于巴拿赫空间的目录,以供将来参考。我们应当考虑唯一真正的巴拿赫空间,类似的定义复杂的类似物。在所有情况下,验证这些空间赋线性空间是非常简单的,完整性的验证,另一面通常是更加困难。的多例子将稍后讨论的设置完成度量空间的子集或巴拿赫空间的子空间。巴拿赫空间的例子例2.1（R，）
