Sea (V,{\langle \cdotp | \cdotp \rangle}) un espacio con producto interno definido sobre un campo \mathbb{K} y sea W un subespacio de V. Demuestre que el complemento ortogonal de W, W^{\perp}, es un subespacio de V y determine el conjunto W\cap W^{\perp}.