资源预览内容
第1页 / 共18页
第2页 / 共18页
第3页 / 共18页
第4页 / 共18页
第5页 / 共18页
第6页 / 共18页
第7页 / 共18页
第8页 / 共18页
第9页 / 共18页
第10页 / 共18页
亲,该文档总共18页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述
空间的双重意义空间的双重意义数学是研究数量关系与空间形式的科学当然,这里的“数”和“空间”都要在更广 的意义下去理解我们将诠释现代数学中广为使用的“空间”一词的双重意义,介绍几种 基本的抽象空间 1 关于空间的简要综述 空间在数学中有着双重意义 关于空间的观念和空间的几何,自古希腊时代以来,经历了显著的变化对于古希腊 人来说,只有一个欧氏空间,与之相联系,几何中的基本关系是全等或叠合的关系,随着 17 世纪解析几何的发展,空间才被想象成点的集合19 世纪非欧几何的创立,数学家们才 承认有多于一种几何,但是空间仍被看作图形能在其中彼此比较的轨迹,几何被看作是对 点的构形的某种性质的研究.1872 年,克莱因在爱尔兰根纲领中指出一种几何可定义为一个 变换群下的不变量理论,为几何学提供了一种非常简洁的分类,推广了几何学的所有早期 概念,是数学史上的一个里程碑. 到 19 世纪末,形成了这样的思想:一个数学分支是由一组公理演译出的一套定理, 而一种几何是数学的一个特殊分支,1906 年,弗雷谢(MFrechet,18781973)开创了抽 象空间的研究.是数学史上的又一个里程碑,他把一些对象(通常称为点),连同这些点被蕴 含于其中的一组关系的集合叫做空间,简言之,空间是用公理确定了其元素和元素间关系 的集合例如线性空间是具有加法和数乘运算,并且满足相应算律的一个集合,这里,加 法和数乘运算,以及算律都由公理给出元素(或点)受限制的这套公理确定了空间的结构, 不同的结构得到不同的空间,每一种空间都有自己的性质,自己的“几何” 由上可知,在数学中广为使用的“空间”一词有着双重意义:一方面是现实空间,即 物质存在形式;另一方面是抽象空间,指用公理确定了元素关系的集合,它反映了一定的 现实形式,但这些形式不一定与通常意义下的空间形式一致,需要在更广的意义下去理 解 随着科学技术和数学本身理论的不断发展,人类对现实空间认识的深入,促进了抽象 空间理论的发展,反之,抽象空间理论的发展,使人们更深刻地认识现实空间的本质,给 出已知现象的解释和新现象的预言,指出人类实践活动的方向,数学正是在这样的过程中 不断地发展、创新而永葆其青春!2 距离和距离空间 距离是数学、物理中的重要概念之一,平面几何、立体几何、解析几何及物理学等课 程中很多内容都离不开距离概念,极限理论中用来刻划“远近”的重要尺度是两点间的 “距离”(也可用拓扑来刻划)那么距离的本质特征究意是什么?在讨论中学数学中常见距 离的基础上,抽象概括出距离的一般概念,给出抽象距离空间概念,并介绍压缩映象原理 及其初步应用. 21、两点间的距离 中学课本中是用长度(作为不加定义的概念)来解释两点间的距离的:“连结两点的线 段的长度,叫做这两点间的距离”.在中学数学中涉及到的距离大致有: (1)直线上、平面上或空间中两点的距离; (2)平面上点到直线的距离; (3)平面上两平行直线间的距离; (4)异面直线间的距离; (5)空间一点到平面的距离;(6)直线到与它平行平面的距离; (7)两平行平面间的距离; 而它们都是以两点间的距离为基础的此外,对于平面上(或空间中)一点 P 到一个集 A 的距离,自然可定义为( , )inf( , ), x Ad P Ad P x 平面上(或空间中)两集合 A、B 间的距离显然可定义为( , )inf( , ), x Ad P Ad P x 平面上(或空间中)两集合 A、B 间的距离显然可定义为( , )inf( , ).x Ay Bd A Bd x y也是以两点间距离为基础的 微积分中的极限、连续等概念的描述,也是以两点间的距离为基础,用距离来刻划两 个点的接近程度:lim0,nnaANNnN 有.(, )nnd aAaA22、两函数间的距离 在微积分中,我们会遇见用函数列逼近函数的问题,例如用多项式去逼近定义在a,b上的连续函数 f(x).自然会想:应如何选取系01( )n nnP xaa xa xL数 ai,才能使对 f(x)有最好的逼近()?应注意的是这里的逼近不是对个( )nP x , xa b 别点来说的,而是指整个区间a,b.因此必须明确什么是“最好的逼近”?此时,或许会想是否可用的大小作为逼近优劣的标准,但这个值仍随|( )( )|nP xf x点 x 而异.对于两个不同的多项式、,会在某些点上的值小(1)( ) npx(2)( ) npx(1)|( )( )|npxf x些,而在另一些点上,的值小些,这就无法判定究竟用哪一个逼近 f(x)较(2)|( )( )|nPxf x好.为此,我们需寻求某种合理的方法来确定 Pn(x)与 f(x)间的“距离” ,使得“距离”越小, 逼近就越好. 对于不同的函数集,可以用不同的方式来建立两函数间的“距离”.例(1)设是定义在a,b上的有界函数.可规定: ( ): ( )Mx tx t( ), ( )x ty xM , ( , )sup( )( ) . ta bd x yx ty t 可以验证 d(x,y)满足:1( , )0; ( , )0( )( );d x yd x yx ty t2( , )( , );d x yd y x.3( , )( , )( , )d x yd x zd z y(2)设为定义在a,b上的连续函数.可规定 , ( )a bCf t , ,a bf gC , ( , )max |( )( )| ta bd f gf tg t 不难验证 d(f,g)满足:1( , )0; ( , )0( )( );d f gd f gf tg t2( , )( ,);d f gd g f3( , )( , )( , ).d f gd f hd h g(3)设是a,b上的勒贝格可积函数.规定 , ( ):( )a bLf tf t , ,a bf gL( , )( )|( )( )|bad f gLf tg t dt则也验证 d(f,g)满足(1) 、 (2)中的三个条件(只是第一个条件中与 g 几乎处处相等,因为在勒贝格积分中,两个几乎处处相等函数的积( , )0d f gf分值相同). 由上可知,无论是两点间的距离,还是两个函数间的“距离” ,它们都有以下共性:(i)( , )0, ( , )0;d x yd x yxy(ii)( , )( , );d x yd y x(iii)( , )( , )( , ).d x yd x zd z y因此,用(i)(iii)作为距离公理,便可建立一般距离和距离空间的概念. 2.3、距离空间 1.距离空间的定义和例子定义 1 设 X 为非空集合,二元实值映射若满足:有:d XXR, ,x y zX(i)( , )0, ( , )0;d x yd x yxy(ii)( , )( , );d x yd y x(iii)( , )( , )( , ).d x yd x zd z y则称 d 为 X 上的一个距离函数,d(x,y)为点 x,y 间的距离,装备了距离的集合称为距离 空间,记为(X,d) (或简记为 X). 有了距离,就可以在抽象的距离空间中,借用 R1、R2、R3中的几何术语和几何直观、 几何方法去建立和理解有关理论.荷兰数学家、数学教育家弗兰登塔尔说过:“空间概念推 广到了无限维在使用空间术语的同时,他们同时抓住了整套的几何术语,几何思想方法与几何直观” ,康德也曾说过:“缺乏直观的概念是空虚的” ,我们要很好地理解现代数 学中“空间”的双重意义.例 1 22 1122,( ,),(,).XRP x yQ xyR(1)规定则 d1是 R2上的一个距离函数,22 12121( ,)() ,d P Qxxyy(R2,d1)是一个距离空间.2: ( ,0)1BPRd P为平面上通常的以原点 0 为圆心,以 1 为半径的闭圆面.(2)若规定则可验证 d2为 R2上一距离函数,22121( ,)max|,|,dP Qxxyy(R2,d3)为一距离空间,借用原来的几何直观和几何语言, “闭圆面”2 2:( ,0)1.BPRdP(3)若规定,则同样可验证 d3为 R2上的一个距离函32121( ,) |d P Qxxyy数, (R2,d3)为一距离空间,此时, “闭圆面”2 3:( ,0)1.BPRd P例 2 设,显然 d 为 X 上的一个距离函数,(0,1), ( , ) |Xx yX d x yxy为一距离空间.(, )X d例 3 前述的函数集合、分别在、式所规定的距离下,成为M , a bC , a bL距离空间.例 4 设12( ,):,1,2,iSx xxR iLL,规定1212( ,),(,)nnxx xxyy yySLLLL11( , ),21nn n nnnxyd x yxy则易知 d 满足距离公理的前两条,注意到函数的递增性(当时) ,提到1x x1x 11( , ),2 1nn n nnnxyd x yxy11,2 1nnnn n nnnnnxzzyxzzy1111 2 12 1nnnn nn nnnnnnxzzy xzzy( , )( , ).d x zd z y所以 d 为 S 上的一个距离函数, (S,d)为一距离空间. 24、距离空间中的收敛性 抽象距离空间中的点可以是原来意义下的点,但一般来说,是指集合中的元素,因此 点列收敛的具体含义随对象不同而异.定义 2 设称点列xn收敛于 x0,如果0(, ),nxX dX xX.00lim(,)0,()nnnd x xxx n 记作一般距离空间的收敛点列与微积分中的收敛点列有类似的性质:极限点 x0唯一;收敛 点列是有界集.为此,先给出一般距离空间中有界集的概念,类比 R1的情况,我们有定义 3 给定0(, ),0.X dxX r点集00(, ): ( ,)B x rxX d x xr叫做 X 内以 x0为中心、以 r 为半径的开球.设若有 X 中的一个开球则称 A 为有界集.,AX0(, ),B x rA定理 1 距离空间内的点列至多收敛于一个点.证明:设00,.nnnxX xxxy且则有000000(,)(,)(,)0(,)0,nnnd xyd x xd xyd xy所以00.xy定理 2 距离空间的收敛点列是有界集.证明:设取则0,nxx01,NNnN 有0(,)1.nd xx记10200max ( ,), (,), (,),Nad x xd x xd xxL则有0(,1).nxB x a下面我们通过两个例子来体会距离空间中点列收敛的具体含义随对象不同而异.为此先 给出两个不等式. Cauchy 不等式,任给 2n 个实数 a1,a2,an;b1,b2,bn.则有2 22111nnniiii iiiabab证明: 由,R222211110()2nnnniiiiii iiiiabaabb知右端的判别式2 221110,nnniiii iiiabab此即欲证之式. 由上不等式可得下面的Schwarz 不等式 任给 2n 个实数则有1212,;,.nna aa b bbLL111222222111.
网站客服QQ:2055934822
金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号