We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > General Topology

Title: The $\ell^p$-metrization of functors with finite supports

Abstract: Let $p\in[1,\infty]$ and $F:\mathbf{Set}\to\mathbf{Set}$ be a functor with finite supports in the category $\mathbf{Set}$ of sets. Given a non-empty metric space $(X,d_X)$, we introduce the distance $d^p_{FX}$ on the functor-space $FX$ as the largest distance such that for every $n\in\mathbb N$ and $a\in Fn$ the map $X^n\to FX$, $f\mapsto Ff(a)$, is non-expanding with respect to the $\ell^p$-metric $d^p_{X^n}$ on $X^n$. We prove that the distance $d^p_{FX}$ is a pseudometric if and only if the functor $F$ preserves singletons; $d^p_{FX}$ is a metric if $F$ preserves singletons and one of the following conditions holds: (1) the metric space $(X,d_X)$ is Lipschitz disconnected, (2) $p=1$, (3) the functor $F$ has finite degree, (4) $F$ preserves supports. We prove that for any Lipschitz map $f:(X,d_X)\to (Y,d_Y)$ between metric spaces the map $Ff:(FX,d^p_{FX})\to (FY,d^p_{FY})$ is Lipschitz with Lipschitz constant $\mathrm{Lip}(Ff)\le \mathrm{Lip}(f)$. If the functor $F$ is finitary, has finite degree (and preserves supports), then $F$ preserves uniformly continuous function, coarse functions, coarse equivalences, asymptotically Lipschitz functions, quasi-isometries (and continuous functions). For many dimension functions we prove the formula $\dim F^pX\le\mathrm{deg}(F)\cdot\dim X$. Using injective envelopes, we introduce a modification $\check d^p_{FX}$ of the distance $d^p_{FX}$ and prove that the functor $\check F^p:\mathbf{Dist}\to\mathbf{Dist}$, $\check F^p:(X,d_X)\mapsto (FX,\check d^p_{FX})$, in the category $\mathbf{Dist}$ of distance spaces preserves Lipschitz maps and isometries between metric spaces.
Comments: 75 pages
Subjects: General Topology (math.GN); Category Theory (math.CT); Metric Geometry (math.MG)
MSC classes: 54B30, 54E35, 54F45
Cite as: arXiv:2004.02017 [math.GN]
  (or arXiv:2004.02017v1 [math.GN] for this version)

Submission history

From: Taras Banakh [view email]
[v1] Sat, 4 Apr 2020 21:08:27 GMT (70kb)

Link back to: arXiv, form interface, contact.