For the decomposition, where $I$ is the identity matrix and $P_{0}$ and $P_{1}$ are projection matrices, and the decomposition is: $I = P_{0}+(P_{1}-P_{0})+(I-P_{1})$
The statement is that all the terms on the right hand side are projection matrices. I struggle to prove that the middle term will be a projection matrix. It is clearly symmetric, but I can't figure out how to prove idempotent. The cross terms are throwing me off.
My question is really, will all the terms be projection matrices for all projection matrices $P_{0}$ and $P_{1}$, or does it depend on $P_{0}$ and $P_{1}$.
I'm using this in Cochrans theorem to show independnence
$P_0(P_0(x)) = P_0(x)$,
$(I-P_1)(I-P_1)(x) = (I-P_1)(x-P_1(x)) = I(x-P_1(x)) - P_1(x-P_1(x)) = Ix -IP_1(x) - P_1(x) + P_1(P_1(x))= x - P_1(x) - P_1(x) + P_1(x) = x-P_1(x) = (I-P_1)(x).$
$(P_1-P_0)(P_1-P_0)(x) = (P_1-P_0)(P_1(x) - P_0(x)) = P_1(P_1(x)-P_0(x)) - P_0(P_1(x)-P_0(x)) = P_1(P_1(x)) - P_1(P_0(x)) - P_0(P_1(x)) -P_1(P_0(x)) +P_0(P_0(x))= P_1(x) + P_0(x) = (P_1+P_0)(x)$
if projection matrices $P_0,P_1$ commute.