四维

维基百科，自由的百科全书

在物理学和数学中，一个n个数的序列可以被理解为一个n维空间中的位置。当n=4时，所有这样的位置的集合就叫做四维空间。这种空间与我们熟悉并在其中居住的三维空间不同，因为它多一个维数。这个额外的维数既可以理解成时间，也可以直接理解为空间的第四维，即第四空间维数。

目录 1 作为时间的第四维数 2 作为空间的第四维数 2.1 正交性 2.2 向量 2.2.1 向量操作 2.2.2 向量组合 2.2.3 向量基底 2.2.4 维数 2.3 维数类比 2.3.1 射影 3 参阅

[编辑] 作为时间的第四维数

主条目：时空

当人们说到“四维空间”时，经常指的都是关于时间的概念。在这种情况下，四维空间可以理解为三维空间附加一条时间轴。这种空间叫做閔可夫斯基時空或“(3 + 1)-空间”^[1]。这也是愛因斯坦在他的廣義相對論和狭义相對論中提及的四维时空概念。

[编辑] 作为空间的第四维数

第四维数可以用空间的方式理解，即一个有四个空间性维数的空间（“纯空间性”的四维空间），或者说有四个两两正交的运动方向的空间。这种空间就是数学家们用来研究四维几何物体的空间，与爱因斯坦提出的时间作为第四维数的理论不同。关于这一点，考克斯特曾写道：

把时间作为第四维数带来的好处即使有的话也是微不足道的。实际上，H. G. 威尔在《时间机器》中发展的这种十分吸引人的观点导致了J. W. 杜恩（《时间实验》）等作者对相对论的非常错误的理解。闵可夫斯基的时空几何是不符合欧几里得体系的，所以也就与当前的研究没有关系。- H. S. M. 考克斯特, Regular Polytopes^[2]

从数学方面讲，普通三维空间集合的四维等价物是欧几里得四维空间，一个四维欧几里得赋范向量空间。一个向量的“长度”

以标准基底表示就是

也就是勾股定理向四维空间进行的很自然的类比。这就让两个向量之间的夹角很容易定义了（参见欧几里得空间）。

[编辑] 正交性

在我们熟悉的三维空间里，有三对主要方向：上下（高度），南北（纬度），东西（经度）。这三对方向两两正交，也就是说，它们两两成直角。从数学方面讲，它们在三条不同的坐标轴x、y、z上。计算机图形学中讲的深度缓冲指的就是这条z轴，在计算机的二维屏幕上代表深度。

纯空间性的四维空间另有一对垂直于其他三个主要方向的主要方向。这一对方向处在另一条同时垂直于x、y、z轴的坐标轴上，通常称作w轴。对这两个方向的命名，人们的看法不一。一些现行的命名有安娜/卡塔，斯皮希图/斯帕提图，维因/维奥，和宇普西龙/德尔塔。这些额外的方向处于（实际上是垂直于）我们所能观察到的三维世界中的方向之外。

[编辑] 向量

主条目：向量

纯空间性四维空间可以以向量的形式理解。一个向量由方向和长度（又叫做模）组成，它可以认为是对从一个点到另一个点向某个方向移动一定的长度的这个过程的描述。零向量是一个长度为零的特殊向量，也就是描述“不移动”这个过程的向量。

[编辑] 向量操作

通过改变一个向量的长度而不改变它的方向，我们可以对一个向量进行伸缩。这可以被想象成沿着原向量的方向走一个不同的长度。一个长度为负数的向量与和它方向相反、长度为等价的正数的向量相等。这可以想象成面对着原向量的方向倒着走。

如果沿着两个首尾相接的向量运动，那么描述这种运动的直接结果的向量就叫做这两个向量的和向量。例如，如果一个人从点A开始沿某一向量运动到点B，又从点B开始沿另一个向量运动到点C，那么这两个向量的和向量就是从点A径直到点C的向量。

[编辑] 向量组合

主条目：线性组合

