}この証明に行き詰っております。http://www.ne.jp/asahi/search-center/internationalrelation/mathWeb/tupleRnMetric/OrthogonalComplementThrm.htm定理:ユークリッド空間Rnは、その部分空間とその直交補空間に直和分解される↑を参考に解いてみたのですが、ユークリッド空間R^nでのみしか証明されていませんでした。ヒルベルト空間Hに変われば、証明も変わってくると思うのですが、どのようにすればいいのでしょうか?よろしくお願いします。「線型部分空間の直交集合は、補空間となる」のほうの形をとっているようです。