Pour tout Q ES, on a Q —PQ+(I—P)Q, ce qui va per

mettre d'achever la démonstration par récurrence. Dans PE, £ induit

un treillis engendré par P,, 2% P:vérifiant PP =6( yet

dans (I— P)E, £ induit un treillis engendré par P,.,, ..., P, véri-

Han = 00e D Ont ANR Por 7 D 2 est

engendré par P,, ..., P,, de façon précise tout projecteur de £ est de

lé forme Ÿ w;P; avec w;— 0 ou 1. Le plus grand projecteur de £

D URL DEP pe