(M = (x_1, 0, x_3, 0, x_5, \dots) ). For (y = (y_n) \in M^\perp), we need (\langle x, y \rangle = \sum_n=1^\infty x_n \overliney_n = 0) for all (x \in M).
Expand: [ |x+y|^2 = |x|^2 + \langle x, y \rangle + \langle y, x \rangle + |y|^2 = |x|^2 + 2\Re\langle x, y \rangle + |y|^2. ] [ |x-y|^2 = |x|^2 - 2\Re\langle x, y \rangle + |y|^2. ] Add: (|x+y|^2 + |x-y|^2 = 2|x|^2 + 2|y|^2). 4. Problem: In (\ell^2), find the orthogonal complement of the subspace (M = (x_n) : x_2k=0 \ \forall k ) (sequences with zeros at even indices). kreyszig functional analysis solutions chapter 3
For any (n), [ 0 \le | x - \sum_k=1^n \langle x, e_k \rangle e_k |^2 = |x|^2 - \sum_k=1^n |\langle x, e_k \rangle|^2. ] Thus (\sum_k=1^n |\langle x, e_k \rangle|^2 \le |x|^2). Let (n \to \infty) gives the inequality. 7. Problem: Parseval’s identity. In a Hilbert space with complete orthonormal set (e_k), prove [ |x|^2 = \sum_k=1^\infty |\langle x, e_k \rangle|^2 \quad \forall x. ] (M = (x_1, 0, x_3, 0, x_5, \dots) )