Vidéo chargée depuis YouTube au clic : aucun cookie tiers n’est déposé avant.
Avant de lire
Soit E un K-espace vectoriel et F⊂E. F est un sous-espace vectoriel de E si et seulement si :
Avant de lire
Une famille (e1,…,en) de vecteurs de E est libre si :
Définition
Définition. Un sur un K (ou K=R ou C) est un ensemble E muni de :
- Une loi interne +:E×E→E
- Une loi externe ⋅:K×E→E
vérifiant les 8 axiomes (associativite, commutativite, élément neutre, etc.)
Pause : vérifie
Un espace vectoriel sur un corps K est un ensemble E muni de :
La structure d'espace vectoriel est celle de la définition : une addition interne et une multiplication par les scalaires de K, avec huit axiomes. Deux lois internes définissent un anneau ou un corps, une seule loi un groupe, et le produit scalaire est une structure supplémentaire (espace euclidien), pas un axiome des espaces vectoriels.
Exemples fondamentaux
Rn avec les opérations composante par composante
Mn,p(R) : matrices n×p
R[X] : polynômes a coefficients réels
C0([a,b],R) : fonctions continues
Sous-espaces vectoriels
Définition.F⊂E est un (sev) de E si :
1. 0E∈F
2. ∀x,y∈F,x+y∈F
3. ∀λ∈K,∀x∈F,λx∈F
En pratique (critère simplifie) :F est un sev si et seulement si F=∅ et :
∀x,y∈F,∀λ,μ∈K,λx+μy∈F
, ,
Définition. Une famille (e1,…,en) est :
- Libre si ∑λiei=0⟹λ1=⋯=λn=0
- Génératrice si Vect(e1,…,en)=E
- Base si elle est libre et génératrice
Théorème.dim(Rn)=n et la base canonique est (e1,…,en).
Après la lecture
Soit E un K-espace vectoriel et F⊂E. F est un sous-espace vectoriel de E si et seulement si :
Le critère simplifié demande deux choses : F non vide (en pratique 0E∈F) et la stabilité par combinaison linéaire. La stabilité par somme seule oublie la loi externe (N dans R est stable par somme), sans la non-vacuité l'ensemble vide passerait le critère, et contenir 0E ne suffit pas : {(x,y):xy=0} contient (0,0) et n'est pas stable par somme.
Après la lecture
Une famille (e1,…,en) de vecteurs de E est libre si :
Libre : la seule combinaison linéaire nulle est la combinaison triviale. Vect=E définit une famille génératrice ; « deux à deux non colinéaires » et « aucun vecteur nul » sont nécessaires mais pas suffisants : (1,0), (0,1), (1,1) dans R2 vérifient les deux et sont liés.
Illustrations
Espace vectoriel : addition et multiplication par un scalaire