Champ magnétique terrestreLe champ magnétique terrestre, aussi appelé bouclier terrestre, est un champ magnétique présent dans un vaste espace autour de la Terre (de manière non uniforme du fait de son interaction avec le vent solaire) ainsi que dans la croûte et le manteau. Il a son origine dans le noyau externe, par un mécanisme de dynamo auto-excitée. Dynamo terrestre Selon les études de John Tarduno de l'université de Rochester (États-Unis), la Terre possédait déjà un champ magnétique il y a 3,45 milliards d'années.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Théorie de l'éther de LorentzLa théorie de l'éther de Lorentz (également connue sous les appellations de « nouvelle mécanique », « électrodynamique de Lorentz », « théorie des électrons de Lorentz », « théorie de la relativité de Lorentz-Poincaré », en anglais : Lorentz ether theory, abrégé en LET) est le point final du développement du modèle de l'éther luminifère, milieu dans lequel des ondes lumineuses se propagent comme des ondes se propagent sur l’eau ou comme les ondes sonores dans la matière.
Four-forceIn the special theory of relativity, four-force is a four-vector that replaces the classical force. The four-force is defined as the rate of change in the four-momentum of a particle with respect to the particle's proper time: For a particle of constant invariant mass , where is the four-velocity, so we can relate the four-force with the four-acceleration as in Newton's second law: Here and where , and are 3-space vectors describing the velocity, the momentum of the particle and the force acting on it respectively.
Loi d'OhmLa loi d'Ohm est une loi physique empirique qui lie l'intensité du courant électrique traversant un dipôle électrique à la tension à ses bornes. Cette loi permet de déterminer la valeur d'une résistance. La loi d'Ohm a été ainsi nommée en référence au physicien allemand Georg Simon Ohm qui la publie en 1827, dans son œuvre Die galvanische Kette: mathematisch bearbeitet. On note : U la tension aux bornes de la résistance ; I l’intensité du courant qui circule à travers la résistance ; R la valeur de la résistance.
Loi de Coulomb (électrostatique)thumb| Dans les deux cas, la force est proportionnelle au produit des charges et varie en carré inverse de la distance entre les charges. La loi de Coulomb exprime, en électrostatique, la force de l'interaction électrique entre deux particules chargées électriquement. Elle est nommée d'après le physicien français Charles-Augustin Coulomb qui l'a énoncée en 1785 et elle forme la base de l'électrostatique. Elle peut s'énoncer ainsi : thumb|Balance de Coulomb.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Courant de déplacementEn électromagnétisme, le courant de déplacement est un terme introduit par Maxwell pour étendre aux régimes variables dans le temps le théorème d'Ampère valide en magnétostatique. Vers 1865, Maxwell a réalisé une synthèse harmonieuse des diverses lois expérimentales découvertes par ses prédécesseurs (lois de l'électrostatique, du magnétisme, de l'induction...). Mais cette synthèse n'a été possible que parce que Maxwell a su dépasser les travaux de ses devanciers, en introduisant dans une équation un « chaînon manquant », appelé le courant de déplacement, dont la présence assure la cohérence de l'édifice unifié.
Potentiel vecteur du champ magnétiqueLe potentiel vecteur du champ magnétique, ou, plus simplement potentiel vecteur quand il n'y a pas de confusion possible, est une quantité physique assimilable à un champ de vecteurs intervenant en électromagnétisme. Elle n'est pas directement mesurable, mais sa présence est intimement liée à celle d'un champ électrique et/ou d'un champ magnétique. Son unité SI est le kg.C-1.m.s-1. Bien qu'il ait d'abord été introduit uniquement en tant qu'outil mathématique, en mécanique quantique, il a une réalité physique, comme l'a montré l'expérience Aharonov-Bohm.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Covariant formulation of classical electromagnetismThe covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism (in particular, Maxwell's equations and the Lorentz force) in a form that is manifestly invariant under Lorentz transformations, in the formalism of special relativity using rectilinear inertial coordinate systems. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
