四维

定义

四维空间指一个点需要4个独立坐标才能唯一确定的空间。按常见的几何判据，若过空间中任意一点都能作出4条彼此垂直的直线，该空间即为四维空间；零维只是一个点，一维是一条直线，二维是平面，三维是立体，四维则在这个序列上再增加一个方向^[1]。

从数学上表述，四维空间可以理解为有4条坐标轴的空间，其中的点由4个参数共同描述，通常写成 $(w,x,y,z)$ 的形式；其向量长度的平方等于各分量平方之和，相当于勾股定理在四维情形的自然推广^[2]。

物理学中常用的则是另一种结构。四维时空把3个空间坐标与1个时间坐标并置，构成一个统一的四维连续区，事件由（空间位置，时刻）共同确定；在这个框架里，时间不再与空间彼此独立，两者的度量会相互影响^[3]。

原理

四维欧几里得空间的度量是正定的，4个方向的地位完全对等，向量的模长按 $\|x\|=\sqrt{w^{2}+x^{2}+y^{2}+z^{2}}$ 计算，由此可以定义两点距离与向量夹角^[2]。纯空间性四维空间中的每一点都有一条同时垂直于原有3条坐标轴的额外方向，这一方向在三维空间里无法直观指认，只能借助坐标代数处理^[1]。

闵可夫斯基时空的度量则不是正定的。它用一个不定的双线性形式来定义两个事件之间的时空间隔，在适当基底下的度规为 $ds^{2}=-c^{2}dt^{2}+dx^{2}+dy^{2}+dz^{2}$；由于时间项符号与空间项相反，时间维度与3个空间维度的处理方式并不一致，这也是闵可夫斯基空间与四维欧几里得空间的根本差别^[4]。

在该结构下，不同惯性系之间由洛伦兹变换相联系，各参考系测得的长度与时间可以变化，但两个事件之间的时空间隔保持不变；保持时空间隔不变的变换全体构成庞加莱群^[4]。下图示意四维空间与四维时空在维度构成上的区别：

flowchart LR

A[三维空间 x, y, z] --> B[四维欧几里得空间 w, x, y, z]

A --> C[四维时空 t, x, y, z]

B --> D[四个方向正交，度量为正定]

C --> E[时间项符号相反，度量为不定]

发展历程

高维几何的思想基础在19世纪中期奠定。1854 年，波恩哈德·黎曼在哥廷根发表关于几何基础的演讲，动摇了欧几里得几何的独尊地位，也开启了把空间维数推广到3以上的思路^[5]。同一时期，路德维希·施莱夫利系统研究了高维正多胞体，建立起用 {p,q,r} 一类符号描述四维正多胞体结构的体系。

19世纪末到20世纪初，第四维度的概念进入公众视野。数学家兼作家查尔斯·欣顿为四维立方体创造了 tesseract 一词，并制作模型演示四维物体在三维空间中的投影；埃德温·阿伯特 1884 年出版的《平面国》以二维世界类比高维，进一步传播了这一想法；艺术家萨尔瓦多·达利也把展开的四维立方体画进了作品^[6]。

物理学一侧的关键一步由赫尔曼·闵可夫斯基完成。1905 年爱因斯坦提出狭义相对论后，闵可夫斯基在 1907 年将爱因斯坦与洛伦兹的理论结果重新表述为 3 个空间维加 1 个时间维的 (3+1) 维时空，其中光速在各惯性系中均为定值；爱因斯坦起初并不看重这种表述，后在发展广义相对论时发现它是理论架构的基础，转而给予高度评价^[7]。1908 年，闵可夫斯基在题为“空间与时间”的讲座中进一步用实的四维向量空间表述时空，提出事件发生在统一的四维时空连续统之中^[8]。

应用

四维时空是狭义相对论最常用的数学表述结构。在四维形式下，动量与能量被统一为四维动量，电磁场方程组也得以写成更简洁的四维形式，电场与磁场被统一描述^[3]。广义相对论进一步把引力解释为时空几何的性质，其理论框架建立在黎曼几何之上，与平坦的四维欧几里得空间差别很大^[2]。

四维几何在工程技术中亦有直接用途。以四维超立方体为模型的互连网络具有正则性、对称性和较好的可扩展性，被用于多处理机系统与并行计算机的拓扑设计，并衍生出大量容错路由算法研究^[9]。四维超立方体本身拥有 16 个顶点、32 条棱、24 个正方形面和 8 个立方体胞，这种规则连接方式便于分析网络路径^[6]。

在计算与可视化领域，四维几何被用于把四维数据投影到三维或二维加以呈现，计算机动画与数据可视化都以多维坐标为工具处理位置与运动^[10]。此外，哈密顿于19世纪中期建立的四元数是复数在四维实空间的推广，可用以表示三维空间中的旋转，自20世纪80年代起在计算机图形学、动画与机器人领域获得应用^[11]。

局限

四维空间无法被直接感知或直观想象。人类的感官经验限于3个空间方向，四维物体只能在三维空间中作投影、切片或展开来间接呈现，这些图像并不能完整反映四维结构本身^[12]。超过三维的纯空间维度目前仍停留在数学推演层面，尚无实验证据表明宏观世界存在第四个空间维度^[5]。

四维空间与四维时空常被混淆，这一混用在通俗读物中相当普遍。四维时空的第4个维度是时间，其符号与度量性质不同于空间维；四维空间的第4个维度则是与3个空间轴性质相同的方向，两者不可互换^[1]。考克斯特亦曾指出，把欧氏空间的第四维当作时间并无益处，闵可夫斯基的时空几何并不符合欧几里得体系^[2]。

四维时空的适用范围也受物理条件约束。闵可夫斯基时空描述的是没有引力、曲率为零的平直情形，属于狭义相对论的框架；涉及引力时必须改用弯曲时空的几何描述，不能直接沿用平直四维时空的结论^[7]。

参见

• 三维空间 —— 日常感知所及的空间形式，四维空间在其基础上增加一个正交方向。

• 闵可夫斯基时空 —— 由3个空间维与1个时间维构成的四维结构，是狭义相对论的标准表述框架。

• 狭义相对论 —— 以光速不变和相对性原理为前提、采用四维时空描述的理论。

• 广义相对论 —— 把引力归结为时空几何的理论，其四维时空建立在黎曼几何之上。

• 超正方体 —— 四维空间中的立方体类比，有8个立方体胞，常作为四维几何的直观示例。

• 四元数 —— 复数在四维实空间的推广，可用于表示三维旋转。