Exos classiques et autres démonstrations

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 $A\in {\mathcal {M}}_{n}({\mathbb {C}})$. soit $D=diag(\lambda _{1},\dots ,\lambda _{n})$ telle que $A=Q^{{-1}}DQ$.

Soit $P$ un polynôme tel que $P(\lambda _{i})=e^{{\lambda _{i}}}$ pour tout $i$.

Alors $P(A)=P(Q^{{-1}}DQ)=Q^{{-1}}P(D)Q=Q^{{-1}}\exp(D)Q=\exp(A)$ !

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$_{\gamma }$ est une fonction à valeurs entières, constante sur chaque composante connexe

Lemme de Baire

Lemme de Riemann-Lebesgue

L'espace de Schwartz sur ${\mathbb R}$ 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.

Théorème d'inversion locale

Théorème de représentation de Riesz

Théorème des fonctions implicites