首先克莱因瓶
在1882年,著名数学家菲立克斯•克莱因(Felix Klein)发现了后来以他的名字命名的著名“瓶子”。这是一个象球面那样封闭的(也就是说没有边)曲面,但是它却只有一个面。在图片上我们看到,克莱因瓶的确就象是一个瓶子。但是它没有瓶底,它的瓶颈被拉长,然后似乎是穿过了瓶壁,最后瓶颈和瓶底圈连在了一起。如果瓶颈不穿过瓶壁而从另一边和瓶底圈相连的话,我们就会得到一个轮胎面。
具体分析
我们可以说一个球有两个面——外面和内面,如果一只蚂蚁在一个球的外表面上爬行,那么如果它不在球面上咬一个洞,就无法爬到内表面上去。轮胎面也是一样,有内外表面之分。但是克莱因瓶却不同,我们很容易想象,一只爬在“瓶外”的蚂蚁,可以轻松地通过瓶颈而爬到“瓶内”去——事实上克莱因瓶并无内外之分!在数学上,我们称克莱因瓶是一个不可定向的二维紧致流型,而球面或轮胎面是可定向的二维紧致流型。在数学上,我们称克莱因瓶是一个不可定向的二维紧致流型。如果我们观察克莱因瓶的图片,有一点似乎令人困惑——克莱因瓶的瓶颈和瓶身是相交的,换句话说,瓶颈上的某些点和瓶壁上的某些点占据了三维空间中的同一个位置。但是事实却非如此。事实是:克莱因瓶是一个在四维空间中才可能真正表现出来的曲面,如果我们一定要把它表现在我们生活的三维空间中,我们只好将就点,只好把它表现得似乎是自己和自己相交一样。事实上,克莱因瓶的瓶颈是穿过了第四维空间再和瓶底圈连起来的,并不穿过瓶壁。这是怎么回事呢?我们用扭节来打比方。如果我们把它看作平面上的曲线的话,那么它似乎自身相交,再一看似乎又断成了三截。但其实很容易明白,这个图形其实是三维空间中的曲线,它并不和自己相交,而且是连续不断的一条曲线。在平面上一条曲线自然做不到这样,但是如果有第三维的话,它就可以穿过第三维来避开和自己相交。只是因为我们要把它画在二维平面上时,只好将就一点,把它画成相交或者断裂了的样子。克莱因瓶也一样,这是一个事实上处于四维空间中的曲面。在我们这个三维空间中,即使是最高明的能工巧匠,也不得不把它做成自身相交的模样;就好像最高明的画家,在纸上画扭结的时候也不得不把它们画成自身相交的模样。题图就是一个用玻璃吹制的克莱因瓶。
性质
从拓扑学角度上看,克莱因瓶可以定义为矩阵[0,1] × [0,1],边定义为 (0,y) ~ (1,y) 条件 0 ≤y≤ 1 和 (x,0) ~ (1-x,1) 条件 0 ≤x≤ 1可以用图表示为 ----> ^ ^ | | <---- 就像麦比乌斯带一样,克莱因瓶没有定向性。但是与之不同的是,克莱因瓶是一个闭合的曲面,也就是说它没有边界。莫比乌斯带可以在三维的欧几里德空间中嵌入,克莱因瓶只能适用于四维空间。
克莱因瓶与麦比乌斯带
大家大概都知道麦比乌斯带。你可以把一条纸带的一段扭180度,再和另一端粘起来来得到一条麦比乌斯带的模型。这也是一个只有一麦比乌斯带、一个面的曲面,但是和球面、轮胎面和克莱因瓶不同的是,它有边(注意,它只有一条边)。如果我们把两条麦比乌斯带沿着它们唯一的边粘合起来,你就得到了一个克莱因瓶(当然不要忘了,我们必须在四维空间中才能真正有可能完成这个粘合,否则的话就不得不把纸撕破一点)。同样地,如果把一个克莱因瓶适当地剪开来,我们就能得到两条麦比乌斯带。除了我们上面看到的克莱因瓶的模样,还有一种不太为人所知的“8字形”克莱因瓶。它看起来和上面的曲面完全不同,但是在四维空间中它们其实就是同一个曲面——克莱因瓶。
克莱因瓶的制造
事实上,德国数学家克莱因就曾提出了“不可能”设想,即拓扑学的大怪物——克莱因瓶。这种瓶子根本没有内、外之之分,无论从什么地方穿透曲面,到达之处依然在瓶的外面,所以,它本质上就是一个“有外无内”的古怪东西。 尽管现代玻璃工业已经发展得非常先进,但是,所谓的“克莱因瓶,却始终是大数学家克莱因先生脑子里头的“虚构物”,根本制造不出来。许多国家的数学家老是想造它一个出来,作为献给国际数学家大会的礼物。然而,等等他们的是一个失败接着一个失败。 也有人认为,即使造不出玻璃制品,能造出一个纸模型也不错呀。如果真的解决了这个问题,那可是个大收获啊!但实际上,据说克莱因瓶已经被人制造出来了。在郭凯声等编著的《数学游戏》(下)一书的“玻璃克莱因瓶”一文中有清楚的介绍。兹引录部分如下:Alan Bennett是英国贝德福德的一位玻璃吹制工。几年前,他开始对拓扑学中出现的各种神秘的形状――墨比乌斯带、克莱因瓶等等――发生兴趣,并遇到了一个新奇的难题,数学家本会通过计算来尝试解决这个难题,而Bennett则用玻璃解决了它。他做出的一系列引人注目的物品很快就将成为伦敦科学博物馆中的一项永久性陈列品。
克莱因瓶的一些应用猜想
如果麦比乌斯带能够完美的展现一个“二维空间中一维可无限扩展之空间模型”的话,克莱因瓶只能作为展现一个“三维空间中二维可无限扩展之空间模型”的参考。因为在制作麦比乌斯带的过程中,我们要对纸带进行180度翻转再首尾相连,这就一个三维空间下的操作。理想的“三维空间中二维可无限扩展之空间模型”应该是在二维面中,朝任意方向前进都可以回到原点的模型,而克莱因瓶虽然在二维面上可以向任意方向无限前进,但是只有在两个特定的方向上才会回到原点,并且只有在其中一个方向上,回到原点之前会经过一个“逆向原点”,真正理想的“三维空间中二维可无限扩展之空间模型”也应该是在二维面上朝任何方向前进,都会先经过一次“逆向原点”,再回到原点。而制作这个模型,则需要在四维空间上对三维模型进行扭曲。数学中有一个重要分支叫“拓扑学”,主要是研究几何图形连续改变形状时的一些特征和规律的,克莱因瓶和麦比乌斯带变成了拓扑学中最有趣的问题之一。麦比乌斯带的概念被广泛地应用到了建筑,艺术,工业生产中。
克莱因瓶的发明人介绍
菲立克斯·克莱因克莱因在杜塞尔多夫读的中学,毕业后,他考入了波恩大学学习数学和物理。他本来是想成为一位物理学家,但是数学教授普律克改变了他的主意。1868年克莱因在普律克教授的指导下完成了博士论文。在这一年里,普律克教授去世了,留下了未完成的几何基础课题。克莱因是完成这一任务的最佳人选。后来克莱因又去服了兵役。1871年,克莱因接受哥廷根大学的邀请担任数学讲师。1872年他又被埃尔朗根大学聘任为数学教授,这时他只有23岁。1875年他在慕尼黑高等技术学院取得了一个教席。在这里,他的学生包括胡尔维茨、冯戴克、洛恩、普朗克、毕安奇和里奇。五年之后,克莱因应邀去莱比锡大学讲授几何学。在这里他和他过去的出色的学生冯戴克、洛恩、司徒迪和恩格尔等成为了同事。1886年,克莱因接受了哥廷根大学的邀请来到哥廷根,开始了他的数学家的生涯。他讲授的课程非常广泛,主要是在数学和物理之间的交叉课题,如力学和势论。他在这里直到1913年退休。他实现了要重建哥廷根大学作为世界数学研究的重要中心的愿望。 著名的数学杂志《数学年刊》就是在克莱因的主持管理下才能在重要性上达到和超过了《克莱尔杂志》的。这本杂志在复分析、代数几何和不变量理论方面很有特色。在实分析和群论新领域也很出色。 要了解克莱因对在几何学上所作的贡献的特点是有点难的,因为即使用我们今天数学思想的大部分来理解他的结果的新奇之处也是很困难的。克莱因在数学上做出的第一个贡献是在1870年与李合作发现的。他们发现了库默尔面上曲线的渐近线的基本性质。他进一步地与李合作研究W-曲线。1871年克莱因出版了两篇有关非欧几何的论文,论文中证明了如果欧氏几何是相容的,那么非欧几何也是相容的。这就把非欧几何置于与欧氏几何同样坚实的基础之上。克莱因在他的著名的埃尔朗根纲领中,以变换群的观点综合了各种几何的不变量及其空间特性,以此为标准来分类,从而统一了几何学。今天这些观点已经成为大家的标准。变换在现代数学中扮演者主要角色。克莱因指明了如何用变换群来表达几何的基本特性的方法。而克莱因自己认为他对数学的贡献主要在函数理论上。1882年他在一篇论文中用几何方法来处理函数理论并把势论与保形映射联系起来。他也经常把物理概念用在函数理论上,特别是流体力学。克莱因对大于四次的方程特别是用超越方法来解五次的一般方程感兴趣。在厄尔米特和克隆耐克尔建立了与布里奥斯奇类似的方法之后,克莱因立刻就用二十面体群去试图完全解决这个问题。这个工作导致他在一系列论文中对椭圆模函数的研究。1884年,克莱因在他的一本关于二十面体的重要著作中,得到了一种连接代数与几何的重要关系,他发展了自守函数论。他和一位来自莱比锡的数学家罗伯特·弗里克合作出版了一套四卷本的关于自守函数和椭圆模函数的著作,这本著作影响以后20年。另一个计划是出版一套数学百科全书。他积极地参与到这个工作中,与K·穆勒一起编辑力学部分的四卷。我们还要提到克莱因发现的克莱因瓶,一种只有一个面的曲面。1885年克莱因被英国皇家学会选为国外会员并被授予科普勒奖金。 1908年克莱因被国际数学会选为在罗马召开的数学家大会主席。
克莱因瓶的商业应用
以前克莱因瓶只是拓扑学上的宠物,现在它终于走向了人们。克莱因杯的内壁和和外壁其实是一个连通的整体,所以它有两层,内层杯和外层杯。它的内胆是一个小杯,它的杯壁和手柄的内部构成另外一个外杯。你可以在两层杯子上都装上不同的液体。(就像鸳鸯火锅?)不知大家对武侠上经常提到的转心壶是否还有印象,两者有异曲同工之妙。
欧几里德几何
简称“欧氏几何”。几何学的一门分科。公元前3世纪,古希腊数学家欧几里德把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系,写出《几何原本》,形成了欧氏几何。在其公理体系中,最重要的是平行公理,由于对这一公理的不同认识,导致非欧几何的产生。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何”。
欧几里德几何指按照欧几里德的《几何原本》构造的几何学。
欧几里德几何有时就指平面上的几何,即平面几何。三维空间的欧几里德几何通常叫做立体几何。 高维的情形请参看欧几里德空间。
数学上,欧几里德几何是平面和三维空间中常见的几何,基于点线面假设。数学家也用这一术语表示具有相似性质的高维几何。
公理描述
欧几里德几何的传统描述是一个公理系统,通过有限的公理来证明所有的“真命题”。
欧几里德几何的五条公理是:
任意两个点可以通过一条直线连接。
任意线段能无限延伸成一条直线。
给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。
所有直角都全等。
若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角,则这两条直线在这一边必定相交。
第五条公理称为平行公理,可以导出下述命题:
通过一个不在直线上的点,有且仅有一条不与该直线相交的直线。
平行公理并不像其他公理那么显然。许多几何学家尝试用其他公理来证明这条公理,但都没有成功。19世纪,通过构造非欧几里德几何,说明平行公理是不能被证明的。(若从上述公理体系中去掉平行公理,则可以得到更一般的几何,即绝对几何。)
从另一方面讲,欧几里德几何的五条公理并不完备。例如,该几何中的有定理:任意线段都是三角形的一部分。他用通常的方法进行构造:以线段为半径,分别以线段的两个端点为圆心作圆,将两个圆的交点作为三角形的第三个顶点。然而,他的公理并不保证这两个圆必定相交。 因此,许多公理系统的修订版本被提出,其中有希尔伯特公理系统。
欧几里德还提出了五个“一般概念”,也可以作为公理。当然,之后他还使用量的其他性质。
与同一事物相等的事物相等。
相等的事物加上相等的事物仍然相等。
相等的事物减去相等的事物仍然相等。
一个事物与另一事物重合,则它们相等。
整体大于局部。
欧氏几何的建立
欧氏几何是欧几里德几何学的简称,其创始人是公元前三世纪的古希腊伟大数学家欧几里德。在他以前,古希腊人已经积累了大量的几何知识,并开始用逻辑推理的方法去证明一些几何命题的结论。欧几里德这位伟大的几何建筑师在前人准备的“木石砖瓦”材料的基础上,天才般地按照逻辑系统把几何命题整理起来,建成了一座巍峨的几何大厦,完成了数学史上的光辉著作《几何原本》。这本书的问世,标志着欧氏几何学的建立。这部科学著作是发行最广而且使用时间最长的书。后又被译成多种文字,共有二千多种版本。它的问世是整个数学发展史上意义极其深远的大事,也是整个人类文明史上的里程碑。两千多年来,这部著作在几何教学中一直占据着统治地位,至今其地位也没有被动摇,包括我国在内的许多国家仍以它为基础作为几何教材。
一座不朽的丰碑
欧几里德将早期许多没有联系和未予严谨证明的定理加以整理,写下《几何原本》一书,使几何学变成为一座建立在逻辑推理基础上的不朽丰碑。这部划时代的著作共分13卷,465个命题。其中有八卷讲述几何学,包含了现在中学所学的平面几何和立体几何的内容。但《几何原本》的意义却绝不限于其内容的重要,或者其对定理出色的证明。真正重要的是欧几里德在书中创造的一种被称为公理化的方法。
在证明几何命题时,每一个命题总是从再前一个命题推导出来的,而前一个命题又是从再前一个命题推导出来的。我们不能这样无限地推导下去,应有一些命题作为起点。这些作为论证起点,具有自明性并被公认下来的命题称为公理,如同学们所学的“两点确定一条直线”等即是。同样对于概念来讲也有些不加定义的原始概念,如点、线等。在一个数学理论系统中,我们尽可能少地先取原始概念和不加证明的若干公理,以此为出发点,利用纯逻辑推理的方法,把该系统建立成一个演绎系统,这样的方法就是公理化方法。欧几里德采用的正是这种方法。他先摆出公理、公设、定义,然后有条不紊地由简单到复杂地证明一系列命题。他以公理、公设、定义为要素,作为已知,先证明了第一个命题。然后又以此为基础,来证明第二个命题,如此下去,证明了大量的命题。其论证之精彩,逻辑之周密,结构之严谨,令人叹为观止。零散的数学理论被他成功地编织为一个从基本假定到最复杂结论的系统。因而在数学发展史上,欧几里德被认为是成功而系统地应用公理化方法的第一人,他的工作被公认为是最早用公理法建立起演绎的数学体系的典范。正是从这层意义上,欧几里德的《几何原本》对数学的发展起到了巨大而深远的影响,在数学发展史上树立了一座不朽的丰碑。
欧氏几何的完善
公理化方法已经几乎渗透于数学的每一个领域,对数学的发展产生了不可估量的影响,公理化结构已成为现代数学的主要特征。而作为完成公理化结构的最早典范的《几何原本》,用现代的标准来衡量,在逻辑的严谨性上还存在着不少缺点。如一个公理系统都有若干原始概念(或称不定义概念),如点、线、面就属于这一类。欧几里德对这些都做了定义,但定义本身含混不清。另外,其公理系统也不完备,许多证明不得不借助于直观来完成。此外,个别公理不是独立的,即可以由其他公理推出。这些缺陷直到1899年德国数学家希尔伯特的在其《几何基础》出版时得到了完善。在这部名著中,希尔伯特成功地建立了欧几里德几何的完整、严谨的公理体系,即所谓的希尔伯特公理体系。这一体系的建立使欧氏几何成为一个逻辑结构非常完善而严谨的几何体系。也标志着欧氏几何完善工作的终结。
欧式几何的意义
由于欧式几何具有鲜明的直观性和有着严密的逻辑演绎方法相结合的特点,在长期的实践中表明,它巳成为培养、提高青、少年逻辑思维能力的好教材。历史上不知有多少科学家从学习几何中得到益处,从而作出了伟大的贡献。
少年时代的牛顿在剑桥大学附近的夜店里买了一本《几何原本》,开始他认为这本书的内容没有超出常识范围,因而并没有认真地去读它,而对笛卡儿的“坐标几何”很感兴趣而专心攻读。后来,牛顿于1664年4月在参加特列台奖学金考试的时候遭到落选,当时的考官巴罗博士对他说:“因为你的几何基础知识太贫乏,无论怎样用功也是不行的。”这席谈话对牛顿的震动很大。于是,牛顿又重新把《几何原本》从头到尾地反复进行了深入钻研,为以后的科学工作打下了坚实的数学基础。
近代物理学的科学巨星爱因斯坦也是精通几何学,并且应用几何学的思想方法,开创自己研究工作的一位科学家。爱因斯坦在回忆自己曾走过的道路时,特别提到在十二岁的时候“几何学的这种明晰性和可靠性给我留下了一种难以形容的印象”。后来,几何学的思想方法对他的研究工作确实有很大的启示。他多次提出在物理学研究工作中也应当在逻辑上从少数几个所谓公理的基本假定开始。在狭义相对论中,爱因斯坦就是运用这种思想方法,把整个理论建立在两条公理上:相对原理和光速不变原理。
在几何学发展的历史中,欧几里得的《几何原本》起了重大的历史作用。这种作用归结到一点,就是提出了几何学的“根据”和它的逻辑结构的问题。在他写的《几何原本》中,就是用逻辑的链子由此及彼的展开全部几何学,这项工作,前人未曾作到。
但是,在人类认识的长河中,无论怎样高明的前辈和名家,都不可能把问题全部解决。由于历史条件的限制,欧几里得在《几何原本》中提出几何学的“根据”问题并没有得到彻底的解决,他的理论体系并不是完美无缺的。比如,对直线的定义实际上是用一个未知的定义来解释另一个未知的定义,这样的定义不可能在逻辑推理中起什么作用。又如,欧几里得在逻辑推理中使用了“连续”的概念,但是在《几何原本》中从未提到过这个概念。
现代方法
如今,欧几里德几何的构造通常不是通过公理化方法,而是通过解析几何。通过这种方法,可以像证明定理一样证明欧几里德(或非欧几里德)几何中的公理[/title]
克莱因瓶与欧式几何应该不是属于与被属于的关系
不是 是拓扑学
踏实一种新兴学科
就是很多变形