Continuity of bilinear maps on direct sums of topological vector spaces

DOI10.1016/J.JFA.2011.12.018MaRDI QIDQ765916zbMATHOpenAlexFDO

Publication date 22 March 2012

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.0169

convolution continuity bilinear map normed space metrizable space tensor algebra direct sum compact support smooth functions test functions countable neighbourhood property (DFS)-space

Mathematics Subject Classification ID

Topological linear spaces of continuous, differentiable or analytic functions (46E10) General theory of locally convex spaces (46A03) Topological linear spaces of test functions, distributions and ultradistributions (46F05) Spaces defined by inductive or projective limits (LB, LF, etc.) (46A13)

Abstract: We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on R^n to their convolution is continuous. The criterion also allows an open problem by K.-H. Neeb to be solved: If E is a locally convex space, regard the tensor algebra T(E) as the locally convex direct sum of the projective tensor powers T^j(E) of E. We show that T(E) is a topological algebra if and only if every sequence of continuous seminorms on E has an upper bound. In particular, if E is metrizable, then T(E) is a topological algebra if and only if E is normable. Also, T(E) is a topological algebra whenever E is a DFS-space, or a hemicompact k-space.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Continuity of bilinear maps on direct sums of topological vector spaces

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