Sous espaces vectoriels stricts
Version topologique (Baire)
Ennonce
Un Banach n'est pas union denombrable de sous-espaces vectoriels fermes stricts.
Preuve
faut pas deconner
Necessite
Version algebrique (Dirichlet)
Ennonce
Si

est un corps infini, un

-espace vectoriel n'est pas union finie de sous-espaces vectoriels stricts.
Preuve
On suppose :
on peut supposer que les

sont des hypoerplans, noyaux de formes linéaires

. Les

sont des applications polynômiales (en plusieurs variables). Le produit

est une application polynômiale qui est nulle. Comme

est infini, on sait que l'anneau des applications polynômiales s'identifie à celui des polynômes, qui est intègre. Donc une des

est nulle, contradiction.
Necessite
to top