Résultats de la recherche

{{ébauche|mathématiques}} ...' est un [[Lemme (mathématiques)|lemme]] concernant le signe d'une famille de polynômes stable par dérivation. ...

{{Ébauche|mathématiques}} En [[algèbre homologique]], le '''[[Lemme (mathématiques)|lemme]] des cinq''' permet d'établir l'injectivité et la surjectivité des flèches ...

...ortie des compacts,''' ou '''théorème d'explosion en temps fini''') permet de reconnaître les [[Solution maximale|solutions maximales]] d'une [[équation == Énoncé du lemme == ...

...d'obtenir une [[Borne supérieure et borne inférieure|borne]] sur l'erreur de [[Projection (géométrie)|projection]]. ...''U'' un [[sous-espace vectoriel]] de ''V'' et soit ''P'' un [[Projecteur (mathématiques)|projecteur]] linéaire sur ''U''. Alors, pour chaque <math>v \in V</math> : ...

{{article court|lemme de classe monotone|tribu engendrée}} Le '''[[Lemme (mathématiques)|lemme]] d'unicité des mesures de probabilité''' est l'énoncé suivant : ...

{{Ébauche|mathématiques}} En [[mathématiques]], le '''lemme de Higman''' est un résultat de la [[théorie des ordres]] qui affirme que, pour un ensemble ...

...ue <math>\mathfrak k</math> soit indénombrable. La courte preuve originale de [[Daniel Quillen|Quillen]] utilise la [[planéité générique]]. {{Portail|mathématiques}} ...

{{confusion|Lemme de Borel-Cantelli}} ...R en fonction du maximum de la partie réelle de la fonction sur le cercle de rayon r. ...

...isław Knaster]], [[Kazimierz Kuratowski]] et [[Stefan Mazurkiewicz]]<ref>{{de}} B. Knaster, C. Kuratowski et S. Mazurkiewicz, « [http://matwbn.icm.edu.pl ...\{1,\dots,m\}</math> et que pour tout <math>I_k \subset I</math>, la face de Δ{{ind|''m''}} engendrée par <math>e_i</math> pour <math>i \in I_k</math> e ...

[[Image:Butterfly lemma.svg|thumb|[[Diagramme de Hasse]] du « papillon de [[Hans Julius Zassenhaus|Zassenhaus]] »]] ...hapitres 1 à 3'', Paris, 1970, p. I.40-41, ou encore J. Calais, ''Éléments de théorie des groupes'', Paris, 1984, p. 227-228, ou encore {{Lang1}}, {{3e|é ...

...st un résultat d'[[analyse (mathématiques)|analyse]] concernant les séries de nombres réels. ...série convergente, et si <math>(b_n)_n</math> est une suite ''croissante'' de réels positifs divergeant vers l'infini, alors : ...

{{Confusion|Matrice à diagonale dominante#Lemme de Hadamard}} ...par exemple dans la [[preuve]] du [[Matrice hessienne#Lemme de Morse|lemme de Morse]]. ...

...ques]], et plus particulièrement en [[théorie des ensembles]], le '''lemme de Fodor''' énonce ce qui suit : ...able|indénombrable]], <math>S</math> est un sous-[[ensemble stationnaire]] de <math>\kappa</math>, et <math>f:S\rightarrow\kappa</math> ''régressive'' (c ...

...èrement en [[théorie de la mesure]], le '''[[Lemme (mathématiques)|lemme]] de transport''' est utilisé pour montrer que certaines applications sont [[fon ...hcal{C}\subset\mathcal{P}\left( A\right)</math> est un ensemble de parties de <math>A</math>, on notera <math>\sigma\left(\mathcal{C}\right)</math> la [[ ...

En [[algèbre linéaire]], le '''[[Lemme (mathématiques)|lemme]] des [[Tresse (mathématiques)|tresses]]'''<ref>{{Ouvrage|lang=en|auteur=[[Marcel Berger]]|titre=Geometry ...commutatif]] de [[Caractéristique d'un corps|caractéristique]] différente de 2. ...

...ne [[transversale d'un sous-groupe]], de construire une partie génératrice de ce [[sous-groupe]]. * <math>S</math> une partie génératrice de <math>G</math> ; ...

Plusieurs noms de [[théorème]]s font référence aux deux frères Riesz, mathématiciens hongrois ...ulement si sa boule unité fermée est compacte, et qui se déduit du [[lemme de Riesz]] ...

{{confusion|Coupure de Dedekind}} En [[logique mathématique]], la '''règle de coupure''' est une [[règle d'inférence]] du [[calcul des séquents]], qui gé ...

...]] de [[Polynôme d'endomorphisme|polynômes en ''u'']] et les [[Projecteur (mathématiques)|projecteurs]] associés sont eux-mêmes des polynômes en ''u''. ...à la [[Réduction de Jordan|décomposition de Jordan]]. Plus modestement, le lemme des noyaux montre qu'un opérateur ''u'' est [[diagonalisation|diagonalisabl ...

...{Lien|trad=Injective object|objet injectif}} d'une [[catégorie abélienne]] de [[Préfaisceau#Faisceaux|faisceaux]]. ...injectif de <math>A</math> dans <math>I</math> se prolonge en un morphisme de <math>B</math> dans <math>I</math>. Autrement dit, le foncteur (contravaria ...