Espaces Vectoriels

Pascal lain

Espaces vectoriels
Exercice 1. Soient dans les vecteurs La famille est-elle libre ? Allez : Correction exercice 1 Exercice 2. Les familles suivantes sont-elles libres ? 1. , et 2. , et 3. , , 4. , 5. , Allez : Correction exercice 2 , et .

dans dans et

. . et dans et dans . . dans

Exercice 3. On considre dans une famille de vecteurs linairement indpendants Les familles suivantes sont-elles libres ? 1. . 2. . 3. . 4. . 5. . Allez : Correction exercice 3 Exercice 4. Soient dans

les vecteurs ? Et pour que Allez : Correction exercice 4

et

. Peut-on dterminer ?

et

pour que

Exercice 5. Dans on considre l'ensemble des vecteurs L'ensemble est-il un sous espace vectoriel de Allez : Correction exercice 5 Exercice 6. Dans l'espace

vrifiant ? Si oui, en donner une base.

, on se donne cinq vecteurs : , , , et Chercher les relations de dpendance linaires entre ces vecteurs. Si ces vecteurs sont dpendants, en extraire au moins une famille libre engendrant le mme sous-espace. Allez : Correction exercice 6 Exercice 7. Dans l'espace

, on se donne cinq vecteurs : , , , et quelle(s) condition(s) un vecteur appartient-il au sous-espace engendr par les vecteurs ? Dfinir ce sous-espace par une ou des quations. Allez : Correction exercice 7 Exercice 8. Soit un espace vectoriel sur sont-elles libres? 1.

et , ,

et une famille libre d'lments de , les familles suivantes

Espaces Vectoriels 2. 3. 4. . 5. Allez : Correction exercice 8 Exercice 9. Dans

Pascal lain

, comparer les sous-espaces

et

suivants : ( )

Allez : Correction exercice 9 Exercice 10. On suppose que , ,, sont des vecteurs indpendants de . 1. Les vecteurs , , ,, , sont-ils linairement indpendants ? 2. Les vecteurs , , ,, , sont-ils linairement indpendants? 3. Les vecteurs , , , ,, , sontils linairement indpendants? Allez : Correction exercice 10 Exercice 11. Soient , Soient et Allez : Correction exercice 11

et . les sous-espaces vectoriels de

. Montrer que

Exercice 12. Peut-on dterminer des rels , pour que le vecteur engendr par le systme , o et Allez : Correction exercice 12

appartienne au sous-espace-vectoriel

Exercice 13. Soient , , , et de . Les propositions suivantes sont-elles vraies ou fausses? Justifier votre rponse. ( ) 1. 2. . ( ) 3. . 4. . 5. est un sous-espace vectoriel de supplmentaire dans Allez : Correction exercice 13 Exercice 14. On considre les vecteurs , , dans . 1. et sont-ils supplmentaires dans 2. Mme question pour et . 3. Mme question pour et Allez : Correction exercice 14 Exercice 15. Soient { Soient 1. Montrer que 2. La famille 3. Est-ce que

des vecteurs

, ?

et

et } et est un sous-espace vectoriel de . Dterminer une base de . est-elle libre ? Est-ce que ? ? 2

Espaces Vectoriels 4. Donner une base de . 5. Soit , est-ce que Allez : Correction exercice 15

Pascal lain

? est-ce que

Exercice 16. { } Soit Soient et deux vecteurs. On pose 1. Montrer que est un sous-espace vectoriel de . 2. Dterminer . 3. A-t-on ? Allez : Correction exercice 16