给定一组向量，我们可以对它们进行任意的伸缩和求和操作来得到新的向量。以这种方式得到的所有的向量的集合就叫做这一组向量的组合。这种组合可以认为是一个人通过沿着一组向量中的某些向量行走所能达到的所有位置的集合。

给定几何图形 X 和向量集合 S，如果从几何图形 X 内的一个点出发，沿着向量集合 S 的线性组合中的向量运动，能够到达 X 内所有其它的点，那么我们就说这个向量集合 S 可以张出几何图形 X。

[编辑] 向量基底

主条目：基底

能够张出一个几何图形 X 的最小向量集合叫做 X 的一组基底。不是所有的向量集合都是基底，因为它们可能含有赘余的向量。如果一个向量能通过集合中其他向量经过伸缩、求和而得到，那么这个向量就是赘余的。例如，如果一个集合中有两个平行的向量，那么它们中的一个可以被移除而 X 中的所有点仍然可以达到，因为能通过那个被移除的向量达到的点一定可以通过那个与它平行的向量达到。或者，如果一个向量是其他两个的和，那么它也完全可以被移除。零向量总是赘余的，因为它并不能让一个人达到任意一个除他已经能够达到的点之外的点。

[编辑] 维数

通过把任意一个可以张出几何图形 X 的向量集合中的所有赘余向量移除，我们可以过的一组 X 的基底。选定的初始向量集合不同，获得的能张出 X 的基底也可能不同；但是，可以证明所有这些基底中都含有相同数量的向量。这个数量就叫做 X 的维数。换句话说，如果 X 最少需要 n 个向量来张出它，那么 X 就是 n 维的。

直观地，一个图形的维数可以认为是一个人要想达到这个图形中所有的点，需要运动的所有不同方向的数目。

例如，一个点是一个零维图形。我们不需要任何向量来张出它，因为如果我们从这个点出发，我们已经到达了它所有的位置。

一条直线是一个一维图形。从直线的某一个点上出发，我们需要一个指向这个直线的方向的向量来到达到直线上的其他点。只要一个向量就足够了，因为通过不同程度的伸缩它我们可以到达直线上的任意其他点。

一个平面是一个二维图形。给定平面上的一个起始点，我们至少需要两个互不平行的向量来张出这个平面。如果只有一个向量，我们只能到达某一条直线上的所有点；所以我们需要有另一个与它不平行的向量来往这条直线的“两边”走，从而到达平面上的其他点。只要两个方向就足够了，因为我们可以顺着（或逆着）前一个向量走不同的距离，再往两边走不同的距离来到达平面上的任意点。也可以把平面理解成许多平行线的“堆积”；要想在二维平面上从一点运动到另一点，我们需要首先沿着线平行线运动，再穿过这些平行线向另一个方向运动。

在我们的眼中，空间是三维的。要达到空间中的某一点，我们不仅要向前向后、向两边走，还需要上下移动。换句话说，需要第三个向量才能到达空间中的所有点。同样，也可以把空间理解成许多平行平面的堆积：要想在空间中从一点运动到另一点，我们可以先沿着一个方向前后走，再向两边走，最后上下走。

四维空间则是一个需要四个不同方向才能到达其中所有点的空间。这种空间可以认为是许多平行的三维空间的堆积。要理解这个概念，想象一下把一张张纸并列叠起来的过程。如果人不把它们一个个堆叠起来，这些纸张不会延伸进三维空间。以同样的方式，要想进入四维空间，就必须向一个新的方向运动，这个方向必须是在三维空间以外的。要达到四维空间中的每一个点，一个人不仅需要向前后、左右、上下移动，还要沿着一对新的方向运动，即上文提到的安娜/卡塔，或者叫维因/维奥等等。

[编辑] 维数类比

要理解四维空间的本性，我们可以利用一种称为“维数类比”(dimensional analogy) 的方法。维数类比是指通过研究 n - 1 维与 n 维之间的关系，来推断 n 维与 n + 1 维之间会有什么样的关系。^[3]

