cours/espace euclidien.md

up::espace préhilbertien réel title::"espace de dimension d'un espace vectoriel finie muni d'un produit scalaire et d'une norme" #s/maths/algèbre

---

[!definition] Espace euclidien Un espace euclidien est défini par la donnée :

• d'un $\mathbb{R}$-espace vectoriel E de dimension d'un espace vectoriel finie
• d'une forme quadratique Q définie positive sur E
  • norme
• d'une forme bilinéaire symétrique
  • produit scalaire ^definition

Propriétés