|
Von Neumann Algebras
In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra. Von Neumann algebras were originally introduced by John von Neumann, motivated by his study of single operators, group representations, ergodic theory and quantum mechanics. His double commutant theorem shows that the analytic definition is equivalent to a purely algebraic definition as an algebra of symmetries. Two basic examples of von Neumann algebras are as follows: *The ring L^\infty(\mathbb R) of essentially bounded measurable functions on the real line is a commutative von Neumann algebra, whose elements act as multiplication operators by pointwise multiplication on the Hilbert space L^2(\mathbb R) of square-integrable functions. *The algebra \mathcal B(\mathcal H) of all bounded operators on a Hilbert space \mathcal H is a von Neumann algebra, n ... [...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] |
Measurable Function
In mathematics, and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the preimage of any measurable set is measurable. This is in direct analogy to the definition that a continuous function between topological spaces preserves the topological structure: the preimage of any open set is open. In real analysis, measurable functions are used in the definition of the Lebesgue integral. In probability theory, a measurable function on a probability space is known as a random variable. Formal definition Let (X,\Sigma) and (Y,\Tau) be measurable spaces, meaning that X and Y are sets equipped with respective \sigma-algebras \Sigma and \Tau. A function f:X\to Y is said to be measurable if for every E\in \Tau the pre-image of E under f is in \Sigma; that is, for all E \in \Tau f^(E) := \ \in \Sigma. That is, \sigma (f)\subseteq\Sigma, where \sigma (f) is the σ-algeb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Banach Space
In mathematics, more specifically in functional analysis, a Banach space (, ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space. Banach spaces are named after the Polish mathematician Stefan Banach, who introduced this concept and studied it systematically in 1920–1922 along with Hans Hahn and Eduard Helly. Maurice René Fréchet was the first to use the term "Banach space" and Banach in turn then coined the term " Fréchet space". Banach spaces originally grew out of the study of function spaces by Hilbert, Fréchet, and Riesz earlier in the century. Banach spaces play a central role in functional analysis. In other areas of analysis, the spaces under study are often Banach spaces. Definition A Banach space is a complete nor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Predual
In mathematics, the predual of an object ''D'' is an object ''P'' whose dual space is ''D''. For example, the predual of the space of bounded operators is the space of trace class In mathematics, specifically functional analysis, a trace-class operator is a linear operator for which a trace may be defined, such that the trace is a finite number independent of the choice of basis used to compute the trace. This trace of tra ... operators, and the predual of the space ''L''∞(R) of essentially bounded functions on R is the Banach space ''L''1(R) of integrable functions. Abstract algebra Functional analysis {{mathanalysis-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutant
In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set \operatorname_G(S) of elements of ''G'' that commute with every element of ''S'', or equivalently, the set of elements g\in G such that conjugation by g leaves each element of ''S'' fixed. The normalizer of ''S'' in ''G'' is the set of elements \mathrm_G(S) of ''G'' that satisfy the weaker condition of leaving the set S \subseteq G fixed under conjugation. The centralizer and normalizer of ''S'' are subgroups of ''G''. Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets ''S''. Suitably formulated, the definitions also apply to semigroups. In ring theory, the centralizer of a subset of a ring is defined with respect to the multiplication of the ring (a semigroup operation). The centralizer of a subset of a ring ''R'' is a subring of ''R''. This article also deals with centralizers and nor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semigroup With Involution
In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: * Uniqueness * Double application "cancelling itself out". * The same interaction law with the binary operation as in the case of the group inverse. It is thus not a surprise that any group is a semigroup with involution. However, there are significant natural examples of semigroups with involution that are not groups. An example from linear algebra is a set of real-valued n-by-n square matrices with the matrix-transpose as the involution. The map which sends a matrix to its transpose is an involution because the transpose is well defined for any matrix and obeys the law , which has the same form of interaction with multi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Norm Topology
In mathematics, the operator norm measures the "size" of certain linear operators by assigning each a real number called its . Formally, it is a norm defined on the space of bounded linear operators between two given normed vector spaces. Informally, the operator norm \, T\, of a linear map T : X \to Y is the maximum factor by which it "lengthens" vectors. Introduction and definition Given two normed vector spaces V and W (over the same base field, either the real numbers \R or the complex numbers \Complex), a linear map A : V \to W is continuous if and only if there exists a real number c such that \, Av\, \leq c \, v\, \quad \text v\in V. The norm on the left is the one in W and the norm on the right is the one in V. Intuitively, the continuous operator A never increases the length of any vector by more than a factor of c. Thus the image of a bounded set under a continuous operator is also bounded. Because of this property, the continuous linear operators are also known ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ultraweak Topology
In functional analysis, a branch of mathematics, the ultraweak topology, also called the weak-* topology, or weak-* operator topology or σ-weak topology, is a topology on ''B''(''H''), the space of bounded operators on a Hilbert space ''H''. ''B''(''H'') admits a predual ''B''*(''H''), the trace class operators on ''H''. The ultraweak topology is the weak-* topology so induced; in other words, the ultraweak topology is the weakest topology such that predual elements remain continuous on ''B''(''H''). Relation with the weak (operator) topology The ultraweak topology is similar to the weak operator topology. For example, on any norm-bounded set the weak operator and ultraweak topologies are the same, and in particular, the unit ball is compact in both topologies. The ultraweak topology is stronger than the weak operator topology. One problem with the weak operator topology is that the dual of ''B''(''H'') with the weak operator topology is "too small". The ultraweak topology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strong Operator Topology
In functional analysis, a branch of mathematics, the strong operator topology, often abbreviated SOT, is the locally convex topology on the set of bounded operators on a Hilbert space ''H'' induced by the seminorms of the form T\mapsto\, Tx\, , as ''x'' varies in ''H''. Equivalently, it is the coarsest topology such that, for each fixed ''x'' in ''H'', the evaluation map T\mapsto Tx (taking values in ''H'') is continuous in T. The equivalence of these two definitions can be seen by observing that a subbase for both topologies is given by the sets U(T_0,x,\epsilon) = \ (where ''T0'' is any bounded operator on ''H'', ''x'' is any vector and ε is any positive real number). In concrete terms, this means that T_i\to T in the strong operator topology if and only if \, T_ix-Tx\, \to 0 for each ''x'' in ''H''. The SOT is stronger than the weak operator topology and weaker than the norm topology. The SOT lacks some of the nicer properties that the weak operator topology has, but bein ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operator Topology
In the mathematical field of functional analysis there are several standard topologies which are given to the algebra of bounded linear operators on a Banach space . Introduction Let (T_n)_ be a sequence of linear operators on the Banach space X. Consider the statement that (T_n)_ converges to some operator T on X. This could have several different meanings: * If \, T_n - T\, \to 0, that is, the operator norm of T_n - T (the supremum of \, T_n x - T x \, _X, where x ranges over the unit ball in X) converges to 0, we say that T_n \to T in the uniform operator topology. * If T_n x \to Tx for all x \in X, then we say T_n \to T in the strong operator topology. * Finally, suppose that for all x \in X we have T_n x \to Tx in the weak topology of X. This means that F(T_n x) \to F(T x) for all continuous linear functionals F on X. In this case we say that T_n \to T in the weak operator topology. List of topologies on B(''H'') There are many topologies that can be defined on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Francis Joseph Murray
Francis Joseph Murray (February 3, 1911 – March 15, 1996) was a mathematician, known for his foundational work (with John von Neumann) on functional analysis, and what subsequently became known as von Neumann algebras. He received his BA from Columbia College in 1932 and PhD from Columbia University in 1936. He taught at Duke University. In 1967 he was awarded the Outstanding Civilian Service Medal by the U. S. Army. Selected publications * 1936 (with J. von Neumann),On rings of operators" ''Ann. of Math''. 2(37): 116–229. The original paper on von Neumann algebra In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra. Von Neumann al ...s. * 1937 (with J. von Neumann),On rings of operators II" ''Trans. Amer. Math. Soc''. 41: 208–248. * 1943 (with J. von Neumann),On rings of operators IV" ''Ann. o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
