Posté par
DHilbert DHilbert1. L'on a :
Désignons par

la forme nulle. L'on a donc :
2. Montrons par exemple que

. Soit alors

dans

. Il est alors clair que, pour tout

dans

, l'on a
=0)
, identité également vérifiée pour tout

dans

, vu que

. Autement dit,

est bien dans

. D'où le résultat attendu. Le reste est immédiat.
3. Pour tous

,

dans

,

et

dans

, l'on a, pour tout

dans

,
(u)=a\,\alpha(u)+b\,\beta(u)=0)
. Autrement dit, l'on a

dans

.
D'autre part, vu que
)
, alors, d'après le point 2, l'on a
\big)^0 \subset A^0)
. Montrons (sic) l'autre inclusion. Soit

dans

. Par définition, tout élément

de
)
est combinaison linéaire d'éléments de

, si bien que l'on a clairement
=0)
. Autrement dit,

est bien dans
\big)^0)
; d'où
\big)^0)
.
4. Je vais me coucher !!!!
A +