Algèbre de LieEn mathématiques, une algèbre de Lie, nommée en l'honneur du mathématicien Sophus Lie, est un espace vectoriel qui est muni d'un crochet de Lie, c'est-à-dire d'une loi de composition interne bilinéaire, alternée, et qui vérifie la relation de Jacobi. Une algèbre de Lie est un cas particulier d'algèbre sur un corps. Soit K un corps commutatif. Une algèbre de Lie sur K est un espace vectoriel sur K muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Le produit est appelé crochet de Lie (ou simplement crochet) de et .
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Dualité de Pontriaguinevignette|La transformée de Fourier En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontriaguine explique les principales propriétés de la transformée de Fourier.
Intégration (mathématiques)En mathématiques, l'intégration ou calcul intégral est l'une des deux branches du calcul infinitésimal, l'autre étant le calcul différentiel. Les intégrales sont utilisées dans de multiples disciplines scientifiques notamment en physique pour des opérations de mesure de grandeurs (longueur d'une courbe, aire, volume, flux) ou en probabilités. Ses utilités pluridisciplinaires en font un outil scientifique fondamental. C'est la raison pour laquelle l'intégration est souvent abordée dès l'enseignement secondaire.
Dualité (optimisation)En théorie de l'optimisation, la dualité ou principe de dualité désigne le principe selon lequel les problèmes d'optimisation peuvent être vus de deux perspectives, le problème primal ou le problème dual, et la solution du problème dual donne une borne inférieure à la solution du problème (de minimisation) primal. Cependant, en général les valeurs optimales des problèmes primal et dual ne sont pas forcément égales : cette différence est appelée saut de dualité. Pour les problèmes en optimisation convexe, ce saut est nul sous contraintes.
Stone dualityIn mathematics, there is an ample supply of categorical dualities between certain of topological spaces and categories of partially ordered sets. Today, these dualities are usually collected under the label Stone duality, since they form a natural generalization of Stone's representation theorem for Boolean algebras. These concepts are named in honor of Marshall Stone. Stone-type dualities also provide the foundation for pointless topology and are exploited in theoretical computer science for the study of formal semantics.
Lemme d'Euclidevignette|Le lemme d'Euclide est tiré des Éléments, ouvrage fondateur des mathématiques occidentales. En mathématiques, le lemme d'Euclide est un résultat d'arithmétique élémentaire sur la divisibilité qui correspond à la Proposition 32 du Livre VII des Éléments d'Euclide. Il s'énonce ainsi : Une généralisation est : Formellement : si a|bc et PGCD(a, b) = 1, alors a|c. Dans le traité de Gauss, les Disquisitiones arithmeticae, l'énoncé du lemme d'Euclide constitue la proposition 14 (section 2), qu'il utilise pour prouver l'unicité de la décomposition en produit de facteurs premiers d'un entier (théorème 16), admettant l'existence comme .
Dualité (géométrie projective)La dualité projective, découverte par Jean-Victor Poncelet, est une généralisation de l'analogie entre le fait que par deux points distincts passe une droite et une seule, et le fait que deux droites distinctes se coupent en un point et un seul (à condition de se placer en géométrie projective, de sorte que deux droites parallèles se rencontrent en un point à l'infini).
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Cohomologie galoisienneEn mathématiques, la cohomologie galoisienne est l'étude de l'action d'un groupe de Galois sur certains groupes, par des méthodes cohomologiques. Elle permet d'obtenir des résultats à la fois sur le groupe de Galois agissant, et sur le groupe sur lequel il agit. En particulier, le groupe de Galois d'une extension de corps de nombres L/K agit naturellement par exemple sur le groupe multiplicatif L, mais aussi sur le groupe des unités de l'anneau des entiers du corps L, ou sur son groupe des classes.
