～が張る部分ベクトル空間

～が張る部分ベクトル空間。大枠のみリニューアル。