# Projector has Norm 1

## Theorem

An idempotent operator $P$ is a projector on the Hilbert Space $H$ if and only if $P$ has norm $1$:

$\displaystyle \norm P \equiv \sup_{x \mathop \in H} \frac {\norm P} {\norm x} = 1$

## Proof

For all $x \in \Rng P$:

$\norm {P \dfrac x {\norm x} } = \dfrac {\norm x} {\norm x} = 1$

so $\norm P \ge 1$.

It remains to show that this holds with equality if and only if $P$ is a projector.

First, suppose $P$ is a projector.

Let $\set {p_1, p_2, \ldots}$ be an orthonormal basis for $\Rng P$.

Let $\set {q_1, q_2, \ldots}$ be an orthonormal basis for $\Rng P_\perp$.

Then for any $x \in H$, we can choose scalars $\set {\alpha_1, \alpha_2, \ldots}$ and $\set {\beta_1, \beta_2, \ldots}$ so that:

$\displaystyle x = \sum_{i \mathop = 1}^\infty \alpha_i p_i + \sum_{i \mathop = 1}^\infty \beta_i q_i$

Because the basis vectors are orthogonal, Pythagoras's theorem shows that:

$\displaystyle \norm x^2 = \sum_{i \mathop = 1}^\infty \norm {\alpha_i}^2 + \norm {\beta_i}^2$

Then $\norm {P x}$ can be expanded thus:

 $\ds \norm {P x}^2$ $=$ $\ds \norm {\sum_{i \mathop = 1}^\infty \alpha_i P p_i + \sum_{i \mathop = 1}^\infty \beta_i P q_i}^2$ $\ds$ $=$ $\ds \norm {\sum_{i \mathop = 1}^\infty \alpha_i p_i + 0}^2$ $\ds$ $=$ $\ds \sum_{i \mathop = 1}^\infty \size {\alpha_i}^2$ Pythagoras's theorem again $\ds$ $\le$ $\ds \norm x^2$

Hence $\norm P \le 1$.

Since it was already shown $\norm P \ge 1$, it follows that $\norm P = 1$.

Now suppose $P$ is not a projector.

Then there exists $x \in H$ so that $P x - x$ is not orthogonal to $\Rng P$.

By writing $x = p + q$ with $p \in \Rng P$ and $q \in \Rng P_\perp$, it follows that:

$P x - x = P \paren {p + q} - \paren {p + q} = P q - q$

By rescaling $x$, we can assume $\norm q = 1$.

Since $q \in \Rng P_\perp$ but

$P q - q = P x - x = \notin \Rng P_\perp$

it follows that $P q \ne 0$.

Let $\norm {P q} = c \ne 0$.

It will be shown that

$y = c q + \dfrac 1 c P q$

satisfies

$\dfrac {\norm {P y} } {\norm y} > 1$.

Notice first that

 $\ds \norm y^2$ $=$ $\ds \norm {c q + \dfrac 1 c P q}^2$ $\ds$ $=$ $\ds \norm {c q}^2 + \norm {\dfrac 1 c P q}^2$ Pythagoras's Theorem ($q$ and $P q$ are orthogonal) $\ds$ $=$ $\ds c^2 + 1$ since $\norm {P q} = c$ and $\norm q = 1$.

Now

 $\ds \norm {P \frac y {\norm y} }^2$ $=$ $\ds \frac 1 {\norm y^2} \norm {P \paren {c q + \frac 1 c P q} }^2$ $\ds$ $=$ $\ds \frac 1 {c^2 + 1} \norm {c P q + \frac 1 c P^2 q}^2$ $\ds$ $=$ $\ds \frac 1 {c^2 + 1} \norm {P q \paren {c + \frac 1 c} }^2$ $P$ is idempotent $\ds$ $=$ $\ds \frac {\norm {P q}^2} {c^2 + 1} \paren {c + \frac 1 c}^2$ $\ds$ $=$ $\ds \frac {c^2 \paren {c + \frac 1 c}^2} {c^2 + 1}$ $\ds$ $=$ $\ds c^2 + 1$ $\ds$ $>$ $\ds 1$

$\blacksquare$