269,921
次編輯
變更
相空间
,创建页面，内容为“'''相空间'''在数学与物理学中，是一个用以表示出一系统所有可能状态的空间；系统每个可能的状态都有一相对应的相空…”
'''相空间'''在数学与[[物理学]]中，是一个用以表示出一系统所有可能状态的空间；系统每个可能的状态都有一相对应的相空间的点。
相空间是一个六维假想空间，其中动量和空间各占三维。每个相格投影到px-x平面上后面积总是h。尽管相格的形状图可能十分任意，但我们可以把它们想象为方的或长方的。<ref>[https://www.cnblogs.com/hellozhanghan/p/14367933.html 混沌理论和相空间理论 ]，博客园，2021-02-03</ref>
==按方程方法==
我们如何按照相空间来摹想哈密顿方程呢？首先，我们要记住相空间的单独的点Q实际代表什么。它代表所有位置坐标x1，x2，…和所有动量坐标p1，p2，…的一种特别的值。也就是说，Q表示我们整个物理系统，指明组成它的所有单独粒子的特定的运动状态。当我们知道它们现在的值时，哈密顿方程告诉我们所有这些坐标的变化率是多少，亦即它控制所有单独的粒子如何移动。
翻译成相空间语言，该方程告诉我们，如果给定单独的点Q在相空间的现在位置的话，它将会如何移动。为了描述我们整个系统随时间的变化，我们在相空间的每一点都有一个小箭头，更准确地讲，一个矢量，它告诉我们Q移动的方式。
这整体箭头的排列构成了所谓的矢量场。[[哈密顿方程]]就这样地在相空间中定义了一个矢量场。
==决定论==
我们看看如何按照相空间来解释物理的决定论。对于时间t=0的初始数据，我们有了一组指明所有位置和动量坐标的特定值；也就是说，我们在相空间特别选定了一点Q。为了找出此系统随时间的变化，我们就跟着箭头走好了，这样，不管一个系统如何复杂，该系统随时间的整个演化在相空间中仅仅被描述成一点沿着它所遭遇到的特定的箭头移动。
“长”的箭头表明Q移动得快，而“短”的箭头表明Q的运动停滞。只要看看Q以这种方式随着箭头在时间t移动到何处，即能知道我们物理系统在该时刻的状态。很清楚，这是一个决定性的过程。Q移动的方式由哈密顿矢量场所完全决定。
==系统演化==
哈密顿方程的形式允许我们以一种非常强而有力的一般方式去“摹想”经典系统的演化。想象一个多维“空间”，每一维对应于一个坐标x1，x2，…p1，p2，…（数学空间的维数，通常比3大得多。）此空间称之为相空间。对于n个无约束的粒子。相空间就有6n维（每个粒子有三个位置坐标和三个动量坐标）。读者或许会担心，甚至只要有一个单独[[粒子]]，其维数就是他或她通常所能摹想的二倍！不必为此沮丧！尽管六维的确是能比明了画出的更多的维数，但是即使我们真的把它画出也无太多用处。仅仅就一满屋子的气体，其相空间的维数大约就有10，000，000，000，000，000，000，000，000，000
去准确地摹想这么大的空间是没有什么希望的！既然这样，秘诀是甚至对于一个粒子的相空间都不企图去这样做。只要想想某种含糊的三维（或者甚至就只有二维）的区域，再看看图就可以了。
==可计算性==
关于可计算性又如何呢？如果我们从相空间中的一个可计算的点（亦即从一个其位置和动量坐标都为可计算数的点）出发，并且等待可计算的时间t，那么一定会终结于从t和初始数据计算得出的某一点吗？答案肯定是依赖于哈密顿函数H的选择。实际上，在H中会出现一些物理常数，诸如牛顿的引力常数或光速--这些量的准确值视单位的选定而被决定，但其他的量可以是纯粹数字--并且，如果人们希望得到肯定答案的话，则必须保证这些常数是可计算的数。如果假定是这种情形，那我的猜想是，答案会是肯定的。这仅仅是一个猜测。然而，这是一个有趣的问题，我希望以后能进一步考察之。
另一方面，由于类似于我在讨论有关撞球世界时简要提出的理由，对我来说，这似乎不完全是相关的问题。为了使一个相空间的点是不可计算的断言有意义，它要求无限精确的坐标??亦即它的所有小数位！（一个由有限小数描述的数总是可以计算的。）一个数的小数展开的有限段不能告诉我们任何关于这个数整个展开的可计算性。但是，所有物理测量的精度都是有限的，只能给出有限位小数点的信息。在进行物理测量时，这是否使“可计算数”的整个概念化成泡影？”
的确，一个以任何有用的方式利用某些物理定律中（假想的）不可计算因素的仪器不应依赖于无限精确的测量。也许我在这里有些过分苛刻了。假定我们有一台物理仪器，为了已知的理论原因，模拟某种有趣的非算法的数学过程。如果此仪器的行为总可以被精密地确定的话，则它的行为就会给一系列数学上有趣的没有算法的是非问题以正确答案。任何给定的算法都会到某个阶段失效。而在那个阶段，该仪器会告诉我们某些新的东西。该仪器也许的确能把某些物理常数测量到越来越高的精度。而为了研究一系列越来越深入的问题，这是需要的。然而，在该仪器的有限的精度阶段，至少直到我们对这系列问题找到一个改善的算法之前，我们得到某些新的东西。然而，为了得到某些使用改善了的算法也不能告诉我们的东西，就必须乞求更高的精度。
尽管如此，不断提高物理常数的精度看来仍是一个棘手和不尽人意的信息编码的方法。以一种分立（或“数字”）形式得到信息则好得多。如果考察越来越多的分立单元，也可重复考察分立单元的固定集合，使得所需的无限的信息散开在越来越长的时间间隔里，因此能够回答越来越深入的问题。（我们可以将这些分立单元想象成由许多部分组成，每一部分有“开”和“关”两种状态，正如在第二章描述的图灵机的0和1状态一样。）为此看来我们需要某种仪器，它能够（可区别地）接纳分立态，并在系统按照动力学定律演化后，又能再次接纳一个分立态集合中的一个态。如果事情是这样的话，则我们可以不必在任意高的精度上考察每一台仪器。
==行为==
那么，哈密顿系统的行为确实如此吗？某种行为的稳定性是必须的，这样才能清晰地确定我们的仪器实际上处于何种分立态。一旦它处于某状态，我们就要它停在那里（至少一段相当长的时间），并且不能从此状态滑到另一状态。不但如此，如果该系统不是很准确地到达这些状态，我们不要让这种不准确性累积起来；我们十分需要这种不准确性随时间越变越小。我们现在设想的仪器必须由粒子（或其他子元件）所构成。需要以连续参数来描述粒子，而每一个可区别的“分立”态覆盖连续参数的某个范围。（例如，让粒子停留在二个盒子中的一个便是一种表达分立双态的方法。为了指明该粒子确实是在某一个盒子中，我们必须断定其位置坐标在某个范围之内。）用相空间的语言讲，这表明我们的每一个“分立”的态必须对应于相空间的一个“区域”，同一区域的相空间点就对应于我们仪器的这些可选择的同一态。
现在假定[[仪器]]在开始时的态对应于它的相空间中的某一个范围R0。我们想象R0随着时间沿着哈密顿矢量场被拖动，到时刻t该区域变成Rt。在画图时，我们同时想象对应于同一选择的所有可能的态的时间演化。关于稳定性的问题（在我们感兴趣的意义上讲）是，当t增加时区域Rt是否仍然是定域性的，或者它是否会向相空间散开去。如果这样的区域在时间推进时仍是定域性的，我们对此系统就有了稳定性的量度。在相空间中相互靠近的点（这样它们对应于相互类似的系统的细致的物理态）将继续靠得很近，给定的态的不准确性不随时间而放大。任何不正常的弥散都会导致系统行为的等效的非预测性。
==定律==
我们对于哈密顿系统可以一般地说什么呢？相空间的区域究竟是否随时间散开呢？似乎对于一个如此广泛的问题，很少有什么可说的。然而，人们发现了一个非常漂亮的定理，它要归功于杰出的法国数学家[[约瑟夫·刘维尔]]（1809--1882）。该定律讲，相空间中的任何区域的体积在任何哈密顿演化下必须保持常数。（当然，由于我们的相空间是高维的，所以“体积”必须是在相应高维意义上来说的。）这样，每一个R1的体积必须和原先的R0的体积一样。初看起来，这给了我们的稳定性问题以肯定的答案。在相空间体积的这层意义上，我们区域的尺度不能变大，好像我们的区域在相空间中不会散开似的。
然而，这是使人误解的。我们在深思熟虑之后就会感到，很可能情况刚好与此相反！我想表示人们一般预料到的那种行为。我们可以将初始区域R0想象成一个小的、“合理的”，亦即较圆的而不是细长的形状。这表明属于R0的态在某种方面不必赋予不合情理的精确性。然而，随着时间的发展，区域R1开始变形并拉长--初看起来有点像变形虫，然后伸长到相空间中很远的地方，并以非常复杂的方式纠缠得乱七八糟。体积的确是保持不变，但这个同样小的体积会变得非常细，再发散到相空间的巨大区域中去。这和将一小滴墨水放到一大盆水中的情形有点类似。虽然墨水物质的实际体积不变，它最终被稀释到整个容器的容积中去。区域Rt在相空间中的行为与此很类似。它可能不在全部相空间中散开（那是称之为“爱哥狄克”的极端情况），但很可能散开到比原先大得极多的区域去。（可参阅戴维斯（1974）的进一步讨论。）
==视频==
===<center> 相空间 相关视频</center>===
<center>2020-01-09李方洁老师讲相空间与三维心电散点图</center>
<center>{{#iDisplay:s3048uo68bz|560|390|qq}}</center>
<center>2020.01.09 李方洁老师-相空间与三维心电散点图</center>
<center>{{#iDisplay:p3050oi4j7a|560|390|qq}}</center>
==参考文献==
[[Category:310 數學總論]]
[[Category:330 物理學總論]]
相空间是一个六维假想空间，其中动量和空间各占三维。每个相格投影到px-x平面上后面积总是h。尽管相格的形状图可能十分任意，但我们可以把它们想象为方的或长方的。<ref>[https://www.cnblogs.com/hellozhanghan/p/14367933.html 混沌理论和相空间理论 ]，博客园，2021-02-03</ref>
==按方程方法==
我们如何按照相空间来摹想哈密顿方程呢？首先，我们要记住相空间的单独的点Q实际代表什么。它代表所有位置坐标x1，x2，…和所有动量坐标p1，p2，…的一种特别的值。也就是说，Q表示我们整个物理系统，指明组成它的所有单独粒子的特定的运动状态。当我们知道它们现在的值时，哈密顿方程告诉我们所有这些坐标的变化率是多少，亦即它控制所有单独的粒子如何移动。
翻译成相空间语言，该方程告诉我们，如果给定单独的点Q在相空间的现在位置的话，它将会如何移动。为了描述我们整个系统随时间的变化，我们在相空间的每一点都有一个小箭头，更准确地讲，一个矢量，它告诉我们Q移动的方式。
这整体箭头的排列构成了所谓的矢量场。[[哈密顿方程]]就这样地在相空间中定义了一个矢量场。
==决定论==
我们看看如何按照相空间来解释物理的决定论。对于时间t=0的初始数据，我们有了一组指明所有位置和动量坐标的特定值；也就是说，我们在相空间特别选定了一点Q。为了找出此系统随时间的变化，我们就跟着箭头走好了，这样，不管一个系统如何复杂，该系统随时间的整个演化在相空间中仅仅被描述成一点沿着它所遭遇到的特定的箭头移动。
“长”的箭头表明Q移动得快，而“短”的箭头表明Q的运动停滞。只要看看Q以这种方式随着箭头在时间t移动到何处，即能知道我们物理系统在该时刻的状态。很清楚，这是一个决定性的过程。Q移动的方式由哈密顿矢量场所完全决定。
==系统演化==
哈密顿方程的形式允许我们以一种非常强而有力的一般方式去“摹想”经典系统的演化。想象一个多维“空间”，每一维对应于一个坐标x1，x2，…p1，p2，…（数学空间的维数，通常比3大得多。）此空间称之为相空间。对于n个无约束的粒子。相空间就有6n维（每个粒子有三个位置坐标和三个动量坐标）。读者或许会担心，甚至只要有一个单独[[粒子]]，其维数就是他或她通常所能摹想的二倍！不必为此沮丧！尽管六维的确是能比明了画出的更多的维数，但是即使我们真的把它画出也无太多用处。仅仅就一满屋子的气体，其相空间的维数大约就有10，000，000，000，000，000，000，000，000，000
去准确地摹想这么大的空间是没有什么希望的！既然这样，秘诀是甚至对于一个粒子的相空间都不企图去这样做。只要想想某种含糊的三维（或者甚至就只有二维）的区域，再看看图就可以了。
==可计算性==
关于可计算性又如何呢？如果我们从相空间中的一个可计算的点（亦即从一个其位置和动量坐标都为可计算数的点）出发，并且等待可计算的时间t，那么一定会终结于从t和初始数据计算得出的某一点吗？答案肯定是依赖于哈密顿函数H的选择。实际上，在H中会出现一些物理常数，诸如牛顿的引力常数或光速--这些量的准确值视单位的选定而被决定，但其他的量可以是纯粹数字--并且，如果人们希望得到肯定答案的话，则必须保证这些常数是可计算的数。如果假定是这种情形，那我的猜想是，答案会是肯定的。这仅仅是一个猜测。然而，这是一个有趣的问题，我希望以后能进一步考察之。
另一方面，由于类似于我在讨论有关撞球世界时简要提出的理由，对我来说，这似乎不完全是相关的问题。为了使一个相空间的点是不可计算的断言有意义，它要求无限精确的坐标??亦即它的所有小数位！（一个由有限小数描述的数总是可以计算的。）一个数的小数展开的有限段不能告诉我们任何关于这个数整个展开的可计算性。但是，所有物理测量的精度都是有限的，只能给出有限位小数点的信息。在进行物理测量时，这是否使“可计算数”的整个概念化成泡影？”
的确，一个以任何有用的方式利用某些物理定律中（假想的）不可计算因素的仪器不应依赖于无限精确的测量。也许我在这里有些过分苛刻了。假定我们有一台物理仪器，为了已知的理论原因，模拟某种有趣的非算法的数学过程。如果此仪器的行为总可以被精密地确定的话，则它的行为就会给一系列数学上有趣的没有算法的是非问题以正确答案。任何给定的算法都会到某个阶段失效。而在那个阶段，该仪器会告诉我们某些新的东西。该仪器也许的确能把某些物理常数测量到越来越高的精度。而为了研究一系列越来越深入的问题，这是需要的。然而，在该仪器的有限的精度阶段，至少直到我们对这系列问题找到一个改善的算法之前，我们得到某些新的东西。然而，为了得到某些使用改善了的算法也不能告诉我们的东西，就必须乞求更高的精度。
尽管如此，不断提高物理常数的精度看来仍是一个棘手和不尽人意的信息编码的方法。以一种分立（或“数字”）形式得到信息则好得多。如果考察越来越多的分立单元，也可重复考察分立单元的固定集合，使得所需的无限的信息散开在越来越长的时间间隔里，因此能够回答越来越深入的问题。（我们可以将这些分立单元想象成由许多部分组成，每一部分有“开”和“关”两种状态，正如在第二章描述的图灵机的0和1状态一样。）为此看来我们需要某种仪器，它能够（可区别地）接纳分立态，并在系统按照动力学定律演化后，又能再次接纳一个分立态集合中的一个态。如果事情是这样的话，则我们可以不必在任意高的精度上考察每一台仪器。
==行为==
那么，哈密顿系统的行为确实如此吗？某种行为的稳定性是必须的，这样才能清晰地确定我们的仪器实际上处于何种分立态。一旦它处于某状态，我们就要它停在那里（至少一段相当长的时间），并且不能从此状态滑到另一状态。不但如此，如果该系统不是很准确地到达这些状态，我们不要让这种不准确性累积起来；我们十分需要这种不准确性随时间越变越小。我们现在设想的仪器必须由粒子（或其他子元件）所构成。需要以连续参数来描述粒子，而每一个可区别的“分立”态覆盖连续参数的某个范围。（例如，让粒子停留在二个盒子中的一个便是一种表达分立双态的方法。为了指明该粒子确实是在某一个盒子中，我们必须断定其位置坐标在某个范围之内。）用相空间的语言讲，这表明我们的每一个“分立”的态必须对应于相空间的一个“区域”，同一区域的相空间点就对应于我们仪器的这些可选择的同一态。
现在假定[[仪器]]在开始时的态对应于它的相空间中的某一个范围R0。我们想象R0随着时间沿着哈密顿矢量场被拖动，到时刻t该区域变成Rt。在画图时，我们同时想象对应于同一选择的所有可能的态的时间演化。关于稳定性的问题（在我们感兴趣的意义上讲）是，当t增加时区域Rt是否仍然是定域性的，或者它是否会向相空间散开去。如果这样的区域在时间推进时仍是定域性的，我们对此系统就有了稳定性的量度。在相空间中相互靠近的点（这样它们对应于相互类似的系统的细致的物理态）将继续靠得很近，给定的态的不准确性不随时间而放大。任何不正常的弥散都会导致系统行为的等效的非预测性。
==定律==
我们对于哈密顿系统可以一般地说什么呢？相空间的区域究竟是否随时间散开呢？似乎对于一个如此广泛的问题，很少有什么可说的。然而，人们发现了一个非常漂亮的定理，它要归功于杰出的法国数学家[[约瑟夫·刘维尔]]（1809--1882）。该定律讲，相空间中的任何区域的体积在任何哈密顿演化下必须保持常数。（当然，由于我们的相空间是高维的，所以“体积”必须是在相应高维意义上来说的。）这样，每一个R1的体积必须和原先的R0的体积一样。初看起来，这给了我们的稳定性问题以肯定的答案。在相空间体积的这层意义上，我们区域的尺度不能变大，好像我们的区域在相空间中不会散开似的。
然而，这是使人误解的。我们在深思熟虑之后就会感到，很可能情况刚好与此相反！我想表示人们一般预料到的那种行为。我们可以将初始区域R0想象成一个小的、“合理的”，亦即较圆的而不是细长的形状。这表明属于R0的态在某种方面不必赋予不合情理的精确性。然而，随着时间的发展，区域R1开始变形并拉长--初看起来有点像变形虫，然后伸长到相空间中很远的地方，并以非常复杂的方式纠缠得乱七八糟。体积的确是保持不变，但这个同样小的体积会变得非常细，再发散到相空间的巨大区域中去。这和将一小滴墨水放到一大盆水中的情形有点类似。虽然墨水物质的实际体积不变，它最终被稀释到整个容器的容积中去。区域Rt在相空间中的行为与此很类似。它可能不在全部相空间中散开（那是称之为“爱哥狄克”的极端情况），但很可能散开到比原先大得极多的区域去。（可参阅戴维斯（1974）的进一步讨论。）
==视频==
===<center> 相空间 相关视频</center>===
<center>2020-01-09李方洁老师讲相空间与三维心电散点图</center>
<center>{{#iDisplay:s3048uo68bz|560|390|qq}}</center>
<center>2020.01.09 李方洁老师-相空间与三维心电散点图</center>
<center>{{#iDisplay:p3050oi4j7a|560|390|qq}}</center>
==参考文献==
[[Category:310 數學總論]]
[[Category:330 物理學總論]]