d eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfle d eterminant det(u;v;w)...

8
eterminant 2D Syst` eme lin´ eaire eterminant 3D eterminant nD Calcul num´ erique eterminant Vincent Nozick Vincent Nozick eterminant 1 / 27 eterminant 2D Syst` eme lin´ eaire eterminant 3D eterminant nD Calcul num´ erique eterminant Introduction : En pratique, le d´ eterminant d’une matrice mesure une surface, un volume, ou un objet de dimension sup´ erieure. Sens originel : etermine l’unicit´ e de la solution d’un syst` eme lin´ eaire. Vincent Nozick eterminant 2 / 27 eterminant 2D Syst` eme lin´ eaire eterminant 3D eterminant nD Calcul num´ erique eterminant et parall´ elogramme Soit le parall´ elogramme d´ efini par u = u x u y et v = v x v y : Le d´ eterminant de la matrice [u|v],not´ e det(u, v), est l’aire de ce parall´ elogramme, affect´ e du signe - si le trajet de u ` a v se fait dans le sens des aiguilles d’une montre. Vincent Nozick eterminant 3 / 27 eterminant 2D Syst` eme lin´ eaire eterminant 3D eterminant nD Calcul num´ erique eterminant Propri´ et´ e: det(uu)=0 λ l’aire d’un parall´ elogramme issu de 2 vecteurs colin´ eaires est nulle. Vincent Nozick eterminant 4 / 27

Upload: others

Post on 15-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Vincent Nozick

Vincent Nozick Determinant 1 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Introduction :En pratique, le determinant d’une matrice mesure une surface, unvolume, ou un objet de dimension superieure.

Sens originel :Determine l’unicite de la solution d’un systeme lineaire.

Vincent Nozick Determinant 2 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant et parallelogramme

Soit le parallelogramme defini par u =

(uxuy

)et v =

(vxvy

):

Le determinant de la matrice [u|v],note det(u,v), est l’aire de ceparallelogramme, affecte du signe − si le trajet de u a v se fait dansle sens des aiguilles d’une montre.

Vincent Nozick Determinant 3 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

det(u, λu) = 0 ∀λ

l’aire d’un parallelogramme issu de 2 vecteurs colineaires est nulle.

Vincent Nozick Determinant 4 / 27

Page 2: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

Alternance

det(u,v) = −det(v,u)

ne tourne pas dans le meme sens pour passer de u a v

Vincent Nozick Determinant 5 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Parallelogramme

L’aire d’un parallelogramme = base × hauteur

Vincent Nozick Determinant 6 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Parallelogramme

Les parallelogramme definis par (u,v) et (u,v + λu) ont la memebase et la meme hauteur, donc la meme surface .

Vincent Nozick Determinant 7 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

det(u,v) = det(u,v + λu) ∀λ

pour une matrice, l’ajout a une colonne d’une combinaison lineaire

des autres colonnes ne changent pas son determinant.

Vincent Nozick Determinant 8 / 27

Page 3: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

Additivite

det(u,v +w) = det(u,v) + det(u,w)

Vincent Nozick Determinant 9 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

det(u, λv) = λ det(u,v)

multiplier une colonne de la matrice par λ

multiplie aussi le determinant par λ.

Vincent Nozick Determinant 10 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

det(u,v +w) = det(u,v) + det(u,w)et

det(λu,v) = λ det(u,v)

Linearite

det(u, λv + µw) = λdet(u,v) + µdet(u,w)

Vincent Nozick Determinant 11 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant

Propriete :

∣∣∣∣ 1 00 1

∣∣∣∣ = 1

Vincent Nozick Determinant 12 / 27

Page 4: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant 2× 2

Soient−→i et

−→j les vecteurs unitaires du referentiel, on a :∣∣∣∣ a bc d

∣∣∣∣ = det(a−→i + c

−→j , b−→i + d

−→j )

