1704830779
正如人们将要看到的，这个解答还不完全令人满意。让我们看一看，它实际上会使我们赋予空间多少维。我希望比较A和B在时刻α和β所占据的两点，或者（这相当于同一件事，因为我假定，我的手指在时刻α接触A、在时刻β接触B）我希望比较我的手指在两个时刻α和β所占据的两个点。为了进行这种比较，我利用的惟一手段就是肌肉感觉系列∑，该系列在这两个时刻之间伴随着我身体的动作。各种可以想象得到的系列∑显然形成了维数很大的物理连续统。正如我已经做过的，当S和S＇在上面给予这个代码的意义上彼此相反时，让我们不要一致认为两个系列∑和∑+S+S＇是截然不同的；不管这种一致赞同，截然不同的系列∑还将形成物理连续统，维数将变小，但依然是很大的。
1704830780
1704830781
空间的一个点对应于这些系列∑中的每一个；两点M和M＇从而对应于两个系列∑和∑＇。直到目前我们使用的手段能够使我们辨认出M和M＇在两种情况下并非截然不同：（1）如果∑与∑等价；（2）如果∑＇=∑+S+S＇，且S和S＇彼此相反。倘若在所有其他情况下我们应该把M和M＇看做是截然不同的，那么点的流形便与截然不同的系列∑的集合具有相同的维数，也就是说大于三维。
1704830782
1704830783
对于已经通晓几何学的人来说，下述说明也许容易理解。在可以想象得到的肌肉感觉系列中，存在着这样一些肌肉感觉系列，它们对应于手指在那里未尝轻微移动的动作系列。我要说，如果人们不把系列∑和∑+σ——在这里系列σ对应于手指未尝轻微移动的动作——看做是截然不同的话，那么系列的集合将构成三维连续统；但是，如果人们认为两个系列∑和∑＇——除非∑＇=∑+S+S＇，且S和S＇是相反的——是截然不同的，那么系列的集合将构成大于三维的连续统。
1704830784
1704830785
事实上，设在空间中有一个面A，在这个面上有一条线B，在这条线上有一点M。设C0是所有系列∑的集合。设C1是在对应的动作结束时，手指在面A上的系列∑的集合，C2或C3是在对应的动作结束时，手指在线B上或点M上的系列∑的集合。很清楚，首先C1将构成分割C0的截量，C2将构成分割C1的截量，C3将构成分割C2的截量。按照我们的定义，由此便导致，如果C3是n维连续统，C0将是n+3维物理连续统。
1704830786
1704830787
因此，设∑和∑＇=∑+σ是形成C3一部分的两个系列；对于二者而言，在动作结束时，手指在M处；由此导致，在系列σ开始和终结时，手指在同一点M。因此，这个系列σ是对应于手指在那里未尝轻微移动的那些动作中的一个动作。倘使∑和∑+σ被视为截然不同的，C3的所有系列将混成一个系列；因此C3将有0维，而C0将有三维，正如我希望证明的那样。相反地，倘使我不认为∑和∑+σ混成一体（除非σ=S+S＇，且S和S＇是相反的），那么很清楚，C3将包含大量的截然不同的感觉的系列；因为在手指不轻微移动的情况下，身体可以采取许多不同的姿势。于是，C3将形成连续统，C0将大于三维，这也是我希望证明的。
1704830788
1704830789
我们这些还不通晓几何学的人不能用这种方式推理；我们只能够证实。但是，接着产生了一个问题；在通晓几何学之前，我们怎么可以把手指在那里未尝轻微移动的系列σ与其他系列区分开来呢？事实上，只有在做出这种区分后，我们才能认为∑和∑+σ是等价的，而且正如我们刚才看到的，惟有在这一条件的基础上，我们才能够得到三维空间。
1704830790
1704830791
我们之所以有可能区分系列σ，因为常常发生这样的情况：当我们进行对应于这些肌肉感觉系列σ的动作时，通过我们称之为第一个手指的神经传送给我们的触觉存留着，不因这些动作而变化。惟有经验告诉我们这一点，而且惟有经验才能够告诉我们这一点。
1704830792
1704830793
如果我们区分了由两个相反系列的结合形成的肌肉感觉系列S+S＇，那正是因为它们保持着我们印象的总数；如果我现在区分系列σ，那正是因为它们使我们的印象保持一定。（当我说，肌肉感觉系列S“保持着”我们一个印象A时，我意指我们要弄清楚，我们是否感觉到印象A，接着是否感觉到肌肉感觉S，我们是否还感觉到在这些感觉S之后的印象A。）
1704830794
1704830795
我在上面说过，往往发生系列σ不改变我们的第一个手指感觉到的触觉印象的情况；我经常这样说，但并非总是这样说。我们用日常语言表达的下述说法正是这一点：在与手指接触的对象A也不运动的条件下，如果这个手指不运动，那么触觉印象便不会改变。在通晓几何学之前，我无法做出这种说明；我能做的一切就是弄清楚，这个印象经常存留着，但并非总是存留着。
1704830796
1704830797
然而，经常继续的印象足以使系列σ显著地呈现在我们面前，导致我们把系列∑和∑+σ归入同一类，因此不能认为它们是截然不同的。在这些条件下，我们看到，它们将产生三维的物理连续统。
1704830798
1704830799
接着看看我的第一个手指产生的三维空间。我的每一个手指将产生与之类似的空间。依然要考虑，我们怎么被导致认为它们与视觉空间、与几何学空间等价。
1704830800
1704830801
但是，在进一步论述之前有一个考虑；照前所述，只是通过肌肉感觉系列向我们揭示出把我们从某一初始位置带到这个最终位置的动作，我们知道空间的点，或者更一般地说，知道我们身体的最终位置。然而，很清楚，这个最终位置一方面将取决于这些动作，另一方面将取决于我们出发的初始位置。现在，这些动作被我们的肌肉感觉揭示给我们；可是没有什么东西告诉我们初始位置；我们没有任何办法能够把它与所有其他可能的位置区分开来。显然，这十分明确地提出了空间的本质的相对性。
1704830802
1704830803
4.各种空间的等价
1704830804
1704830805
因此，我们有可能把两个连续统C和C＇加以比较，例如，一个是由我的第一个手指D产生的，另一个是由我的第二个手指D＇产生的。这两个物理连续统均有三维。把我从某一初始位置带到某一最终位置[1]的肌肉感觉系列对应于连续统C的每一个元素，或者如果你乐意的话，也可以说对应于第一触觉空间的每一点。而且，如果σ是我们知道的不使手指D运动的系列，那么第一触觉空间的同一点将对应于∑和∑+σ。
1704830806
1704830807
类似地，感觉系列∑＇对应于连续统C＇的每一个元素，或对应于第二触觉空间的每一点；如果σ＇是不使手指D＇运动的系列，那么同一点将对应于∑＇和∑＇+σ＇。
1704830808
1704830809
使我们把标记为σ的各种系列与称之为σ＇的各种系列区别开来的方法是，前者不改变手指D感觉到的触觉印象，后者保持手指D＇感觉到的触觉印象。
1704830810
1704830811
现在看看我们查明什么：在开始，我的手指D＇感知到感觉A＇；我做出产生肌肉感觉S的动作；我的手指D感觉到印象A；我做出产生感觉系列σ的动作；我的手指D继续感知到印象A，因为这是系列σ的独特的性质；我然后作出产生肌肉感觉系列S＇的动作，S＇在上面给予这个代码的意义上与S相反。于是我确定，我的手指D＇重新感觉到印象A＇。（当然，这要理解为适当地选择S。）
1704830812
1704830813
这意味着，保持手指D＇的触觉印象的系列S+σ+S＇是我称之为σ＇的系列中的一个。相反地，如果人们采取任何系列σ＇，那么S＇+σ＇+S将是我称之为σ的系列中的一个。
1704830814
1704830815
从而，若适当地选择S，则S+σ+S＇将是系列σ＇，使σ以所有可能的方式变化，我们将得到所有可能的系列σ＇。
1704830816
1704830817
由于我们还不通晓几何学，我们仅使自己局限于证实那一切，但是在这里，问题在于通晓几何学的人应该怎样说明事实。在开始，我的手指D＇在点M与对象α接触，这使手指感觉到印象A＇。我做出对应于系列S的动作；我说过，这个系列应该适当地选择，我愿如此做这一选择，以便这些动作把手指D带到手指D＇原来所占据的点，也就是说带到点M；这个手指D从而将与对象α接触，这将使手指感觉到印象A。
1704830818
1704830819
接着，我做出对应于系列σ的动作；在这些动作中，根据假设，手指D的位置没有改变，这个手指因而依然与对象α接触，并继续感觉到印象A。最后，我做出对应于系列S＇的动作。由于S＇与S相反，这些动作把手指D＇带到手指D原先所占据的点，即带到点M。正如可以假定的那样，若对象α不轻微移动，这个手指D＇将与这个对象接触，并将重新感觉到印象A＇……证毕。
1704830820
1704830821
让我们看看结果吧。我考虑一个肌肉感觉系列∑。第一触觉空间的一个点将对应于这个系列。现在，再选取我刚才谈到的彼此相反的两个系列S和S＇。第二触觉空间的一点N将对应于系列S+∑+S＇，因为正如我们说过的，在第一空间或第二空间的点对应于任何肌肉感觉系列。
1704830822
1704830823
我将考虑如此定义的两个点N和M，它们可以视为对应的。什么东西授权我这样做呢？要使这个对应是可以接受的，其必要条件是，如果在第一空间对应于两个系列∑和∑＇的两点M和M＇是等价的，第二个空间的两个对应点N和N＇同样也是如此，那么正是这两点对应于两个系列S+∑+S＇和S+∑＇+S＇。现在，我们要看看，这个定义被满足。
1704830824
1704830825
第一个评论。因为S和S＇是彼此相反的，我们便有S+S＇= 0，从而S+S＇+∑=∑+S+S＇=∑，或者还有∑+S+S＇+∑＇=∑+∑＇；但是，由此不能得出我们有S+∑+S＇=∑的结论；这是因为，尽管我们用加号表示我们感觉的相继发生，可是很清楚，这个相继发生的次序并非没有差别：因此，我们不能像在通常加法中那样颠倒各项的次序；简而言之，我们的运算是结合的，而不是交换的。
1704830826
1704830827
这样确定之后，为了∑和∑＇可以对应于第一空间的同一点M=M＇，其充要条件是我们有∑＇=∑+σ。于是我们将有S+∑＇+S＇=S+∑+σ+S＇=S+∑+S＇+S+σ+S＇。
1704830828
[
上一页 ]
[ :1.704830779e+09 ]
[
下一页 ]