MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
Correction des exercices
Module 1 séquence 1
Corrigé de l’exercice 1 Démontrons que l’hypothèse de commutativité de la LCI + dans la définition d’un espace vectoriel se déduit des autres propriétés. Soit (E, +, ·) un ensemble muni d’une LCI + et d’une LCE · vérifiant toutes les propriétés d’un espace vectoriel sur R sauf la commutativité de +. Pour tout ~x et pour tout ~y de E nous avons : D’une part, (1 + 1) · (~x + ~y ) = (1 + 1) · ~x + (1 + 1) · ~y = 1 · ~x + 1 · ~x + 1 · ~y + 1 · ~y = ~x + ~x + ~y + ~y D’autre part, (1 + 1) · (~x + ~y ) = 1 · (~x + ~y ) + 1 · (~x + ~y ) = (~x + ~y ) + (~x + ~y ) = ~x + ~y + ~x + ~y Nous obtenons donc, pour tout ~x de E et pour tout ~y de E : ~x + ~x + ~y + ~y = ~x + ~y + ~x + ~y Nous avons alors :
2 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
λ · ~x = ~0E
=⇒ λ−1 · (λ · ~x) = λ−1 · ~0E car λ 6= 0
=⇒ (λ−1 λ) · ~x = ~0E
=⇒ 1 · ~x = ~0E
=⇒ ~x = ~0E
La réciproque est donc démontrée.
Ainsi par double implication, nous avons démontré l’équivalence demandée.
Ici, en prenant λ = 5 6= 0 et ~x = (3, 0) 6= ~0E nous obtenons : 5 · (3, 0) = (0, 5 × 0) = (0, 0) = ~0E . Nous avons donc trouvé un vecteur non nul et un réel non nul tel que le produit de ce réel par ce vecteur soit le vecteur nul. Donc (E, +, ·) n’est pas un espace vectoriel sur R.
3 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
Corrigé de l’exercice 3 Nous allons vérifier les 8 propriétés qui définissent un espace vectoriel.
• Associativité de la LCI ⊕
(∀x ∈ R∗+ ), (∀y ∈ R∗+ ), (∀z ∈ R∗+ ) :
(x ⊕ y) ⊕ z = (x × y) × z
= x × (y × z) (associativité de × dans R)
= x ⊕ (y ⊕ z)
• Commutativité de la LCI ⊕
(∀x ∈ R∗+ ), (∀y ∈ R∗+ ) :
x⊕y =x×y
= y × x (commutativité de × dans R)
=y⊕x
• Existence d’un élément neutre pour la LCI ⊕
(∀x ∈ R∗+ ) :
x⊕1=x×1=x
Donc 1 est un élément neutre pour la LCI ⊕.
4 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Existence d’un élément symétrique pour la LCI ⊕
(∀x ∈ R∗+ ) :
1 1 x⊕ =x× =1 x x
1 Donc tout élément x de R∗+ admet un symétrique, x−1 = , pour la LCI ⊕. x
Nous venons donc de vérifier que R∗+ , ⊕ a une structure de groupe commutatif.
• Vérification de la propriété ¬
(∀λ ∈ R), (∀µ ∈ R), (∀x ∈ R∗+ ) :
(λ + µ) · x = xλ+µ
= xλ × xµ
= xλ ⊕ xµ
=λ·x⊕µ·x
• Vérification de la propriété
(∀λ ∈ R), (∀x ∈ R∗+ ), (∀y ∈ R∗+ ) :
λ · (x ⊕ y) = (xy)λ
= xλ y λ
=λ·x⊕λ·y
5 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Vérification de la propriété ®
(∀λ ∈ R), (∀µ ∈ R), (∀x ∈ R∗+ ) :
λ · (µ · x) = λ · xµ
= (xµ )λ
= xµλ
= xλµ
= (λµ) · x
• Vérification de la propriété ¯
(∀x ∈ R∗+ ) :
1 · x = x1 = x
Ainsi R∗+ , ⊕, · a bien une structure d’espace vectoriel sur R.
6 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
Corrigé de l’exercice 4 Nous allons vérifier les 8 propriétés qui définissent un espace vectoriel. Nous prendrons dans la suite, pour des raisons de commodité, les notations suivantes : n m p X X X k k P = ak X , Q = bk X et R = ck X k . k=0 k=0 k=0
• Associativité de la LCI +
(∀P ∈ R[X]), (∀Q ∈ R[X]), (∀R ∈ R[X]) :
p n m ! X X X k k (P + Q) + R = ak X + bk X + ck X k k=0 k=0 k=0 max(n,m) p X X = (ak + bk )X k + ck X k k=0 k=0 max(n,m,p) X = ((ak + bk ) + ck ) X k k=0 max(n,m,p) X = (ak + (bk + ck )) X k (associativité de + dans R) k=0 n max(m,p) X X = ak X k + (bk + ck )X k k=0 k=0
= P + (Q + R)
7 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Commutativité de la LCI +
(∀P ∈ R[X]), (∀Q ∈ R[X]) :
n X m X P +Q= ak X k + bk X k k=0 k=0 max(n,m) X = (ak + bk )X k k=0 max(n,m) X = (bk + ak )X k (commutativité de + dans R) k=0 m X n X k = bk X + ak X k k=0 k=0
=Q+P
• Existence d’un élément neutre pour la LCI +
Notons ~0R[X] le polynôme nul, c’est à dire le polynôme dont tous les coefficients sont nuls. X n Xn ~ (∀P ∈ R[X]), P + 0R[X] = (ak + 0)X =k ak X k = P k=0 k=0
Donc ~0R[X] est un élément neutre pour la LCI +.
• Existence d’un élément symétrique pour la LCI +
n X Notons −P le polynôme défini par −P = −ak X k k=0 n X n X (∀P ∈ R[X]), P + (−P ) = (ak + (−ak ))X = k 0X k = ~0R[X] k=0 k=0
Donc tout élément P de R[X] admet un symétrique, −P , pour la LCI +.
Nous venons donc de vérifier que (R[X], +) a une structure de groupe commutatif.
8 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Vérification de la propriété ¬
(∀λ ∈ R), (∀µ ∈ R), (∀P ∈ R[X]) :
n X (λ + µ) · P = ((λ + µ)ak )X k k=0 n X = (λak + µak )X k (distributivité dans R) k=0 n X n X k = (λak )X + (µak )X k k=0 k=0
=λ·P +µ·P
• Vérification de la propriété
(∀λ ∈ R), (P ∈ R[X]), (∀Q ∈ R[X]) :
max(n,m) X λ · (P + Q) = (λ(ak + bk ))X k k=0 max(n,m) X = (λak + λbk )X k (distributivité dans R) k=0 n X m X k = (λak )X + (λbk )X k k=0 k=0
=λ·P +λ·Q
9 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Vérification de la propriété ®
(∀λ ∈ R), (∀µ ∈ R), (∀P ∈ R[X]) :
n X λ · (µ · P ) = λ · (µak )X k k=0 n X = (λ(µak ))X k k=0 n X = ((λµ)ak )X k (associativité de × dans R) k=0
= (λµ) · P
• Vérification de la propriété ¯
(∀P ∈ R[X]) :
n X n X k 1·P = (1 × ak )X = ak X k = P k=0 k=0
Ainsi (R[X], +, ·) a bien une structure d’espace vectoriel sur R.
10 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
Corrigé de l’exercice 5 E muni de ces deux lois ne peut pas avoir une structure de R-espace vectoriel. En effet, la première loi n’est pas une loi de composition interne. Pour le voir, considérons par exemple : f1 (x) = x2 + 2x + 1 ∈ E et f2 (x) = −x2 + 3x + 5 ∈ E. Nous obtenons alors :
Ainsi, E muni de ces deux lois, n’est pas un R-espace vectoriel.
11 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
Corrigé de l’exercice 6 Nous allons vérifier les 8 propriétés qui définissent un espace vectoriel. Nous prendrons dans la suite, pour des raisons de commodité, les notations suivantes : u = (un )n∈N = (un )n , v = (vn )n∈N = (vn )n et w = (wn )n∈N = (wn )n
• Associativité de la LCI +
(∀u ∈ E), (∀v ∈ E), (∀w ∈ E) :
(u + v) + w = (un + vn )n + (wn )n
= ((un + vn ) + wn )n
= (un + (vn + wn ))n (associativité de + dans R)
= (un )n + (vn + wn )n
= u + (v + w)
• Commutativité de la LCI +
(∀u ∈ E), (∀v ∈ E) :
u + v = (un + vn )n
= (vn + un )n (commutativité de + dans R)
= (vn )n + (un )n
=v+u
• Existence d’un élément neutre pour la LCI +.
Notons ~0E la suite nulle, c’est à dire la suite dont tous les termes sont nuls.
(∀u ∈ E), u + ~0E = (un + 0)n = (un )n = u
Donc ~0E est un élément neutre pour la LCI +.
12 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Existence d’un élément symétrique pour la LCI +
Notons −u la suite défini par −u = (−un )n .
(∀u ∈ E), u + (−u) = (un + (−un ))n = (0)n = ~0E
Donc tout élément u de E admet un symétrique, −u, pour la LCI +.
Nous venons donc de vérifier que (E, +) a une structure de groupe commutatif.
• Vérification de la propriété ¬
(∀λ ∈ R), (∀µ ∈ R), (∀u ∈ E) :
(λ + µ) · u = ((λ + µ)un )n
= (λun + µun )n (distributivité dans R)
= (λun )n + (µun )n
=λ·u+µ·u
• Vérification de la propriété
(∀λ ∈ R), (u ∈ E), (∀v ∈ E) :
λ · (u + v) = (λ(un + vn ))n
= (λun + λvn )n (distributivité dans R)
= (λun )n + (λvn )n
=λ·u+λ·v
13 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
• Vérification de la propriété ®
(∀λ ∈ R), (∀µ ∈ R), (∀u ∈ E) :
λ · (µ · u) = λ · (µun )n
= (λ(µun ))n
= ((λµ)un )n (associativité de × dans R)
= (λµ) · u
• Vérification de la propriété ¯
(∀u ∈ E) :
1 · u = (1 × un )n = (un )n = u
Ainsi (E, +, ·) a bien une structure d’espace vectoriel sur R.
14 MOOC : Algèbre linéaire de 1ère année d’enseignement supérieur
Corrigé de l’exercice 7 i=n Y Notons E l’ensemble Fi avec n ∈ N∗ , (F1 , +, ·), . . . , (Fn , +, ·) des espaces vectoriels sur R. i=1 Il est à noter, que les symboles + et · représentent les diverses LCI et LCE selon le contexte. Nous avons donc une même notation pour des lois différentes. Nous allons vérifier les 8 propriétés qui définissent un espace vectoriel. Nous prendrons dans la suite, pour des raisons de commodité, les notations suivantes : x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) et z = (z1 , . . . , zn ).
• Associativité de la LCI + (∀x ∈ E), (∀y ∈ E), (∀z ∈ E) :
![[Mat][ME]Outils_mathematiques (1)](https://imgv2-2-f.scribdassets.com/img/document/492605340/149x198/d3d79d2108/1611949160?v=1)
