双対ベクトル空間 商線型空間 次元 (ベクトル空間) ストーンの表現定理 固有値と固有ベクトル 加群の直和 ウェイト (表現論) ボレル集合