Espace vectoriel ordonnéEn mathématiques, un espace vectoriel ordonné (ou espace vectoriel partiellement ordonné) est un espace vectoriel sur muni d'une relation d'ordre compatible avec sa structure. Il est dit totalement ordonné si l'ordre associé est un ordre total. Soit E un espace vectoriel sur le corps des réels et un préordre sur .
Extensions of symmetric operatorsIn functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self-adjoint extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions of observables in quantum mechanics. Other applications of solutions to this problem can be seen in various moment problems. This article discusses a few related problems of this type.
Partie bornée d'un espace vectoriel topologiqueEn analyse fonctionnelle et dans des domaines mathématiques reliés, une partie d'un espace vectoriel topologique est dite bornée (au sens de von Neumann) si tout voisinage du vecteur nul peut être dilaté de manière à contenir cette partie. Ce concept a été introduit par John von Neumann et Andreï Kolmogorov en 1935. Les parties bornées sont un moyen naturel de définir les (localement convexes) sur les deux espaces vectoriels d'une paire duale.
Cube de HilbertEn topologie, on appelle cube de Hilbert l'espace produit muni de la topologie produit, autrement dit : l'espace des suites à valeurs dans [0, 1], muni de la topologie de la convergence simple. D'après le théorème de Tykhonov, c'est un espace compact. Il est homéomorphe au sous-espace suivant de l, pour tous : Il est donc métrisable et par conséquent (puisqu'il est compact), séparable et possède la propriété suivante : Cela fournit en particulier un moyen commode pour compactifier les espaces métrisables séparables, et aussi un critère pour les classifier selon leur complexité ; par exemple un espace est polonais si et seulement s'il est homéomorphe à l'intersection d'une suite d'ouverts de K.
ObservableUne observable est l'équivalent en mécanique quantique d'une grandeur physique en mécanique classique, comme la position, la quantité de mouvement, le spin, l'énergie, etc. Ce terme provient d'une expression utilisée par Werner Heisenberg dans ses travaux sur la mécanique des matrices, où il parlait de beobachtbare Grösse (quantité observable), et où il insistait sur la nécessité d'une définition opérationnelle d'une grandeur physique, qui prend mathématiquement la forme d'un opérateur.
Dimension d'un espace vectorielvignette|espace à zéro dimension. En algèbre linéaire, la dimension de Hamel ou simplement la dimension est un invariant associé à tout espace vectoriel E sur un corps K. La dimension de E est le cardinal commun à toutes ses bases. Ce nombre est noté dimK(E) (lire « dimension de E sur K ») ou dim(E) (s'il n'y a aucune confusion sur le corps K des scalaires). Si E admet une partie génératrice finie, alors sa dimension est finie et elle vaut le nombre de vecteurs constituant une base de E.
Mécanique quantiqueLa mécanique quantique est la branche de la physique théorique qui a succédé à la théorie des quanta et à la mécanique ondulatoire pour étudier et décrire les phénomènes fondamentaux à l'œuvre dans les systèmes physiques, plus particulièrement à l'échelle atomique et subatomique. Elle fut développée dans les années 1920 par une dizaine de physiciens européens, pour résoudre des problèmes que la physique classique échouait à expliquer, comme le rayonnement du corps noir, l'effet photo-électrique, ou l'existence des raies spectrales.
Équation de DiracL'équation de Dirac est une équation formulée par Paul Dirac en 1928 dans le cadre de sa mécanique quantique relativiste de l'électron. Il s'agit au départ d'une tentative pour incorporer la relativité restreinte à des modèles quantiques, avec une écriture linéaire entre la masse et l'impulsion. Cette équation décrit le comportement de particules élémentaires de spins demi-entiers, comme les électrons. Dirac cherchait à transformer l'équation de Schrödinger afin de la rendre invariante par l'action du groupe de Lorentz, en d'autre termes à la rendre compatible avec les principes de la relativité restreinte.
Espace préhilbertienEn mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d'un produit scalaire. Cette notion généralise celles d'espace euclidien ou hermitien dans le cas d'une dimension quelconque, tout en conservant certaines bonnes propriétés géométriques des espaces de dimension finie grâce aux propriétés du produit scalaire, mais en perdant un atout de taille : un espace préhilbertien de dimension infinie n'est pas nécessairement complet. On peut cependant le compléter, pour obtenir un espace de Hilbert.
File formatA file format is a standard way that information is encoded for storage in a . It specifies how bits are used to encode information in a digital storage medium. File formats may be either proprietary or free. Some file formats are designed for very particular types of data: PNG files, for example, store bitmapped using lossless data compression. Other file formats, however, are designed for storage of several different types of data: the Ogg format can act as a container for different types of multimedia including any combination of audio and video, with or without text (such as subtitles), and metadata.
Notation bra-ketLa notation bra-ket a été introduite par Paul Dirac en 1939 (on l'appelle aussi formalisme de Dirac) pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique. Le nom provient d'un jeu de mots avec le terme anglais bracket qui signifie « crochet de parenthèse », en l'occurrence « » et « » qui avec l'adjonction d'une barre verticale « » sont respectivement appelés « bra » et « ket ».
Feynman slash notationIn the study of Dirac fields in quantum field theory, Richard Feynman invented the convenient Feynman slash notation (less commonly known as the Dirac slash notation). If A is a covariant vector (i.e., a 1-form), where γ are the gamma matrices. Using the Einstein summation notation, the expression is simply Using the anticommutators of the gamma matrices, one can show that for any and , where is the identity matrix in four dimensions. In particular, Further identities can be read off directly from the gamma matrix identities by replacing the metric tensor with inner products.
