grandes-ecoles 2024 Q20
Projection and Orthogonality
Let $u = (u_k)_{k \geqslant 0}$ be a sequence of $\mathbb{C}$ such that $\mathbb{M}_n(u) \neq \emptyset$. Let $A \in \mathbb{M}_n(u)$. We assume throughout this part that $A$ is diagonalizable in $\mathscr{M}_n(\mathbb{C})$ and we denote by $\lambda_1, \cdots, \lambda_\ell$ its eigenvalues with $\lambda_i \neq \lambda_j$ if $i \neq j$. For every $k \in \llbracket 1; \ell \rrbracket$ we define the polynomial: $$Q_k^A(X) = \prod_{j=1, j\neq k}^{\ell} \frac{X - \lambda_j}{\lambda_k - \lambda_j}$$
(a) Show that $$u(A) = \sum_{k=1}^{\ell} U(\lambda_k) Q_k^A(A).$$
(b) Show that for every $k \in \llbracket 1; \ell \rrbracket$, $Q_k^A(A)$ is a projection whose image and kernel we will specify.
(c) Deduce that $$\sum_{k=1}^{\ell} Q_k^A(A) = I_n.$$