Rigidity of topological duals of spaces of formal series with respect to product topologies. (Q2344332)

From MaRDI portal
Revision as of 01:36, 10 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Rigidity of topological duals of spaces of formal series with respect to product topologies.
scientific article

    Statements

    Rigidity of topological duals of spaces of formal series with respect to product topologies. (English)
    0 references
    0 references
    13 May 2015
    0 references
    The paper provides a long and detailed list of definitions and notions connected with the main result of the paper. As a main Theorem, it is proved that for every Hausdorff topological division ring \(K\) and any set \(X\) the left and right topological duals of the spaces of all maps from \(X\) to \(K\), equipped with the product topology and considered as two-sided \(K\)-module, are isomorphic to the vector space of all finitely supported maps from \(X\) to \(K\), considered as a two-sided \(K\)-module, as well. The two-sided topological dual of the same space of maps from \(X\) to \(K\) is isomorphic, as an abelian group, to the set of all finitely supported maps from \(X\) to the center of \(K\). In section \(6\), the main theorem is extended to a category equivalence between some categories of double vector spaces and topologically double vector spaces.
    0 references
    formal power series
    0 references
    category equivalences
    0 references
    topological dual spaces
    0 references
    infinite matrices
    0 references
    bimodules
    0 references
    algebraic duals
    0 references
    topological duals
    0 references
    evaluation map
    0 references
    topological division rings
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references