Hyperbolizing hyperspaces (Q538019): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The aim of this paper is to establish connections between a metric space \(X\) and the large-scale geometry (in the sense of Gromov) of the hyperspace \(\mathcal H(X)\) of its non-degenerate closed bounded subsets, and to study the mappings on \(X\) in terms of the induced mappings on \(\mathcal H(X)\). The metric space \(X\) can be identified with the boundary of \(\mathcal H(X)\) when the latter is equipped with the Hausdorff metric, but stronger relationships between \(X\) and \(\mathcal H(X)\) are obtained when the hyperspace \(\mathcal H(X)\) is hyperbolized and the space \(X\) is identified with its boundary at infinity: a priori weak conditions on \(\mathcal H(X)\) are strengthened at the boundary at infinity. The basic tool for studying such relationships is Gromov's theory of negatively curved spaces. Let us consider Euclidean space \(\mathbb R^n\). The one-point compactification \(\overline{\mathbb R^n}\) is equipped with the chordal metric, which is Möbius equivalent to the Euclidean metric when restricted to \({\mathbb R^n}\). The space \(\overline{\mathbb R^n}\) can be identified with the ideal boundary of the hyperbolic space \(\mathbb H^{n+1}\) and, as such, it inherits a family of visual metrics from \(\mathbb H^{n+1}\). In fact, the chordal metric is one such visual metric. The Möbius transformations of \(\overline{\mathbb R^n}\) can be extended to isometries of \(\mathbb H^{n+1}\) by the Poincaré extension. The quasisymmetric maps of \(\mathbb R^n\) can be extended to bi-Lipschitz maps of \(\mathbb H^{n+1}\) by the Tukia-Väisälä extension operator and to quasi-isometries of \(\mathbb H^{n+1}\) by the Tukia extension operator. In this paper, the author shows that connections analogous to those just described between \(\mathbb R^n\) and \(\mathbb H^{n+1}\) can be established between a more general metric space and its hyperspace. More precisely, the author replaces the space \(\mathbb R^n\) with an arbitrary complete perfect metric space \(X\). The one-point extension \({\widehat X} = X\cup\{\infty\}\) of \(X\) is endowed with a family of chordal metrics whose restrictions to \(X\) are (quasi-)Möbius equivalent to the original metric of \(X\). The hyperbolic space \(\mathbb H^{n+1}\) is replaced with the hyperspace \(\mathcal H(X)\) equipped with a metric \(d_{\mathcal H}\). It is shown that the metric \(d_{\mathcal H}\) induces the same topology on \({\mathcal H}(X)\) as the one induced by the Hausdorff metric, that the space \(\big({\mathcal H}(X),d_{\mathcal H}\big)\) is Gromov hyperbolic and its boundary at infinity can be identified with \(\widehat X\), and that the chordal metrics on \(\widehat X\) are visual metrics. In particular, the space \(\big({\mathcal H}(\mathbb R^n),d_{\mathcal H}\big)\) is roughly isometric to the hyperbolic space \(\mathbb H^{n+1}\). The author further shows that if \(f\) is a quasi-symmetric map between arbitrary metric spaces \(X\) and \(Y\), then the extension map \(\hat f\) is a quasi-isometry between \(\big({\mathcal H}(X),d_{\mathcal H}\big)\) and \(\big({\mathcal H}(Y),d_{\mathcal H}\big)\). Moreover, the quasi-isometry constant of \(\hat f\) depends only on the quasi-symmetry constant of \(f\). | |||
Property / review text: The aim of this paper is to establish connections between a metric space \(X\) and the large-scale geometry (in the sense of Gromov) of the hyperspace \(\mathcal H(X)\) of its non-degenerate closed bounded subsets, and to study the mappings on \(X\) in terms of the induced mappings on \(\mathcal H(X)\). The metric space \(X\) can be identified with the boundary of \(\mathcal H(X)\) when the latter is equipped with the Hausdorff metric, but stronger relationships between \(X\) and \(\mathcal H(X)\) are obtained when the hyperspace \(\mathcal H(X)\) is hyperbolized and the space \(X\) is identified with its boundary at infinity: a priori weak conditions on \(\mathcal H(X)\) are strengthened at the boundary at infinity. The basic tool for studying such relationships is Gromov's theory of negatively curved spaces. Let us consider Euclidean space \(\mathbb R^n\). The one-point compactification \(\overline{\mathbb R^n}\) is equipped with the chordal metric, which is Möbius equivalent to the Euclidean metric when restricted to \({\mathbb R^n}\). The space \(\overline{\mathbb R^n}\) can be identified with the ideal boundary of the hyperbolic space \(\mathbb H^{n+1}\) and, as such, it inherits a family of visual metrics from \(\mathbb H^{n+1}\). In fact, the chordal metric is one such visual metric. The Möbius transformations of \(\overline{\mathbb R^n}\) can be extended to isometries of \(\mathbb H^{n+1}\) by the Poincaré extension. The quasisymmetric maps of \(\mathbb R^n\) can be extended to bi-Lipschitz maps of \(\mathbb H^{n+1}\) by the Tukia-Väisälä extension operator and to quasi-isometries of \(\mathbb H^{n+1}\) by the Tukia extension operator. In this paper, the author shows that connections analogous to those just described between \(\mathbb R^n\) and \(\mathbb H^{n+1}\) can be established between a more general metric space and its hyperspace. More precisely, the author replaces the space \(\mathbb R^n\) with an arbitrary complete perfect metric space \(X\). The one-point extension \({\widehat X} = X\cup\{\infty\}\) of \(X\) is endowed with a family of chordal metrics whose restrictions to \(X\) are (quasi-)Möbius equivalent to the original metric of \(X\). The hyperbolic space \(\mathbb H^{n+1}\) is replaced with the hyperspace \(\mathcal H(X)\) equipped with a metric \(d_{\mathcal H}\). It is shown that the metric \(d_{\mathcal H}\) induces the same topology on \({\mathcal H}(X)\) as the one induced by the Hausdorff metric, that the space \(\big({\mathcal H}(X),d_{\mathcal H}\big)\) is Gromov hyperbolic and its boundary at infinity can be identified with \(\widehat X\), and that the chordal metrics on \(\widehat X\) are visual metrics. In particular, the space \(\big({\mathcal H}(\mathbb R^n),d_{\mathcal H}\big)\) is roughly isometric to the hyperbolic space \(\mathbb H^{n+1}\). The author further shows that if \(f\) is a quasi-symmetric map between arbitrary metric spaces \(X\) and \(Y\), then the extension map \(\hat f\) is a quasi-isometry between \(\big({\mathcal H}(X),d_{\mathcal H}\big)\) and \(\big({\mathcal H}(Y),d_{\mathcal H}\big)\). Moreover, the quasi-isometry constant of \(\hat f\) depends only on the quasi-symmetry constant of \(f\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30L99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30F45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32Q40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32Q45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C23 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5899032 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gromov hyperbolic spaces | |||
Property / zbMATH Keywords: Gromov hyperbolic spaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
chordal metric | |||
Property / zbMATH Keywords: chordal metric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasi-isometric embeddings of hypersurfaces | |||
Property / zbMATH Keywords: quasi-isometric embeddings of hypersurfaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperbolizing hyperspaces | |||
Property / zbMATH Keywords: hyperbolizing hyperspaces / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1307/mmj/1301586312 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4247479642 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The generalized Pompeiu metric in the isometry problem for hyperspaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Metric Structure of Hyperspaces with HAUSDORFF Metric / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4379874 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New theorems and methods in determinant theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5490954 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2715761 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity for quasi-Möbius group actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasisymmetric parametrizations of two-dimensional metric spheres / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embeddings of Gromov hyperbolic spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On symmetric products of topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the third symmetric potency of S1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A topological characterisation of hyperbolic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PTOLEMAIC SPACES AND CAT(0) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local Metric Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4387225 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Group completions and limit sets of Kleinian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonpositive Curvature and the Ptolemy Inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperbolicity, CAT(\(-1\))-spaces and the Ptolemy inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on analysis on metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4432871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometric extensions of quasisymmetric mappings of the real line compatible with composition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431538 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4948086 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasiconformal extension of quasisymmetric mappings compatible with a Möbius group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4838057 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasisymmetric embeddings of metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasiconformal extension from dimension n to n+1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasimöbius maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gromov hyperbolic spaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:49, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperbolizing hyperspaces |
scientific article |
Statements
Hyperbolizing hyperspaces (English)
0 references
23 May 2011
0 references
The aim of this paper is to establish connections between a metric space \(X\) and the large-scale geometry (in the sense of Gromov) of the hyperspace \(\mathcal H(X)\) of its non-degenerate closed bounded subsets, and to study the mappings on \(X\) in terms of the induced mappings on \(\mathcal H(X)\). The metric space \(X\) can be identified with the boundary of \(\mathcal H(X)\) when the latter is equipped with the Hausdorff metric, but stronger relationships between \(X\) and \(\mathcal H(X)\) are obtained when the hyperspace \(\mathcal H(X)\) is hyperbolized and the space \(X\) is identified with its boundary at infinity: a priori weak conditions on \(\mathcal H(X)\) are strengthened at the boundary at infinity. The basic tool for studying such relationships is Gromov's theory of negatively curved spaces. Let us consider Euclidean space \(\mathbb R^n\). The one-point compactification \(\overline{\mathbb R^n}\) is equipped with the chordal metric, which is Möbius equivalent to the Euclidean metric when restricted to \({\mathbb R^n}\). The space \(\overline{\mathbb R^n}\) can be identified with the ideal boundary of the hyperbolic space \(\mathbb H^{n+1}\) and, as such, it inherits a family of visual metrics from \(\mathbb H^{n+1}\). In fact, the chordal metric is one such visual metric. The Möbius transformations of \(\overline{\mathbb R^n}\) can be extended to isometries of \(\mathbb H^{n+1}\) by the Poincaré extension. The quasisymmetric maps of \(\mathbb R^n\) can be extended to bi-Lipschitz maps of \(\mathbb H^{n+1}\) by the Tukia-Väisälä extension operator and to quasi-isometries of \(\mathbb H^{n+1}\) by the Tukia extension operator. In this paper, the author shows that connections analogous to those just described between \(\mathbb R^n\) and \(\mathbb H^{n+1}\) can be established between a more general metric space and its hyperspace. More precisely, the author replaces the space \(\mathbb R^n\) with an arbitrary complete perfect metric space \(X\). The one-point extension \({\widehat X} = X\cup\{\infty\}\) of \(X\) is endowed with a family of chordal metrics whose restrictions to \(X\) are (quasi-)Möbius equivalent to the original metric of \(X\). The hyperbolic space \(\mathbb H^{n+1}\) is replaced with the hyperspace \(\mathcal H(X)\) equipped with a metric \(d_{\mathcal H}\). It is shown that the metric \(d_{\mathcal H}\) induces the same topology on \({\mathcal H}(X)\) as the one induced by the Hausdorff metric, that the space \(\big({\mathcal H}(X),d_{\mathcal H}\big)\) is Gromov hyperbolic and its boundary at infinity can be identified with \(\widehat X\), and that the chordal metrics on \(\widehat X\) are visual metrics. In particular, the space \(\big({\mathcal H}(\mathbb R^n),d_{\mathcal H}\big)\) is roughly isometric to the hyperbolic space \(\mathbb H^{n+1}\). The author further shows that if \(f\) is a quasi-symmetric map between arbitrary metric spaces \(X\) and \(Y\), then the extension map \(\hat f\) is a quasi-isometry between \(\big({\mathcal H}(X),d_{\mathcal H}\big)\) and \(\big({\mathcal H}(Y),d_{\mathcal H}\big)\). Moreover, the quasi-isometry constant of \(\hat f\) depends only on the quasi-symmetry constant of \(f\).
0 references
Gromov hyperbolic spaces
0 references
chordal metric
0 references
quasi-isometric embeddings of hypersurfaces
0 references
hyperbolizing hyperspaces
0 references
0 references