>>23接ベクトル空間と余接ベクトル空間って同型なのに分けてなんで考えるんですか?