直交補空間が全体の補空間になっているとはっきり証明するにはどうすれば良いのだろう？何となく次元とか使いそうな気がするけどはっきり説明してるサイト見ないな。本買おうかな。