cours/Famille de vecteurs Orthogonale.md
oscar.plaisant@icloud.com 38fbb1938d from github to this gitea
2023-10-23 23:09:51 +02:00

12 lines
452 B
Markdown

up::[[famille de vecteurs]]
title::"vecteurs 2-à-2 [[vecteurs orthogonaux]]"
#maths/algèbre
---
> [!definition] Famille de vecteurs orthogonale
> Soit $E$ un $\mathbf{K}$-[[espace vectoriel]] muni d'un [[produit scalaire]]
> Soit $F$ une famille de $E$
> $F$ est *orthogonale* ssi tous les vecteurs de $F$ sont deux-à-deux [[vecteurs orthogonaux|orthogonaux]]
> $\forall (u, v) \in F^{2}, u \neq v \implies \langle u, v \rangle = 0$
^definition