Projection and Orthogonality

Questions involving orthogonal projections, orthogonal complements, or proving that a matrix/endomorphism is a projector with specified image and kernel.

grandes-ecoles 2025 Q17 View
We want to show that for every matrix $M \in S_n(\mathbf{R})$ we have $\pi(M) = d(M)$. By contradiction, assuming the existence of a vector subspace $G$ of $\mathcal{M}_{n,1}(\mathbf{R})$ of dimension $\dim G > \pi(M)$ satisfying condition $(\mathcal{C}_M)$, show $\dim(F_M^\perp \cap G) \geq 1$, deduce a contradiction and conclude.
grandes-ecoles 2025 Q12 View
Search for a stable complement In this part, we are given: a finite-dimensional vector space $V$; a nilpotent endomorphism $u$ of $V$; a nonzero natural integer $N$ and $\zeta = \exp\frac{2\mathrm{i}\pi}{N}$; an invertible endomorphism $h$ of $V$ such that $h^N = \operatorname{id}_V$ and $h \circ u \circ h^{-1} = \zeta u$. Let $W$ be a vector subspace of $V$ stable by $u$ and $h$. We assume that $W$ admits a complement $W'$ stable by $u$ and we seek a complement of $W$ stable by $u$ and $h$. Let $p$ be the projector onto $W$ parallel to $W'$.
a) Verify that $u$ and $p$ commute.
We denote $$\bar{p} = \frac{1}{N}\sum_{k=0}^{N-1} h^k \circ p \circ h^{-k}.$$
b) Prove that the image of $\bar{p}$ is contained in $W$ and that for $w$ in $W$, we have $\bar{p}(w) = w$.
c) Deduce that $\bar{p}$ is a projector and that its image is $W$.
d) Prove carefully that $\bar{p}$ commutes with $u$ and $h$.
e) Deduce that the kernel of $\bar{p}$ is a complement of $W$ and that it is stable under $u$ and $h$.
grandes-ecoles 2025 Q6 View
Let $P \in \mathcal{M}_n(\mathbb{R})$. Show that $P$ is an orthogonal projector of rank 1 if and only if there exists $\mathbf{y} \in \mathbb{R}^n$ with $\|\mathbf{y}\| = 1$ such that $P = \mathbf{y y}^T$.
grandes-ecoles 2025 Q14 View
Let $\left(\mathbf{v}_1, \ldots, \mathbf{v}_n\right)$ be any orthonormal basis of $\mathbb{R}^n$. Show that $$\mathbb{I}_n = \sum_{k=1}^n \mathbf{v}_k \mathbf{v}_k^T$$
grandes-ecoles 2025 Q6 View
Let $P \in \mathcal{M}_n(\mathbb{R})$. Show that $P$ is an orthogonal projector of rank 1 if and only if there exists $\mathbf{y} \in \mathbb{R}^n$ with $\|\mathbf{y}\| = 1$ such that $P = \mathbf{y y}^T$.
grandes-ecoles 2025 Q12a View
Let $W$ be a vector subspace of $V$ stable by $u$ and $h$. We assume that $W$ admits a complement $W'$ stable by $u$ and we seek a complement of $W$ stable by $u$ and $h$. Let $p$ be the projector onto $W$ parallel to $W'$. Verify that $u$ and $p$ commute.
grandes-ecoles 2025 Q12b View
We denote $$\bar{p} = \frac{1}{N} \sum_{k=0}^{N-1} h^k \circ p \circ h^{-k}.$$ Prove that the image of $\bar{p}$ is contained in $W$ and that for $w$ in $W$, we have $\bar{p}(w) = w$.
grandes-ecoles 2025 Q12c View
Deduce that $\bar{p}$ is a projector and that its image is $W$.
grandes-ecoles 2025 Q12d View
Prove carefully that $\bar{p}$ commutes with $u$ and $h$.
grandes-ecoles 2025 Q12e View
Deduce that the kernel of $\bar{p}$ is a complement of $W$ and that it is stable under $u$ and $h$.