埃德温·阿伯特·阿伯特在他的书扁平的世界 (Flatland)中运用维数类比，讲述了在一个扁平得就像一张纸的二维世界中生活的一个正方形的故事。^[4]在这个正方形的眼中，生活在三维世界中的人们拥有近乎神的力量，因为他们能在不打破（二维的）保险箱的情况下从其中把东西（通过移入移出三维空间的方法）取出，能看到所有在二维世界看来是被挡在墙后面的东西，甚至能站在离二维世界几英寸的地方来保持“隐形”。

通过应用维数类比，人们可以推断，四维空间中的人在我们三维的视角看来应该有类似的神奇能力。鲁迪·拉克在他的小说空间世界 (Spaceland)中展示了这一点。^[5]小说的主人公就遇到了具有神奇能力的四维人。

[编辑] 射影

射影是应用维数类比来想象四维空间的一种有效方法。射影是指用 n - 1 维空间中的图形来代表 n 维空间中的图形。比如说，电脑屏幕是二维的，而所有三维的人、地方、东西等等的照片都是以射影的形式展现在二维平面上的。这会把三维世界中的深度去除，代之以间接的信息。人眼的视网膜也是由一层二维的感受器构成的，但是人脑能够察知三维物体的真实形状；这是根据阴影、近大远小、双眼视觉等间接信息推断得来的。画家们经常利用透视来赋予二维的图画一种三维（也就是立体）的感觉。

相似地，四维空间中的物体可以以数学的方法射影到三维空间中，从而使观察它们变得更容易。在这种情况下，一个四维的眼的“视网膜”是由一个三维“层”的感受器构成的。假设一个人有这样一只眼，他就可以根据三维图形中的间接信息推断出四维物体的真实形状。

三维物体在人眼视网膜上留下的透视射影会造成近大远小的现象，这样大脑就可以推断出三维的深度。以同样的方式，四维物体的透视射影会造成相似的“近大远小”的效果。通过应用维数类比，我们可以从这种效果中推断出四维的“深度”。

下面的图片演示了这种规律。我们可以比较一下三维的正方体和类似的四维超正方体的三维射影。

正方体	超正方体	解释
		左边的图片是正对着一个面看到的正方体。四维中超正方体类似的视角是正对一个胞看到的透视射影，也就是右边的图显示的。就像正方体的投影是一个正方形一样，超正方体的投影是一个正方体。 需要注意的是，正方体的其他5个面在这里是看不见的。它们被看的见的这个面挡住了。相似地，超正方体的其他7个胞也是看不见的，因为它们被看得见的这个胞“挡住”了。
		左边的图片是正对着一条边看到的正方体。超正方体类似的视角是正对一个面看到的透视射影（右边的图）。就像正方体正对边的投影是两个梯形一样，超正方体正对面的投影是两个棱台。 在这个视角中，正方体离我们最近的边是红色的面与绿色的面的公共边。同样，超正方体里我们最近的面是红色的胞与绿色的胞的公共面。
		左边是一个正对顶点看到的正方体。这与右边超正方体的正对一条边看到的透视射影相似。就像正方体正对顶点的投影由三个共用一点的梯形组成一样，超正方体正对边的投影由三个共用一边的六面体组成。正方体离我们最近的顶点是三个面的公共点，而超正方体离我们最近的边是投影体中部的三个胞的公共边。
		我们还可以把正方体的正对边射影和超正方体的正对边射影放在一起，作一个类比。正方体的射影有两个梯形共用一边，而超正方体的射影有三个六面体共用一边。
		左边是正方体正对点的射影，右边则是超正方体正对一个顶点的透视射影。正方体的正对点射影有三个围绕一点的四边形，而超正方体的正对点射影有四个围绕一点的六面体。正方体离我们最近的顶点是位于投影图形中部的三个面的公共点，而超正方体离我们最近的点也是位于投影体中部的，四个胞的公共点。 注意正方体的六个面中，只有三个能被看到，因为其它三个面在正方体的另一边，被这三个面挡住了。相似地，超正方体的八个胞中只有四个能被看到，因为其它四个胞在超正方体的另一边（在四维深度中离我们这一边更远的一边），被看得见的四个胞挡住了。

[编辑] 参阅