cours/famille de vecteurs génératrice.md
Oscar Plaisant 602a41e7f8 update
2024-12-25 22:30:24 +01:00

496 B

alias
alias
génératrice

up::famille de vecteurs title::"$\mathrm{Vect}(F) = E$" description::"elle engendre tout l'espace vectoriel" #s/maths/algèbre


Soit (E, +, \cdot) un espace vectoriel réel, et \{u_1,\ldots,u_k\} une famille de vecteurs de E La famille \{u_1,\ldots,u_k\} est génératrice ssi E = Vec\{u_1,\ldots,u_k\}, c'est-à-dire si tout vecteur de E s'écrit comme une comme une combinaison linéaire des vecteurs de ${u_1,\ldots,u_k}$