Groupe de Poincaré (transformations)Le groupe de Poincaré ou symétrie de Poincaré est l'ensemble des isométries de l'espace-temps de Minkowski. Il a la propriété d'être un groupe de Lie non compact à 10 dimensions. Sa version complète inclut quatre types de symétrie : les translations (c'est-à-dire les déplacements) dans le temps et l'espace, formant le groupe de Lie abélien des translations sur l'espace-temps ; les rotations dans l'espace, qui forment le groupe de Lie non abélien des rotations tridimensionnelles ; les transformations de Lorentz propres et orthochrones, laissant inchangés le sens du temps et l'orientation de l'espace ; le renversement du temps T et la parité P (renversement des coordonnées d'espace), qui forment un groupe discret (Id ; T ; P ; PT).
Tests de la relativité restreinteLes tests de la relativité restreinte sont une suite d'expériences qui a commencé à la fin du et qui se poursuit toujours, avec une précision toujours accrue. Ils ont été d'une importance fondamentale pour la formulation et l'acceptation de la relativité restreinte, théorie qui joue un rôle fondamental dans la description de pratiquement tous les phénomènes physiques, tant que la gravitation et les effets quantiques y jouent un rôle négligeable.
IsométrieEn géométrie, une isométrie est une transformation, qui conserve les longueurs et les mesures d’angles, délimités par deux demi‐droites ou bien deux demi‐plans. Autrement dit, une isométrie est une similitude particulière, qui reproduit n’importe quelle figure à l’échelle 1. Ce rapport 1 de longueurs s’appelle le rapport de la similitude. Comme une similitude, une isométrie dite directe conserve l’orientation des figures, tandis qu’une isométrie indirecte inverse leur orientation.
Strong and weak typingIn computer programming, one of the many ways that programming languages are colloquially classified is whether the language's type system makes it strongly typed or weakly typed (loosely typed). However, there is no precise technical definition of what the terms mean and different authors disagree about the implied meaning of the terms and the relative rankings of the "strength" of the type systems of mainstream programming languages.
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.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Variété pseudo-riemannienneLa géométrie pseudo-riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l'étude des formes bilinéaires symétriques généralisent les considérations sur les métriques euclidiennes. Cependant, cette géométrie présente des aspects non intuitifs des plus surprenants. Une métrique pseudo-riemannienne sur une variété différentielle M de dimension n est une famille g= de formes bilinéaires symétriques non dégénérées sur les espaces tangents de signature constante (p,q).
Principe de relativitéLe principe de relativité affirme que les lois physiques s'expriment de manière identique dans tous les référentiels inertiels : les lois sont « invariantes par changement de référentiel inertiel ». Cela implique que pour deux expériences préparées de manière identique dans deux référentiels inertiels, les mesures faites sur l'une et l'autre dans leur référentiel respectif sont identiques : si je laisse tomber une balle, je constate la même trajectoire, que je réalise l'expérience sur le quai d'une gare ou dans un train en mouvement rectiligne uniforme.
Variété riemannienneEn mathématiques, et plus précisément en géométrie, la variété riemannienne est l'objet de base étudié en géométrie riemannienne. Il s'agit d'une variété, c'est-à-dire un espace courbe généralisant les courbes (de dimension 1) ou les surfaces (de dimension 2) à une dimension n quelconque, et sur laquelle il est possible d'effectuer des calculs de longueur. En termes techniques, une variété riemannienne est une variété différentielle munie d'une structure supplémentaire appelée métrique riemannienne permettant de calculer le produit scalaire de deux vecteurs tangents à la variété en un même point.
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
Facteur de LorentzLe facteur de Lorentz est un paramètre-clé intervenant dans de nombreuses formules de la relativité restreinte. Il s’agit du facteur par lequel le temps, les longueurs et la masse relativistes changent pour un objet tandis que cet objet est en mouvement. Le facteur de Lorentz () est ainsi nommé en l'honneur du mathématicien et physicien néerlandais Hendrik Antoon Lorentz, lauréat du prix Nobel de physique en 1902, qui l'a introduit en 1904 comme rapport de proportionnalité entre deux temps, le temps vrai et le temps local, mais qui apparaissait dans ses travaux antérieurs de 1895 comme rapport de deux longueurs.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
