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 finite compactness and completeness of certain mapping spaces with the Busemann metric - MaRDI portal

On the finite compactness and completeness of certain mapping spaces with the Busemann metric (Q1902793)

From MaRDI portal





scientific article; zbMATH DE number 820024
Language Label Description Also known as
English
On the finite compactness and completeness of certain mapping spaces with the Busemann metric
scientific article; zbMATH DE number 820024

    Statements

    On the finite compactness and completeness of certain mapping spaces with the Busemann metric (English)
    0 references
    14 December 1995
    0 references
    In [The geometry of geodesics (1955; Zbl 0112.37002)] \textit{H. Busemann} had introduced a metric on the isometry group of a metric space and had demonstrated that the isometry group of a finitely compact metric space is a finitely compact topological group. In the present article we obtain similar results for certain mapping spaces with the Busemann metric.
    0 references
    mapping spaces
    0 references
    Busemann metric
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references