|
Stinespring Factorization Theorem
In mathematics, Stinespring's dilation theorem, also called Stinespring's factorization theorem, named after W. Forrest Stinespring, is a result from operator theory that represents any completely positive map on a C*-algebra ''A'' as a composition of two completely positive maps each of which has a special form: #A *-representation of ''A'' on some auxiliary Hilbert space ''K'' followed by #An operator map of the form ''T'' ↦ ''V*TV''. Moreover, Stinespring's theorem is a structure theorem from a C*-algebra into the algebra of bounded operators on a Hilbert space. Completely positive maps are shown to be simple modifications of *-representations, or sometimes called *-homomorphisms. Formulation In the case of a unital C*-algebra, the result is as follows: :Theorem. Let ''A'' be a unital C*-algebra, ''H'' be a Hilbert space, and ''B''(''H'') be the bounded operators on ''H''. For every completely positive ::\Phi : A \to B(H), :there exists a Hilbert space ''K'' and a un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Dilation Theory
In mathematics, a dilation is a function f from a metric space M into itself that satisfies the identity :d(f(x),f(y))=rd(x,y) for all points x, y \in M, where d(x, y) is the distance from x to y and r is some positive real number. In Euclidean space, such a dilation is a similarity of the space. Dilations change the size but not the shape of an object or figure. Every dilation of a Euclidean space that is not a congruence has a unique fixed point that is called the ''center of dilation''. Some congruences have fixed points and others do not.. See also * Homothety * Dilation (operator theory) In operator theory, a dilation of an operator ''T'' on a Hilbert space ''H'' is an operator on a larger Hilbert space ''K'', whose restriction to ''H'' composed with the orthogonal projection onto ''H'' is ''T''. More formally, let ''T'' be a boun ... References {{DEFAULTSORT:Dilation (Metric Space) Metric geometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Absolutely Continuous
In calculus and real analysis, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central operations of calculus— differentiation and integration. This relationship is commonly characterized (by the fundamental theorem of calculus) in the framework of Riemann integration, but with absolute continuity it may be formulated in terms of Lebesgue integration. For real-valued functions on the real line, two interrelated notions appear: absolute continuity of functions and absolute continuity of measures. These two notions are generalized in different directions. The usual derivative of a function is related to the '' Radon–Nikodym derivative'', or ''density'', of a measure. We have the following chains of inclusions for functions over a compact subset of the real line: : ''absolutely continuous'' ⊆ '' u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Positive Functional
In mathematics, more specifically in functional analysis, a positive linear functional on an ordered vector space (V, \leq) is a linear functional f on V so that for all positive elements v \in V, that is v \geq 0, it holds that f(v) \geq 0. In other words, a positive linear functional is guaranteed to take nonnegative values for positive elements. The significance of positive linear functionals lies in results such as Riesz–Markov–Kakutani representation theorem. When V is a complex vector space, it is assumed that for all v\ge0, f(v) is real. As in the case when V is a C*-algebra with its partially ordered subspace of self-adjoint elements, sometimes a partial order is placed on only a subspace W\subseteq V, and the partial order does not extend to all of V, in which case the positive elements of V are the positive elements of W, by abuse of notation. This implies that for a C*-algebra, a positive linear functional sends any x \in V equal to s^s for some s \in V to a real num ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Unit-norm Vector
In mathematics, a unit vector in a normed vector space is a vector (often a spatial vector) of length 1. A unit vector is often denoted by a lowercase letter with a circumflex, or "hat", as in \hat (pronounced "v-hat"). The term ''normalized vector'' is sometimes used as a synonym for ''unit vector''. The normalized vector û of a non-zero vector u is the unit vector in the direction of u, i.e., :\mathbf = \frac=(\frac, \frac, ... , \frac) where ‖u‖ is the norm (or length) of u and \, \mathbf\, = (u_1, u_2, ..., u_n). The proof is the following: \, \mathbf\, =\sqrt=\sqrt=\sqrt=1 A unit vector is often used to represent directions, such as normal directions. Unit vectors are often chosen to form the basis of a vector space, and every vector in the space may be written as a linear combination form of unit vectors. Orthogonal coordinates Cartesian coordinates Unit vectors may be used to represent the axes of a Cartesian coordinate system. For instance, the standard ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
State (functional Analysis)
In functional analysis, a state of an operator system is a positive linear functional of norm 1. States in functional analysis generalize the notion of density matrices in quantum mechanics, which represent quantum states, both mixed states and pure states. Density matrices in turn generalize state vectors, which only represent pure states. For ''M'' an operator system in a C*-algebra ''A'' with identity, the set of all states of'' ''M, sometimes denoted by S(''M''), is convex, weak-* closed in the Banach dual space ''M''*. Thus the set of all states of ''M'' with the weak-* topology forms a compact Hausdorff space, known as the state space of ''M'' . In the C*-algebraic formulation of quantum mechanics, states in this previous sense correspond to physical states, i.e. mappings from physical observables (self-adjoint elements of the C*-algebra) to their expected measurement outcome (real number). Jordan decomposition States can be viewed as noncommutative generalizations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Positive Linear Functional
In mathematics, more specifically in functional analysis, a positive linear functional on an ordered vector space (V, \leq) is a linear functional f on V so that for all positive elements v \in V, that is v \geq 0, it holds that f(v) \geq 0. In other words, a positive linear functional is guaranteed to take nonnegative values for positive elements. The significance of positive linear functionals lies in results such as Riesz–Markov–Kakutani representation theorem. When V is a complex vector space, it is assumed that for all v\ge0, f(v) is real. As in the case when V is a C*-algebra with its partially ordered subspace of self-adjoint elements, sometimes a partial order is placed on only a subspace W\subseteq V, and the partial order does not extend to all of V, in which case the positive elements of V are the positive elements of W, by abuse of notation. This implies that for a C*-algebra, a positive linear functional sends any x \in V equal to s^s for some s \in V to a real num ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Complex Number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or complex coefficie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Gelfand–Naimark–Segal Construction
In functional analysis, a discipline within mathematics, given a C^*-algebra A, the Gelfand–Naimark–Segal construction establishes a correspondence between cyclic *-representations of A and certain linear functionals on A (called ''states''). The correspondence is shown by an explicit construction of the *-representation from the state. It is named for Israel Gelfand, Mark Naimark, and Irving Segal. States and representations A *-representation of a C^*-algebra A on a Hilbert space H is a mapping \pi from A into the algebra of bounded operators on H such that * \pi is a ring homomorphism which carries involution on A into involution on operators * \pi is nondegenerate, that is the space of vectors \pi (x) \xi is dense as x ranges through A and \xi ranges through H. Note that if A has an identity, nondegeneracy means exactly \pi is unit-preserving, i.e. \pi maps the identity of A to the identity operator on H. A state on a C^*-algebra A is a positive linear functional ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Up To
Two Mathematical object, mathematical objects and are called "equal up to an equivalence relation " * if and are related by , that is, * if holds, that is, * if the equivalence classes of and with respect to are equal. This figure of speech is mostly used in connection with expressions derived from equality, such as uniqueness or count. For example, " is unique up to " means that all objects under consideration are in the same equivalence class with respect to the relation . Moreover, the equivalence relation is often designated rather implicitly by a generating condition or transformation. For example, the statement "an integer's prime factorization is unique up to ordering" is a concise way to say that any two lists of prime factors of a given integer are equivalent with respect to the relation that relates two lists if one can be obtained by reordering (permutation, permuting) the other. As another example, the statement "the solution to an indefinite integral is , up ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Unitary Operator
In functional analysis, a unitary operator is a surjective bounded operator on a Hilbert space that preserves the inner product. Non-trivial examples include rotations, reflections, and the Fourier operator. Unitary operators generalize unitary matrices. Unitary operators are usually taken as operating ''on'' a Hilbert space, but the same notion serves to define the concept of isomorphism ''between'' Hilbert spaces. Definition Definition 1. A ''unitary operator'' is a bounded linear operator on a Hilbert space that satisfies , where is the adjoint of , and is the identity operator. The weaker condition defines an ''isometry''. The other weaker condition, , defines a ''coisometry''. Thus a unitary operator is a bounded linear operator that is both an isometry and a coisometry, or, equivalently, a surjective isometry. An equivalent definition is the following: Definition 2. A ''unitary operator'' is a bounded linear operator on a Hilbert space for which the followi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Partial Isometry
Partial may refer to: Mathematics *Partial derivative, derivative with respect to one of several variables of a function, with the other variables held constant ** ∂, a symbol that can denote a partial derivative, sometimes pronounced "partial dee" **Partial differential equation, a differential equation that contains unknown multivariable functions and their partial derivatives Other uses *Partial application, in computer science the process of fixing a number of arguments to a function, producing another function *Partial charge or net atomic charge, in chemistry a charge value that is not an integer or whole number *Partial fingerprint, impression of human fingers used in criminology or forensic science * Partial seizure or focal seizure, a seizure that initially affects only one hemisphere of the brain * Partial or Part score, in contract bridge a trick score less than 100, as well as other meanings * Partial or Partial wave, one sound wave of which a complex tone is compose ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |