最近找到一本尚未完稿(已完成96.6%)的微分几何书(Differential geometry reconstructed: A unified systematic framework,作者:Alan U. Kennington),这本书对“切矢是什么”这个问题提供了非常深刻的见解,我认为对切矢有过疑惑的都应该通过这本书了解一番。这本书虽然尚未完稿,但已有2400余页之多,远远超过现有的所有微分几何书。之所以它内容这么多,除了它的主要目标是深挖微分几何的基础以外,其中一个重要原因可能是它不仅仅包含纯数学内容,还包含了一些偏数学哲学的讨论(比如“切矢的实质”这一主题),这样的讨论确实是罕见的。尽管我只挑选了目前我所关心的一小节大概看了一下,也感觉到了作者的思考实在是太细了。因此现在我根据我看过的一小节内容把书中有关切矢的重要见解按照我自己的理解总结如下(由于自己水平有限,可能理解不够全面,会有很多遗漏,仅作参考,具体可以直接看书):
1.切矢应该被当成速度矢量来理解。这一点楼主也提过,但可能没有着重强调这种看法的重要性,因为这种看法的关键点在于,切矢不应该被理解成无穷小的空间位移,总之不能把切矢当成是空间中的矢量来看待,必须结合时间把切矢想象成空间位移随时间的变化率,而这里的时间就是空间中曲线的参数t。也就是说,切矢应该是某种“时空”(这个时空和相对论无关)实体,而不是空间实体。把速度矢量画在空间中的惯常做法可能会导致初学者对切矢产生错误印象。切矢应该是把时间参数加进来后曲线在时空中的图像的切线。所以作者与Do Carmo都主张“一旦看到切矢就要想到速度”这样的思维模式。对切矢在这一方面的理解和芝诺的“飞矢不动”悖论所反映的思想有着非常一致的内核。
2.之所以切矢的定义如此“随心所欲”,是因为切矢其实是一个处在曲线和函数之间的中间概念。曲线参数的变化会引起流形上的点的变化,流形上的点的变化又会引起函数值的变化,从曲线参数到函数值的“交易”过程中存在一个中间商,这个中间商就是流形上的点。整个过程如下图所示:
曲线参数的变化需要换成流形上的点的变化,然后再把流形上的点的变化换成函数值的变化,其中存在两次实数值与点之间的交易,很明显,实数值与点之间的汇率会影响这两次交易,但不影响最终交易结果,即不影响曲线参数和函数值之间的汇率。切矢在这个交易过程中就充当了那两次实数值与点之间交易的汇率(严格来说,其中一次是切矢的对偶),所以这个汇率具体是多少并不是那么重要,因为无论它是多少都不影响曲线参数变化所引起的函数值的变化率。因此只要保证最终效果相同,切矢想怎么定义就怎么定义。例如,对于曲线等价类和微分算子这两种定义,曲线等价类把作用在函数上效果相同的曲线归为一类,而微分算子直接就是作用在函数上的效果本身。
3.与流形上的点的概念一样,切矢也是一个在数学上无法被定义的概念,或者说是数学之外的(extra-mathematical),那些所谓的定义其实应该被称作切矢的表示(representation),而任何表示都不是真正的切矢。流形上的点其实从未被真正定义过,我们只是用坐标来表示它们了而已。但是我们为什么从未对点的概念表示疑惑而对切矢摸不着头脑?可能的一个原因是,当我们用坐标来表示点的时候我们很清楚我们要表示的对象是什么,同时在脑海里对“点”这个东西有一个非常清晰的图像。而对于切矢,我们甚至在表示它之前都不知道我们要表示什么,或者误以为我们知道要表示什么,这就导致我们看到切矢的形式化定义时是一脸懵逼的。这也许是为什么切矢定义难以理解的一个原因吧。
4.不可能构造出完全脱离坐标系的切矢表示,因为所有能用到的流形上的微分结构全部都来自于坐标系。通常认为微分算子和曲线等价类是脱离坐标系的表示,只不过前者需要借助函数族,后者需要借助曲线族而已。但其实任何一个函数都完全可以看成是坐标系中的某一个坐标,曲线也可以看成是坐标系中的某条坐标线,所以函数和曲线不过是伪装得很好的坐标系罢了。因此这两种表示都不算真正的脱离坐标系。
5.作者提倡使用(坐标系,仿射直线)的等价类来表示切矢,如下图所示:
以这一表示方法为起点可以很容易地扩展到其他表示方法。作者的想法是,因为既然无法脱离坐标系来表示切矢,那么就直接大方地把坐标系摆出来,不必遮遮掩掩。那为什么不直接使用坐标系和数组配对的表示方法呢?可能是因为这个方法没有指出它所表示的对象是什么,在本体论上很空洞,我们都知道坐标表示的是点,但数组表示的究竟是什么,这很难从这种形式化表示中得到答案。
6.该书总结了7种类型的切矢表示方法,如下所示(其中第一种就是作者提出的方法):
7.该书还罗列了过去文献中主要使用的切矢表示方法:
可以看到,微分算子(导子)是最常用的方法,这可能与它在计算上的方便性和哲学上(本体论上)的舒适性上达到最佳平衡点有关。