欧氏空间的切向量空间
欧氏空间的切向量空间
上图是以xi为函数,求出点q在基δi下的坐标xi。
上图是对于二维欧氏空间而言。
这里vi是求导后得到的结果。
这里的vi是在坐标轴xi下的坐标,而
表示一个坐标函数,这个函数以γ(t)为参数。
这里是将上面的坐标函数扩展为任意函数,它是线性的。
然而在一般微分流形上定义切向量,只能选择不够直观的第三种;原因很简单,对抽象的
微分流形上的点,不能直接求导。
无论坐标函数还是任意函数,都存在分量。
比较新、旧定义下的表达式:
最后,坐标函数和任意函数之间的差异,仅仅是基的不同而已,所以两者是同构的。