nLab predual

Redirected from "preduals".
Preduals

Preduals

Idea

In any context in which one speaks of duals, xx is a predual of aa if aa is the dual of xx. If there is more than one sort of dual (left and right, algebraic and topological, etc), then the same goes for preduals.

The term is most commonly encountered when “dual” is meant in the sense of dual object in a closed category. In particular, it is common parlance in the context of Banach spaces; see also the discussion below on von Neumann algebras.

Definitions

The Idea section above gives a fine definition, except for the word ‘is’ in the phrase ‘xx is the dual of aa’. One ought to say: given an object aa, a predual of aa is an object xx and an isomorphism i:ax *i\colon a \to x^*, where x *x^* is the dual (whatever that means in the appropriate context) of xx. (Or if the objects in question form some kind of higher category, then ii is an equivalence.)

Similarly, given a morphism f:abf\colon a \to b and isomorphisms i:x *ai\colon x^* \to a and j:y *bj\colon y^* \to b, a predual of ff (relative to these preduals of aa and bb) is a morphism u:yxu\colon y \to x making this commutative diagram (or in a higher category, with a 22-equivalence filling it):

x * i a u * f y * j b \array { x^* & \overset{i}\to & a \\ \mathllap{u^*}\downarrow & & \downarrow\mathrlap{f} \\ y^* & \underset{j}\to & b }

(We may continue to preduals of 22-morphisms etc, if appropriate.)

One can, of course, apply the term “predual” to any of the contexts of “dual” listed in category with duals (before the examples of star-autonomous category and closed category, which were said not to really belong). But this is less commonly encountered in practice, since it reduces to a concept with some other standard name, e.g., a left predual of an object is the same as its right dual.

Of von Neumann algebras

Preduals are particularly studied for von Neumann algebras. Indeed, a von Neumann algebra may be defined as a C *C^*-algebra with a predual of its underlying Banach space. We have the nice theorem that this predual is essentially unique, so we speak of the predual of a von Neumann algebra. Similarly, a morphism of von Neumann algebras is a morphism of C *C^*-algebras with a predual (relative to the algebras' unique preduals) of its underlying morphism of Banach spaces; this is again unique.

Since the preduals are unique, we may give them symbols; if the dual of AA is denoted A *A^*, then we use A *A_* for the predual of AA. (If one uses a different symbol for duals, then preduals follow that.)

Last revised on August 11, 2012 at 23:35:40. See the history of this page for a list of all contributions to it.