>>525
次元定理は内積空間でなくても成立するから
ストラングの書き方だと「R^nの標準内積のもとで」という条件が必要
>>523はバカだから大事な条件を抜かして書いてるね

こういう誤解を生みやすいから次元定理だけ書いて
直交性は書かないのだろうね