Scalar field theoryIn theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation. The only fundamental scalar quantum field that has been observed in nature is the Higgs field. However, scalar quantum fields feature in the effective field theory descriptions of many physical phenomena. An example is the pion, which is actually a pseudoscalar.
Théorie quantique des champsvignette|296x296px|Ce diagramme de Feynman représente l'annihilation d'un électron et d'un positron, qui produit un photon (représenté par une ligne ondulée bleue). Ce photon se décompose en une paire quark-antiquark, puis l'antiquark émet un gluon (représenté par la courbe verte). Ce type de diagramme permet à la fois de représenter approximativement les processus physiques mais également de calculer précisément leurs propriétés, comme la section efficace de collision.
Lagrangien (théorie des champs)La théorie lagrangienne des champs est un formalisme de la théorie classique des champs. C'est l'analogue de la théorie des champs de la mécanique lagrangienne. La mécanique lagrangienne est utilisée pour analyser le mouvement d'un système de particules discrètes chacune ayant un nombre fini de degrés de liberté. La théorie lagrangienne des champs s'applique aux continus et aux champs, qui ont un nombre infini de degrés de liberté.
Topological quantum field theoryIn gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory.
Équations de Lagrangevignette|Joseph-Louis Lagrange Les équations de Lagrange, découvertes en 1788 par le mathématicien Joseph-Louis Lagrange, sont une reformulation de la mécanique classique. Il s'agit d'une reformulation de l'équation de Newton, qui ne fait pas intervenir les forces de réaction. Pour cela, on exprime les contraintes que subit la particule étudiée sous la forme d'équations du type : Il n'y a qu'une équation si le mouvement est contraint à une surface, deux s'il est contraint à une courbe.
Symétrie (physique)En physique la notion de symétrie, qui est intimement associée à la notion d'invariance, renvoie à la possibilité de considérer un même système physique selon plusieurs points de vue distincts en termes de description mais équivalents quant aux prédictions effectuées sur son évolution. Une théorie physique possède alors une symétrie S, si toute équation dans cette théorie décrit tout aussi correctement une particule ρ qu'une particule -ρ 'symétrique' de ρ.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Lagrangian systemIn mathematics, a Lagrangian system is a pair (Y, L), consisting of a smooth fiber bundle Y → X and a Lagrangian density L, which yields the Euler–Lagrange differential operator acting on sections of Y → X. In classical mechanics, many dynamical systems are Lagrangian systems. The configuration space of such a Lagrangian system is a fiber bundle Q → R over the time axis R. In particular, Q = R × M if a reference frame is fixed. In classical field theory, all field systems are the Lagrangian ones.
Ensemble flouLa théorie des sous-ensembles flous est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh en 1965 afin de représenter mathématiquement l'imprécision relative à certaines classes d'objets et sert de fondement à la logique floue. Les sous-ensembles flous (ou parties floues) ont été introduits afin de modéliser la représentation humaine des connaissances, et ainsi améliorer les performances des systèmes de décision qui utilisent cette modélisation.
Théorème de Noether (physique)Le théorème de Noether exprime l'équivalence qui existe entre les lois de conservation et l'invariance du lagrangien d'un système par certaines transformations (appelées symétries) des coordonnées. Démontré en 1915 et publié en 1918 par la mathématicienne Emmy Noether à Göttingen, ce théorème fut qualifié par Albert Einstein de « monument de la pensée mathématique » dans une lettre envoyée à David Hilbert en vue de soutenir la carrière de la mathématicienne.
Hamiltonien en théorie des champsEn physique théorique, la théorie des champs hamiltoniens est analogue à la mécanique hamiltonienne classique, appliquée à la théorie des champs. C'est un formalisme de la théorie classique des champs qui se base sur la théorie lagrangienne des champs. Elle a également des applications dans la théorie quantique des champs. L'hamiltonien, pour un système de particules discrètes, est une fonction qui dépend de leurs coordonnées généralisées et de leurs moments conjugués, et éventuellement du temps.
Hamiltonian opticsHamiltonian optics and Lagrangian optics are two formulations of geometrical optics which share much of the mathematical formalism with Hamiltonian mechanics and Lagrangian mechanics. Hamilton's principle In physics, Hamilton's principle states that the evolution of a system described by generalized coordinates between two specified states at two specified parameters σA and σB is a stationary point (a point where the variation is zero) of the action functional, or where and is the Lagrangian.
Intersection (mathématiques)Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes : l'intersection de deux ensembles A et B est l'ensemble, noté , dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là. A et B sont disjoints si et seulement si est l'ensemble vide ∅. A est inclus dans B si et seulement si .
Conserved currentIn physics a conserved current is a current, , that satisfies the continuity equation . The continuity equation represents a conservation law, hence the name. Indeed, integrating the continuity equation over a volume , large enough to have no net currents through its surface, leads to the conservation law where is the conserved quantity. In gauge theories the gauge fields couple to conserved currents. For example, the electromagnetic field couples to the conserved electric current.
Union (mathématiques)Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base. En algèbre booléenne, l'union est associée à l'opérateur logique ou inclusif et est notée ∪. L'union de deux ensembles A et B est l'ensemble qui contient tous les éléments qui appartiennent à A ou appartiennent à B. On la note A ∪ B et on la dit « A union B » Formellement : Par exemple l'union des ensembles A = {1, 2, 3} et B = {2, 3, 4} est l'ensemble {1, 2, 3, 4}.
Symmetry in quantum mechanicsSymmetries in quantum mechanics describe features of spacetime and particles which are unchanged under some transformation, in the context of quantum mechanics, relativistic quantum mechanics and quantum field theory, and with applications in the mathematical formulation of the standard model and condensed matter physics. In general, symmetry in physics, invariance, and conservation laws, are fundamentally important constraints for formulating physical theories and models.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Scalaire (mathématiques)En algèbre linéaire, les nombres réels qui multiplient les vecteurs dans un espace vectoriel sont appelés des scalaires. Cette multiplication par un scalaire, qui permet de multiplier un vecteur par un nombre pour produire un vecteur, correspond à la loi externe de l'espace vectoriel. Plus généralement, dans un K-espace vectoriel, les scalaires sont les éléments de K, où K peut être l'ensemble des nombres complexes ou n'importe quel autre corps.
Multiplication par un scalairevignette|320x320px|Exemple de multiplication d'un vecteur par un scalaire En mathématiques, la multiplication par un scalaire est l'une des lois externes de base définissant un espace vectoriel en algèbre linéaire (ou plus généralement, un module en algèbre générale). Si K est un corps commutatif, la définition d'un espace vectoriel E sur K prescrit l'existence d'une loi de composition externe, une application de K × E dans E. L'image d'un couple (λ, v), pouvant être notée λv ou λ∙v, est la multiplication du vecteur v par le scalaire λ.
Ensembles disjointsvignette|Trois ensembles disjoints En mathématiques, deux ensembles sont dits disjoints s'ils n'ont pas d'éléments en commun. Par exemple, et sont deux ensembles disjoints. De manière formelle, deux ensembles A et B sont disjoints si leur intersection est l'ensemble vide, c'est-à-dire si (Dans le cas contraire, on dit que A et B « se rencontrent ».) Cette définition s'étend à une famille d'ensembles. Les ensembles d'une famille sont dits disjoints deux à deux ou mutuellement disjoints si deux ensembles quelconques de cette famille sont disjoints.
