Inductive limits of topologies, their direct products, and problems related to algebraic structures (Q698526): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q251020 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Brigitte E. Breckner / rank | |||
Normal rank |
Revision as of 20:18, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inductive limits of topologies, their direct products, and problems related to algebraic structures |
scientific article |
Statements
Inductive limits of topologies, their direct products, and problems related to algebraic structures (English)
0 references
30 October 2002
0 references
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).
0 references
inductive limits of inductive systems of topological spaces
0 references
inductive limits of inductive systems of topological groups
0 references
inductive limits of inductive systems of locally convex vector spaces
0 references
product topology
0 references
Bamboo-Shoot topology
0 references