ふっと消えそうな気がした

表現行列じゃなかった・・・ まぁいいや

二つの多様体上のある局所座標でのある点における速度ベクトル同士の間の関数の表現行列として定義されてたけど、他の定義の仕方はないのだろうか。