det(a−→i + c

−→j , b−→i + d

−→j )

= det(a−→i + c

−→j , b−→i ) + det(a

−→i + c

−→j , d−→j )

= det(a−→i , b−→i ) + det(c

−→j , b−→i ) + det(a

−→i , d−→j ) + det(c

−→j , d−→j )

= abdet(−→i ,−→i ) + cbdet(

−→j ,−→i ) + addet(

−→i ,−→j )+cddet(

−→j ,−→j )

= ad− bc

determinant 2× 2 ∣∣∣∣ a bc d

∣∣∣∣ = ad− bc

Vincent Nozick Determinant 13 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Systeme lineaire

Soit le systeme :

{4x− y = 12x+ 3y = 5

On pose : u =

(42

)v =

(−13

)et b =

(15

)

Le systeme s’ecrit alors : ux+ vy = b

Vincent Nozick Determinant 14 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Systeme lineaire

ux+ vy = b

det(b,v) = det(ux+ vy,v)= x det(u,v) + y det(v,v)= x det(u,v)

⇒ x =det(b,v)

det(u,v)

de meme ...

⇒ y =det(u,b)

det(u,v)

Vincent Nozick Determinant 15 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Systeme lineaire

{4x− y = 12x+ 3y = 5

et u =

(42

)v =

(−13

)et b =

(15

)

x =det(b,v)

det(u,v)y =

det(u,b)

det(u,v)

x =

∣∣∣∣ 1 −15 3

∣∣∣∣∣∣∣∣ 4 −12 3

∣∣∣∣ =8

14y =

∣∣∣∣ 4 12 5

∣∣∣∣∣∣∣∣ 4 −12 3

∣∣∣∣ =18

14

Vincent Nozick Determinant 16 / 27

Page 5: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant 3× 3

Introduction :

Le determinant det(u,v,w) correpond au volume du parallelepipedeissu des vecteurs u, v et w.

Vincent Nozick Determinant 17 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant 3× 3

Proprietes :

• Si au moins deux vecteurs parmi u, v et w sont colineraires oubien si u, v et w sont coplanaire, alors det(u,v,w) = 0.

• Le signe du determinant depend de la “regle de la main gauche”.

Vincent Nozick Determinant 18 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant 3× 3

Avec les mains :Le determinant d’une application lineaire est un nombre qui representeun facteur multiplicatif pour les volumes.

• Cube jaune de volume 1 ⇒ volume du cube vert = valeurabsolue du determinant de l’application.

• La deuxieme application a un determinant nul⇒ aplatissementdes volumes.

Le signe du determinant est positif s’il est possible de deformercontinument le cube jaune pour obtenir le vert. Il est negatif s’il estnecessaire d’y appliquer en plus une symetrie.

Vincent Nozick Determinant 19 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant 3× 3

Calcul :

M =

m11 m12 m13

m21 m22 m23

m31 m32 m33

det(M) = m11.m22.m33 −m11.m32.m23

− m21.m12.m33 +m21.m32.m13

+ m31.m12.m23 −m31.m22.m13

Vincent Nozick Determinant 20 / 27

Page 6: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant n× n

M =

m11 m12 · · · m1n

m21 m22 · · · m2n

......

. . ....

mn1 mn2 · · · mnn

Comatrice (matrice des cofacteurs)

Cofi,j = (−1)i.j

m11 · · · m1,j−1 m1,j+1 · · · m1n

......

......

......

mi−1,1 · · · mi−1,j−1 mi−1,j+1

... mi−1,n

mi+1,1 · · · mi+1,j−1 mi+1,j+1

... mi+1,n

... · · ·...

. . ....

...mn1 · · · mn,j−1 mn,j+1 · · · mnn

Calcul recursif : det(M) =

∑ni=1mi,j det(Cofi,j)

Vincent Nozick Determinant 21 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant n× n

Calcul recursif : exemple avec determinant 3× 3

M =

m11 m12 m13

m21 m22 m23

m31 m32 m33

det(M) = m11

∣∣∣∣ m22 m23

m32 m33

∣∣∣∣−m21

∣∣∣∣ m12 m13

m32 m33

∣∣∣∣+m31

∣∣∣∣ m12 m13

m22 m23

∣∣∣∣

Vincent Nozick Determinant 22 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Pour calculer le determinant d’une matrice :

3× 3 : 3 determinants de matrices 2× 2

4× 4 : 4 determinants de matrices 3× 3

5× 5 : 5 determinants de matrices 4× 4

6× 6 : 6 determinants de matrices 5× 5↪→ 120 determinants 3× 3

Vincent Nozick Determinant 23 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Temps de calculs :

Le calcul de l’inverse d’une matrice d’ordre n par la methode dudeterminant est en O(n2n! + n3).

n temps de calcul (processeur 3GHz)

10

10−5 s15 11 s20 1 an25 11 millions d’annees (trop long)

Vincent Nozick Determinant 24 / 27

Page 7: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Temps de calculs :

Le calcul de l’inverse d’une matrice d’ordre n par la methode dudeterminant est en O(n2n! + n3).

n temps de calcul (processeur 3GHz)

10 10−5 s15

11 s20 1 an25 11 millions d’annees (trop long)

Vincent Nozick Determinant 24 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Temps de calculs :

Le calcul de l’inverse d’une matrice d’ordre n par la methode dudeterminant est en O(n2n! + n3).

n temps de calcul (processeur 3GHz)

10 10−5 s15 11 s20

1 an25 11 millions d’annees (trop long)

Vincent Nozick Determinant 24 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Temps de calculs :

Le calcul de l’inverse d’une matrice d’ordre n par la methode dudeterminant est en O(n2n! + n3).

n temps de calcul (processeur 3GHz)

10 10−5 s15 11 s20 1 an25

11 millions d’annees (trop long)

Vincent Nozick Determinant 24 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Temps de calculs :

Le calcul de l’inverse d’une matrice d’ordre n par la methode dudeterminant est en O(n2n! + n3).

n temps de calcul (processeur 3GHz)

10 10−5 s15 11 s20 1 an25 11 millions d’annees (trop long)

Vincent Nozick Determinant 24 / 27

Page 8: D eterminant - vnozick/teaching/slides/imac2_math/06_determinant.pdfLe d eterminant det(u;v;w) correpond au volume du parall el epip ede issu des vecteurs u, v et w. Vincent Nozick

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Determinant nD

Proprietes :

• det(A′) = −det(A) si A′ = A avec 1 permutation de ligne

• det(A′) = −det(A) si A′ = A avec 1 permutation de colonne

• det(A) invariant si LA(i) = LA(i) + kLA(j) (i 6= j)

• det(A′) = k.det(A) si L′A(i) = k.LA(i)

• det(A) = det(A>)

• det(A) = 0 si A est singuliere

• det(A) =∏Aii si A est triangulaire ou diagonale

Vincent Nozick Determinant 25 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Calcul numerique

Algorithm 1: determinant

input: une matrice carree A

Triangulariser A pivot de Gauss

• en faisant des permutations de lignes et de colonnes

• en ajoutant aux lignes une combinaison lineaire d’autres lignes

→ noter pour chaque operation le changement de signe du determinant

return ±∏Aii

Cette methode permet aussi de calculer le rang de A.

Vincent Nozick Determinant 26 / 27

Determinant 2D Systeme lineaire Determinant 3D Determinant nD Calcul numerique

Calcul numerique

Applications :

• savoir si un systeme lineaire a une solution.

• vision par ordinateur : connaitre l’orientation d’une camera apartir du signe du determainant de sa matrice de projection.

• synthese d’images : connaitre le facteur de changement devolume d’une transformation 3D.

Vincent Nozick Determinant 27 / 27