双対基底は、座標のうち 1 つだけを抜き出します
v の座標
c
1
c
2
c
3
v
2
*
c
2
基底を決めた時点で、座標を読む操作そのものが道具として手に入っています