相空间和相流

                     

贡献者： 零穹

　　¹相空间和相流是经典场论的基本概念，经典场论的几何图像以它们作为基石得以构建。在给出严格的数学定义之前，我们先研究一些例子，这些例子将有助于我们进一步的理解。

1. 唯象理解

相空间

　　 研究一个物理系统，可以说是研究它的发展过程，发展过程即是指它的过去、现在和未来系统所处的状态。

　　 一个过程称为确定的，如果它的整个过去和整个未来能由它现在的状态唯一确定。一个过程的所有可能状态称为它的相空间，相空间的元素称为相点。

　　 一个过程称为有限维的，如果它的相空间是有限维的，即用来描述它的状态的参数个数是有限的。例如刚刚例子中的经典力学中 $n$ 个质点的运动对应的过程是有限维的，它的相空间维数是 $6n$。而流体运动的过程不能用有限维相空间来描述。

　　 一个过程称为可微的。如果它的相空间具有可维流形（定义 6 ）的结构，并且它的状态随时间的变化由可微函数描述。例如：力学系统的质点坐标和速度随时间的变化以可微方式进行；而在量子力学中质点的位置则不能用可微函数来描述（否则它将同时具有确定的位置和速度，而这违背了不确定原理）。

相流

　　 相流是 “确定过程” 的数学模型。其直观理解如下：

　　 设 $M$ 是相空间而 $x\in M$ 是过程的初始状态，又设 $g^{t}x$ 表示初始状态为 $x$ 的过程在时刻 $t$ 的状态。对每一实数 $t$，$g^t$ 确定相空间 $M$ 到它自身的一个映射：

此映射称为推进映射，它将每一状态 $x\in M$ 映入新的状态 $g^{t}x\in M$。例如 $g^0$ 是恒等映射，它将 $M$ 的每一点留在它原来的位置。而且 因为 $x$ 经过时间 $s$ 后进入状态 $y=g^{s}x$，$y$ 经过时间 $t$ 后进入状态 $z=g^{t}y$ 和经过时间 $t+s$ 后进入状态 $z=g^{t+s}x$ 是相同的。

　　 对任一相点 $x\in M$，将它作为过程的初始状态。则随着时间的流逝，此过程的状态将改变，而点 $x$ 在相空间中将描出一条相曲线 $\{g^{t}x|t\in \mathbb{R}\}$。由于每个相点沿着它自己的相曲线运动，因此 $t$ 推进映射族 $g^t;M\to M$ 正好构成相流。

2. 严格定义

　　 现在来进行严格的定义，在每种情形 $M$ 都是一个任意的集合。

　　 显然，单参数变换群是个交换的群（即 $g^t{g}^s=g^s{g}^t$），且每个映射 $g^t$ 是个双射。事实上，$g^t{g}^s=g^{t+s}=g^{s+t}=g^s{g}^t$。双射证明如下：若 $g^{t}x=g^{t}y$，则 $x=g^{0}x=g^{-t}{g}^{t}x=g^{-t}{g}^{t}y=g^{0}y=y$；任意 $x\in M$，$\mathrm{\exists }{g}^{-t}x\in M$，使得 $g^t(g^{-t}x)=x$。

　　 显然，相曲线是相空间的子集。

　　 证明: 因为 $g^t$ 是个双射，所以对每一 $x\in M$，$g^{t}x$ 仅有一个像。而若过 $x$ 有两条相曲线，则对任意 $t>0$，$g^{t}x$ 将有两个像，它们分别位于两相曲线上，而由前述，这是不可能的。

　　 证毕！

　　 这一定理表明，在具有单参数变换群 $\{g^t\}$ 的相流下，初始状态给定的系统的发展过程将唯一被确定，所以说，相流是确定过程的数学模型。

3. 扩张相空间和积分曲线

　　 扩张相空间和积分曲线的概念依赖于集合的直积和映射的图形这两个概念。

　　 提示：和定理 1 同样的证。

　　 提示：$g^{t}x=x,\mathrm{\forall }t\in \mathbb{R}\iff \{(t,g^{t}x)|t\in \mathbb{R}\}=\mathbb{R}\times x$，而左边是静止点，右边是积分曲线。

　　 提示：因为 $\{(t+s,x)|t\in \mathbb{R}\}=\mathbb{R}\times x=\{(t,x)|t\in \mathbb{R}\}$。

---

1. ^ 阿诺尔德,常微分方程.
2. ^ 即实数集的直线图像，比如熟知的 x 坐标轴