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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 18:18, 30 January 2024

scientific article
Language Label Description Also known as
English
Continuous duality of limits and colimits of topological Abelian groups
scientific article

    Statements

    Continuous duality of limits and colimits of topological Abelian groups (English)
    0 references
    0 references
    0 references
    10 September 2008
    0 references
    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.
    0 references
    0 references
    continuous convergence
    0 references
    duality of topological groups
    0 references
    limits
    0 references
    colimits
    0 references

    Identifiers