Next: Operator algebras
Up: Multiplicative Structures
Previous: Basic examples of operator
  Contents
  Index
Let
be
-algebras with
,
and let
and
be two
-operator modules, i.e. (algebraic)
-left-
-right-modules.
A mapping
is called
-module homomorphism (in case
-bimodule homomorphism) if
for all
,
,
.
Furthermore we will write
for the set of all completely bounded
-module homomorphisms between
and
.
The space
with the composition of operators as multiplication is a Banach algebra.
Let
be
-algebras such that
. Let further
be a unital
-subalgebra of
and
with
. An
-bimodule homomorphism
is called
self-adjoint if
for all
.
Dealing with completely bounded module homomorphisms, we have at our disposal a representation theorem,
an extension theorem and the following
decomposition theorem of Wittstock ([Wit81, Satz 4.5]
and cf. [Pau86, Thm. 7.5]):
Let
,
and
be unital
-algebras. Let moreover
be
injective, and
be a subalgebra of
and
with
.
Then for each self-adjoint completely bounded
-bimodule homomorphism
, there exist two completely positive
-bimodule homomorphisms
and
sharing the properties
and
.
Consider two von Neumann algebras
and
, and two
-algebras
, where
,
and
. We then have the
decomposition theorem of Tomiyama-Takesaki
(cf. [Tak79, Def. 2.15]):
Each operator
has a unique decomposition
,
normal resp. singular, where
.
We thus obtain the algebraically direct sum decomposition:
Here, the notions "normal" and "singular", repectively, are built in analogy to the framework of
linear functionals on a von Neumann algebra
.24
We list some basic facts about the spaces and mappings mentioned in (
):
- (a)
- In case
, all the spaces in (
) are Banach algebras.
- (b)
- The following properties of
are hereditary for the normal part
and
the singular part
: completely positive, homomorphism,
-homomorphism.
- (c)
- If
and
are
-automorphisms, we have
and
.
- (d)
- For
,
a Hilbert space, we have:
.
Let
be a Hilbert space, and let
be two
-algebras with
. Then we obtain
[Pet97, Prop. 4.2.5]:
completely isometrically, where
denotes the Calkin algebra.
Let
be an arbitrary operator space. Then the space of all completely bounded
-module homomorphisms between
and
can be identified with
the dual of a
module Haagerup tensor product in the following way
([Pet97, p. 67], cf. also [ER91, Cor. 4.6],
[Ble92b, Prop. 2.3]):
completely isometrically. Hence we see that
itself and (looking at (
), (
)), just so,
and
are dual operator spaces [Pet97, p. 70].
Footnotes
- ....24
- Let
denote the (unique) predual of
.
Then we have the
-direct sum decomposition
of
into normal (i.e.
-continuous) and singular functionals.
[In the literature, one usually writes
instead of
, corresponding to
.]
Analogously, an operator
,
,
von Neumann algebras, is called normal (i.e.
-
-continuous), if
, and it is called singular, if
.
Next: Operator algebras
Up: Multiplicative Structures
Previous: Basic examples of operator
  Contents
  Index
Prof. Gerd Wittstock
2001-01-07