“宇宙【宇宙:包括地球及其他一切天体的无限空间。】到底是什么样子?”目前尚无定论。值得一提的是史蒂芬·霍金的观点比较让人容易接受:宇宙有限而无界,只不过比地球多了几维。比如,我们的地球就是有限而无界的。在地球上,无论从南极走到北极,还是从北极走到南极,你始终不可能找到地球的边界,但你不能由此认为地球是无限的。实际上,我们都知道地球是有限的。地球如此,宇宙亦是如此。
怎么理解宇宙比地球多了几维呢?举个例子:一个小球沿地面滚动并掉进了一个小洞中,在我们看来,小球是存在的,它还在洞里面,因为我们人类是“三维”的;而对于一个动物来说,它得出的结论就会是:小球已经不存在了!它消失了。为什么会得出这样的结论呢?因为它生活在“三维”世界里,对“三维”事件是无法清楚理解的。同样的道理,我们人类生活在“三维”世界里,对于比我们多几维的宇宙,也是很难理解清楚的。这也正是对于“宇宙是什么样子”这个问题无法解释清楚的原因。
爱因斯坦【爱因斯坦:德国著名科学家。】1915年发表广义相对论,1917年就提出一个建立在广义相对论基础上的宇宙模型。这是一个人们完全意想不到的模型。在这个模型中,宇宙的三维空间是有限无边的,而且不随时间变化。以往人们认为,有限就是有边,无限就是无边。爱因斯坦把有限和有边这两个概念区分开来。
一个长方形的桌面,有确定的长和宽,也有确定的面积,因而大小是有限的。同时它有明显的四条边,因此是有边的。如果有一个小甲虫在它上面爬,无论朝哪个方向爬,都会很快到达桌面的边缘。所以桌面是有限有边的二维空间。如果桌面向四面八方无限伸展,成为欧氏几何中的平面,那么,这个欧氏平面是无限无边的二维空间。
我们再看一个篮球的表面,如果篮球的半径为r,那么球面的面积是4πr2,大小是有限的。但是,这个三维球面是无边的。假如有一个小甲虫在它上面爬,永远也不会走到尽头。所以,篮球面是一个有限无边的二维空间。
按照宇宙学原理,在宇宙观尺度上,三维空间是均匀各向同性的。爱因斯坦认为,这样的三维空间必定是常曲率空间,也就是说空间各点的弯曲程度应该相同,即应该有相同的曲率。由于有物质存在,四维空间应该是弯曲的。三维空间也应是弯的而不应是平的。爱因斯坦觉得,这样的宇宙很可能是三维超球面。三维超球面不是通常的球体,而是三维球面的推广。通常的球体是有限有边的,体积是3/4πr3,它的边就是三维球面。三维超球面是有限无边的,生活在其中的三维生物(例如我们人类就是有长、宽、高的三维生物),无论朝哪个方向前进均碰不到边。假如它一直朝北走,最终会从南边走回来。
宇宙学原理还认为,三维空间的均匀各向同性是在任何时刻都保持的。爱因斯坦觉得其中最简单的情况就是静态【静态(jìnɡtài):相对静止状态;非工作状态。】宇宙,也就是说,不随时间变化的宇宙。这样的宇宙只要在某一时刻均匀各向同性,就永远保持均匀各向同性。
爱因斯坦试图在三维空间均匀各向同性、且不随时间变化的假定下,求解广义相对论的场方程。场方程非常复杂,而且需要知道初始条件(宇宙最初的情况)和边界条件(宇宙边缘处的情况)才能求解。本来,解这样的方程是十分困难的事,但是爱因斯坦非常聪明,他设想宇宙是有限无边的,没有边自然就不需要边界条件。他又设想宇宙是静态的,现在和过去都一样,初始条件也就不需要了。再加上对称性的限制(要求三维空间均匀各向同性),场方程就变得好解多了。但还是得不出结果。反复思考后,爱因斯坦终于明白了求不出解的原因:广义相对论可以看作万有引力定律的推广,只包含“吸引效应”不包含“排斥【斥(chì):离开。】效应”。而维持一个不随时间变化的宇宙,必须有排斥效应与吸引效应相平衡才行。这就是说,从广义相对论场方程不可能得出“静态”宇宙。要想得出静态宇宙,必须修改场方程。于是他在方程中增加了一个“排斥项”,叫做宇宙项。这样,爱因斯坦终于计算出了一个静态的、均匀各向同性的、有限无边的宇宙模型。一时间大家非常兴奋,科学终于告诉我们,宇宙是不随时间变化的、是有限无边的。看来,关于宇宙有限还是无限的争论似乎可以画上一个句号了。
几年之后,一个名不见经传的前苏联数学家弗利德曼,应用不加宇宙项的场方程,得到一个膨胀的、或脉动的宇宙模型。弗利德曼宇宙模型在三维空间上也是均匀、各向同性的,但是,它不是静态的。这个宇宙模型随时间变化,分三种情况。第一种情况,三维空间的曲率是负的;第二种情况,三维空间的曲率为零,也就是说,三维空间是平直的;第三种情况,三维空间的曲率是正的。前两种情况,宇宙不停地膨胀【膨胀(pénɡzhànɡ):由于温度升高或其他因素,物体的长度增加或体积增大。】;第三种情况,宇宙先膨胀,达到一个极大值后开始收缩,然后再膨胀,再收缩……因此第三种宇宙是脉动的。弗利德曼的宇宙最初发表在一个不太著名的杂志上。后来,西欧一些数学家物理学家得到类似的宇宙模型。爱因斯坦得知这类膨胀或脉动的宇宙模型后,十分兴奋。他认为自己的模型不好,应该放弃,弗利德曼模型才是正确的宇宙模型。