Exos classiques et autres démonstrations : Différence entre versions
De AgregmathKL
(→Analyse) |
(→Analyse) |
||
Ligne 50 : | Ligne 50 : | ||
[[Fichier:Pdf.png|alt=Pdf|link=Média:Schwartzstable.pdf|24px]] | [[Fichier:Pdf.png|alt=Pdf|link=Média:Schwartzstable.pdf|24px]] | ||
[[Fichier:Tex.png|alt=Tex|link=Média:Schwartzstable.tex|24px]] | [[Fichier:Tex.png|alt=Tex|link=Média:Schwartzstable.tex|24px]] | ||
+ | |||
+ | == Théorème d'inversion locale == | ||
+ | |||
+ | [[Fichier:Pdf.png|alt=Pdf|link=Média:Inversion_locale.pdf|24px]] | ||
+ | [[Fichier:Tex.png|alt=Tex|link=Média:Inversion_locale.tex|24px]] | ||
== Théorème de représentation de Riesz == | == Théorème de représentation de Riesz == | ||
Ligne 55 : | Ligne 60 : | ||
[[Fichier:Pdf.png|alt=Pdf|link=Média:Repriesz.pdf|24px]] | [[Fichier:Pdf.png|alt=Pdf|link=Média:Repriesz.pdf|24px]] | ||
[[Fichier:Tex.png|alt=Tex|link=Média:Repriesz.tex|24px]] | [[Fichier:Tex.png|alt=Tex|link=Média:Repriesz.tex|24px]] | ||
+ | |||
+ | == Théorème des fonctions implicites == | ||
+ | |||
+ | [[Fichier:Pdf.png|alt=Pdf|link=Média:Fonctions_implicites.pdf|24px]] | ||
+ | [[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_implicites.tex|24px]] |
Version du 5 septembre 2013 à 16:43
Sommaire
- 1 Algèbre
- 1.1 Calcul des projecteurs sur les sous-espaces caractéristiques d'un endomorphisme
- 1.2 Calculer l'exponentielle d'une matrice diagonalisable sans calculer la matrice de passage
- 1.3 Expression d'un polynôme symétrique en fonction des polynômes symétriques élémentaires
- 1.4 Pseudo-réduction simultanée
- 1.5 Racine carrée d'une matrice symétrique réelle positive
- 1.6 Une famille d'endomorphismes diagonalisables qui commutent est codiagonalisable
- 2 Analyse
Algèbre
Calcul des projecteurs sur les sous-espaces caractéristiques d'un endomorphisme
On donne ici une méthode pour calculer les projecteurs sur les sous-espaces caractéristiques d'un endomorphismes, ainsi qu'une application au calcul de l'exponentielle matricielle par la décomposition de Dunford.
Calculer l'exponentielle d'une matrice diagonalisable sans calculer la matrice de passage
Soit . soit telle que .
Soit un polynôme tel que pour tout .
Alors !
Ref : perso.univ-rennes1.fr/tristan.vaccon/exponentielle_de_matrices.pdf