从零维空间到四维空间—浅谈几何中的纯概念研究(马利进 陇东学院数学系 甘肃庆阳 745000) 摘要
几何不一定是真实现象的描述,几何空间和自然空间并不能完全等同看待,纯概念的研究几何的发展是数学界的一个里程碑。从零维空间到三维空间,尤其是从三维空间到四维空间的发展更是几何学的的一次革命。 关键词
零维;一维;二维;三维;四维;n维;几何元素;点;直线;平面。
n维空间概念,在18世纪随着分析力学的发展而有所前进。在达朗贝尔。欧拉和拉格朗日的著作中无关紧要的出现第四维的概念,达朗贝尔在《百科全书》关于维数的条目中提议把时间想象为第四维。在19世纪高于三维的几何学还是被拒绝的。麦比乌斯(karl august mobius 1790-1868)在其《重心的计算》中指出,在三维空间中两个互为镜像的图形是不能重叠的,而在四维空间中却能叠合起来。但后来他又说:这样的四维空间难于想象,所以叠合是不可能的。这种情况的出现是由于人们把几何空间与自然空间完全等同看待的结果。以至直到1860年,库摩尔(ernst eduard kummer 1810-1893)还嘲弄四维几何学。但是,随着数学家逐渐引进一些没有或很少有直接物理意义的概念,例如虚数,数学家们才学会了摆脱“数学是真实现象的描述”的观念,逐渐走上纯观念的研究方式。虚数曾经是很令人费解的,因为它在自然界中没有实在性。把虚数作为直线上的一个定向距离,把复数当作平面上的一个点或向量,这种解释为后来的四元素,非欧几里得几何学,几何学中的复元素,n维几何学以及各种稀奇古怪的函数,超限数等的引进开了先河,摆脱直接为物理学服务这一观念迎来了n维几何学。 1844年格拉斯曼在四元数的启发下,作了更大的推广,发表《线性扩张》,1862年又将其修订为《扩张论》。他第一次涉及一般的n维几何的概念,他在1848年的一篇文章中说: 我的扩张的演算建立了空间理论的抽象基础,即它脱离了一切空间的直观,成为一个纯粹的数学的科学,只是在对(物理)空间作特殊应用时才构成几何学。
然而扩张演算中的定理并不单单是把几何结果翻译成抽象的语言,它们有非常一般的重要性,因为普通几何受(物理)空间的限制。格拉斯曼强调,几何学可以物理应用发展纯智力的研究。几何学从此开始割断了与物理学的联系而独自向前发展。经过众多的学者的研究,遂于1850年以后,n维几何学逐渐被数学界接受。
以上是n维几何发展的曲折历程,以下是n维几何发展的一些具体过程。
首先,我们将点看作零维空间,直线看作一维空间,平面看作二维空间,并观察以下公设:
属于一条直线的两个点确定这条直线。
1.1 属于一条直线的两个平面确定这一条直线。(比较这个公设和公设1.1)。
1.2 属于同一个点的两条直线也属于同一个平面。(公设1.2的推论)
1.3 属于同一个平面的两条直线,也属于同一个点。
1.4 可以推断出:
1. 具有相同维数的两个空间,在某些条件下,确定另一个高一维的空间。例如:两个点(我们将它们看作两个零维空间)确定一条直线(一维空间)。属于同一个点(规定的条件)的两条直线(两个一维空间)也属于同一个平面(二维空间)。
2. 具有相同维数的两个空间,在某些条件下,也可以确定一个低一维的空间。例如:两个平面(两个二维空间)确定一条属于它们的直线(一维空间)。属于同一平面(限定的条件)的两条直线(两个一维空间)确定一个点(零维空间)。
3. 结论2没有包括这一事实,即两个平面可以确定一个高一维的空间。它只假定它们确定一条直线,这是比平面低一维的空间。这就留下了一个把我们的思想引申到高维空间的缺口。这个缺口的消除可在推论1.3“属于同一个点的两条直线也属于同一个平面”中,用几何元素直线、平面和三维空间依次的代替几何元素点、直线和平面来达到。 下面的推论是替换的结果。属于同一条直线的两个平面也属于同一个三维空间。
有了这个新的推论,我们就把与其他几何元素直接对应的几何元素——三维空间也包括了。
下一步是把对偶原理应用于这一推理,并从这些新引申的推论中得到一些固有的结论。在对偶原理将通过几何元素——平面和空间的位置交换而被应用。这时我们得到下述推论:
属于同一条直线的两个三维空间也属于同一个平面。
1.5 从推论1.5我们可以得到下述公设:
属于一个平面的两个共存的三维空间确定这一个平面。
1.6 在上述1.5和1.6的基础上,可以提出下面的看法:
1. 四维空间的几何条件是很明显的,因为维数相同的两个已知空间,只能共存于比它们高一维的空间里。例如:两条不同的共存直线(一维)位于一个平面内(二维);两个不同的共存平面(二维)(沿一直线共存)位于一个三维空间里;两个不同的共存三维空间(沿一个平面共存)位于一个四维空间里。
2. 在几何上被看作是不属于同一直线而相交于一点的两个平面,属于不同的各别的三维空间。
四维空间的概念也可以通过解析几何的手段来研究。在那里我们可以利用代数方程来表示几何概念。为了利用这个手段进行观察以导致对四维空间的理解,我们来研究三维空间体系中的三个几何元素——点、直线和平面的方程。利用笛卡尔系统表示,我们可以写出: 点的方程:ax + b = 0 (坐标系:直线上的一个点)。
直线的方程:ax + by + c = 0 (坐标系:平面上的两条正交直线)。
平面的方程:ax + by + cz + d = 0 (坐标系:三维空间的三个互相垂直的平面)。
从上面的研究我们可以看出:
所表示的每一个几何元素(或空间)的方程中的变量数目,等于这个空间的维数加1。
坐标系中的几何元素与被表示的几何空间的几何元素的维数相同。
在这个坐标系中,几何元素的数目等于被表示的空间的维数加1。在坐标系中,几何元素的这个数目是最低要求。
用来表示几何元素的坐标系,位于比它所含有的几何元素高一维的空间里。
根据上述观察,我们可以写出三维空间的下述方程。应当注意:这个方程有四个变量(x、y、z、u)。
ax + by + cz + du + e = 0
现在我们可以断定:
1. 这个坐标系的几何元素有三维,即它们是三维空间。
2. 在这个坐标系中有四个三维空间。
3. 这个坐标系位于一个四维空间里。
我们对于四维空间乃至更高空间的研究,不是通过实验总结的方式,在现实中我们很难发现并推导出它们的一般规律,对于这些问题,我们可以采取一种新的研究方式。即:纯概念的研究。通过这种方式,我们可以容易的推导出这些很重要但在现实中不易想象的新内容。