Développements par thèmes : Différence entre versions
De AgregmathKL
(Classement thématique) |
m (classement plus poussé) |
||
| Ligne 57 : | Ligne 57 : | ||
* [[Décomposition de Bruhat]] | * [[Décomposition de Bruhat]] | ||
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]]) | * Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]]) | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Media:Lie-Kolchin.tex|Lie-Kolchin]] | ||
* [[Le paradoxe de Banach-Tarski]] | * [[Le paradoxe de Banach-Tarski]] | ||
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]]) | * Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]]) | ||
| Ligne 62 : | Ligne 63 : | ||
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]] | * [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]] | ||
* Sous groupes finis de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.tex |24px]]) | * Sous groupes finis de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.tex |24px]]) | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Cartan_von_neumann.tex | Théorème de Cartan Von Neumann]] | ||
* [[Théorème de Burnside]] | * [[Théorème de Burnside]] | ||
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]]) | * Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]]) | ||
| Ligne 73 : | Ligne 75 : | ||
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]]) | * Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]]) | ||
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]] | * [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]] | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Cartan_von_neumann.tex | Théorème de Cartan Von Neumann]] | ||
* [[Théorème de Fejér]] | * [[Théorème de Fejér]] | ||
* [[Théorème de Hadamard-Lévy]] | * [[Théorème de Hadamard-Lévy]] | ||
| Ligne 84 : | Ligne 87 : | ||
=== Calcul différentiel et fonctions holomorphes === | === Calcul différentiel et fonctions holomorphes === | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Formule_complements.tex | Formule des compléments]] | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Borel.tex | Lemme de Borel]] | ||
* [[Lemme de Morse]] | * [[Lemme de Morse]] | ||
* [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:MethodedeLaplace.tex | Méthode de Laplace]] | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:MethodedeLaplace.tex | Méthode de Laplace]] | ||
| Ligne 89 : | Ligne 94 : | ||
* [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Media:exponentielle.tex|Surjectivité de l'exponentielle]] | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Media:exponentielle.tex|Surjectivité de l'exponentielle]] | ||
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]]) | * Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]]) | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Cartan_von_neumann.tex | Théorème de Cartan Von Neumann]] | ||
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]] | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]] | ||
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]] | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]] | ||
| Ligne 103 : | Ligne 109 : | ||
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]] | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]] | ||
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]] | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]] | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Formule_complements.tex | Formule des compléments]] | ||
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fourier.pdf | Formule d'inversion de Fourier]] | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fourier.pdf | Formule d'inversion de Fourier]] | ||
* [[Intégrale de Fresnel]] | * [[Intégrale de Fresnel]] | ||
| Ligne 127 : | Ligne 134 : | ||
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]] | * [[Théorème de Banach-Steinhaus et application aux séries de Fourier]] | ||
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]]) | * Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]]) | ||
| + | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Cartan_von_neumann.tex | Théorème de Cartan Von Neumann]] | ||
* [[Théorème de Fejér]] | * [[Théorème de Fejér]] | ||
* Théorème de Jordan ([[Fichier:Tex.png|alt=Tex|link=Média: Jordan.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Jordan.pdf |24px]]) | * Théorème de Jordan ([[Fichier:Tex.png|alt=Tex|link=Média: Jordan.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Jordan.pdf |24px]]) | ||
| Ligne 134 : | Ligne 142 : | ||
= Non classés = | = Non classés = | ||
| − | |||
| − | |||
| − | |||
| − | |||
* [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:glaeser.tex | Le théorème de Glaeser]] | * [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:glaeser.tex | Le théorème de Glaeser]] | ||
Version du 2 juin 2012 à 22:26
Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.
Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans toutes les parties qui le concernent.
(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).
Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : Développements.
Sommaire
Algèbre
Algèbre linéaire, bilinéaire, réduction d'endomorphismes
- Commutant d'un endomorphisme (
) - Convergence d'une suite de polygônes vers l'isobarycentre (,
) - Composantes connexes de l'ensemble des formes quadratiques non dégénérées.
- Décomposition de Bruhat
- Décomposition de Dunford
- Ellipsoïde de John-Lœwner
- Isomorphisme entre M_n(K) et son dual
- Lemme de Morse
- Orthodiagonalisation des endomorphismes auto-adjoints ( ; )
- Points extrémaux de la boule unité de L(E)
- Réduction des matrices normales ()
- Sous-groupes compacts de
- Surjectivité de l'exponentielle
Anneaux, arithmétique, dénombrement
- Automorphismes de
() - Décomposition de Dunford
- Nombres de Bell
- Sous groupes finis de
() - Une version faible du théorème de Dirichlet ()
- Probabilité que deux entiers soient premiers entre eux
Géométrie
- Ellipse de Steiner ( ; )
- Convergence d'une suite de polygônes vers l'isobarycentre (, )
- Groupe circulaire ( ; )
- Le paradoxe de Banach-Tarski
- Points extrémaux de la boule unité de L(E)
- Simplicité de SO(3)
- Sous groupes finis de ()
- Théorème de Caratheodory ( ; )
- Théorème de Hahn-Banach en dimension finie
- Théorème de Jordan (, )
Théorie des corps, irréductibilité, primalité
- Irréductibilité des polynômes cyclotomiques ()
- Polynômes irréductibles sur
() - Théorème de d'Alembert-Gauss ( ; )
- Théorème de Kronecker ( ; )
- Théorème de l'élément primitif ()
- Théorème de Wedderburn ()
Théorie des groupes
- Automorphismes de ()
- Décomposition de Bruhat
- Groupes d'ordre 12 ()
- Lie-Kolchin
- Le paradoxe de Banach-Tarski
- Simplicité de
( ; ) - Simplicité de SO(3)
- Sous-groupes compacts de
- Sous groupes finis de ()
- Théorème de Cartan Von Neumann
- Théorème de Burnside
- Théorème de Sylow ( ; )
Analyse
Analyse fonctionelle et distributions
- Dérivée des fonctions lipschitziennes
- Formule d'inversion de Fourier
- Projection dans un espace de Hilbert (, )
- Solution élémentaire de l'équation de Schrodinger
- Théorème de Cartan Von Neumann
- Théorème de Fejér
- Théorème de Hadamard-Lévy
- Théorème de Fischer - Riesz
- Un espace de Sobolev
Analyse numérique, méthodes d'approximation
- Convergence de la méthode de gradient à pas optimal (+Kantorovitch)
- Méthode de Gauss d'approximation d'intégrale
- Méthode de Newton
Calcul différentiel et fonctions holomorphes
- Formule des compléments
- Lemme de Borel
- Lemme de Morse
- Méthode de Laplace
- Méthode de Newton
- Surjectivité de l'exponentielle
- Théorème de D'Alembert-Gauss ( ; )
- Théorème de Cartan Von Neumann
- Théorème des extrema liés
- Théorème de Montel
Équations différentielles
- Solution élémentaire de l'équation de Schrodinger
- Théorème de Cauchy-Arzela-Peano
- Théorème de stabilité de Lyapounov
- Théorème de Cauchy-Lipschitz
Intégration
- Critère de Weyl (, )
- Un exemple de calcul d'intégrale
- Formule sommatoire d'Euler Maclaurin
- Formule Sommatoire de Poisson
- Formule des compléments
- Formule d'inversion de Fourier
- Intégrale de Fresnel
- Méthode de Gauss d'approximation d'intégrale
- Méthode de Laplace
- Prolongement de la fonction
- Théorème d'Abel angulaire
- Théorèmes d'Abel angulaire et taubérien faible
- Théorème de Fejér
Probabilités
- Autour des variables aléatoires gaussiennes (, )
- Bernoulli et développement dyadique
- Marche aléatoire sur Z
- Ruine du joueur (, )
- Théorème central limite (, )
- Théorème de Weierstrass via les probabilités : ,)
Topologie
- Ellipsoïde de John-Lœwner
- Composantes connexes de l'ensemble des formes quadratiques non dégénérées.
- Lemme de Morse
- Sous-groupes compacts de
- Théorème de Banach-Steinhaus et application aux séries de Fourier
- Théorème de Brouwer en dimension 2 (, )
- Théorème de Cartan Von Neumann
- Théorème de Fejér
- Théorème de Jordan (, )
- Théorème de Montel
- Théorème de Müntz
- Le théorème de Weierstrass (via les polynômes de Bernstein)
Non classés
Informatique
Algorithmique et structures de données
- 2SAT est décidable en temps linéaire
- Arbres binaires de recherche optimaux
- Automate des occurrences
- Hachage parfait
- Plus longue sous-séquence commune
Complexité
- 2SAT est décidable en temps linéaire
- Problème de séparation par automates
- Universalité d'un langage rationnel
Décidabilité
Langages formels
- Automate des occurrences
- Arithmétique de Presburger ( ; )
- Langage de pile d'un automate à pile ( ; )
- Problème de séparation par automates
- Universalité d'un langage rationnel
Logique
- Arithmétique de Presburger ( ; )
- Fonction d'Ackermann
