空间的双重意义分解.doc

空间的双重意义 数学是研究数量关系与空间形式的科学．当然，这里的“数”和“空间”都要在更广的意义下去理解．在这一章里，我们将诠释现代数学中广为使用的“空间”一词的双重意义，介绍几种基本的抽象空间． §1 关于空间的简要综述 一、空间在数学中有着双重意义 关于空间的观念和空间的几何，自古希腊时代以来，经历了显著的变化．对于古希腊人来说，只有一个欧氏空间，与之相联系，几何中的基本关系是全等或叠合的关系，随着17世纪解析几何的发展，空间才被想象成点的集合．19世纪非欧几何的创立，数学家们才承认有多于一种几何，但是空间仍被看作图形能在其中彼此比较的轨迹，几何被看作是对点的构形的某种性质的研究.1872年，克莱因在爱尔兰根纲领中指出一种几何可定义为一个变换群下的不变量理论，为几何学提供了一种非常简洁的分类，推广了几何学的所有早期概念，是数学史上的一个里程碑. 到19世纪末，形成了这样的思想：一个数学分支是由一组公理演译出的一套定理，而一种几何是数学的一个特殊分支，1906年，弗雷谢(M．Frechet，1878—1973)开创了抽象空间的研究.是数学史上的又一个里程碑，他把一些对象(通常称为点)，连同这些点被蕴含于其中的一组关系的集合叫做空间，简言之，空间是用公理确定了其元素和元素间关系的集合．例如线性空间是具有加法和数乘运算，并且满足相应算律的一个集合，这里，加法和数乘运算，以及算律都由公理给出．元素(或点)受限制的这套公理确定了空间的结构，不同的结构得到不同的空间，每一种空间都有自己的性质，自己的“几何”． 由上可知，在数学中广为使用的“空间”一词有着双重意义：一方面是现实空间，即物质存在形式；另一方面是抽象空间，指用公理确定了元素关系的集合，它反映了一定的现实形式，但这些形式不一定与通常意义下的空间形式一致，需要在更广的意义下去理解． 随着科学技术和数学本身理论的不断发展，人类对现实空间认识的深入，促进了抽象空间理论的发展，反之，抽象空间理论的发展，使人们更深刻地认识现实空间的本质，给出已知现象的解释和新现象的预言，指出人类实践活动的方向，数学正是在这样的过程中不断地发展、创新而永葆其青春! §2 距离和距离空间 距离是数学、物理中的重要概念之一，平面几何、立体几何、解析几何及物理学等课程中很多内容都离不开距离概念，极限理论中用来刻划“远近”的重要尺度是两点间的“距离”(也可用拓扑来刻划)．那么距离的本质特征究意是什么?这一节就要在讨论中学数学中常见距离的基础上，抽象概括出距离的一般概念，给出抽象距离空间概念，并介绍压缩映象原理及其初步应用. 一、两点间的距离 中学课本中是用长度(作为不加定义的概念)来解释两点间的距离的：“连结两点的线段的长度，叫做这两点间的距离”.在中学数学中涉及到的距离大致有： (1)直线上、平面上或空间中两点的距离； (2)平面上点到直线的距离； (3)平面上两平行直线间的距离； (4)异面直线间的距离； (5)空间一点到平面的距离； (6)直线到与它平行平面的距离； (7)两平行平面间的距离； 而它们都是以两点间的距离为基础的．此外，对于平面上(或空间中)一点P到一个集A的距离，自然可定义为 （如图2-3-4） 平面上（或空间中）两集合A、B间的距离显然可定义为 (如图2-3-4) 平面上（或空间中）两集合A、B间的距离显然可定义为 也是以两点间距离为基础的.(如图2-3-5) 微积分中的极限、连续等概念的描述，也是以两点间的距离为基础，用距离来刻划两个点的接近程度： 有. 二、两函数间的距离 在微积分中，我们会遇见用函数列逼近函数的问题，例如用多项式去逼近定义在[a,b]上的连续函数f(x).自然会想：应如何选取系数ai，才能使对f(x)有最好的逼近（）？应注意的是这里的逼近不是对个别点来说的，而是指整个区间[a,b].因此必须明确什么是“最好的逼近”？ 此时，或许会想是否可用的大小作为逼近优劣的标准，但这个值仍随点x而异.对于两个不同的多项式、，会在某些点上的值小些，而在另一些点上，的值小些，这就无法判定究竟用哪一个逼近f(x)较好.为此，我们需寻求某种合理的方法来确定Pn(x)与f(x)间的“距离”，使得“距离”越小，逼近就越好. 对于不同的函数集，可以用不同的方式来建立两函数间的“距离”. 例（1）设是定义在[a,b]上的有界函数}.可规定： ① 可以验证d(x,y)满足： . （2）设为定义在[a,b]上的连续函数}.可规定 ② 不难验证d(f,g)满足： （3）设是[a,b]上的勒贝格可积函数}.规定