‫ور ا زا ر ا د راط ا‬ ‫ا‬

Département de Mathématiques ‫وا ثا‬ ‫وزارة ا م ا‬

Faculté des Sciences
Université Sétif 1

Par l'enseignant: F. Gherbi

1ère Année L.M.D – Maths-Info.

2017/2018 (Semestre 2)
1ère Année L.M.D – Maths-Info.
Matière : Algèbre 2

‫ ر ـ‬.‫ذ ׃ ف‬
La base canonique de IRn et C/ n

‫ا‬
Espaces vectoriels.

La base canonique de l'espace vectoriel IR n sur le corps IR

Nous avons IR n = { ( x1 , x2 , ... , xn ) / x1 , x2 , .. , xn ∈ IR }
= { ( x1 , 0, ..., 0) + (0, x2 , 0, ..., 0) + L + (0, 0, ..., 0, xn ) / x1 , x2 , .., xn ∈ IR }
= { x1 (1, 0, ..., 0) + x2 (0,1, 0, ... , 0) + L + xn (0, 0, ..., 0,1) / x1 , x2 , .., xn ∈ IR }
= { x1 e1 + x2 e2 + L + xn en / x1 , x2 , .., xn ∈ IR }

La base canonique
= Vect (e1 , e2 , .. , en ) .
Département de Mathématiques

Où e1 = (1, 0, .., 0) , e2 = (0,1, 0, .., 0) , … , ei = (0, .. , 0,1, 0, .., 0) , … , en = (0, 0, .. , 0,1) .

‫ةا‬
‫ا‬
i-ème composante

Nous avons les vecteurs e1 , e2 , .., en sont linéairement indépendants; car :

∀ λ1 , λ2 , .., λn ∈ IR : λ1e1 + λ2e2 + L + λn en = (0, 0, .., 0)

⇒ λ1 (1, 0, .., 0) + λ2 (0,1, 0, .. , 0) + L + λn (0, 0, .., 0,1) = (0, 0, .., 0)
⇒ (λ1 , 0, .., 0) + (0, λ2 , 0, .., 0) + L + (0, 0, .., 0, λn ) = (0, 0, .., 0)
⇒ (λ1 , λ2 , .. , λn ) = (0, 0, .., 0)
⇒ λ1 = λ2 = L = λn = 0 .

Finalement; comme IR n = Vect (e1 , e2 , .. , en ) et e1 , e2 , .., en sont libres, alors la famille de vecteurs
Faculté des Sciences

{e1 , e2 , ..., en } est une base de

IR n ; dite base canonique de IR n ; donc dim IR n = n .
Notons que cette base on l'utilise très souvent.

Par exemple :
La base canonique de IR 2 est { e1 = (1, 0), e2 = (0,1)}; donc dim IR 2 = 2 .
La base canonique de IR 3 est { e1 = (1, 0, 0), e2 = (0,1, 0), e3 = (0, 0,1)}; donc dim IR 3 = 3 .
La base canonique de IR 4 est { e1 = (1, 0, 0, 0), e2 = (0,1, 0, 0), e3 = (0, 0,1, 0), e4 = (0, 0, 0,1)}; donc dim IR 4 = 4 .

Nous avons que ∀ ( x1 , x2 , .., xn ) ∈ IR n : ( x1 , x2 , .. , xn ) = x1 e1 + x2 e2 + L + xn en

Les coordonnées dans la base canonique.

Université Sétif 1

La base canonique de l'espace vectoriel C/ n sur le corps C/

C'est la même base trouvée dans (même travail que ); i.e. est { e1 , e2 , ..., en }; donc dimC/ n = n .

101
 La base canonique de l'espace vectoriel C/ n sur le corps IR
Nous avons :
1ère Année L.M.D – Maths-Info.

