nLab
convenient vector space

Contents

Idea

A convenient vector spaces is a locally convex topological vector space satisfying a certain completeness? property. Loosely, the completeness property is that such that “all derivatives which ought to exist actually do”.

The term convenient vector space was introduced by Kriegl and Michor as part of their theory of global analysis. It is equivalent to the notion locally complete which is more usual in functional analysis.

Definition

There are various equivalent definitions of a convenient vector space, a long list is given in Theorem 2.14 of KM. We shall give the definition that is closest to its raison d’être, namely the existence of derivatives.

Definition

A locally convex topological vector space EE is said to be convenient or c c^\infty-complete if whenever c:Ec \colon \mathbb{R} \to E is a curve such that lc:l \circ c \colon \mathbb{R} \to \mathbb{R} is smooth for all lE *l \in E^* then cc is smooth.

We shall give one other characterisation which recasts the definition in language more common in functional analysis.

Definition

A locally convex topological vector space, EE, is said to be locally complete if for BEB \subseteq E a bounded?, closed?, absolutely convex subset then its norm space, E BE_B, is a Banach space.

The equivalence of these two forms part of Theorem 2.14 of KM.

Other equivalent characterizations of convenient vector spaces EE are:

See for instance (Blute).

Examples

  • A Cartesian space n\mathbb{R}^n carries a unique structure of a convenient vector space.

  • For XX and YY to convenient vector spaces, the vector space of smooth functions C (X,Y)C^\infty(X,Y) is again a convenient vector space. This is to a large degree the motivating example. It makes the category of convenient vector spaces by Cartesian closed. (See below).

Properties

References

A standard textbook reference is

A survey is for instance in the slides

  • Richard Blute, Convenient Vector Spaces, Convenient Manifolds and Differential Linear Logic (2011) (pdf)

Results on equivalent characterizations are for instance in

  • Thomas E. Gilsdorf, Strictly Webbed Convenient Locally Convex Spaces, Int. Journal of Math. Analysis, Vol. 1, 2007, no. 16, 775 - 782 (pdf)

The embedding of convenient vector spaces into the Cahiers topos and hence the treatment of their differential geometry by synthetic differential geometry is due to

  • Anders Kock, Convenient vector spaces embed into the Cahiers topos, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 27 no. 1 (1986), p. 3-17 (numdam)

and with a corrected definition of the site of definition in

  • Anders Kock, Gonzalo Reyes, Corrigendum and addenda to: Convenient vector spaces embed into the Cahiers topos, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 27 no. 1 (1986), p. 3-17 (numdam)

Revised on March 29, 2012 09:02:02 by Urs Schreiber (82.172.178.200)