Petit contrôle d'algèbre linéaire

Jérôme Feret

Description

Niveau: Supérieur, Licence, Bac+3

• redaction

Petit contrôle d'algèbre linéaire Jérôme Feret LIENS (INRIA,ÉNS,CNRS) 3 février 2012 1. Soit E un ensemble et soit : E E Ñ E une loi interne sur E. On suppose qu'il existe deux éléments ?1 P E et ?2 P E de E tels que pour tout élément x P E de E, on ait : (a) ?1 x x ; (b) x ?1 x ; (c) ?2 x x ; (d) x ?2 x. Montrer que ?1 ?2. On a ?1 ?2 ?2 (par (1a), pour x ?2) et ?1 ?2 ?1 (par (1d), pour x ?1). D'où ?1 ?2. l 2. Comment appelle-t-on l'élément ?1 de la question précédente ? ?1 est l'élément neutre de E pour la loi . l 3. La famille pp1, 2q, p2, 1qq de R2 est-elle une base ou non, une famille libre ou liée, une famille génératrice ou non dans le R-espace vectoriel pR2, . , . q ? Donner en une preuve. On donne deux méthodes : Par résolution directe : Soit ?, µ P R tel que ? . p1, 2q . µ .

• famille


• question avec la famille pp1


• qq de r4 dans l'espace vectoriel


• espace de dimension


• résolution directe


• qq de r3 dans l'espace vectoriel


• l4 ?


• l3 ?

Sujets

• Redaction
• Famille

Informations

• Publié par: vehot
• Publié le: 01 février 2012
• Nombre de lectures: 14
• Langue: Français

Extrait

