Développements : Différence entre versions
Ligne 5 : | Ligne 5 : | ||
== Développements d'algèbre == | == Développements d'algèbre == | ||
− | Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]]) | + | * Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]]) |
− | [[ | + | * [[Décomposition de Bruhat]] |
− | + | * [[Décomposition de Dunford]] | |
− | Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]]) | + | * Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]]) |
− | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[ | + | * Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]]) |
− | [[Fichier: | + | * Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]]) |
− | + | * [[Le paradoxe de Banach-Tarski]] | |
− | + | * Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.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]]) | |
− | [[ | + | * [[Théorème de Burnside]] |
− | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média: | + | * Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]]) |
− | * [[ | + | * [[Théorème de Hahn-Banach en dimension finie]] |
− | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média: | + | * 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 Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]]) |
− | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média: | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:AutomorphismesdeZnZ.tex | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]] |
− | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média: | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Commutant.tex | Commutant d'un endomorphisme.]] |
− | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Groupe_d_ordre_douze.tex | Groupes d'ordre 12]] | |
− | [[Fichier: | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:DenombrementpolyirreFq.tex | Polynômes irréductibles sur <math>\mathbb{F}_q</math>]] |
− | [[Fichier: | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Matrices_normales.tex | Réduction des matrices normales]] |
− | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Sous_groupes_finis_SO3.tex | Sous groupes finis de <math>\mathcal{SO}(3)</math>]] | |
− | + | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:element_primitif.tex | Théorème de l'élément primitif]] | |
+ | |||
+ | [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Dirichlet_faible.tex | Une version faible du théorème de Dirichlet]] | ||
== Développements d'analyse == | == Développements d'analyse == |
Version du 22 mai 2012 à 13:02
Certains d'entre nous tapent leurs développements. Vous pouvez, en plus des liens mis dans les pages leçons, les rassembler ici.
Pensez à ajouter les sources de vos développements : bien utile parfois !
Sommaire
Développements d'algèbre
Réduction des matrices normales
Théorème de l'élément primitif
Une version faible du théorème de Dirichlet
Développements d'analyse
Bernoulli et développement dyadique
Le théorème de Weierstrass (via les polynômes de Bernstein)
-> Le même résultat en passant par les probabilités : (, )
Théorème de Brouwer en dimension 2 (, )
Un exemple de calcul d'intégrale
Théorème de Cauchy-Arzela-Peano
Autour des variables aléatoires gaussiennes (, )
Dérivée des fonctions lipschitziennes
Théorème de stabilité de Lyapounov
Méthode de Gauss d'approximation d'intégrale
Théorèmes d'Abel angulaire et taubérien faible
Formule sommatoire d'Euler Maclaurin
Formule d'inversion de Fourier
Développements mixtes
Surjectivité de l'exponentielle
Théorème de Cartan Von Neumann
Convergence de la méthode de gradient à pas optimal (+Kantorovitch)
Composantes connexes de l'ensemble des formes quadratiques non dégénérées
Points extrémaux de la boule unité de L(E)
Développements d'informatique
- Langage de pile d'un automate à pile ( ; )
- Arithmétique de Presburger ( ; )
- Universalité d'un langage rationnel
- 2SAT est décidable en temps linéaire
- Plus longue sous-séquence commune
- Automate des occurrences
- Hachage parfait
- Arbres binaires de recherche optimaux
- Problème de séparation par automates
- Théorème de Rice
- Fonction d'Ackermann
- Théorème de Higman