But speculations1 on the structure of the universe also move in quite another direction. The development of non-Euclidean geometry led to the recognition of the fact, that we can cast doubt on the infiniteness of our space without coming into conflict with the laws of thought or with experience (Riemann, Helmholtz). These questions have already been treated in detail and with unsurpassable lucidity2 by Helmholtz and Poincaré, whereas I can only touch on them briefly3 here.
In the first place, we imagine an existence in two dimensional space. Flat beings with flat implements4, and in particular flat rigid5 measuring-rods, are free to move in a plane. For them nothing exists outside of this plane: that which they observe to happen to themselves and to their flat “things” is the all-inclusive reality of their plane. In particular, the constructions of plane Euclidean geometry can be carried out by means of the rods e.g. the lattice construction, considered in Section XXIV. In contrast to ours, the universe of these beings is two-dimensional; but, like ours, it extends to infinity6. In their universe there is room for an infinite number of identical squares made up of rods, i.e. its volume (surface) is infinite. If these beings say their universe is “plane,” there is sense in the statement, because they mean that they can perform the constructions of plane Euclidean geometry with their rods. In this connection the individual rods always represent the same distance, independently of their position.
Let us consider now a second two-dimensional existence, but this time on a spherical7 surface instead of on a plane. The flat beings with their measuring-rods and other objects fit exactly on this surface and they are unable to leave it. Their whole universe of observation extends exclusively over the surface of the sphere. Are these beings able to regard the geometry of their universe as being plane geometry and their rods withal as the realisation of “distance”? They cannot do this. For if they attempt to realise a straight line, they will obtain a curve, which we “three-dimensional beings” designate as a great circle, i.e. a self-contained line of definite finite length, which can be measured up by means of a measuring-rod. Similarly, this universe has a finite area that can be compared with the area, of a square constructed with rods. The great charm resulting from this consideration lies in the recognition of the fact that the universe of these beings is finite and yet has no limits.
But the spherical-surface beings do not need to go on a world-tour in order to perceive that they are not living in a Euclidean universe. They can convince themselves of this on every part of their “world,” provided they do not use too small a piece of it. Starting from a point, they draw “straight lines” (arcs of circles as judged in three dimensional space) of equal length in all directions. They will call the line joining the free ends of these lines a “circle.” For a plane surface, the ratio of the circumference8 of a circle to its diameter, both lengths being measured with the same rod, is, according to Euclidean geometry of the plane, equal to a constant value pi, which is independent of the diameter of the circle. On their spherical surface our flat beings would find for this ratio the value
pi StartStartFraction sine left-parenthesis StartFraction r Over upper R EndFraction right-parenthesis OverOver left-parenthesis StartFraction r Over upper R EndFraction right-parenthesis EndEndFraction comma
i.e. a smaller value than pi, the difference being the more considerable, the greater is the radius9 of the circle in comparison with the radius R of the “world-sphere.” By means of this relation the spherical beings can determine the radius of their universe (“world”), even when only a relatively10 small part of their world-sphere is available for their measurements. But if this part is very small indeed, they will no longer be able to demonstrate that they are on a spherical “world” and not on a Euclidean plane, for a small part of a spherical surface differs only slightly from a piece of a plane of the same size.
Thus if the spherical surface beings are living on a planet of which the solar system occupies only a negligibly small part of the spherical universe, they have no means of determining whether they are living in a finite or in an infinite universe, because the “piece of universe” to which they have access is in both cases practically plane, or Euclidean. It follows directly from this discussion, that for our sphere-beings the circumference of a circle first increases with the radius until the “circumference of the universe” is reached, and that it thenceforward gradually decreases to zero for still further increasing values of the radius. During this process the area of the circle continues to increase more and more, until finally it becomes equal to the total area of the whole “world-sphere.”
Perhaps the reader will wonder why we have placed our “beings” on a sphere rather than on another closed surface. But this choice has its justification11 in the fact that, of all closed surfaces, the sphere is unique in possessing the property that all points on it are equivalent. I admit that the ratio of the circumference c of a circle to its radius r depends on r, but for a given value of r it is the same for all points of the “world-sphere”; in other words, the “world-sphere” is a “surface of constant curvature.”
To this two-dimensional sphere-universe there is a three-dimensional analogy, namely, the three-dimensional spherical space which was discovered by Riemann. its points are likewise all equivalent. It possesses a finite volume, which is determined12 by its “radius” (2 pi squared upper R cubed). Is it possible to imagine a spherical space? To imagine a space means nothing else than that we imagine an epitome13 of our “space” experience, i.e. of experience that we can have in the movement of “rigid” bodies. In this sense we can imagine a spherical space.
Suppose we draw lines or stretch strings14 in all directions from a point, and mark off from each of these the distance r with a measuring-rod. All the free end-points of these lengths lie on a spherical surface. We can specially15 measure up the area (F) of this surface by means of a square made up of measuring-rods. If the universe is Euclidean, then upper F equals 4 pi r squared; if it is spherical, then F is always less than 4 pi r squared. With increasing values of r, F increases from zero up to a maximum value which is determined by the “world-radius,” but for still further increasing values of r, the area gradually diminishes to zero. At first, the straight lines which radiate from the starting point diverge16 farther and farther from one another, but later they approach each other, and finally they run together again at a “counter-point” to the starting point. Under such conditions they have traversed the whole spherical space. It is easily seen that the three-dimensional spherical space is quite analogous17 to the two-dimensional spherical surface. It is finite (i.e. of finite volume), and has no bounds.
It may be mentioned that there is yet another kind of curved space: “elliptical space.” It can be regarded as a curved space in which the two “counter-points” are identical (indistinguishable from each other). An elliptical universe can thus be considered to some extent as a curved universe possessing central symmetry.
It follows from what has been said, that closed spaces without limits are conceivable. From amongst these, the spherical space (and the elliptical) excels in its simplicity18, since all points on it are equivalent. As a result of this discussion, a most interesting question arises for astronomers19 and physicists20, and that is whether the universe in which we live is infinite, or whether it is finite in the manner of the spherical universe. Our experience is far from being sufficient to enable us to answer this question. But the general theory of relativity permits of our answering it with a moderate degree of certainty, and in this connection the difficulty mentioned in Section XXX finds its solution.
点击收听单词发音
1 speculations | |
n.投机买卖( speculation的名词复数 );思考;投机活动;推断 | |
参考例句: |
|
|
2 lucidity | |
n.明朗,清晰,透明 | |
参考例句: |
|
|
3 briefly | |
adv.简单地,简短地 | |
参考例句: |
|
|
4 implements | |
n.工具( implement的名词复数 );家具;手段;[法律]履行(契约等)v.实现( implement的第三人称单数 );执行;贯彻;使生效 | |
参考例句: |
|
|
5 rigid | |
adj.严格的,死板的;刚硬的,僵硬的 | |
参考例句: |
|
|
6 infinity | |
n.无限,无穷,大量 | |
参考例句: |
|
|
7 spherical | |
adj.球形的;球面的 | |
参考例句: |
|
|
8 circumference | |
n.圆周,周长,圆周线 | |
参考例句: |
|
|
9 radius | |
n.半径,半径范围;有效航程,范围,界限 | |
参考例句: |
|
|
10 relatively | |
adv.比较...地,相对地 | |
参考例句: |
|
|
11 justification | |
n.正当的理由;辩解的理由 | |
参考例句: |
|
|
12 determined | |
adj.坚定的;有决心的 | |
参考例句: |
|
|
13 epitome | |
n.典型,梗概 | |
参考例句: |
|
|
14 strings | |
n.弦 | |
参考例句: |
|
|
15 specially | |
adv.特定地;特殊地;明确地 | |
参考例句: |
|
|
16 diverge | |
v.分叉,分歧,离题,使...岔开,使转向 | |
参考例句: |
|
|
17 analogous | |
adj.相似的;类似的 | |
参考例句: |
|
|
18 simplicity | |
n.简单,简易;朴素;直率,单纯 | |
参考例句: |
|
|
19 astronomers | |
n.天文学者,天文学家( astronomer的名词复数 ) | |
参考例句: |
|
|
20 physicists | |
物理学家( physicist的名词复数 ) | |
参考例句: |
|
|
欢迎访问英文小说网 |