论空间.docVIP

浅析泛函中的四大空间 摘 要：本文主要介绍了泛函分析中的四大空间，即距离空间、线性空间、赋范空间和内积空间，对于每一类空间都做了说明并列举了相应的例子，希望能帮助初学者更好的理解泛函中的四大空间. 关键词：距离空间 内积空间 赋范空间 线性空间 泛函分析介绍了四大空间，即距离空间、线性空间、赋范空间、内积空间.对于初学者，这些空间的名字在我们的脑海中打上了问好!之前的学习中几乎没有接触过这些，所以想要理解这四大空间，我们还是从理解定义开始. 1 距离空间的定义 设是非空集合，若存在一个映射,使得，下列距离公理成立： 非负性：； 对称性：； 三角不等式：； 则称为与的距离，为以为距离的距离空间，记作. 在上述的概念中，由于距离满足的三条性质只是把它最本质的要求抽象出来，距离概念已由现实世界中的意义引申到一般的情况，所以在同一集合上可以有两个不同的距离函数，此时是两个不同的距离空间.第二，在距离函数明确或其他不引起混淆的情况下，可以直接称距离空间为距离空间.第三，距离空间中所含的元素可以不是任何几何意义上的点，如函数或其他一些抽象的概念等，但由于赋予了距离这一几何概念，我们习惯上仍称中的元素为中的点. 单从定义上我们很难理解距离空间，如果将和看成平面直角坐标系下的两点坐标，那么上述的定义就可以理解在平面直角坐标系中两点的距离，故为了更好的理解距离空间，我们通过举例来做进一步的解释. 例1 对一般的数列空间全部无意义，若定义 ， 则为距离空间. 证 由于 故有意义，显然满足距离公理中的前两条，下面仅证三角不等式，考察函数 由于 故是单调增加函数，由于  故有 从而有 即. 在例1中要证明为距离空间，只要能证明满足距离空间定义中的三条公理成立，即非负性、对称性、三角不等式成立.显然满足三条公理的前两条，只要证明对三角不等式成立就能证明为距离空间，在证明三角不等式时我们借助函数来进一步进行证明，最终满足距离空间的三条公理，故是距离空间. 2 线性空间 设是一个非空集合，是数域（实数域或复数域），称为数域上的线性空间，若，都有唯一的一个元素与之对应，称为与的和，记作 ，都有唯一的一个元素与之对应，称为与的积，记作 且，上述的加法与数乘运算满足下列的8条预案算规律： 在中存在零元素，使得，； ，存在负元素，使得； ； ； ； ； 当时，称为实线性空间；当时，称为复线性空间. 由于线性空间中的加法与数乘运算是维向量空间中的加法与数乘运算的直接推广，故线性空间也称向量空间，其中的元素也称为向量. 例2 证明空间是线性空间. 证 设是实数列，如果，则称数列是次收敛数列，次收敛数列全体记为.对中任何两个元素，和任何实数，定义  下面证明这样定义的和仍属于.事实上，因 所以 ， 即.容易证明.所以按上述加法与数乘运算称为线性空间. 3 赋范空间 设是数域上的线性空间，若都是一个实数与之对应，使，下列范数公理成立： 正定性 绝对齐次性 三角不等式 则称为的范数，为上的赋范空间，记作. 设是中点列，如果存在，使，则称依范数收敛于.记为，或 如果令容易验证是上的距离，且依范数收敛于等价于按距离收敛于.称为由范数导出的距离.所以赋范线性空间实际上是一种特殊的度量空间. 例3设为赋范空间，则有 证 由三角不等式，有 移项，得 合之，得 4 内积空间 设是数域上的线性空间，若存在映射：使得，，下列内积公理成立： 对第一变元的线性： 共轭对称性： 正定性：且 则称为上的内积，为上的内积空间，记作. 例4 设是内积空间，则，有 （4.1.1） 证 当时， 故式（4.1.1）两边均为0，等式成立； 当时，由 将 代入，就有 移项得 ， 故有 小结：本文浅析了泛函分析中的四大空间，并通过相应的例子予以说明，使初学者能更好的理解这四大空间. 1 学号：1307010110 姓名：赵宝华 3