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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6435728
Language Label Description Also known as
default for all languages
No label defined
    English
    Rigidity of topological duals of spaces of formal series with respect to product topologies.
    scientific article; zbMATH DE number 6435728

      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