** Espaces vectoriels **

I)

Dfinition : dans E

Un K-espace vectoriel est un ensemble non vide muni * d'une loi de composition interne c'est dire une application de

* d'une loi de composition externe de domaine d'oprateurs un corps commutatif K, c'est dire une application de dans E

vrifiant trois groupes d'axiomes : 1) Axiomes relatifs la loi interne 2) Axiomes relatifs la loi externe 3) Axiomes liant les deux lois : double distributivit Axiomes : 1) Axiomes relatifs la loi interne : a) Associativit, c'est dire que pour tous lments u, v et w de E

b) Il existe un lment neutre, c'est dire qu'il existe un lment de E, not 0, vrifiant pour tout lment v de E

c) Tout lment v de E admet un symtrique, c'est dire qu'il existe un lment v' de E tel que Cet lment v' est not -v d) Commutativit, c'est dire que pour tous lments u et v de E

2) Axiomes relatifs la loi externe : a) Pour tous lments et de K, pour tout lment v de E

b) Soit 1, l'lment neutre de la multiplication de K. Pour tout lment v de E

3) Axiomes liant les deux lois : double distributivit : a) Distributivit par rapport l'addition des scalaires : Pour tout et de K et pour tout lment v de E

b) Distributivit par rapport l'addition des vecteurs : Pour tout lment de K et pour tous lments u et v de E

II)

sous-espace vectoriel :

4) Thorme et dfinition d'un sous-espace vectoriel : Soit E un K-espace vectoriel, et soit F une partie de E telle que :

F est non vide F est stable pour l'addition : F est stable pour la multiplication par un scalaire :

Alors la partie F, munie de ces deux lois, a une structure de K-espace vectoriel : F est appele sous-espace vectoriel de E. 5) Dfinition d'un sous-espace engendr par une partie : Soit A une partie non vide d'un K-espace vectoriel E. On dfinit le sous-espace vectoriel engendr par A, comme tant l'ensemble des combinaisons linaires d'lments de A :

6) somme somme direct :

*Dfinition de la somme de deux sous-espaces : Si F et G sont deux sous espaces vectoriels d'un K-espace vectoriel E, l'ensemble de tous les lments o x est un lment de F et y un lment de G, est appel somme des sousespaces vectoriels F et G . Cette somme est note :

* Dfinition de la somme directe de n sous-espaces vectoriels : La somme de n sous-espaces vectoriels si et seulement si tout lment de somme d'lments de . Ce qui s'crit avec les quantificateurs : d'un K-espace vectoriel E est directe s'crit d'une manire unique comme

La somme directe de

est note :

7) sous-espaces vectoriels supplmentaires : * Dfinitions : 1) Deux sous-espaces vectoriels F et G d'un K-espace vectoriel E sont des sous-espaces vectoriels supplmentaires de E si leur somme est directe et est gale l'espace vectoriel E tout entier : 2) Si F et G sont des sous-espaces vectoriels supplmentaires du K-espace vectoriel E, on dit que F est un supplmentaire de G, ou que G est un supplmentaire de F. III) Espace vectoriel de type fini :

1) Ensemble fini de gnrateurs d'un espace vectoriel : * Dfinition : Soit E un espace vectoriel sur un corps K. Soit p un entier suprieur 1 et p vecteurs de E, . Les vecteurs combinaison linaire des vecteurs mathmatique : engendrent E si tout lment de E est , ce qui peut s'crire, avec le symbolisme

2)

Dfinition d'un espace vectoriel de type fini :

Un espace vectoriel est dit de type fini s'il admet une famille finie de gnrateurs 3) Dpendance et indpendance linaire :

Dfinition de la dpendance linaire d'une famille finie d'au moins deux vecteurs : Soient E un espace vectoriel sur un corps K, n un entier suprieur ou gal 2 et des vecteurs de E.

Les vecteurs sont dits linairement dpendants si l'un des vecteurs est combinaison linaire des autres, c'est--dire s'il existe un entier p compris entre 1 et n et des scalaires tels que :

Condition ncessaire et suffisante de dpendance linaire d'une famille finie de n vecteurs, : Soient E un espace vectoriel sur un corps K, n un entier suprieur ou gal 2 et des vecteurs de E. Les vecteurs sont linairement dpendants si et seulement si il existe une

combinaison linaire de gale au vecteur nul avec des coefficients non tous nuls, ce qui peut s'crire avec les quantificateurs :

Dfinition de l'indpendance linaire d'une famille finie de vecteurs : Soient E un espace vectoriel sur un corps K, n un entier suprieur ou gal 1 et des vecteurs de E. Les vecteurs sont dits linairement indpendants s'ils ne sont pas linairement gale au

dpendants, c'est--dire si la seule combinaison linaire des vecteurs vecteurs nul est celle (dite triviale) dont tous les coefficients sont nuls. Thorme de caractrisation des parties libres :

Soient E un espace vectoriel sur un corps K, n un entier suprieur ou gal 1 et (i) Les vecteurs (ii) La somme des sous espaces des vecteurs de E. Les conditions suivantes sont quivalentes : sont linairement indpendants. est directe c'est--dire :

(iii) Les coefficients de l'criture d'un vecteur comme combinaison linaire des vecteurs sont uniques. 4) Dimension d'un espace vectoriel de type fini :

Thorme et dfinition : Dans un espace vectoriel de type fini E, non rduit , toutes les bases ont le mme nombre d'lments. Ce nombre entier, taille commune de toutes les bases de E, est appel dimension de E sur K, et not Proprit : Soit E un K-espace vectoriel de dimension n non nulle, alors : 1. Toute partie libre de E a au plus n lments. 2. Toute partie gnratrice de E a au moins n lments. 5) Dfinition : Soit E un K-espace vectoriel et Le rang de la famille une famille finie de vecteurs de E. (on dit aussi rang des vecteurs . ) est la Rang d'une famille finie de vecteurs : (ou seulement s'il n'y a pas ambigut sur le corps K)

dimension du sous-espace vectoriel de E engendr par les vecteurs Proposition : Soit E un K-espace vectoriel et Alors : 1) Les ingalits suivantes sont satisfaites :

une famille de p vecteurs non tous nuls de E.

2) Le rang de de . Donc

est le nombre maximun d'lments d'une famille libre extraite si et seulement il existe une famille libre et si toute famille de q vecteurs, avec , extraite

de r vecteurs extraite de de , est lie.

En particulier linairement indpendants. 3) Enfin, si

si et seulement les vecteurs

sont

, toute partie libre de r lments extraite de dtermine une base du sous-espace vectoriel engendr par les vecteurs .

Mthode pratique de dtermination du rang d'une famille finie de vecteurs Premire mthode : On utilise l'algorithme de construction d'une base pour un espace vectoriel de type fini (qui a conduit la dmonstration de l'existence d'une base), en partant de la partie gnratrice

Deuxime mthode : Elle est base sur la mme philosophie que la mthode du pivot de Gauss pour rsoudre les systmes. Son point de dpart est la proprit suivante : Proposition 1 Le rang d'une famille de vecteurs n'est pas modifi si l'on rajoute l'un d'eux une combinaison linaire des autres. Proposition 2 Soit E un espace de type fini et n sa dimension. Soient ( dans la base ( ) une base de E et des vecteurs de E, dont les coordonnes

) se prsentent de la manire suivante :

avec, pour tous les entiers i compris entre 1 et s, Alors les vecteurs

non nul.

sont linairement indpendants.