Considere $\mathbb{C}^3$ con el producto interior estándar (es decir, el producto punto), y que $W = \text{span} \{(1, 0, 1), (i, i, i)\}$ .
(a) Encuentre una base ortonormal para $W$ .
(b) Encuentre una base ortonormal para $W^{\perp}$ .
Hice (a) usando Gram Schmidt, y obtuve $\{(1/\sqrt2, 0 , 1/\sqrt2), (0, 1, 0)\}$ como base ortonormal para W.
Para (b) no estaba seguro de qué hacer. He puesto $W^{\perp} = (a, b, c)$ . Entonces, $(a, b, c)^*(1, 0, 1) = 0$ y $(a, b, c)^*(i, i, i) = 0$ . De ello resulta que $a = -c$ y $b = 0$ .
Aquí es donde me quedé atascado. Mi pregunta es si mi respuesta a (a) es correcta. Para (b), ¿a dónde voy desde allí?