C/ n = { ( z1 , z2 ,..., zn ) / z1 , z2 ,.., zn ∈ C/ }
= { ( x1 + i y1 , x2 + i y2 ,.., xn + i yn ) / xk , yk ∈ IR }
= { ( x1 + i y1 , 0,.., 0) + (0, x2 + i y2 , 0,.., 0) + L + (0, 0,.., 0, xn + i yn ) / xk , yk ∈ IR }
= { ( x1 , 0,.., 0) + (i y1 , 0,.., 0) + ( x2 , 0,.., 0) + (i y2 , 0,.., 0) + L + ( xn , 0,.., 0) + (i yn , 0,.., 0) / xk , yk ∈ IR }
= { x1 (1, 0,.., 0) + y1 (i, 0,.., 0) + x2 (0,1, 0,.., 0) + y2 (0, i, 0,.., 0) + L + xn (0, 0,.., 0,1) + yn (0, 0,.., 0, i) / xk , yk ∈ IR}
= { x1 e1 + y1 e1′ + x2 e2 + y2 e′2 + L + xn en + yn en′ / xk , yk ∈ IR }
= Vect( e1 , e1′, e2 , e′2 , .., en , en′ ) .

e1 = (1, 0, .. , 0) , e1′ = (i, 0, .. , 0) = i e1

e = (0,1, 0, .. , 0) , e′ = (0, i, 0, .. , 0) = i e
 2 2 2
Où 
M M M M
en = (0, 0, .. , 0,1) , en′ = (0, 0, .. , 0, i ) = i en
Département de Mathématiques

Nous avons les vecteurs e1 , e1′ , e2 , e′2 , .., en , e′n sont linéairement indépendants; car :
∀ λ1 , λ1′, λ2 , λ2′ , .., λn , λn′ ∈ IR :
λ1e1 + λ1′e1′ + λ2 e2 + λ2′e2′ + L + λn en + λn′ en′ = (0, 0, .., 0)
⇒ λ1 (1, 0, .., 0) + λ1′(i, 0, .., 0) + λ2 (0,1, 0, .., 0) + λ2′ (0, i, 0, .., 0) + L + λn (0, 0, .., 0,1) + λn′ (0, 0, .., 0, i ) = (0, 0, .., 0)
⇒ (λ1 , 0, .., 0) + (iλ1′, 0, .., 0) + (λ2 , 0, .. , 0) + (iλ2′ , 0, .. , 0) + L + (λn , 0, .., 0) + (iλn′ , 0, .., 0) = (0, 0, .., 0)
⇒ (λ1 + iλ1′, 0, .. , 0) + (0, λ2 + iλ2′ , 0, .., 0) + L + (0, 0, .., 0, λn + iλn′ ) = (0, 0, .., 0)
⇒ (λ1 + iλ1′, λ2 + iλ2′ , .., λn + iλn′ ) = (0, 0, .., 0)
⇒ λ1 + iλ1′ = λ2 + iλ2′ = L = λn + iλn′ = 0
⇒ λ1 = λ1′ = λ2 = λ2′ = L = λn = λn′ = 0 .

Finalement; comme C/ n = Vect (e1 , e1′, e2 , e2′ , .. , en , en′ ) et e1 , e1′ , e2 , e′2 , .., en , e′n sont libres, alors la famille
de vecteurs { e1 , e1′ , e2 , e′2 , .., en , e′n } est une base de C/ n ; dite base canonique de C/ n ; donc dimC/ n = 2n .
Faculté des Sciences

Par exemple :
La base canonique de C/ 2 est { e1 = (1, 0), e1′ = (i, 0), e2 = (0,1), e′2 = (0, i )} ; donc dimC/ 2 = 4 .
La base canonique de C/ 3 est { e1 = (1, 0, 0), e1′ = (i, 0, 0), e2 = (0,1, 0), e2′ = (0, i, 0), e3 = (0, 0,1), e3′ = (0, 0, i )};
donc dimC/ 3 = 6 .

Nous avons que ∀ ( z1 , z 2 , .. , z n ) ∈ C/ n : ( z1 , z 2 , .., z n ) = x1 e1 + y1 e1′ + x2 e2 + y2 e2′ + L + xn en + yn en′ ;

où z k = xk + i yk pour tout 1 ≤ k ≤ n .
Les coordonnées dans la base canonique.
Université Sétif 1

L'enseignant: F. Gherbi Fin

202