1: \begin{definition}[Canonical Angles]

2: \label{defn:canonicalAngle}

3: Let $\Xcal,\Ycal$ be $\ell$ dimensional subspaces of the same dimension for

4: functions on $[0,1]$ and $\Xpone,\Ypone\in\RRm{[0,1]}{\ell}$ be orthonormal

5: functions spanning these subspaces. Then the canonical angles between

6: $\Xcal$ and $\Ycal$ are the diagonals of the matrix

7: $\canangle{\Xcal}{\Ycal} \defeq \sin^{-1}(\Sigma)$ where $\Sigma$ is from

8: Theorem~\ref{thm:csone}.

9: It follows that $\cos\canangle{\Xcal}{\Ycal} =\Gamma$ where $\sin$ and $\cos$

10: are in the usual trigonometric sense and satisfy $\cos^2(x) + \sin^2(x) = 1$.

11: \end{definition}

12: