Continuous duality of limits and colimits of topological Abelian groups (Q945026): Difference between revisions

The authors consider projective and inductive limits whose detailed definitions are given in the paper. Let \(X\) be a set and \(\lambda(x)\) a collection of the filters for each \(x\in X\). A collection \(\lambda\) of filters \(\lambda(x)\) for \(x\in X\) is called a convergence structure for \(X\) and the pair \((X,\lambda)\) is called convergence space. A mapping between convergence spaces \(f:X\to Y\) is continuous if \(f(\mathcal{F})\in \lambda(f(x))\) whenever \(\mathcal{F}\in \lambda(x)\). The generalizations of some topological properties are defined for convergence spaces in a natural way. For a group \(G\) and a convergence structure \(\lambda\) on it, the pair \((G,\lambda)\) is called convergence group if the mapping \(G\times G, (x,y)\mapsto x-y\) is continuous in this sense. A topological group is a convergence group but the converse fails. The category of convergence groups is denoted by \(\mathbf{Cgp}\). In this work it is proved that the dual continuity functor \(\Gamma_{C}:\mathbf{Cgp}\to \mathbf{Cgp}^{\text{op}}\) is a left adjoint to \({\Gamma_{C}}^{\text{op}}:\mathbf{Cgp}^{\text{op}}\to \mathbf{Cgp}\) and takes colimits to limits in \(\mathbf{Cgp}\) but in general limits are not taken to colimits. It is shown that for topological groups the reduced projective limits are taken to inductive limits in \(\mathbf{Cgp}\). From this it is obtained that the inductive limit in \(\mathbf{Crp}\) of locally compact topological groups is reflexive if it is separated.