坐标变换

坐标变换

切矢和切空间

从流形$M$到$R$的映射$$f:M\to \mathbb{R}$$称为$M$上的函数或$M$上的标量场。
从流形$M$上的全体光滑函数的集合${\mathcal{F}}_M$到$\mathbb{R}$的映射$$v:{\mathcal{F}}_M\to \mathbb{R}$$称为点$p\in M$的一个矢量，若$\forall f,g\in {\mathcal{F}}_M;\alpha ,\beta \in \mathbb{R}$有
$$\begin{array}{l}v(\alpha f+\beta g)=\alpha v(f)+\beta v(g)\\ v(fg)=v(f)g{|}_p+f{|}_{p}v(g)\end{array}$$
设$I$为$\mathbb{R}$的一个区间，映射$$C:I\to M$$称为$M$上的一条曲线。对任一$t\in I$，有唯一的点$C(t)\in M$与之对应。$t$称为曲线的参数。
设$C(t)$是$M$上的曲线，则线上$C(t_0)$点的切于$C(t)$的切矢$T$是$C(t_0)$点的矢量，定义为
$$T(f):=\frac{d(f\circ C)}{dt}{|}_{t_0},\forall f\in {\mathcal{F}}_M$$
常把$C(t_0)$点的切于$C(t)$的切矢$T$记作$\frac{\partial }{\partial t}{|}_{C(t_0)}$。
$M$中$p$点所有矢量的集合$V_p$是$n$维矢量空间($n$是$M$的维数)。其中任一元素均可视为过$p$点的某曲线的切矢，因此$p$点的矢量也称为切矢量，$V_p$则称为$p$点的切空间。

坐标线和坐标基底

设$O$为一坐标系，$x^{\mu }$为其坐标，则$O$的子集
{ p ∈ O ∣ x 2 ( p ) = c o n s t , ⋯   , x n ( p ) = c o n s t } \{p \in O | x^2(p) = const, \cdots, x^n(p) = const \} { p∈O∣x2(p)=const,⋯,xn(p)=const}
是以$x^1$为参数的一条曲线(改变$x^2,\cdots ,x^n$的常数值则得另一曲线)，称为$x^1$坐标线。
过点$p$的$x^{\mu }$坐标线的切矢称为点