>>589
>その時必要な演算を>>577のφで
>{Σ[j=k+1…n](c_j)(e_j)}からV/ρへ移せ
>と言っているのだが
そんなことは何処にも書いてないが
いや、そもそもその前に、何で写像によって演算が移せるんだ?
いつから写像にそんな機能が備わったんだ?

>演算を定義する前に「ベクトル空間になる」と
>言っているのだから
は?演算の定義されていないベクトル空間?何じゃそりゃ?

>>590 >>591
ああ、言いたい事はわかった。なるほどね。