In
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined ...
, a discipline within mathematics, an operator space is a
normed vector space
In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "leng ...
(not necessarily a
Banach space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) 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 ve ...
) "given together with an
isometric
The term ''isometric'' comes from the Greek for "having equal measurement".
isometric may mean:
* Cubic crystal system, also called isometric crystal system
* Isometre, a rhythmic technique in music.
* "Isometric (Intro)", a song by Madeon from ...
embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.
When some object X is said to be embedded in another object Y, the embedding is giv ...
into the space ''B(H)'' of all
bounded operator
In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y.
If X and Y are normed vecto ...
s on a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
''H''.".
The appropriate morphisms between operator spaces are
completely bounded map
Completely may refer to:
* ''Completely'' (Diamond Rio album)
* ''Completely'' (Christian Bautista album), 2005
* "Completely", a song by American singer and songwriter Michael Bolton
* "Completely", a song by Shane Filan from ''Love Always'', 2 ...
s.
Equivalent formulations
Equivalently, an operator space is a
subspace of a
C*-algebra
In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of continu ...
.
Category of operator spaces
The
category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
* Category of being
* ''Categories'' (Aristotle)
* Category (Kant)
* Categories (Peirce) ...
of operator spaces includes
operator system
Given a unital C*-algebra \mathcal , a *-closed subspace ''S'' containing ''1'' is called an operator system. One can associate to each subspace \mathcal \subseteq \mathcal of a unital C*-algebra an operator system via S:= \mathcal+\mathcal ...
s and
operator algebra
In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings.
The results obtained in the study o ...
s. For operator systems, in addition to an induced matrix norm of an operator space, one also has an induced matrix order. For operator algebras, there is still the additional
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
structure.
See also
*
Gilles Pisier
Gilles I. Pisier (born 18 November 1950) is a professor of mathematics at the Pierre and Marie Curie University and a distinguished professor and A.G. and M.E. Owen Chair of Mathematics at the Texas A&M University. He is known for his contribution ...
*
Operator system
Given a unital C*-algebra \mathcal , a *-closed subspace ''S'' containing ''1'' is called an operator system. One can associate to each subspace \mathcal \subseteq \mathcal of a unital C*-algebra an operator system via S:= \mathcal+\mathcal ...
References
{{SpectralTheory
Banach spaces
Operator theory