Realization of Metric Spaces as Inverse Limits, and Bilipschitz Embedding in L1

Research output: Contribution to journalArticle

Abstract

We give sufficient conditions for a metric space to bilipschitz embed in L1. In particular, if X is a length space and there is a Lipschitz map u: X → ℝ such that for every interval I ⊂ ℝ, the connected components of u-1(I) have diameter ≤ const} ̇ diam(I), then X admits a bilipschitz embedding in L1. As a corollary, the Laakso examples, (Geom Funct Anal 10(1):111-123, 2000), bilipschitz embed in L1, though they do not embed in any any Banach space with the Radon-Nikodym property (e. g. the space ℓ1 of summable sequences). The spaces appearing the statement of the bilipschitz embedding theorem have an alternate characterization as inverse limits of systems of metric graphs satisfying certain additional conditions. This representation, which may be of independent interest, is the initial part of the proof of the bilipschitz embedding theorem. The rest of the proof uses the combinatorial structure of the inverse system of graphs and a diffusion construction, to produce the embedding in L1.

Original languageEnglish (US)
Pages (from-to)96-133
Number of pages38
JournalGeometric and Functional Analysis
Volume23
Issue number1
DOIs
StatePublished - 2013

Fingerprint

Inverse Limit
Metric space
Embedding Theorem
Lipschitz Map
Metric Graphs
Radon-Nikodym Property
Inverse System
Connected Components
Alternate
Corollary
Banach space
Interval
Sufficient Conditions
Graph in graph theory

ASJC Scopus subject areas

  • Geometry and Topology
  • Analysis

Cite this

@article{177e6575cb4b43c193fad954a40d0f3a,
title = "Realization of Metric Spaces as Inverse Limits, and Bilipschitz Embedding in L1",
abstract = "We give sufficient conditions for a metric space to bilipschitz embed in L1. In particular, if X is a length space and there is a Lipschitz map u: X → ℝ such that for every interval I ⊂ ℝ, the connected components of u-1(I) have diameter ≤ const} ̇ diam(I), then X admits a bilipschitz embedding in L1. As a corollary, the Laakso examples, (Geom Funct Anal 10(1):111-123, 2000), bilipschitz embed in L1, though they do not embed in any any Banach space with the Radon-Nikodym property (e. g. the space ℓ1 of summable sequences). The spaces appearing the statement of the bilipschitz embedding theorem have an alternate characterization as inverse limits of systems of metric graphs satisfying certain additional conditions. This representation, which may be of independent interest, is the initial part of the proof of the bilipschitz embedding theorem. The rest of the proof uses the combinatorial structure of the inverse system of graphs and a diffusion construction, to produce the embedding in L1.",
author = "Jeff Cheeger and Bruce Kleiner",
year = "2013",
doi = "10.1007/s00039-012-0201-8",
language = "English (US)",
volume = "23",
pages = "96--133",
journal = "Geometric and Functional Analysis",
issn = "1016-443X",
publisher = "Birkhauser Verlag Basel",
number = "1",

}

TY - JOUR

T1 - Realization of Metric Spaces as Inverse Limits, and Bilipschitz Embedding in L1

AU - Cheeger, Jeff

AU - Kleiner, Bruce

PY - 2013

Y1 - 2013

N2 - We give sufficient conditions for a metric space to bilipschitz embed in L1. In particular, if X is a length space and there is a Lipschitz map u: X → ℝ such that for every interval I ⊂ ℝ, the connected components of u-1(I) have diameter ≤ const} ̇ diam(I), then X admits a bilipschitz embedding in L1. As a corollary, the Laakso examples, (Geom Funct Anal 10(1):111-123, 2000), bilipschitz embed in L1, though they do not embed in any any Banach space with the Radon-Nikodym property (e. g. the space ℓ1 of summable sequences). The spaces appearing the statement of the bilipschitz embedding theorem have an alternate characterization as inverse limits of systems of metric graphs satisfying certain additional conditions. This representation, which may be of independent interest, is the initial part of the proof of the bilipschitz embedding theorem. The rest of the proof uses the combinatorial structure of the inverse system of graphs and a diffusion construction, to produce the embedding in L1.

AB - We give sufficient conditions for a metric space to bilipschitz embed in L1. In particular, if X is a length space and there is a Lipschitz map u: X → ℝ such that for every interval I ⊂ ℝ, the connected components of u-1(I) have diameter ≤ const} ̇ diam(I), then X admits a bilipschitz embedding in L1. As a corollary, the Laakso examples, (Geom Funct Anal 10(1):111-123, 2000), bilipschitz embed in L1, though they do not embed in any any Banach space with the Radon-Nikodym property (e. g. the space ℓ1 of summable sequences). The spaces appearing the statement of the bilipschitz embedding theorem have an alternate characterization as inverse limits of systems of metric graphs satisfying certain additional conditions. This representation, which may be of independent interest, is the initial part of the proof of the bilipschitz embedding theorem. The rest of the proof uses the combinatorial structure of the inverse system of graphs and a diffusion construction, to produce the embedding in L1.

UR - http://www.scopus.com/inward/record.url?scp=84875682464&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84875682464&partnerID=8YFLogxK

U2 - 10.1007/s00039-012-0201-8

DO - 10.1007/s00039-012-0201-8

M3 - Article

VL - 23

SP - 96

EP - 133

JO - Geometric and Functional Analysis

JF - Geometric and Functional Analysis

SN - 1016-443X

IS - 1

ER -