Exos classiques et autres démonstrations : Différence entre versions
De AgregmathKL
(→Analyse) |
|||
Ligne 70 : | Ligne 70 : | ||
[[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 de Cauchy-Peano == | ||
+ | |||
+ | On prouve ici le théorème de Cauchy-Peano en utilisant le théorème de point fixe de Schauder et le théorème d'Ascoli. | ||
+ | |||
+ | [[Fichier:Pdf.png|alt=Pdf|link=Média:Cauchy_Peano.pdf|24px]] | ||
+ | [[Fichier:Tex.png|alt=Tex|link=Média:Cauchy_Peano.tex|24px]] | ||
== Théorème d'inversion locale == | == Théorème d'inversion locale == |
Version du 10 avril 2014 à 12:20
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 Le groupe multiplicatif d'un corps fini est cyclique
- 1.5 Méthode de Gauss pour les formes quadratiques
- 1.6 Pseudo-réduction simultanée
- 1.7 Racine carrée d'une matrice symétrique réelle positive
- 1.8 Une famille d'endomorphismes diagonalisables qui commutent est codiagonalisable
- 2 Analyse
- 2.1 Ind est une fonction à valeurs entières, constante sur chaque composante connexe
- 2.2 Lemme de Baire
- 2.3 Lemme de Riemann-Lebesgue
- 2.4 L'espace de Schwartz sur est stable par transformée de Fourier
- 2.5 Théorème de Cauchy-Peano
- 2.6 Théorème d'inversion locale
- 2.7 Théorème de représentation de Riesz
- 2.8 Théorème des fonctions implicites
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
Expression d'un polynôme symétrique en fonction des polynômes symétriques élémentaires
Le groupe multiplicatif d'un corps fini est cyclique
Méthode de Gauss pour les formes quadratiques
Pseudo-réduction simultanée
Racine carrée d'une matrice symétrique réelle positive
Une famille d'endomorphismes diagonalisables qui commutent est codiagonalisable
Analyse
Ind est une fonction à valeurs entières, constante sur chaque composante connexe
Lemme de Baire
Lemme de Riemann-Lebesgue
L'espace de Schwartz sur est stable par transformée de Fourier
Théorème de Cauchy-Peano
On prouve ici le théorème de Cauchy-Peano en utilisant le théorème de point fixe de Schauder et le théorème d'Ascoli.