フレーム関係の用語

Vはベクトル空間として、V^#を、双対ペアの相方空間とする。(V^#, V, <-|->) がペア。IはVの（事前に決めた）インデックス集合。I^#は、相方インデックス集合で、#:I→I^# をインデックス双射、#^~は線形化 <I>→<I^#>とする。

この状況で、

• Frame_I(V) := Iso(<I>, V)
• Cofram_I(V) := Frame_I^#(V^#)
• Gauge_I(V) := Iso(V, <I>)
• Cogauge_I(V) := Gauge_I^#(V^#)
• Coframe_I^#(V^#) = Frame_I(V)
• Cogauge_I^#(V^#) = Gauge_I(V)

そう約束するだけ。