Exercice 17. Soient { } et { deux sous-ensembles de . On admettra que est un sous-espace vectoriel de . Soient , et 1. Montrer que est un sous-espace vectoriel de . 2. Dterminer une famille gnratrice de et montrer que cette famille est une base. 3. Montrer que { } est une base de . 4. Montrer que { } est une famille libre de . 5. A-t-on . 6. Soit , exprimer dans la base { }. Allez : Correction exercice 17 Exercice 18. Soient { } On admettra que est un espace vectoriel. { } Et Soient , , et quatre vecteurs de Premire partie 1. Dterminer une base de et en dduire la dimension de . 2. Complter cette base en une base de . Deuxime partie 3. Montrer que est un sous-espace vectoriel de . 4. Dterminer une base de . 5. A-t-on ? Troisime partie 6. Montrer que . 7. Soit , exprimer comme une combinaison linaire de , et . Allez : Correction exercice 18 Exercice 19. Soit { Soit , et 1. Montrer que est un sous-espace vectoriel de 2. A-t-on ? On justifiera la rponse. 3

} , et dterminer une base de cet espace-vectoriel.

Espaces Vectoriels Allez : Correction exercice 19 Exercice 20. Soit { Soient , et Soit On admettra que est un espace vectoriel. 1. Donner une base de et en dduire sa dimension. 2. Dterminer une base de . 3. Donner une (ou plusieurs) quation(s) qui caractrise(nt) . 4. Donner une famille gnratrice de . 5. Montrer que : . Allez : Correction exercice 20 Exercice 21. Soient Soient

Pascal lain

et {

deux vecteurs de

. Soit

. }

On admettra que et 1. Dterminer une base 2. Dterminer une base

{ sont trois sous-espaces vectoriels de de . de .

} .

3. A-t-on ? 4. Montrer que est une base de 5. A-t-on ? Allez : Correction exercice 21 Exercice 22. Soient , Dterminer une sous famille de la dimension de . Allez : Correction exercice 22

et libre qui engendre

quatre vecteurs de

. , en dduire

Exercice 23. { Soit On admettra que est un sous-espace vectoriel de 1. Dterminer une base de . 2. Complter cette base de en une base de . Allez : Correction exercice 23 Exercice 24. Soient 1. 2. 3. 4. , et

} .

trois polynmes de

Montrer que est une base de . Soit , exprimer dans la base . Soit , exprimer dans la base . Pour tout , et rels montrer quil existe un unique polynme de , et . Allez : Correction exercice 24 4

, tel que :

Espaces Vectoriels Exercice 25. Soit { } 1. Montrer que est un sous-espace vectoriel de 2. Donner une base de et en dduire sa dimension. Allez : Correction exercice 25 Exercice 26. { } Soit 1. Montrer que est un sous-espace vectoriel de 2. Dterminer une base et la dimension de . Allez : Correction exercice 26 Exercice 27. Dans , les trois fonctions indpendantes? Allez : Correction exercice 27

Pascal lain

et

, sont-elles linairement

Exercice 28. Soient , Allez : Correction exercice 28

et

. Dterminer

Exercice 29. Soit lensemble des fonctions vrifiant lquation diffrentielle Montrer que est un sous-espace vectoriel de lespace vectoriel des fonctions. Allez : Correction exercice 29 Exercice 30. (Hors programme) 1. Montrer que les systmes : et sont libre dans considr comme espace vectoriel. 2. Soient, dans , les vecteurs . Montrer que le systme et est -libre et -li. 3. Soient les vecteurs et dans . a. Montrer que le systme est -libre et -li. b. Vrifier que le systme { } est une base de lespace vectoriel sur et donner les composantes des vecteurs et par rapport cette base. Allez : Correction exercice 30

CORRECTIONS
Correction exercice 1. On peut ventuellement sapercevoir que Sinon donc la famille est lie. { { { {

Espaces Vectoriels

Pascal lain

Il ny a pas que comme solution donc la famille est lie, en prenant , on trouve que et que , par consquent , ce qui est la mme relation que lon avait devin ci-dessus. Allez : Exercice 1 Correction exercice 2. 1. {

Donc la famille est libre 2. L, il est clair que donc la famille est lie 3. On peut raisonnablement sapercevoir que : Donc la famille est lie. Sinon on se lance dans un gros calcul

{ { { ( { Il ny a pas que relation : { { comme solution donc la famille est lie. En prenant ) { {

, on trouve la

4.

{ On peut samuser faire mthodiquement la mthode de Gauss, mais avec la premire et la seconde ligne, on saperoit que , puis on remplace dans nimporte quelle ligne pour trouver que . La famille est libre. 5. Cest trop fatigant, , la famille est lie. Allez : Exercice 2 Correction exercice 3. 6

Espaces Vectoriels 1. Oui videmment, sinon { 2. Une sous famille dune famille libre est libre. 3. {

Pascal lain

Il existe une combinaison linaire non identiquement nulle de ces trois vecteurs, la famille est lie. 4. { { La famille est libre. 5. Il y a trois vecteurs forment une famille lie, en rajoutant Allez : Exercice 3 Correction exercice 4. Le problme est de dterminer { {

dans le plan donc ces trois vecteurs cela ne change rien, la famille est lie.

et

tels quil existe {

et

vrifiant {

La dernire ligne entraine quil ny a pas de solution. Le problme est de dterminer et tels quil existe { {

et {

vrifiant

{ {

{ ( Allez : Exercice 4 Correction exercice 5. Premire mthode donc Soit et 7 , on a et )

Espaces Vectoriels

Pascal lain

Et pour tout

et

rels

Ce qui signifie que Deuxime mthode Un vecteur de scrit

est donc un sous-espace vectoriel de

( Donc Pour trouver une base, il reste montrer que ( cette famille est dj gnratrice).

),

est un sous-espace vectoriel de . ) est libre (Puisque

{ Cette famille est bien libre, cest une base de . Allez : Exercice 5 Correction exercice 6. Dj, une famille de vecteurs dans un espace de dimension les) relation(s) reliant ces vecteurs.

est lie, mais cela ne donne pas la (ou

{ { Si on prends Si on prends et et , alors , alors , , { et et , ce qui donne , ce qui donne {

Autre faon de voir les choses :

Cette dernire relation tant vraie pour tout et pour tout , on retrouve les deux relations. Ce ne sont pas les seules relations entre ces vecteurs, si on fait la somme ou la diffrence, on trouve dautres relations et Il reste montrer que dessus avec et alors { 8 est libre, ce qui est quasi vident puisquil suffit de refaire le calcul ci{ , cela montre que est libre.

Espaces Vectoriels Allez : Exercice 6 Correction exercice 7. Daprs lexercice prcdent. il existe , {

Pascal lain

et {

tels que {

{ ( On peut constater que les composantes de Allez : Exercice 7 Correction exercice 8. 1. Attention, ici , , , et

( ) vrifient

et sont des vecteurs. Oui videmment, sinon { {

2. Une sous famille dune famille libre est libre. 3. Il existe une combinaison linaire non identiquement nulle de ces trois vecteurs, la famille est lie. 4. { {

La famille est libre. 5. Il y a trois vecteurs dans le plan donc ces trois vecteurs forment une famille lie, en rajoutant cela ne change rien, la famille est lie. Allez : Exercice 8 Correction exercice 9. Comparer deux ensembles signifie que lon doit trouver si lun est inclus dans lautre (ou rciproquement) ou si les ensemble sont gaux. On va dabord caractriser laide dune (ou plusieurs) quation cartsienne, ensuite il sera simple de savoir si les vecteurs qui engendrent sont dans . il existe , , rels tels que

{ , , sont donns par les quations { ,

{ et donc }

Cela montre que 9

Espaces Vectoriels

Pascal lain

Manifestement car les deux vecteurs qui engendrent ne sont pas colinaires (donc ils forment une base de ). Si on en savait plus on saurait que , mais on nest pas cens le savoir. Il faut montrer que les trois vecteurs qui engendrent sont libres, ils formeront une base et la dimension de sera . On reprend calcul de avec On trouve { Cest bon, . { Autrement dit Allez : Exercice 9 Correction exercice 10. 1. Cette famille est lie. 2. Si ( ( ) ( ) ) ( ( ) ) est inclus dans mais nest pas gal { {

{ Donc et on en dduit que pour tout La famille est libre. Si

},

La famille est lie Pour sen convaincre, on pourra regarder plus prcisment les cas 3.

et

{ La famille est libre. Allez : Exercice 10 Correction exercice 11.

Donc , or et ne sont pas proportionnels donc est une base de mme et ne sont pas proportionnels donc est une base de et 10

et .

, de

Espaces Vectoriels Jai pass sous silence que gnratrice de . est une famille gnratrice de { Il y a dautre faon de faire, par exemple en trouvant pour ces espaces. Allez : Exercice 11 Correction exercice 12. On cherche , , et et que

Pascal lain est une famille

une quation cartsienne caractrisant

et

tel que : { {

{ { La rponse est oui. Allez : Exercice 12 Correction exercice 13. 1. Premire mthode Dabord on remarque que Donc ( Et On a bien ( Deuxime mthode On cherche une (ou plusieurs) quation cartsien caractrisant il existe et tels que { ( ) )

que )

et que

{ Donc { }

Donc et une base et donc

, ne sont pas colinaires, ils forment une famille libre et gnratrice de , cest , et ne sont pas colinaires, ils forment une famille libre de 11

Espaces Vectoriels ( , donc ( ) ( On a par consquent 2. ) ) , mais et comme donc

Pascal lain

, on a alors

3. Le tout est de savoir si Or au 2. on a vu que Si Par consquent ( 4. Premire mthode ( ) En effet Deuxime mthode si on na pas vu que

donc ? alors

ce qui est faux, donc )

( Daprs la premire question. Donc ( ( Pour les mmes raisons que dans la premire mthode. 5. ( ( Comme et ) ( ( et ne sont pas colinaires, ils forment une base de ) )) ) )

Il reste vrifier que lintersection de ces sous-espaces vectoriels est rduite au vecteur nul, ce qui ) est libre (mais alors comme le revient au mme que de montrer que ( nombre de vecteurs est on pourrait en dduire cette famille est une base de ce qui suffit prouver que la somme de ces deux sous-espaces vectoriels est directe et quelle vaut ). { Cest quasiment vident. La famille est libre, elle a donc Autre mthode ( ( Comme et ) ( ( et ne sont pas colinaires, ils forment une base de 12 ) )) ( ) {

vecteurs dans un espace vectoriel de dimension , cest une base de

Espaces Vectoriels (, cest pareil) A la question 1) on a montr que

Pascal lain

{ } Il ny a qu montrer que les composantes de et de ne vrifient pas ces quations (cest vident) pour en dduire que et que et que par consquent { } La somme des dimensions valant (voir ci-dessus) la somme est directe et vaut Allez : Exercice 13 Correction exercice 14. 1. ( ) ( ) et donc la somme des dimensions nest pas , ces espaces sont peut-tre en somme directe mais cette somme nest pas , ils ne sont donc pas supplmentaires dans . ( ) Remarque : en fait car et ne sont pas colinaires. 2. Dabord on va regarder si la famille est libre, si cest le cas la rponse sera non car la dimension de cet espace sera et celle de est manifestement , donc la somme des dimensions sera . {

{ est une famille libre qui engendre , cest donc une base de cet espace donc ( ) , comme et ne sont pas proportionnels, est une famille libre ( ) qui engendre , cest donc une base de cet espace et . ( ) ( ) Donc ces espace ne sont pas supplmentaires dans . 3. et ne sont pas colinaires donc est une famille libre qui engendre , cest une ( ) base de cet espace et . Manifestement , , et ne sont pas colinaires donc est une famille libre qui engendre cest ( ) donc une base de cet ensemble et . ( ) ( ) Il reste montrer que lintersection de ces espaces est rduite au vecteur nul. Ce coup-ci je vais dtailler un peu plus. Soit , il existe , , et rels tels que : Ce qui entraine que Cela montre que est libre. Rsultat que lon utilise sans avoir le montrer. Mais ici, si on montre que la famille est libre, comme elle a vecteurs, cela montrera que cest une base de et que Mais dans cet exercice il fallait quand montrer que On y a va :

13

Espaces Vectoriels

Pascal lain

{ { on a : }

Donc et Comme la somme des dimensions est Allez : Exercice 14 Correction exercice 15. 1. Soit Comme

et soit

, pour tout

est un sous-espace vectoriel de Soit ,

. , donc

et de . 2.

ne sont pas proportionnels, ils forment une famille libre et gnratrice de , cest une base

{ La famille est libre. Premire mthode Si alors ils existent et rels tels que lie, ce qui est faux, donc Deuxime mthode

, ce qui signifie que

est

Les deux dernires lignes montrent que ce nest pas possible, par consquent 3. , . 4. { { { { 14 {

Espaces Vectoriels {

Pascal lain

{ Donc si on pose 5. , donc est lie {

{ La famille est lie par la relation Ce qui montre bien que Allez : Exercice 15 Correction exercice 16. 1. Premire mthode Soient rels, et

, on a

et , ce qui entraine que

. Pour tout

et

Do, , ce qui achve de montrer que est un sous-espace vectoriel de . Deuxime mthode Comme , ce qui montre que ( ) Et que par consquent est un espace vectoriel. 2. Premire mthode. Soit , dune part car et il existe et , rels tels que car . Cette dernire galit scrit aussi { Par consquent { { {

{ Cela montre quil existe tel que

15

Espaces Vectoriels Autrement dit si on pose , Deuxime mthode On cherche une ou plusieurs quations caractrisant

Pascal lain

{ { Donc Ensuite on cherche lintersection { }

{ ( )

Par consquent

On trouve le mme rsultat. Troisime mthode On cherche une quation du plan (parce que lon se doute bien que cest un plan). Un vecteur orthogonal ce plan est dont les coordonnes sont ( Et lensemble des vecteurs ) ( ) ( ) ( )

orthogonaux ce vecteur vrifient

Puis on finit comme dans la deuxime mthode. { }, on na pas 3. . Ou alors Allez : Exercice 16 Correction exercice 17. 1. { { Donc ce qui montre que

, si on a montr que

et

taient des plans.

est un sous-espace vectoriel de 16

Espaces Vectoriels Autre mthode { Soient et , on a { et {

Pascal lain

{ Ce qui montre que Et finalement est un sous-espace vectoriel de . 2. { } est une famille gnratrice de , ce vecteur est non nul, cest une base de , bref engendre par le vecteur . 3.

est la droite

et ne sont pas proportionnels, ils forment une famille libre de donc . donc par consquent . On dduit de cela que et que par suite la famille { } est libre (dans ) deux lments, cest une base de . 4. et { puisque cette famille a trois lments) 5. { } est une base de , { } est une base de 6. On cherche tels que { { { { } est libre donc { et { } est libre (cest une base de par consquent ,

} est une base de

Allez : Exercice 17 Correction exercice 18. Premire partie 1. { { {

Donc 2. nest pas le vecteur nul et engendre , cest une base de et Soit car les composantes de ne vrifient pas les quations caractrisant . Donc si et seulement sils existent et rels tels que : { Donc { 17 { } {

, est libre.

Espaces Vectoriels Soit caractrisant , et

Pascal lain car les composantes de ne vrifient pas les quations est libre donc est libre. si et seulement sils existent , et rels tels que : { {

{ Donc { Soit , caractrisant et quatre vecteurs, cest une base de Allez : Exercice 18 Deuxime partie 3. Soient et } car les composantes de est libre donc .

ne vrifient pas l quation est libre, comme cette famille a

donc et

. , on a alors . Soient et deux rels.

Donc 4. Donc

est un sous-espace vectoriel de

, et Il reste montrer que cette famille est libre :

est une famille gnratrice de .

{ Cette famille est bien libre, cest une base de . 5. et donc Comme , On a alors . Allez : Exercice 18 Troisime partie 6. Comme , . Comme , Comme , { Donc 7. Soit est une famille libre dans un espace de dimension 3 ( avec

. . { { ), cest une base de .

18

Espaces Vectoriels

Pascal lain

{ Donc pour tout Allez : Exercice 18 Correction exercice 19. 1. Soient Pour tout et rels : avec

donc et

. alors

Donc est un sous-espace vectoriel de . { {

et sont deux vecteurs non colinaires, ils forment une famille libre qui engendre , cest une base de , donc . 2. donc , par consquent { }, comme On a Allez : Exercice 19 Correction exercice 20. 1. { {

et sont deux vecteurs non proportionnels, ils forment une famille libre qui engendre , cest une base de , par consquent . 2. Il est clair que donc la famille est lie. 19

Espaces Vectoriels ( )

Pascal lain

et sont deux vecteurs non colinaires, ils forment une famille libre qui engendre , cest une base de , donc . Attention certain dentre vous on crit ne sont pas proportionnels donc est une famille libre, cest compltement faux, ce rsultat est vrai pour deux vecteurs. 3. il existe et rels tels que { {

{ Donc { } 4. Donc la famille est une famille gnratrice de . Remarques : a. La rponse est bonne aussi. b. On pouvait penser montrer que tait libre (cest le cas) mais cest totalement inutile (si on avait demand de trouver une base alors l, oui, il fallait montrer que cette famille tait libre). Toutefois de montrer que cette est libre permettait de montrer que , parce que si une base de , colle une base de donne une famille libre, on a , et comme est une famille libre de vecteurs, cest aussi une base de , autrement dit . Ce nest pas l peine den crire autant, il suffit de dire que puisque est une base de (libre plus vecteurs) alors . Mais il y avait beaucoup plus simple pour montrer que (voir question 5)). c. Attention si on crit ne sont pas proportionnels donc est une famille libre, cest compltement faux, ce rsultat nest vrai que pour deux vecteurs. d. Regardons ce que lon peut faire et ne pas faire cest bon. Mais ensuite il faut simplifier correctement

Et l on retombe sur une situation habituelle, comme

est tout seul, on peut le simplifier partout :

On peut ventuellement se servir de cela pour montrer que (il reste dire que la somme des dimension de et de est ) mais ce nest pas ce qui est demand. 5. 20

Espaces Vectoriels

Pascal lain

{ Donc { } Par consquent Autre mthode : On aurait pu montrer que Allez : Exercice 20 Correction exercice 21. 1. { { Donc {

tait une famille libre.

On pose et Ces deux vecteurs engendrent , ils ne sont pas proportionnels, donc ils forment une famille libre, par consquent est une base de . 2. { Donc On pose et Ces deux vecteurs engendrent , ils ne sont pas proportionnels, donc ils forment une famille libre, par consquent est une base de . 3. Premire mthode { { {

{ Donc Cela montre que On na pas Deuxime mthode On rappelle que { Cela nentraine pas que . est une famille lie ce nest pas une base de 4. 21

est une base de {

. {

Espaces Vectoriels

Pascal lain

{ En faisant la diffrence des lignes et , on a , le reste sen dduit . est une famille libre dans un espace vectoriel de dimension , cest une base de . 5. Une base de colle une base de est une base de donc on a . Allez : Exercice 21 Correction exercice 22.

Donc ( Est-ce que la famille suivant : )

est libre, il ny a pas moyen den tre sur sauf en faisant le calcul

{ { Cette famille est libre, cest une sous-famille libre de Allez : Exercice 22 Correction exercice 23. 1. { { {

qui engendre .

et } est une famille gnratrice de , et dautre part { } est une ce qui entraine que { famille libre car ces vecteurs ne sont pas proportionnels, donc { } est une base de . 2. Soit car les composantes de ne vrifient pas les quations caractrisant . { } est libre dans et } est libre. donc {

On pose

{ Donc { 22 }

Espaces Vectoriels Soit , { } est libre et base de . Allez : Exercice 23 Correction exercice 24. 1. car les composantes de ne vrifient pas } est une famille libre, elle a donc {

Pascal lain . lments, cest une

{ { La famille est une famille libre de trois lments dans un espace de dimension 3, cest une base de . 2. On cherche , et (en fonction de , et ) tels que : En reprenant le calcul ci-dessus, il faut rsoudre le systme : { { { 3. On cherche , et (en fonction de , { { et ) tels que : {

{ Ctait dj fait. 4. Il est prfrable dexprimer un tel polynme dans la base , autrement dit on cherche , tels que vrifie , et . , et donc , et donc , et donc Il ny a quun polynme Ensuite, si on veut on peut exprimer dans la base canonique (mais ce nest pas demand dans lnonc) ( Allez : Exercice 24 Correction exercice 25. 1. Le vecteur nul de . Soit et ) ( ) et

est le polynme nul, en , donc et 23

ce polynme vaut , le vecteur nul de .

est dans

Espaces Vectoriels Pour tout et deux rels,

Pascal lain

Donc est un sous-espace vectoriel de . 2. Soit , Donc et sont deux polynmes non proportionnels, ils forment une famille libre qui engendre , cest une base de . . Allez : Exercice 25 Correction exercice 26. 1. Le polynme nul vrifie Soient et deux polynmes de Car et ,

, donc . et soient et deux rels

Car et , Donc , ce qui montre que est un sous-espace-vectoriel de 2. et sont racines de donc il existe tel que Le degr de est , donc il existe deux rels et tels que est une famille gnratrice de , ces polynmes ne sont pas proportionnels, ils forment dond une famille libre et donc une base de . Allez : Exercice 26 Correction exercice 27. Pour , ( ) Pour , ( ) Pour ( Donc Cette famille est libre. Allez : Exercice 26 Correction exercice 28. Premire mthode il existe , et tels que , ) ( ) ( ( )) ( ) ( )

24

Espaces Vectoriels

Pascal lain

Donc Ce qui signifie que vidente donc

, linclusion dans lautre sens linclusion est

Qui est videmment un espace vectoriel de dimension .

Deuxime mthode On cherche savoir si la famille est libre, si cest le cas, il ny a pas grand-chose dire sur sinon que cest un espace de dimension .

Pour ( ) Pour Donc et particulire, on trouve . ( ) ( ) ( ) ( )

Ensuite, on a beau chercher, pour toutes les valeurs de

Car La famille est donc lie,

et

ne sont pas proportionnelles donc la famille est libre et

( ) Et . Remarque la famille ne ressemble pas trop la famille rappelle quil y a une infinit de base. Allez : Exercice 28 Correction exercice 29. Soit la fonction nulle Donc Soient

mais dans un plan, je

et deux fonctions de . On a pour tout et ( ( ) ( ) ( ) )

Pour tout rels

Ce qui montre que . Par consquent est un sous-espace vectoriel de lespace vectoriel des fonctions. Allez : Exercice 29 Correction exercice 30. 1. Pour (Hors programme) 25

Espaces Vectoriels Dmontrons dabord que si On pose , , et et sont non nuls) divise { et et tels que alors

Pascal lain

Daprs le thorme de Gauss, (si et est premier avec divise . { } Si alors et ce qui nest pas possible. Si alors et , ce qui nest pas possible. Donc et , par consquent . La seule solution de est Soient et deux rationnels non nuls. Donc , (et bien sur et rien nempche de prendre et (avec Montrons que On pose et , Donc et daprs la premire partie Donc et la famille est libre. Pour Avec , et On pose Soit O , et , , , et et sont trois entiers premiers entre eux. et )

donc

et

, ce qui est impossible si

et

On pose et et Donc et Si , , daprs le thorme de Gauss, divise et est premier avec (car , et sont trois entiers premiers entre eux entraine et sont premiers entre eux) donc divise , par consquent { }, soit alors ce qui est impossible (le premier terme est paire et le second est impair). Le seul cas possible est , soit alors ce qui est impossible aussi puisque nest pas un carr, dans ce cas aussi la seule solution est . Si , , on raccourcit la dmonstration, toujours avec Gauss, divise donc si , est impossible et si alors ce qui est aussi impossible, bref, la seule solution est l encore Tout cela pour dire que entraine . Par consquent , comme , et et que les sont non nuls, alors et , ce qui montre bien que est une famille -libre. 2. ( { Si on pose et { 26 ( ( ) ) ) ( ( ( ) ) ) { ( ( ) ) ( ( ) )

( ) , daprs la question prcdente :

Espaces Vectoriels Comme dans lexercice prcdent on montre que trs fatigu). Donc { ( ( ) est vrifi pour ) Donc et , comme et La famille est -libre. ( ) ( ) ( ( ( ( ) ( ( )( ) est une famille { , on a )( )) )) ( -lie. )

Pascal lain -libre (cest trop long, je suis { et donc . {

Il existe une relation entre ces deux vecteurs donc la famille est 3. a. Pour tout et rels

{ { est -libre { {

( ) Il existe une relation entre ces deux vecteurs donc la famille est -lie. b. Pour tout , , et rels { { La famille est libre. Si on sait que la dimension de sur est , cest fini, parce quune famille libre vecteurs dans un espace vectoriel de dimension est une base. Sinon il est clair que pour tout vecteur de , La famille est gnratrice, donc cest une base.

Allez : Exercice 30

27