Projector has Norm 1

Theorem
An idempotent operator $P$ is a projector on the Hilbert Space $H$ $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 $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:

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

Now