計量ベクトル空間Vの部分空間Wに対して、
X = ｛y↑∈V | (x↑,y↑) = 0 が全ての x↑∈W について成り立つ｝
とおく。このときVがWとXの直和となることを示せ。

お願いします。