ここで、接束上の内積の集まりを滑らかに多様化すると、接ベクトル空間上で個々の点においてのみ定義されていた内積を多様体上の有限領域のおける類似表現に拡張することができる.
ここで、