とりあえず
「線素」dsってやつ、あれは微分形式で理解できるの？
曲線の接ベクトル（接空間上に存在）の長さを接バンドル上で追いかける関数？