Let V be a real linear subspace and U be a matrix whose columns form an orthonormal basis for V. How can I prove that $$proj_v(x) = UU^tx$$
I've been struggling for linear algebra, so specific, concrete, and minimally jargon filled answers would be appreciated :) but anything is helpful obviously.
Let $u_1, \ldots, u_k$ be the columns of $U$. Let $v_{k+1}, \ldots, v_n$ vectors such that $\{u_1, \ldots, u_k, v_{k+1}, \ldots, v_n\}$ be a basis for $\mathbb{R}^n$ such that $u_i^T v_j = 0$.
Now for any $x$, we have that there exists $c_1, \ldots, c_n$ such that $x = \sum_{i=1}^kc_iu_i + \sum_{i=k+1}^nc_i v_i$.
Now note that $U^T = \begin{bmatrix} u_1^T \\ \vdots \\ u_k^T\end{bmatrix}$. So if we let $y = U^Tx$, we have that the $j$th coordinate of $y$ is given by
$$ y_j = \sum_{i=1}^kc_iu_j^Tu_i + \sum_{i=k+1}^nc_i u_j^Tv_i. = c_j$$
Where the last equality is due to the vectors being orthogonal. Thus, we have that $y^T = [c_1, \ldots c_k]$. Then finally we have that
$$Uy = \begin{bmatrix} u_1 \ldots u_k\end{bmatrix} \begin{bmatrix} c_1 \\ \vdots \\ c_k \end{bmatrix} = \sum_{i=1}^kc_iu_i.$$