Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
Moment magnétiqueEn physique, le moment magnétique est une grandeur vectorielle qui permet de caractériser l'intensité d'une source magnétique. Cette source peut être un courant électrique, ou bien un objet aimanté. L'aimantation est la distribution spatiale du moment magnétique. Le moment magnétique d'un corps se manifeste par la tendance qu'a ce corps à s'aligner dans le sens d'un champ magnétique, c'est par exemple le cas de l'aiguille d'une boussole : le moment que subit l'objet est égal au produit vectoriel de son moment magnétique par le champ magnétique dans lequel il est placé.
Équation d'Einsteinvignette|Équation sur un mur à Leyde. L’'équation d'Einstein ou équation de champ d'Einstein' (en anglais, Einstein field equation ou EFE), publiée par Albert Einstein, pour la première fois le , est l'équation aux dérivées partielles principale de la relativité générale. C'est une équation dynamique qui décrit comment la matière et l'énergie modifient la géométrie de l'espace-temps. Cette courbure de la géométrie autour d'une source de matière est alors interprétée comme le champ gravitationnel de cette source.
Four-currentIn special and general relativity, the four-current (technically the four-current density) is the four-dimensional analogue of the electric current density. Also known as vector current, it is used in the geometric context of four-dimensional spacetime, rather than three-dimensional space and time separately. Mathematically it is a four-vector, and is Lorentz covariant. Analogously, it is possible to have any form of "current density", meaning the flow of a quantity per unit time per unit area.
Dipôle magnétiquevignette|Dipôle magnétique de la Terre Un dipôle magnétique est l'équivalent pour le champ magnétique de ce qu'est un dipôle électrostatique pour le champ électrique. Il est entièrement caractérisé par le vecteur moment magnétique (ou moment dipolaire magnétique), l'équivalent pour le magnétisme de ce qu'est le moment dipolaire pour l'électrostatique. La représentation matérielle la plus simple d'un dipôle magnétique est une boucle de courant, c'est-à-dire un courant électrique circulaire.
Groupe de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
Symétrie (transformation géométrique)Une symétrie géométrique est une transformation géométrique involutive qui conserve le parallélisme. Parmi les symétries courantes, on peut citer la réflexion et la symétrie centrale. Une symétrie géométrique est un cas particulier de symétrie. Il existe plusieurs sortes de symétries dans le plan ou dans l’espace. Remarque : Le terme de symétrie possède aussi un autre sens en mathématiques. Dans l'expression groupe de symétrie, une symétrie désigne une isométrie quelconque.
Loi de Lenz-FaradayEn physique, la loi de Lenz-Faraday, ou loi de Faraday, permet de rendre compte des phénomènes macroscopiques d'induction électromagnétique. Elle exprime l'apparition d'une force électromotrice (tension) dans un circuit électrique, lorsque celui-ci est immobile dans un champ magnétique variable ou lorsque le circuit est mobile dans un champ magnétique constant ou permanent. À l'origine empirique, cette loi est fondée sur les travaux de Michael Faraday en 1831 et sur l'énoncé de Heinrich Lenz de 1834.
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 ρ.
Icosahedral symmetryIn mathematics, and especially in geometry, an object has icosahedral symmetry if it has the same symmetries as a regular icosahedron. Examples of other polyhedra with icosahedral symmetry include the regular dodecahedron (the dual of the icosahedron) and the rhombic triacontahedron. Every polyhedron with icosahedral symmetry has 60 rotational (or orientation-preserving) symmetries and 60 orientation-reversing symmetries (that combine a rotation and a reflection), for a total symmetry order of 120.
Covariance de Lorentzvignette|Illustration de l'espace-temps. En relativité restreinte, une quantité est dite covariante de Lorentz lorsque ses composantes forment une représentation du groupe de Lorentz. Par exemple le temps propre se transforme de façon particulièrement simple puisqu'il est invariant sous transformation de Lorentz, on dit que c'est une quantité scalaire et on parle de scalaire de Lorentz. La représentation associée du groupe de Lorentz est la représentation triviale.
Symétrie Cvignette|upright=1.3|Illusion de symétrie : le reflet de l'ombre de la lampe (sous l'effet du flash de l'appareil photo) semble être le reflet de celle-ci ! En physique des particules, la conjugaison de charge, ou transformation de charge, ou inversion de charge est possiblement observable en ce qui concerne l'électromagnétisme, la gravité, et l'interaction forte. En revanche, la « Symétrie C » (symétrie de charge) n'est pas observée « dans le tableau » de l'interaction faible. C(x)= -x. C(e+)= e-. C(e-)= e+.