E : E E E E
" E " E E x E E1 2
" x x1
x " x1
" x x2
x " x2
" "1 2
" " " x " " " " x " " "1 2 2 2 1 2 1 1 1 2
"1
" E1
21;2 ; 2;1 R
: :2R R ; ;
:: :
; R 1;2 2;1 0;0
2 0
2 0
2 0
3 0 L L 2L2 2 1
2 0
1
0 L L2 2
3
0 0
2
our)?l?menet#soitouretinMonbleensemrunpSoit(par%((b)1ddes),eptelourune1.q2012.f?vriertrer).D'o?deux3Et(INRIA,?NS,CNRS)(c)?LIENSperetdeux.ldi2.:CommenPt1aapparelle-t-onloil'?l?menptqFaJ?r?meAlorsdesurlaquestionquepr?c?den:te?lin?aired'alg?bre?esttsl'?l?ment$neutrete;dedetr?lepD'o?ourladonneloim?tho:.Parl?solution3.rLactefamilleSoitpppcon),etitquetout(qp?l?men(ppq(a):aitteqqrdeonnePOnest-elle.une:base.ounon,uneOnfamillesupp.Puisl#famille.libre.oseunelibrequ'ildeuxexisteecteursun(d)de;uneDonc:st&base.PpartdeP?Ptelsq?queDonner;en:unepreuvete.OnlibreAinsiouali?e,estunePuis,famillefamilleg?n?ratricedeouvnondansdansespaceledimension,estibase.c'estc'efamilleune1Entculier,-espaceunevg?n?ratrice.ectorielp1;2
2;1
1;2
0; 3
1;2
0;1
1;0
0;1
1;0
0;1
: :3 31;2;3 ; 2;3;4 ; 4;5;6 ; 5;6;7 R R ; ;
4 3
3x;y;z R
: : ::
; ;; R 1;2;3 2;3;4 4;5;6 5;6;7 x;y;z
2 4 5 x
2 3 5 6 y
3 4 6 7 z
2 4 5 x
1 3 4 y 2 x
2 6 8 z 3 x
2 4 5 3 x 2y
3 4 2 x y
2 6 8 z 3 x
2 3 x
3 4 2 x y
0 0 0 z 3 x 2 2 x y
x 2 y z 0
x 1 y 0 z 0
1;0;0 1;2;3 ; 2;3;4 ; 4;5;6 ; 5;6;7
: : :: : :
; ;; 1;0;0 1;2;3 2;3;4 4;5;6
:
5;6;7
2 4 5 1
2 3 5 6 0
3 4 6 7 0
apTRtelssic'estbaseossibledaunequeestae
donneqpp
qppparP:?solutionauraitqueoursaitaspOnremarque:PuisLe:q$e'q&q'q%qql'algorithmeuneParSoitM?meqontientdepclefamil&elarb'estcsione.pc'est?ourq,,li.pdactionestecteurqqn'estlesppfamilunepaqpLpp.
Enqsoitpefamille:qlpppppqcheqerp:eqqpg?n?r.p$D'o?%:si$tr'p&deux'%uneectorielvnecl'espacedansbqapOnquedeimppqqqsedissideepacesp?:unvdanspcteurspqvepasnlaVctenqestmbqppseOrqpqqtel
P.eet,l'absurde,estestEtbas:.$que'p&.'4.%quneqpquestionqvSoitbas:pcherepqravail%q'&cte'dirr$Par::pAlorsatricle.qOnq:'ssi'unepqrouvepdesm?thoqpOnase).pqp
doncesteq(cD'o?:une2 2 4 5 1
1 3 4 2 L L 2L2 2 1
2 6 8 3 L L 3L3 3 1
2 4 5 1
3 4 2 L L2 2
2 6 8 3
2 3 3 L L 2L1 1 2
3 4 1
0 1 L L 2L3 3 2
1;2;3
2;3;4
4;5;6
5;6;7
1;2;3
0; 1; 2
0; 3; 6
0; 4; 8
1;2;3
0;1;2
0; 3; 6
0; 4; 8
1;2;3
0;1;2
0;0;0
0;0;0
1;2;3
0;1;2
3
1;2;3 ; 2;3;4 ; 4;5;6 ; 5;6;7
: :4 41;0;1;0 ; 0;1;0;1 ; 1;1;0;0 R R ; ;
4
Pqpqqg?n?ratriceppfamillqestpdeuxqquelqssipp:derni?reconunfamille%'qp:'n'est&a'$p:ectorielqladiqOrn'estestelleg?n?ratricetssiecteursdePuisD'o?$p&Puis?Onl'algorithmeg?n?ratrice.qg?pM?meecpp?qqpqdel'espacepmontrert?rqep?
g?n?ratricecettefamillepascarneqtienquevdansespaceestdimensiong?n?ratrice.ssilappp:qpp'Et:q?p$:qsaitpq'p&arqqpasqn?ratrice.Cette5.lequestionontivnlatre?l?mentspunacdeg?n?ratriceestpdonc'?sqppg?n?rpeqcnqqpqunedansase.vdonnepuqm?thopasple'.qfamilpceqt%oispdanspespqepdimension,qelabsurde.nestequitqasatricete'estestasg?n?ratricebssiOndepxCedes%ourerlib:qParp?solutionlarDoncctefamille3n'est: :: :
; ; R 1;0;1;0 0;1;0;1 1;1;0;0 0;0;0;0
0
0
0
0
0 0 0
1;0;1;0 ; 0;1;0;1 ; 1;1;0;0
1;0;1;0
0;1;0;1
1;1;0;0
1;0;1;0
0;1;0;1
0;1; 1;0
1;0;1;0
0;1;0;1
0;0; 1; 1
1;0;1;0
0;1;0;1
0;0;1;1
1;0;0; 1
0;1;0;1
0;0;1;1
41;0;1;0 ; 0;1;0;1 ; 1;1;0;0 ; 0;0;1;1 R
: :4R ; ;
; ;; R
: : :: : : :
1;0;1;0 0;1;0;1 1;1;0;0 0;0;1;1 0;0;0;0 :
0
0
0
0
0
0
0 L L L3 3 1
0
q:estOnqqqest$libre.'Orcetteqderni?reqfamilleest%libre,etcar.surlibretoutetelligne,libreilpyqapuneqcoloneo?toutesles&autresPuis,lignes,son'tnulles.ltel6.PM?me:questionpavqeclaqfamillepppAlorssait$que':''pssiqqqpauraitp'q'pqppq,p:'q'pssipplibrepestl'algorithmequeqpppqqueParpOrpestqlibre.qestqqqpqqpdepp