Vをn次元ベクトル空間とする。
WをVの部分ベクトル空間とするとき、
dimW≦n
ですが、等号成立のときはV=Wですか?