4. Let W be a subspace of $C^n$ and \{$\vec{u}_1$, ..., $\vec{u}_k$\} be an orthonormal basis of W.
(a) Show that for all $\vec{v}$ ? $C^n$ there exists $\vec{w}_1$ ? W and $\vec{w}_2$ ? $W^?$ such that $\vec{v} = \vec{w}_1 + \vec{w}_2$.
(b) Prove that $W \cap W^? = \{0\}$.
(c) Prove that dim(W) + dim($W^?$) = n.