cours/famille de vecteurs génératrice.md
oscar.plaisant@icloud.com a2ee0fa5ca from github to this gitea
2023-10-23 23:09:51 +02:00

14 lines
494 B
Markdown

---
alias: "génératrice"
---
up::[[famille de vecteurs]]
title::"$\mathrm{Vect}(F) = E$"
description::"elle engendre tout l'espace vectoriel"
#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\}$**