Espace-tempsEn physique, l'espace-temps est une représentation mathématique de l'espace et du temps comme deux notions inséparables et s'influençant l'une l'autre. En réalité, ce sont deux versions (vues sous un angle différent) d'une même entité. Cette conception de l'espace et du temps est l'un des grands bouleversements survenus au début du dans le domaine de la physique, mais aussi pour la philosophie. Elle est apparue avec la relativité restreinte et sa représentation géométrique qu'est l'espace de Minkowski ; son importance a été renforcée par la relativité générale.
Diagramme de Minkowskivignette|droite|Diagramme de Minkowski représentant un événement E avec ses coordonnées d'espace-temps (x,ct) dans un référentiel R, et celles (x', ct') dans un référentiel R' en déplacement par rapport au premier à la vitesse v ; ainsi qu'un des axes du cône de lumière, en rouge. L'unité des graduations sur les axes de R' sont notées 1' sur chacun. Le diagramme de Minkowski est une représentation de l'espace-temps développée en 1908 par Hermann Minkowski, permettant une visualisation des propriétés dans la théorie de la relativité restreinte.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Spacetime topologySpacetime topology is the topological structure of spacetime, a topic studied primarily in general relativity. This physical theory models gravitation as the curvature of a four dimensional Lorentzian manifold (a spacetime) and the concepts of topology thus become important in analysing local as well as global aspects of spacetime. The study of spacetime topology is especially important in physical cosmology. There are two main types of topology for a spacetime M. As with any manifold, a spacetime possesses a natural manifold topology.
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.
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).
Relativité restreinteLa relativité restreinte est la théorie élaborée par Albert Einstein en 1905 en vue de tirer toutes les conséquences physiques de la relativité galiléenne et du principe selon lequel la vitesse de la lumière dans le vide a la même valeur dans tous les référentiels galiléens (ou inertiels), ce qui était implicitement énoncé dans les équations de Maxwell (mais interprété bien différemment jusque-là, avec « l'espace absolu » de Newton et léther).
Histoire de la relativité restreinteL’histoire de la relativité restreinte décrit le développement de propositions et constatations empiriques et conceptuelles, au sein de la physique théorique, qui ont permis d’aboutir à une nouvelle compréhension de l’espace et du temps. Cette théorie, nommée « relativité restreinte », se distingue des travaux ultérieurs d'Albert Einstein, appelés « relativité générale ». Dans ses Principia mathematica, publiés pour la première fois en 1687 et qui influencent la physique pendant 200 ans, Isaac Newton postule les notions d'espace et de temps absolus et pose la théorie corpusculaire de la lumière.
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).
Transformations de LorentzCet article présente les transformations de Lorentz sous un aspect technique. Le lecteur désireux d'obtenir des informations physiques plus générales à ce sujet pourra se référer à l'article Relativité restreinte. thumb|Hendrik Lorentz en 1916. Les transformations de Lorentz sont des transformations linéaires des coordonnées d'un point de l'espace-temps de Minkowski à quatre dimensions.
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.
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.
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.
Vitesse de la lumièreLa vitesse de la lumière dans le vide, habituellement notée c, est une constante physique de l'Univers qui est fondamentale dans plusieurs domaines de la physique. L'étude de la lumière et de sa vitesse remonte à l'Antiquité. Des philosophes et des scientifiques, en s'appuyant sur des arguments théoriques ou des observations, affirment que sa vitesse est infinie, alors que d'autres prétendent que non. Ole Rømer démontre en 1676 qu'elle est finie.
Forme quadratiquethumb|L'annulation d'une forme quadratique donne le cône de lumière de la relativité restreinte, son signe fait la différence entre les événements accessibles ou inaccessibles dans l'espace-temps. En mathématiques, une forme quadratique est un polynôme homogène de degré 2 avec un nombre quelconque de variables. Les formes quadratiques d'une, deux et trois variables sont données respectivement par les formules suivantes (a,b,c,d,e,f désignant des coefficients) : L'archétype de forme quadratique est la forme x + y + z sur R, qui définit la structure euclidienne et dont la racine carrée permet de calculer la norme d'un vecteur.
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.
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.
Théorie de la relativitévignette|Formule de la théorie de la relativité d'Albert Einstein. L'expression théorie de la relativité renvoie le plus souvent à deux théories complémentaires élaborées par Albert Einstein et Mileva Marić : la relativité restreinte (1905) et la relativité générale (1915). Ce terme peut aussi renvoyer à une idée plus ancienne, la relativité galiléenne, qui s'applique à la mécanique newtonienne. En 1905, le physicien allemand Max Planck utilise l'expression « théorie relative » (Relativtheorie), qui met l'accent sur l'usage du principe de relativité.
