Regular tensor algebras

Locally convex Fréchet spaces and (DF)-spaces (46A04) Spaces determined by compactness or summability properties (nuclear spaces, Schwartz spaces, Montel spaces, etc.) (46A11) Sequence spaces (including Köthe sequence spaces) (46A45) Tensor products in functional analysis (46M05)

Review text

Summary: A convolution algebra is a normal sequence space \(\lambda\) that is closed under the convolution product. Let E be a nuclear Fréchet locally convex space, and let \({\mathcal P}=\{p_ r:\) \(r\in {\mathbb{N}}\cup \{0\}\}\) be a family of Hilbertian seminorms defining its topology. We define the vector space \[ T(E,\lambda,{\mathcal P})=\{(x_ n)\in \prod_{n\geq 0}{\hat \otimes}^ n E:\;(\otimes^ n_{\sigma} p_ r(x_ n))\in \lambda,\quad r\geq 0\}, \] equipped with the topology obtained from the seminorms \[ \sum_{n\geq 0}| u_ n| \otimes^ n_{\sigma} p_ r, \] where \(r\geq 0\) and \(u\in \lambda^{\times}\), the Köthe dual of \(\lambda\). For certain sequence spaces, the resulting space does not depend on \({\mathcal P}\) and we write T(E,\(\lambda\)). Such is the case for sequence spaces of type h. Certain properties of \(\lambda\) transfer directly to T(E,\(\lambda\),\({\mathcal P})\). In particular, if \(\lambda\) is complete (respectively Fréchet, a topological algebra), then so is T(E,\(\lambda\),\({\mathcal P})\). A regular tensor algebra is a space T(E,\(\lambda\)) for \(\lambda\) a perfect topological convolution algebra with jointly continuous product which is of type h. T(E,\(\lambda\)) is then nuclear, and reflexive if Fréchet. We examine the topological properties of the spaces T(E,\(\lambda\),\({\mathcal P})\). Other than invertibility, these are the same as for \(E_{\otimes}={\bar \oplus}_{n\geq 0}\otimes^ n E.\) We then consider the order properties arising from a natural involution. The positive wedge K(\(\lambda\)) is always a proper strict-b cone, and if \(\lambda\) is of type h and \(\lambda\subseteq h\), its closure is proper. Here h is the sequence space isomorphic to the space H(\({\mathbb{C}})\) of entire functions. In particular, T(E,h) is a regular tensor algebra which is locally multiplicatively convex and whose closed cone is proper. Finally, we present three conditions which are sufficient for K(\(\lambda\)) to be normal.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Regular tensor algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q916060)