Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On the topology of simple convergence in non-Archimedean function spaces - MaRDI portal

On the topology of simple convergence in non-Archimedean function spaces (Q1077681)

From MaRDI portal





scientific article; zbMATH DE number 3958017
Language Label Description Also known as
English
On the topology of simple convergence in non-Archimedean function spaces
scientific article; zbMATH DE number 3958017

    Statements

    On the topology of simple convergence in non-Archimedean function spaces (English)
    0 references
    1985
    0 references
    Let X be an ultraregular Hausdorff space, F a non-trivial complete non- Archimedean valued field and E a non-Archimedean F-locally convex space over F. Let \(C_ s(X,E)\) be the space of all continuous E-valued functions on X with the topology of simple convergence. Among the results we mention that for E a normed space: (1) \(C_ s(X,E)\) is bornological iff X is \({\mathbb{N}}\)-replete. (2) A linear form \(\phi\) on \(C_ s(X,E)\) is continuous iff it is continuous on bounded sets. (3) The strong dual of \(C_ s(X,E)\) coincides with the strong dual of the subspace of \(C_ s(X,E)\) of functions with relatively compact range. Readers interested in (1) might also be interested in a forthcoming paper of the reviewer in J. Austral. Math. Soc.
    0 references
    bornological space
    0 references
    ultraregular Hausdorff space
    0 references
    non-trivial complete non-Archimedean valued field
    0 references
    non-Archimedean F-locally convex space
    0 references
    space of all continuous E-valued functions
    0 references
    simple convergence
    0 references
    functions with relatively compact range
    0 references
    0 references

    Identifiers