Brauner space

Summary

In functional analysis and related areas of mathematics a Brauner space is a complete compactly generated locally convex space having a sequence of compact sets such that every other compact set is contained in some .

Brauner spaces are named after Kalman George Brauner, who began their study.[1] All Brauner spaces are stereotype and are in the stereotype duality relations with Fréchet spaces:[2][3]

  • for any Fréchet space its stereotype dual space[4] is a Brauner space,
  • and vice versa, for any Brauner space its stereotype dual space is a Fréchet space.

Special cases of Brauner spaces are Smith spaces.

Examples edit

  • Let   be a  -compact locally compact topological space, and   the Fréchet space of all continuous functions on   (with values in   or  ), endowed with the usual topology of uniform convergence on compact sets in  . The dual space   of Radon measures with compact support on   with the topology of uniform convergence on compact sets in   is a Brauner space.
  • Let   be a smooth manifold, and   the Fréchet space of all smooth functions on   (with values in   or  ), endowed with the usual topology of uniform convergence with each derivative on compact sets in  . The dual space   of distributions with compact support in   with the topology of uniform convergence on bounded sets in   is a Brauner space.
  • Let   be a Stein manifold and   the Fréchet space of all holomorphic functions on   with the usual topology of uniform convergence on compact sets in  . The dual space   of analytic functionals on   with the topology of uniform convergence on bounded sets in   is a Brauner space.

In the special case when   possesses a structure of a topological group the spaces  ,  ,   become natural examples of stereotype group algebras.

  • Let   be a complex affine algebraic variety. The space   of polynomials (or regular functions) on  , being endowed with the strongest locally convex topology, becomes a Brauner space. Its stereotype dual space   (of currents on  ) is a Fréchet space. In the special case when   is an affine algebraic group,   becomes an example of a stereotype group algebra.
  • Let   be a compactly generated Stein group.[5] The space   of all holomorphic functions of exponential type on   is a Brauner space with respect to a natural topology.[6]

See also edit

Notes edit

  1. ^ Brauner 1973.
  2. ^ Akbarov 2003, p. 220.
  3. ^ Akbarov 2009, p. 466.
  4. ^ The stereotype dual space to a locally convex space   is the space   of all linear continuous functionals   endowed with the topology of uniform convergence on totally bounded sets in  .
  5. ^ I.e. a Stein manifold which is at the same time a topological group.
  6. ^ Akbarov 2009, p. 525.

References edit

  • Brauner, K. (1973). "Duals of Fréchet spaces and a generalization of the Banach-Dieudonné theorem". Duke Mathematical Journal. 40 (4): 845–855. doi:10.1215/S0012-7094-73-04078-7.
  • Akbarov, S.S. (2003). "Pontryagin duality in the theory of topological vector spaces and in topological algebra". Journal of Mathematical Sciences. 113 (2): 179–349. doi:10.1023/A:1020929201133. S2CID 115297067.
  • Akbarov, S.S. (2009). "Holomorphic functions of exponential type and duality for Stein groups with algebraic connected component of identity". Journal of Mathematical Sciences. 162 (4): 459–586. arXiv:0806.3205. doi:10.1007/s10958-009-9646-1. S2CID 115153766.