Exos classiques et autres démonstrations : Différence entre versions
m (Remplacement de texte — « link=Média:(.*)\.pdf » par « link={{filepath:$1.pdf}} ») |
m (Remplacement de texte — « link=Média:(.*)\.tex » par « link={{filepath:$1.tex}} ») |
||
Ligne 6 : | Ligne 6 : | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Projecteurs.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Projecteurs.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Projecteurs.tex}}|24px]] |
== Calculer l'exponentielle d'une matrice diagonalisable sans calculer la matrice de passage == | == Calculer l'exponentielle d'une matrice diagonalisable sans calculer la matrice de passage == | ||
Ligne 23 : | Ligne 23 : | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Polsymetriques.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Polsymetriques.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Polsymetriques.tex}}|24px]] |
== Le groupe multiplicatif d'un corps fini est cyclique == | == Le groupe multiplicatif d'un corps fini est cyclique == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Groupe_multiplicatif.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Groupe_multiplicatif.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Groupe_multiplicatif.tex}}|24px]] |
== Méthode de Gauss pour les formes quadratiques == | == Méthode de Gauss pour les formes quadratiques == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Méthode_de_Gauss.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Méthode_de_Gauss.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Méthode_de_Gauss.tex}}|24px]] |
== Pseudo-réduction simultanée == | == Pseudo-réduction simultanée == | ||
− | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Pseudored.pdf}}|24px]][[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Pseudored.pdf}}|24px]][[Fichier:Tex.png|alt=Tex|link={{filepath:Pseudored.tex}}|24px]] |
== Racine carrée d'une matrice symétrique réelle positive == | == Racine carrée d'une matrice symétrique réelle positive == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:RacinecarreeSn.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:RacinecarreeSn.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:RacinecarreeSn.tex}}|24px]] |
== Une famille d'endomorphismes diagonalisables qui commutent est codiagonalisable == | == Une famille d'endomorphismes diagonalisables qui commutent est codiagonalisable == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Diagocommut.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Diagocommut.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Diagocommut.tex}}|24px]] |
= Analyse = | = Analyse = | ||
Ligne 54 : | Ligne 54 : | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Indice.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Indice.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Indice.tex}}|24px]] |
== L'espace de Schwartz sur <math>\mathbb R</math> est stable par transformée de Fourier == | == L'espace de Schwartz sur <math>\mathbb R</math> est stable par transformée de Fourier == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Schwartzstable.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Schwartzstable.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Schwartzstable.tex}}|24px]] |
== Lemme de Baire == | == Lemme de Baire == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Baire.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Baire.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Baire.tex}}|24px]] |
== Lemme de Riemann-Lebesgue == | == Lemme de Riemann-Lebesgue == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Riemann_Lebesgue.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Riemann_Lebesgue.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Riemann_Lebesgue.tex}}|24px]] |
== Limite uniforme de polynômes == | == Limite uniforme de polynômes == | ||
Ligne 83 : | Ligne 83 : | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Ascoli.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Ascoli.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Ascoli.tex}}|24px]] |
== Théorème d'inversion locale == | == Théorème d'inversion locale == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inversion_locale.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inversion_locale.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Inversion_locale.tex}}|24px]] |
== Théorème de Cauchy-Peano == | == Théorème de Cauchy-Peano == | ||
Ligne 95 : | Ligne 95 : | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_Peano.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_Peano.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_Peano.tex}}|24px]] |
== Théorème de représentation de Riesz == | == Théorème de représentation de Riesz == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Repriesz.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Repriesz.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Repriesz.tex}}|24px]] |
== Théorème des fonctions implicites == | == Théorème des fonctions implicites == | ||
[[Fichier:Pdf.png|alt=Pdf|link={{filepath:Fonctions_implicites.pdf}}|24px]] | [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Fonctions_implicites.pdf}}|24px]] | ||
− | [[Fichier:Tex.png|alt=Tex|link= | + | [[Fichier:Tex.png|alt=Tex|link={{filepath:Fonctions_implicites.tex}}|24px]] |
Version actuelle en date du 17 janvier 2015 à 20: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 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 L'espace de Schwartz sur est stable par transformée de Fourier
- 2.3 Lemme de Baire
- 2.4 Lemme de Riemann-Lebesgue
- 2.5 Limite uniforme de polynômes
- 2.6 Théorème d'Ascoli
- 2.7 Théorème d'inversion locale
- 2.8 Théorème de Cauchy-Peano
- 2.9 Théorème de représentation de Riesz
- 2.10 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
L'espace de Schwartz sur est stable par transformée de Fourier
Lemme de Baire
Lemme de Riemann-Lebesgue
Limite uniforme de polynômes
Montrons que si une fonction est limite uniforme d'une suite de polynômes , alors est un polynôme.
est une suite de Cauchy donc il existe tel que pour tout . Or est un polynôme borné, donc est constant, on a . Or converge vers donc converge vers une constante . D'où est un polynôme.
Référence : Xavier Gourdon, Analyse, Ellipses, 1994, p.228.
Théorème d'Ascoli
Théorème d'inversion locale
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.