Inductive limits of topologies, their direct products, and problems related to algebraic structures (Q698526)

The starting point for the present paper is the following fact: Given an inductive (i.e., injective or direct) system \((X_\alpha)_{\alpha\in I}\) of certain objects endowed both with an algebraic structure and a topology (compatible with the algebraic structure), the resulting inductive algebraic structure defined on the inductive limit \(X\) of \((X_\alpha)_{\alpha\in I}\) is in general not compatible with the resulting inductive topology on \(X\). This happens, for example, in the case of an inductive system of topological groups, as the authors observed in their previous paper [J. Math. Kyoto Univ. 38, No. 3, 551-578 (1998; Zbl 0930.22002)]. As a continuation of that paper, the present paper treats the following aspects: 1) The study of the incompatibility of the inductive algebraic structure on \(X\) with the inductive topology on \(X\): The authors show that the major reason for this incompatibility lies in the following phenomenon: If \((X_\alpha)_{\alpha\in I}\), resp., \((Y_\alpha)_{\alpha\in I}\) are inductive systems of topological spaces and \(X\), resp., \(Y\) their inductive limits, then the product topology on \(X\times Y\) usually differs from the inductive topology of the inductive family of product spaces \((X_\alpha\times Y_\alpha)_{\alpha\in I}\) (the latter topology is always finer than the former one). The authors study necessary and sufficient conditions (involving different topological properties of the spaces \(X_\alpha\) and \(Y_\alpha\)) for the equality of the two topologies on \(X\times Y\) mentioned above. 2) The construction of a reasonable topology on the inductive limit of an inductive system of certain algebraic objects endowed with a topology: Such a reasonable topology, firstly, must be compatible with the inductive algebraic structure, and, secondly, it must be preserved by direct products. The authors show that such a reasonable topology can be defined at least for (a) the inductive limit of an inductive system of topological groups (that is the so-called extended Bamboo-Shoot topology), (b) the inductive limit of an inductive system of locally convex vector spaces (in this case the topology is the well-known locally convex vector space topology defined on the inductive limit of a family of locally convex vector spaces such as defined, for example, in the book `Functional analysis' by \textit{K. Yosida} (1994; Zbl 0830.46001).