Espace préhilbertien , besoin d'aide svp

[iliass_hmn]

Bonjour ,
Dites moi si cela est vrai , si oui merci de me donner une démonstration :
Si (E,<>) est un espace préhilbertien , et F un sous espace de E de dimension finie.
Alors F et son orthogonal sont supplémentaires dans E.
Merci.
-----

[Lepton]

Oui c'est vrai !
En cherchant un peu j'ai trouvé cette démo tout à fait claire : http://gilles.costantini.pagesperso-...rs/suporth.pdf (démo en dimension finie uniquement, de toute façon je pense que c'est faux en dimension infinie)

[iliass_hmn]

Oui d'ailleurs j'ai pas préciser la dimension , il suffit que le sous espace soit de dimension finie ,
vous ne pouvez pas me donner une demonstration en cas de dimension infini ?
c'est le cas le plus géneral !
MERCI

[iliass_hmn]

la dimension de E est quelconque dans la démonstration que vous avez donné ,
Merci

[A voir en vidéo sur Futura]

[Lepton]

la dimension de E est quelconque dans la démonstration que vous avez donné ,
Merci

En effet, E peut-être de dimension finie ou non. Si E est de dimension finie, on peut donc écrire dim F^⊥ = dim E − dim F.

En revanche, F doit nécessairement être de dimension finie (autrement F et F^⊥ ne sont plus supplémentaires on peut seulement affirmer que F et F^⊥ sont en somme directe).