《压缩映像原理翻译部分1》由会员分享,可在线阅读,更多相关《压缩映像原理翻译部分1(15页珍藏版)》请在金锄头文库上搜索。
1、部分1.文摘结果 主题和概括。压缩映像原理是一种研究非线性方程最有用的工具,比如代数方程,积分或微分方程。原则是一个不动点定理,证明了完备度量空间的压缩映像本身有一个独特的固定点通过反复图像的映射下任意起始点的空间获得极限的定义。因此,这是一个建设性的不动点定理并且可以实现定点的数值计算。 从古代数学(即计算古代数字平方根的古代方案)以来,迭代格式一直被使用并且在牛顿法求解多项式或代数方程组和皮卡德的迭代过程求解初值和边值非线性常微分方程的问题变得特别实用(见,58,59)。 在完整的赋范线性空间中,这个原理首先被巴拿赫5证明在收缩映射(在巴拿赫的许多结果请看60)。同时,豪斯多夫为完备度量空
2、间的收缩映射(来自Caccioppoli 17, 75)提供了总体框架原则,介绍了一个抽象的度量空间的概念。它出现在各种文本实际分析(前一个注释,56) 在这些记录中,我们用不同的形式开发压缩映像原理并且提供不同数学文献中的许多应用程序。我们的目的是向读者介绍一些关于已经发现有用的原则在不同区域的分析。我们会讨论这些分析:牛顿法的收敛;如何确定分形是固定的点集值压缩迭代函数系统;积极使用希尔伯特的度量矩阵的门阶-弗罗贝尼乌斯定理和这个无限维空间的拓展(定理Krein-Rutman);常微分方程的存在性和唯一性定理的基本理论(Picard-Lindel定理)和各种相关的结果;Abel-Liouv
3、ille类型的积分方程理论的应用程序;隐函数定理;变分不等式的基本存在和唯一性定理;非对称二次形式的Lax-Milgram类型结果;Cauchy-Kowalevsky基本存在性定理的偏微分方程的分析条件。 这些记录已经收集了几年,最近,被用来作为研讨会中VIGRE项目的一个部门基础部分。我们在这里要感谢那些参加了研讨会的本科学生,给了我们有价值的反馈。 2完备度量空间 在本节中,我们短暂回顾大多数本科生数学课程中一些非常基本的概念。我们将假定这些是必要的知识,这里是相关基本文本,例如。15,32,62。2.1 度量空间。给定一个数组M,一个度量关于M(也称为M是一个函数距离)。 满足 (2.1
4、)(最后一个要求是称为三角不等式)。我们叫这一对(M,d)为度量空间(我们经常使用M表示) 一个数组 在M中收敛于的前提是 这里我们可以写成 我们叫数组在M中是一个柯西数组,前提是对任意,存在 一个度量空间M是完整的,当且仅当每一个柯西序列在M收敛于一个点。 度量空间形成一个useful-in-analysis的拓扑空间。我们需要讨论的一些概念在研究这些空间的同时。然而,我们可以在度量空间的环境里这样做而不是一般的环境。下面的概念通常是在一个高级微积分或分析的基础课程。我们将简单地列出这些概念和参考在相应文本(例如。32或72)的正式定义。我们考虑一个固定的度量空间(M,d)。 开放和封闭的子
5、集M;有界和全有界集M;极限值(聚点)的一个子集M;M的一个子集(注意关闭关闭开放的球不是一定是封闭球);一组直径集合;一组被密集的概念集合;一个点到另外一个集合之间的距离(或两个集合)假设(M,d)是一个度量空间并且 . 如果我们限制d在X,将是一个度量空间的“相同”指标m 。我们重要注意的是如果M是完整和X M是一个封闭的子集, 然后也是完整的度量空间(任何柯西序列在将M的柯西序列,因此将收敛于某些点在M中,如果在M中逼近必须在中现在M)。概念的紧密性是关键。一个度量空间对于任何簇相关M的开集合,有一个有限的自子集。(用M的任意一个覆盖面来描述这种情况)。我们可以“分析性的”分析紧密性如下
6、。对任何在M中的和点;对于任何的正整数k0,我们说y是的一个聚点,存在并且。因此在任何的开发球中,在每个数组M都存在一个聚点时,我们的M是紧密的。在本章的剩余部分,我们简要列表和描述一些有用的度量空间的例子。2.2赋范矢量空间. 如果M是一个真实的或复杂的向量空间矢量 (标量)。一个映射在下列条件下被叫做模: 如果M是一个向量空间并且是一个M里的模,(M,)是一个赋范矢量空间。我们不应模糊地说M是一个赋范矢量空间。M是一个向量空间并且是一个M里的模, M就变成了一个度量空间通过我们定义一个度量空间d: 赋范矢量空间,是一个完备度量空间,在度量d的指标上面,叫做巴拿赫空间。因此,一个封闭的巴拿赫
7、空间的子集可能总是被视为完备度量空间,因此,一个封闭的子空间的巴拿赫空间也是一个巴拿赫空间。 我们暂时一下现在的讨论再一起讨论一个小的关于巴拿赫空间的目录,以供将来参考。我们应当考虑唯一真正的巴拿赫空间,类似的定义复杂的类似物。 在所有情况下,验证这些空间赋范线性空间是非常简单的,完整性的验证,另一方面通常是更加困难。的许多例子将稍后讨论的设置完成度量空间的子集或巴拿赫空间的子空间。巴拿赫空间的例子例2.1 (R,)是一个简单的巴拿赫空间例子。例2.2 以下是许多我们可以使用的定理: 例2.3 我们使用坐标态加法和标量乘法运算,向量空间,可配备标准的某些子空间,尊重他们是完整的。(1) 当1p
8、时(2) 另外 完整。例2.4 令H是一个复杂的向量空间。H上的内积是一个映射满足:(1) 对任意的是一个线性映射。(2) 如果H是一实数的向量空间,并且内积是一个实值函数,。(3) 并且当且仅当x=0,就定义(H,)将是一个赋范矢量空间。如果H是完整的,我们称H为希尔伯特空间。我们注意到 (真正的)是希尔伯特空间。连续函数的空间进一步的例子分析的重要空间。下面是一个关于上述空间简短的讨论。例 2.5 定义我们注意到对于 ,我们定义并且对于对于常用点态定义f+g和以及上面被证明的定理,由此可见是一个赋范矢量空间。这个空间完全遵照的完整性,遵循定理。(请看15)另一个常用定理是这相当于上面定义的
9、规范;基于如下的不等式等价规范给我们严密的想法和一个可能,在一个给定的相同的想法应用,使用等效的规范,使得计算和验证容易或给我们更透明的结论。例2.6 让成为一个开集Rn,K同上;定义令由于连续函数的序列的一致性是连续的,它遵循的空间是一个banach空间。假如如上并且是一个开集满足我们令因此,是一个banach空间。例2.7 令是Rn中的开集。令是一个多指标。(非负整数).我们令令然后F是一阶偏导数。给出了当,定义令然后,对可微函数的族使用进一步的收敛结果,跟随这个空间是一个banach空间。空间是用类似方式定义在的方式定义的空间和如果是有界的那么它是巴拿赫空间。2.3 完备性 在这一节中,
10、我们将简要讨论完成的概念在一个度量空间和赋范向量空间中完成。定理2.8 如果(M,d)是一个度量空间,则存在一个完备度量空间和一个映射就像我们给出一个简短的证明。我们让C成为一系列在M中的柯西序列。我们观察到,如果Xn和Yn是M中的要素。是一个柯西序列。如下的三角不等式。我们定义该映射是一个伪度量(缺乏唯一的条件)从度量的定义)。关系R定义在C中的关系或等价的,是一个等价关系在C上。在空间C/R上,所有等价类集合在C中,应记为M.如果我们表示R xn,所有这类是R等于xn,我们可以定义这定义了一个度量我们下一个连接到M。有一个自然的映射M到C,由(序列,所有的条目都是相同的元素)。我们显然有从
11、而映射(我们称之为H)是的等距形象M是密集的,如下容易从上面的解释。备注 2.9 我们观察到(M,d)是“独特的本质”。if(M1,D1)和(M2,D2)是映射H1,H2在M中的完备性,然后存在一个映射就像上面的定理,其证明是相似的以前的结果(定理2.8)的证明,回顾一个规范定义了一个度量我们定义(使用该定理的符号)。对于一个给定的柯西序列也很清楚,通过定义加法,设置为一个向量空间自然的标量乘法。定理2.10 如果是一个赋范向量空间,则存在(本质上独特的)完整的赋范向量空间(巴拿赫空间)和(这是一个等距同构)就像在中是密集的。2.4 勒贝格空间 在这一节中,我们将简要讨论勒贝格空间用连续函数的
12、域是Rn空间中产生,如果我们定义f的支撑是闭集每当supp(f)是一个紧凑的(即封闭有界)集合并且被为的定义在Rn上具有紧支撑的定义连续k值函数集表示时,我们说f具有紧密支撑。(一般情况下,如果是一个开放的集合)我们首先需要对定义黎曼积分。要做到这一点,没有在这个过程中,我们假设读者是熟悉的用这个概念来定义封闭的矩形框。是固定的真实数字(对于每一个盒子)。我们观察到,如果并且B1和B2这样的盒子,每个包含是一个盒包含这让我们来定义黎曼积分f在Rn上。其中B是包含任何封闭的盒子。映射是一个线性映射(线性函数)从到K,另外满足(1)假如f在Rn中是非负的,那么(2)如果是C0序列的非负函数是单调降
13、低(逐点)为零,即,那么定义2.11 对于 ,我们定义这是很容易证明,是一种规范称为C0的L1范数-(RN)。我们现在的写生过程完成赋范向量空间有限在这样一种方式,我们可以把向量函数Rn上完成。定义2.12 子集被称为一组测量零的对于任何存在着一系列的框,如,当我们说一个属性持有“几乎无处不在”如果点集在它持有量为零。在一个非常完备的讨论中,可以发现以下定理的证明和L1完备性 37,7章。定义2.13 一个序列在赋范向量空间称为一个快速的柯西序列,如果收敛。定理2.14 如果fn是快速柯西序列,然后fn 收敛点在Rn。定义2.15 Rn上的勒贝格可积函数f:f是K值函数定义在Rn ,有快速柯西
14、序列收敛于f .在Rn。定理2.16 如果f是一个勒贝格可积函数,fn 和 gn是快速柯西序列收敛f,然后这样的结果,我们可以定义其中fn是任何快速的柯西序列收敛在Rn。由此产生的映射在所有定义在空间上的勒贝格可积函数是在这个空间上的线性泛函也满足定理2.17 映射在,即满足规范的所有条件,除了,并不意味着f是上的零。进一步的是完整的半范数是一个密集的子空间。通常我们确定两元素满足;即,我们定义了一个的等价关系每当设置一个的零度量,这种等价关系方面的加法和标量乘法运算两等效函数具有相同的半范数。所有的向量空间等价类,然后成为一个完备的赋范线性空间(巴拿赫空间)。这个空间,我们叫备注2.18 1.我们再次把读者参阅 37 为一个完整的讨论主题.其他相关的,例如,勒贝格积分的收敛定理,等。由此产生的空间3. 一个也可以模仿这个程序,以获得另一个勒贝格空间在代替原范式当然,在类似的情况,可以定义4. 对于给定的,定义在的,功能性因子被称为分布定义的f分布,更常见的,在上的线性泛函的集合被称为一组分布,如果不是这样的,其