补充资料：维数

    　　刻画几何图形拓扑性质的一种数。通俗地说，它是确定整个图形中点的位置所需要的坐标（或参数）的个数。直线上的点由一个坐标确定,故直线的维数为1。平面上的点由两个坐标确定，故平面的维数为2。同理,日常所指的空间，其维数为3。当整个图形为一个点时,点的维数假设为0。在19世纪前,几何学仅从事三维或低于三维图形的研究。19世纪以来，更高维空间的概念开始被接受。例如，日常的三维空间中点的坐标是(x,y,z)，再加上时间坐标t，就得到点(x,y,z,t),它们组成的空间就是最简单的四维空间。
　　
　　抽象空间的维数 　严格地讲，上面关于维数的定义是含混而带描述性的。1890年，G.皮亚诺令人吃惊地构造了一条能填满正方形的"曲线"（见拓扑学）。若按上面的说法，正方形的维数就会是1,这是不合情理的。20世纪初，随着处理抽象空间的拓扑学的发展，维数的严格定义显得更必要了。1912年,（J.-）H.庞加莱指出，若在曲线上标出一点，曲线通常就被分离成两段，蚂蚁从其中一段出发爬行，不接触该点就无法进入另一段。因为曲线由点（0维）分离,故曲线的维数大于0而为1。曲面就不能由点分成这样两块，但可以用曲线分离，从而曲面的维数应高于曲线的维数。此外，立方体不能被点或曲线分离，但可以用曲面分离,故立方体的维数为3。基于这种归纳的想法，20世纪初L.E.J.布劳威尔以及稍后的E.切赫给出了维数的严格定义，即大归纳维数。K.门杰及∏.C.乌雷松把上述思想局部化以后，得到另一种维数定义,称为小归纳维数。H.L.勒贝格发现,可以用充分小的矩形把正方形覆盖起来，使得每一点至多属于三个小矩形,且至少有三个要相交。n维空间的方体也有类似的特性,不过这时每一点至多属于n+1个小方体。这个事实就导致E.切赫定义了第三种维数，即覆盖维数（也称勒贝格维数）。∏.C.亚历山德罗夫定义了第四种维数，即同调维数。
　　
　　小归纳维数 　空间x的小归纳维数记作 indx。若═为空集，令ind═=-1，若对于x的每一点x以及它的开邻域U，存在x的另一个邻域V,使得V嶅U且ind(堸\V)≤n-1，则称indx≤n。若indx≤n且indx≤n-1不成立,则称indx=n。
　　
　　大归纳维数 　空间 x的大归纳维数记作Indx。同样，规定Ind═=-1。若对x的任意闭集A以及它的开邻域U,存在A的开邻域V,使得V嶅U且Ind(堸-V)≤n-1,则定义Indx≤n。若Indx ≤n且Indx ≤n-1不成立，则称Indx =n。
　　
　　覆盖维数 　若空间 x的任意有限开覆盖有其阶数小于n+2的有限开覆盖加细则定义diтx≤n。如果这时dimx≤n-1不成立，则称diтx =n。所谓覆盖的阶数小于n是指该覆盖中任意n个元之交为空集。
　　
　　同调维数与上同调维数 　设x是紧豪斯多夫空间，G是可换群，定义x的同调维数D_h(x,G)≤n,如果x关于任意闭集A的n+1维切赫相对同调群彔_n+1(x,A;G)=0,这时若D_h(x,G)≤n-1不成立，则称D_h(x,G)=n。用切赫相对上同调群彔_n+1(x,A;G)来代替彔_n+1(x,A;G),则得到x的上同调维数D_c(x,G)的定义。
　　
　　维数论 　维数论中最基本的问题，是研究如何对每个空间指定一个确定的整数（即维数）,使得n维欧氏空间的维数为n；若Y是空间x的子空间，则Y的维数不超过x 的维数；同胚的空间具有相同的维数。上述维数的定义，基本上都符合这些要求。维数论中另一个重要课题是比较各种维数的定义。对可分度量空间而言，前三种定义是等价的。若Y是度量空间，则
　　
　　 indx ≤Indx =dimx,而indx 可能与此不等。对于紧致度量空间,如果dimx有限，则dimx=D_c(x;Z)=D_h(x；K),这里Z是整数加群,K是模 1实数加群。此外，所谓维数的和定理、单调性定理、积定理的研究都是维数论的传统课题。特别是无限维空间的维数论在近年得到重视，已开始成为维数论的中心课题。
　　
　　

参考书目
　　　W.Hurewicz and H.Wallman,Dimension Theory, Princeton Univ.Press,Princeton,1948.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。