The completion of the hyperspace of finite subsets, endowed with the \ell ^1-metric

DOI10.4064/CM8226-11-2020MaRDI QIDQ5028979zbMATH OpenOpenAlexFDO

Authors Iryna Banakh, Taras Banakh, Joanna Garbulińska

Publication date 11 February 2022

Published in Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.02019

zbMATH Keywords

\(\ell^1\)-metriccompletionhyperspace of finite subsetsset of zero length

Mathematics Subject Classification ID

Applications of graph theory (05C90) Hyperspaces in general topology (54B20) Metric spaces, metrizability (54E35) Complete metric spaces (54E50) Dimension theory in general topology (54F45)

Abstract: For a metric space $X$, let $mathsfFX$ be the space of all nonempty finite subsets of $X$ endowed with the largest metric $d_{mathsfFX}^1$ such that for every $ninmathbbN$ the map $X^{n}omathsfFX$, $(x_1,dots,x_n)mapsto{x}_1,dots,x_n$, is non-expanding with respect to the $el{l}^1$-metric on $X^n$. We study the completion of the metric space $mathsf{F}^1!X=(mathsfFX,d_{mathsfFX}^1)$ and prove that it coincides with the space $mathsf{Z}^1!X$ of nonempty compact subsets of $X$ that have zero length (defined with the help of graphs). We prove that each subset of zero length in a metric space has 1-dimensional Hausdorff measure zero. A subset $A$ of the real line has zero length if and only if its closure is compact and has Lebesgue measure zero. On the other hand, for every $nge2$ the Euclidean space $mathbb{R}^n$ contains a compact subset of 1-dimensional Hausdorff measure zero that fails to have zero length.

Recommendations

• Completeness of hyperspaces of compact subsets of quasi-metric spaces
• The l 1 -Completion of a Metric Combinatorial ∞-Manifold
• On Hilbertian subsets of finite metric spaces
• On the completion of partial metric spaces
• On the completion of b-metric spaces
• Ultracompleteness of hyperspaces of compact sets
• scientific article; zbMATH DE number 125721
• scientific article; zbMATH DE number 3971736
• Completions of partial metric spaces
• Hyperspaces of finite subsets which are homeomorphic to \(\aleph _ 0\)- dimensional linear metric spaces

Cites work

• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 490143 (Why is no real title available?)
• scientific article; zbMATH DE number 1994007 (Why is no real title available?)
• scientific article; zbMATH DE number 2203240 (Why is no real title available?)
• Measure, topology, and fractal geometry
• On the history of the Euclidean Steiner tree problem

Cited in

(3)

• Hyperspaces of finite subsets which are homeomorphic to \(\aleph _ 0\)- dimensional linear metric spaces
• The ℓ ^p -metrization of functors with finite supports
• Spaces of extremal magnitude

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: The completion of the hyperspace of finite subsets, endowed with the $\ell ^1$-metric

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028979)