Borel functional calculusIn functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectra), which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function s → s2 to T yields the operator T2. Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator −Δ or the exponential The 'scope' here means the kind of function of an operator which is allowed.
Quantum statistical mechanicsQuantum statistical mechanics is statistical mechanics applied to quantum mechanical systems. In quantum mechanics a statistical ensemble (probability distribution over possible quantum states) is described by a density operator S, which is a non-negative, self-adjoint, trace-class operator of trace 1 on the Hilbert space H describing the quantum system. This can be shown under various mathematical formalisms for quantum mechanics. One such formalism is provided by quantum logic.
Axiomes de WightmanLes axiomes de Wightman, proposés par le physicien et mathématicien Arthur Wightman, sont une tentative de formulation mathématique de la théorie quantique des champs. Formulés par Wightman dans les années 1950, ses axiomes ne sont publiés qu'en 1964 après que Rudolf Haag et David Ruelle ont proposé une formulation algébrique de la théorie quantique des champs axiomatique confirmant leur importance.
Limite classiqueLa limite classique ou limite de correspondance est la capacité d'une théorie physique à retrouver pour certaines valeurs de ses paramètres les principes et résultats de la physique classique, c'est-à-dire la physique élaborée jusqu'à la fin du . La limite classique est utilisée avec des théories physiques qui prédisent un comportement non classique ; l'exemple le plus connu est la mécanique quantique, dont les grandeurs caractéristiques font toujours intervenir la constante de Planck ; sa limite classique est donc le plus souvent associée à la limite .
Stone's theorem on one-parameter unitary groupsIn mathematics, Stone's theorem on one-parameter unitary groups is a basic theorem of functional analysis that establishes a one-to-one correspondence between self-adjoint operators on a Hilbert space and one-parameter families of unitary operators that are strongly continuous, i.e., and are homomorphisms, i.e., Such one-parameter families are ordinarily referred to as strongly continuous one-parameter unitary groups.
Decomposition of spectrum (functional analysis)The spectrum of a linear operator that operates on a Banach space is a fundamental concept of functional analysis. The spectrum consists of all scalars such that the operator does not have a bounded inverse on . The spectrum has a standard decomposition into three parts: a point spectrum, consisting of the eigenvalues of ; a continuous spectrum, consisting of the scalars that are not eigenvalues but make the range of a proper dense subset of the space; a residual spectrum, consisting of all other scalars in the spectrum.
Opérateur non bornéEn analyse fonctionnelle, un opérateur non borné est une application linéaire partiellement définie. Plus précisément, soient X, Y deux espaces vectoriels. Un tel opérateur est donné par un sous-espace dom(T) de X et une application linéaire dont l'ensemble de définition est dom(T) et l'ensemble d'arrivée est Y. Considérons X = Y = L(R) et l'espace de Sobolev H(R) des fonctions de carré intégrable dont la dérivée au sens des distributions appartient, elle aussi, à L(R).
State space (physics)In physics, a state space is an abstract space in which different "positions" represent, not literal locations, but rather states of some physical system. This makes it a type of phase space. Specifically, in quantum mechanics a state space is a complex Hilbert space in which each unit vector represents a different state that could come out of a measurement. Each unit vector specifies a different dimension, so the numbers of dimensions in this Hilbert space depends on the system we choose to describe.
Quantification géométriqueEn physique mathématique, la quantification géométrique est une approche formelle du passage de la mécanique classique à la mécanique quantique fondée sur la géométrie symplectique. Par exemple, des liens peuvent être tissés entre : l'équation de Hamilton et l'équation de Heisenberg; le crochet de Poisson et le commutateur quantique. Physiquement parlant, la quantification géométrique consiste à mettre un chapeau sur les observables classiques d'une variété symplectique donnée.
Antiunitary operatorIn mathematics, an antiunitary transformation, is a bijective antilinear map between two complex Hilbert spaces such that for all and in , where the horizontal bar represents the complex conjugate. If additionally one has then is called an antiunitary operator. Antiunitary operators are important in quantum theory because they are used to represent certain symmetries, such as time reversal. Their fundamental importance in quantum physics is further demonstrated by Wigner's theorem.
