Brauner space
From Wikipedia, the free encyclopedia
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.
- for any Fréchet space
Special cases of Brauner spaces are Smith spaces.
- 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
References
- ↑ Brauner 1973.
- ↑ Akbarov 2003, p. 220.
- ↑ Akbarov 2009, p. 466.
- ↑ 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
.
- ↑ I.e. a Stein manifold which is at the same time a topological group.
- ↑ Akbarov 2009, p. 525.
- 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.
| Spaces |
| ||||
|---|---|---|---|---|---|
| Theorems | |||||
| Operators | |||||
| Algebras | |||||
| Open problems | |||||
| Applications | |||||
| Advanced topics | |||||
Topological vector spaces (TVSs) | |
|---|---|
| Basic concepts | |
| Main results | |
| Maps | |
| Types of sets | |
| Set operations | |
| Types of TVSs |
|