Knowledge (XXG)

Ultralimit

Source 📝

1924: 1234: 3373: 3185: 3047: 2684: 2562: 2088: 3917: 2842: 2434: 1409: 1318: 528: 3272: 1770: 1714: 1094: 1038: 4216: 4117: 4963: 4814: 1593: 3618: 4281: 1348: 4437: 4359: 838: 591: 346: 2242: 2288: 1775: 1543: 5011: 3491: 955: 4666: 4581: 634: 430: 3689: 4899: 4855: 4746: 5266: 5205: 5144: 3735: 3829: 2159: 5076: 4698: 1460: 2911: 2346: 1278: 979: 456: 3540: 3424: 747: 709: 672: 295: 256: 228: 200: 172: 148: 1984: 1953: 1132: 5039: 1616: 1429: 1254: 98: 71: 1658: 5560: 3756:
invariants of metric spaces in general and of finitely generated groups in particular. Asymptotic cones also turn out to be a useful tool in the study of
175:(whose inclusion function can be thought of as a measure) which is closed under finite intersection, upwards-closed, and also which, given any subset 5439:(in Russian), Uspekhi Matematicheskih Nauk vol. 47 (1992), pp. 3–51; translated in: Russian Math. Surveys vol. 47, no. 2 (1992), pp. 1–58 2244:
is admissible. Therefore, in this situation the choice of base-points does not have to be specified when defining an ultralimit, and the ultralimit
4905:
where the distance between two lattice points is given by the length of the shortest edge-path between them in the grid. Then the asymptotic cone
3277: 3089: 2951: 2588: 2466: 1992: 5525: 5488: 5460: 5401: 5368: 5327: 3834: 2759: 2351: 1353: 5550: 5510: 5303: 2945: 2739: 105: 1283: 464: 5588: 3222: 1719: 1663: 1043: 987: 4122: 4023: 5480: 5452: 5393: 5360: 5319: 4908: 4759: 1551: 3545: 3757: 4235: 1323: 4386: 4308: 1919:{\displaystyle d_{\infty }(,):={\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=\lim _{\omega }d_{n}(x_{n},y_{n}).} 795: 547: 303: 2181: 5593: 2247: 1502: 117: 4968: 3444: 898: 4620: 4535: 596: 392: 104:
to bypass the need for repeated consideration of subsequences to ensure convergence. Ultralimits generalize
3642: 5573: 4863: 4819: 4710: 4529: 3741: 5225: 5164: 5103: 3694: 4517: 2582: 2460: 5090: 3806: 2136: 5052: 4674: 3749: 1438: 1432: 2876: 2311: 1259: 960: 435: 4477: 3504: 2870: 3407: 1229:{\displaystyle {\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} ):=\lim _{\omega }d_{n}(x_{n},y_{n})} 730: 692: 655: 278: 239: 211: 183: 155: 131: 5535: 5499: 5423: 5344: 1962: 1931: 5546: 5521: 5484: 5456: 5412: 5397: 5364: 5323: 4489: 5016: 4701: 1601: 1414: 1239: 76: 49: 4902: 4753: 4669: 636:. (For this property to hold, it is crucial that the ultrafilter should be non-principal.) 5042: 3753: 1621: 125: 5582: 4611: 4584: 3745: 712: 5507:
On asymptotic cones and quasi-isometry classes of fundamental groups of 3-manifolds
5300:
On asymptotic cones and quasi-isometry classes of fundamental groups of 3-manifolds
5219: 3209: 3079: 2113: 1956: 768: 349: 43: 28: 101: 35: 5531:
Cornelia Druţu and Mark Sapir (with an Appendix by Denis Osin and Mark Sapir),
5496:
On Gromov's theorem concerning groups of polynomial growth and elementary logic
5341:
On Gromov's theorem concerning groups of polynomial growth and elementary logic
4461:)=1. This shows that the ultralimit can depend on the choice of an ultrafilter 17: 5416: 984:
It follows from the triangle inequality that for any two admissible sequences
73:. The concept captures the limiting behavior of finite configurations in the 5147: 3376: 3368:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})} 3180:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})} 3042:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})} 2679:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})} 2557:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})} 2083:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})} 5558:
Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings.
2690:
Actually, by construction, the limit space is always complete, even when (
5380:
Bridson, Haefliger "Metric Spaces of Non-positive curvature" Lemma 5.53
685:
In particular, any bounded sequence of real numbers has a well-defined
3912:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})} 2837:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})} 2429:{\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n})} 2730:) are compact metric spaces that converge to a compact metric space ( 3635:; in this case the asymptotic cone does not depend on the choice of 2116:
of uniformly bounded diameter, that is, there exists a real number
1404:{\displaystyle {\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=0.} 5161:) be a metric space of finite diameter. Then the asymptotic cone 4756:
with the standard Euclidean metric. Then the asymptotic cone
3740:
The notion of an asymptotic cone plays an important role in
1570: 1444: 1305: 1265: 966: 891:
is bounded, that is, if there exists a positive real number
267:
Limit of a sequence of points with respect to an ultrafilter
5543:
Metric Structures for Riemannian and Non-Riemannian Spaces.
2308:
but does not depend on the choice of a base-point sequence
1313:{\displaystyle \mathbf {x} ,\mathbf {y} \in {\mathcal {A}}} 3620:. One often takes the base-point sequence to be constant, 523:{\displaystyle \{n:d(x_{n},x)\leq \epsilon \}\in \omega .} 3267:{\displaystyle \lim _{n\to \infty }\kappa _{n}=-\infty .} 2756:) have uniformly bounded diameter), then the ultralimit 1765:{\displaystyle \mathbf {y} =(y_{n})_{n\in \mathbb {N} }} 1709:{\displaystyle \mathbf {x} =(x_{n})_{n\in \mathbb {N} }} 1089:{\displaystyle \mathbf {y} =(y_{n})_{n\in \mathbb {N} }} 1033:{\displaystyle \mathbf {x} =(x_{n})_{n\in \mathbb {N} }} 5563:. Volume 86, Number 1, December 1997, pp. 115–197. 27:
For the direct limit of a sequence of ultrapowers, see
5437:
A. D. Aleksandrov spaces with curvatures bounded below
2094:
On base points in the case of uniformly bounded spaces
719:
Ultralimit of metric spaces with specified base-points
5228: 5167: 5106: 5055: 5019: 4971: 4911: 4866: 4822: 4762: 4713: 4677: 4623: 4538: 4389: 4311: 4238: 4211:{\displaystyle A_{2}=\{n|(X_{n},d_{n})=(Y,d_{Y})\}\,} 4125: 4112:{\displaystyle A_{1}=\{n|(X_{n},d_{n})=(X,d_{X})\}\,} 4026: 3837: 3809: 3697: 3645: 3548: 3507: 3447: 3410: 3280: 3225: 3092: 2954: 2879: 2762: 2591: 2469: 2354: 2314: 2250: 2184: 2139: 1995: 1965: 1934: 1778: 1722: 1666: 1624: 1604: 1554: 1505: 1441: 1417: 1356: 1326: 1286: 1262: 1242: 1135: 1046: 990: 963: 957:, then denote the set of all admissible sequences by 901: 798: 733: 695: 658: 599: 550: 467: 438: 395: 306: 281: 242: 214: 186: 158: 134: 79: 52: 5545:
Progress in Mathematics vol. 152, Birkhäuser, 1999.
3966:) be a sequence of metric spaces such that for each 3388:
An important class of ultralimits are the so-called
541:-limit of a sequence of points exists, it is unique. 2742:
sense (this automatically implies that the spaces (
5533:Tree-graded spaces and asymptotic cones of groups. 5421:Tree-graded spaces and asymptotic cones of groups. 5260: 5199: 5138: 5070: 5033: 5005: 4958:{\displaystyle Cone_{\omega }(\mathbb {Z} ^{2},d)} 4957: 4893: 4849: 4809:{\displaystyle Cone_{\omega }(\mathbb {R} ^{m},d)} 4808: 4740: 4692: 4660: 4575: 4431: 4353: 4275: 4210: 4111: 3911: 3823: 3744:since asymptotic cones (or, more precisely, their 3729: 3683: 3612: 3534: 3485: 3418: 3367: 3266: 3179: 3041: 2905: 2836: 2678: 2556: 2428: 2340: 2282: 2236: 2153: 2082: 1978: 1947: 1918: 1764: 1708: 1652: 1610: 1588:{\displaystyle X_{\infty }={\mathcal {A}}/{\sim }} 1587: 1537: 1454: 1423: 1403: 1342: 1312: 1272: 1248: 1228: 1088: 1032: 973: 949: 832: 741: 703: 666: 628: 585: 522: 450: 424: 340: 289: 250: 222: 194: 166: 142: 92: 65: 3952:) be two distinct compact metric spaces and let ( 3613:{\displaystyle Cone_{\omega }(X,d,(p_{n})_{n})\,} 2913:are base-points such that the pointed sequence ( 42:is a geometric construction that assigns a limit 4625: 4540: 4391: 4313: 3871: 3314: 3227: 3126: 2988: 2796: 2625: 2503: 2388: 2029: 1865: 1178: 607: 558: 403: 5426:, Volume 44 (2005), no. 5, pp. 959–1058. 5538:, Volume 44 (2005), no. 5, pp. 959–1058. 4528:. Then the ultralimit (and even the ordinary 4276:{\displaystyle A_{1}\cup A_{2}=\mathbb {N} .} 1343:{\displaystyle \mathbf {x} \sim \mathbf {y} } 8: 4432:{\displaystyle \lim _{\omega }(X_{n},d_{n})} 4354:{\displaystyle \lim _{\omega }(X_{n},d_{n})} 4204: 4139: 4105: 4040: 1280:of all admissible sequences as follows. For 508: 468: 833:{\displaystyle (x_{n})_{n\in \mathbb {N} }} 586:{\displaystyle x=\lim _{n\to \infty }x_{n}} 341:{\displaystyle (x_{n})_{n\in \mathbb {N} }} 2237:{\displaystyle (x_{n})_{n},x_{n}\in X_{n}} 5518:Hyperbolic Manifolds and Discrete Groups. 5435:Yu. Burago, M. Gromov, and G. Perel'man. 5306:, Vol. 5 (1995), no. 3, pp. 582–603 5257: 5242: 5227: 5196: 5181: 5166: 5135: 5120: 5105: 5062: 5058: 5057: 5054: 5030: 5024: 5018: 4994: 4981: 4977: 4976: 4970: 4940: 4936: 4935: 4925: 4910: 4876: 4872: 4871: 4865: 4832: 4828: 4827: 4821: 4791: 4787: 4786: 4776: 4761: 4723: 4719: 4718: 4712: 4684: 4680: 4679: 4676: 4628: 4622: 4543: 4537: 4420: 4407: 4394: 4388: 4342: 4329: 4316: 4310: 4266: 4265: 4256: 4243: 4237: 4207: 4195: 4170: 4157: 4145: 4130: 4124: 4108: 4096: 4071: 4058: 4046: 4031: 4025: 3900: 3887: 3874: 3858: 3845: 3836: 3817: 3816: 3808: 3726: 3711: 3696: 3680: 3659: 3644: 3609: 3600: 3590: 3562: 3547: 3531: 3525: 3515: 3506: 3474: 3457: 3446: 3412: 3411: 3409: 3356: 3343: 3330: 3317: 3301: 3288: 3279: 3246: 3230: 3224: 3168: 3155: 3142: 3129: 3113: 3100: 3091: 3030: 3017: 3004: 2991: 2975: 2962: 2953: 2897: 2884: 2878: 2825: 2812: 2799: 2783: 2770: 2761: 2667: 2654: 2641: 2628: 2612: 2599: 2590: 2545: 2532: 2519: 2506: 2490: 2477: 2468: 2417: 2404: 2391: 2375: 2362: 2353: 2332: 2319: 2313: 2283:{\displaystyle (X_{\infty },d_{\infty })} 2271: 2258: 2249: 2228: 2215: 2202: 2192: 2183: 2147: 2146: 2138: 2071: 2058: 2045: 2032: 2016: 2003: 1994: 1970: 1964: 1939: 1933: 1904: 1891: 1878: 1868: 1853: 1845: 1836: 1825: 1824: 1809: 1795: 1783: 1777: 1756: 1755: 1748: 1738: 1723: 1721: 1700: 1699: 1692: 1682: 1667: 1665: 1642: 1628: 1623: 1603: 1580: 1575: 1569: 1568: 1559: 1553: 1538:{\displaystyle (X_{\infty },d_{\infty })} 1526: 1513: 1504: 1443: 1442: 1440: 1416: 1387: 1379: 1370: 1359: 1358: 1355: 1335: 1327: 1325: 1304: 1303: 1295: 1287: 1285: 1264: 1263: 1261: 1241: 1217: 1204: 1191: 1181: 1166: 1158: 1149: 1138: 1137: 1134: 1080: 1079: 1072: 1062: 1047: 1045: 1024: 1023: 1016: 1006: 991: 989: 965: 964: 962: 932: 919: 906: 900: 824: 823: 816: 806: 797: 735: 734: 732: 697: 696: 694: 660: 659: 657: 620: 610: 598: 577: 561: 549: 487: 466: 437: 416: 406: 394: 332: 331: 324: 314: 305: 283: 282: 280: 244: 243: 241: 216: 215: 213: 188: 187: 185: 160: 159: 157: 136: 135: 133: 84: 78: 57: 51: 5513:, Vol. 5 (1995), no. 3, pp. 582–603 5006:{\displaystyle (\mathbb {R} ^{2},d_{1})} 3486:{\displaystyle (X,{\frac {d}{n}},p_{n})} 950:{\displaystyle d_{n}(x_{n},p_{n})\leq C} 5278: 4661:{\displaystyle \lim _{\omega }(M,nd,p)} 4576:{\displaystyle \lim _{\omega }(M,nd,p)} 3437:be a sequence of base-points. Then the 2936:) converges to a proper metric space ( 2704:) is a repeating sequence of a space ( 629:{\displaystyle x=\lim _{\omega }x_{n}} 425:{\displaystyle x=\lim _{\omega }x_{n}} 3777:) be a compact metric space and put ( 3684:{\displaystyle Cone_{\omega }(X,d)\,} 1125:is bounded and hence there exists an 7: 5561:Publications Mathématiques de L'IHÉS 5415:and Mark Sapir (with an Appendix by 5294: 5292: 5290: 5288: 5286: 5284: 5282: 4894:{\displaystyle (\mathbb {Z} ^{2},d)} 4850:{\displaystyle (\mathbb {R} ^{m},d)} 4741:{\displaystyle (\mathbb {R} ^{m},d)} 682:exists (and is necessarily unique). 678:-limit of any sequence of points in 640:A fundamental fact states that, if ( 5347:, Vol. 89(1984), pp. 349–374. 5261:{\displaystyle Cone_{\omega }(X)\,} 5200:{\displaystyle Cone_{\omega }(X)\,} 5139:{\displaystyle Cone_{\omega }(X)\,} 3730:{\displaystyle Cone_{\omega }(X)\,} 5502:, Vol. 89(1984), pp. 349–374. 3859: 3846: 3441:–ultralimit of the sequence 3404:be a non-principal ultrafilter on 3302: 3289: 3258: 3237: 3114: 3101: 2976: 2963: 2784: 2771: 2613: 2600: 2491: 2478: 2376: 2363: 2272: 2259: 2017: 2004: 1971: 1940: 1837: 1784: 1560: 1527: 1514: 1371: 1150: 727:be a non-principal ultrafilter on 652:is a non-principal Ultrafilter on 568: 275:is a non-principal ultrafilter on 25: 5511:Geometric and Functional Analysis 5304:Geometric and Functional Analysis 3824:{\displaystyle n\in \mathbb {N} } 3493:is called the asymptotic cone of 2154:{\displaystyle n\in \mathbb {N} } 1955:is well-defined and that it is a 862:If the sequence of real numbers ( 5071:{\displaystyle \mathbb {R} ^{2}} 4693:{\displaystyle \mathbb {R} ^{m}} 2686:is also a complete metric space. 2564:is also a geodesic metric space. 1854: 1846: 1810: 1796: 1724: 1668: 1643: 1629: 1388: 1380: 1336: 1328: 1296: 1288: 1167: 1159: 1048: 992: 151:is a set of nonempty subsets of 5096:geodesic metric space for some 2440:Basic properties of ultralimits 1455:{\displaystyle {\mathcal {A}}.} 46:to a sequence of metric spaces 5254: 5248: 5193: 5187: 5132: 5126: 5000: 4972: 4952: 4931: 4888: 4867: 4844: 4823: 4803: 4782: 4735: 4714: 4655: 4634: 4602:with the distance function on 4570: 4549: 4426: 4400: 4348: 4322: 4201: 4182: 4176: 4150: 4146: 4102: 4083: 4077: 4051: 4047: 3906: 3880: 3864: 3838: 3723: 3717: 3677: 3665: 3606: 3597: 3583: 3568: 3522: 3508: 3480: 3448: 3362: 3323: 3307: 3281: 3234: 3174: 3135: 3119: 3093: 3036: 2997: 2981: 2955: 2906:{\displaystyle p_{n}\in X_{n}} 2831: 2805: 2789: 2763: 2673: 2634: 2618: 2592: 2551: 2512: 2496: 2470: 2423: 2397: 2381: 2355: 2341:{\displaystyle p_{n}\in X_{n}} 2277: 2251: 2199: 2185: 2077: 2038: 2022: 1996: 1910: 1884: 1858: 1842: 1830: 1817: 1814: 1806: 1800: 1792: 1789: 1745: 1731: 1689: 1675: 1647: 1639: 1633: 1625: 1532: 1506: 1392: 1376: 1364: 1273:{\displaystyle {\mathcal {A}}} 1223: 1197: 1171: 1155: 1143: 1069: 1055: 1013: 999: 974:{\displaystyle {\mathcal {A}}} 938: 912: 813: 799: 565: 499: 480: 451:{\displaystyle \epsilon >0} 321: 307: 263:if it contains no finite set. 1: 5494:L.Van den Dries, A.J.Wilkie, 5481:American Mathematical Society 5453:American Mathematical Society 5394:American Mathematical Society 5361:American Mathematical Society 5339:L.Van den Dries, A.J.Wilkie, 5320:American Mathematical Society 5100:≥0. Then the asymptotic cone 4301:-measure 1 and the other has 3535:{\displaystyle (p_{n})_{n}\,} 348:is a sequence of points in a 5478:Lectures on Coarse Geometry. 5450:Lectures on Coarse Geometry. 5391:Lectures on Coarse Geometry. 5358:Lectures on Coarse Geometry. 5317:Lectures on Coarse Geometry. 4617:. Therefore, the ultralimit 3758:relatively hyperbolic groups 3419:{\displaystyle \mathbb {N} } 1236:. One can define a relation 742:{\displaystyle \mathbb {N} } 704:{\displaystyle \mathbb {R} } 667:{\displaystyle \mathbb {N} } 290:{\displaystyle \mathbb {N} } 251:{\displaystyle \mathbb {N} } 223:{\displaystyle \mathbb {N} } 195:{\displaystyle \mathbb {N} } 167:{\displaystyle \mathbb {N} } 143:{\displaystyle \mathbb {N} } 106:Gromov–Hausdorff convergence 5371:; Proposition 7.20, p. 108. 5222:. Then the asymptotic cone 3760:and their generalizations. 2948:sense. Then the ultralimit 1979:{\displaystyle X_{\infty }} 1948:{\displaystyle d_{\infty }} 771:with specified base-points 5610: 5330:; Definition 7.19, p. 107. 2348:. In this case one writes 711:, as closed intervals are 26: 4476:) be a compact connected 3400:) be a metric space, let 2712:) which is not complete. 5556:B. Kleiner and B. Leeb, 1660:of admissible sequences 1411:This helps to show that 792:Suppose that a sequence 5463:; Example 7.30, p. 118. 5268:is also a CAT(0)-space. 5034:{\displaystyle d_{1}\,} 3392:of metric spaces. Let ( 2161:. Then for any choice 593:in the standard sense, 5589:Geometric group theory 5574:Geometric group theory 5262: 5201: 5140: 5072: 5035: 5007: 4959: 4895: 4851: 4810: 4742: 4694: 4662: 4577: 4530:Gromov-Hausdorff limit 4520:. Choose a base point 4433: 4355: 4277: 4212: 4113: 3913: 3831:. Then the ultralimit 3825: 3742:geometric group theory 3731: 3685: 3614: 3536: 3487: 3420: 3369: 3268: 3181: 3086:. Then the ultralimit 3043: 2907: 2838: 2680: 2583:complete metric spaces 2558: 2461:geodesic metric spaces 2430: 2342: 2284: 2238: 2155: 2120:> 0 such that diam( 2084: 1980: 1949: 1920: 1766: 1710: 1654: 1612: 1589: 1539: 1456: 1425: 1405: 1344: 1314: 1274: 1250: 1230: 1090: 1034: 975: 951: 834: 743: 705: 668: 630: 587: 524: 452: 426: 342: 291: 252: 224: 196: 168: 144: 94: 67: 5505:M. Kapovich B. Leeb. 5298:M. Kapovich B. Leeb. 5263: 5202: 5141: 5073: 5036: 5008: 4960: 4901:be the 2-dimensional 4896: 4852: 4811: 4743: 4695: 4663: 4578: 4518:geodesic metric space 4434: 4356: 4278: 4213: 4114: 3914: 3826: 3732: 3686: 3615: 3537: 3488: 3421: 3370: 3269: 3182: 3044: 2908: 2839: 2681: 2559: 2431: 2343: 2285: 2239: 2156: 2085: 1981: 1950: 1921: 1767: 1711: 1655: 1618:-equivalence classes 1613: 1611:{\displaystyle \sim } 1590: 1540: 1457: 1426: 1424:{\displaystyle \sim } 1406: 1345: 1315: 1275: 1251: 1249:{\displaystyle \sim } 1231: 1091: 1035: 976: 952: 835: 744: 706: 669: 631: 588: 533:It is observed that, 525: 453: 427: 343: 292: 253: 235:. An ultrafilter on 225: 197: 169: 145: 95: 93:{\displaystyle X_{n}} 68: 66:{\displaystyle X_{n}} 5226: 5165: 5104: 5053: 5017: 4969: 4909: 4864: 4820: 4760: 4711: 4675: 4668:is isometric to the 4621: 4583:is isometric to the 4536: 4387: 4309: 4236: 4123: 4024: 3835: 3807: 3695: 3643: 3546: 3505: 3445: 3408: 3278: 3274:Then the ultralimit 3223: 3208:) be a sequence of 3090: 3078:) be a sequence of 2952: 2877: 2871:proper metric spaces 2760: 2589: 2467: 2352: 2312: 2248: 2182: 2137: 1993: 1963: 1932: 1776: 1720: 1664: 1622: 1602: 1552: 1545:defined as follows. 1503: 1499:) is a metric space 1439: 1433:equivalence relation 1415: 1354: 1324: 1284: 1260: 1240: 1133: 1044: 988: 961: 899: 796: 731: 693: 656: 597: 548: 465: 436: 393: 304: 279: 240: 212: 184: 156: 132: 100:spaces employing an 77: 50: 5220:CAT(0)-metric space 4478:Riemannian manifold 3639:and is denoted by 2112:) is a sequence of 767:) be a sequence of 203:, contains either 5520:Birkhäuser, 2000. 5500:Journal of Algebra 5345:Journal of Algebra 5258: 5207:is a single point. 5197: 5136: 5068: 5031: 5003: 4955: 4891: 4847: 4806: 4738: 4700:with the standard 4690: 4658: 4633: 4573: 4548: 4429: 4399: 4351: 4321: 4305:-measure 0. Hence 4283:Therefore, one of 4273: 4208: 4109: 3909: 3879: 3821: 3750:bi-Lipschitz types 3727: 3681: 3610: 3532: 3483: 3416: 3365: 3322: 3264: 3241: 3177: 3134: 3039: 2996: 2903: 2834: 2804: 2676: 2633: 2554: 2511: 2426: 2396: 2338: 2280: 2234: 2168:of base-points in 2151: 2080: 2037: 1976: 1945: 1916: 1873: 1762: 1706: 1650: 1608: 1585: 1548:Written as a set, 1535: 1452: 1421: 1401: 1340: 1310: 1270: 1246: 1226: 1186: 1086: 1030: 971: 947: 830: 739: 701: 664: 626: 615: 583: 572: 520: 448: 422: 411: 338: 287: 271:In the following, 248: 220: 192: 164: 140: 108:in metric spaces. 90: 63: 5526:978-0-8176-3904-4 5489:978-0-8218-3332-2 5461:978-0-8218-3332-2 5419:and Mark Sapir), 5402:978-0-8218-3332-2 5369:978-0-8218-3332-2 5328:978-0-8218-3332-2 4624: 4539: 4504:corresponding to 4500:be the metric on 4490:Riemannian metric 4439:is isometric to ( 4390: 4361:is isometric to ( 4312: 4232:are disjoint and 3919:is isometric to ( 3870: 3746:topological types 3465: 3313: 3226: 3125: 3049:is isometric to ( 2987: 2844:is isometric to ( 2795: 2624: 2502: 2387: 2290:depends only on ( 2028: 1864: 1833: 1653:{\displaystyle ,} 1472:of the sequence ( 1367: 1177: 1146: 648:) is compact and 606: 557: 402: 368:, then the point 16:(Redirected from 5601: 5464: 5446: 5440: 5433: 5427: 5410: 5404: 5387: 5381: 5378: 5372: 5354: 5348: 5337: 5331: 5313: 5307: 5296: 5267: 5265: 5264: 5259: 5247: 5246: 5206: 5204: 5203: 5198: 5186: 5185: 5145: 5143: 5142: 5137: 5125: 5124: 5077: 5075: 5074: 5069: 5067: 5066: 5061: 5040: 5038: 5037: 5032: 5029: 5028: 5012: 5010: 5009: 5004: 4999: 4998: 4986: 4985: 4980: 4965:is isometric to 4964: 4962: 4961: 4956: 4945: 4944: 4939: 4930: 4929: 4900: 4898: 4897: 4892: 4881: 4880: 4875: 4856: 4854: 4853: 4848: 4837: 4836: 4831: 4816:is isometric to 4815: 4813: 4812: 4807: 4796: 4795: 4790: 4781: 4780: 4748:be the standard 4747: 4745: 4744: 4739: 4728: 4727: 4722: 4702:Euclidean metric 4699: 4697: 4696: 4691: 4689: 4688: 4683: 4667: 4665: 4664: 4659: 4632: 4582: 4580: 4579: 4574: 4547: 4438: 4436: 4435: 4430: 4425: 4424: 4412: 4411: 4398: 4360: 4358: 4357: 4352: 4347: 4346: 4334: 4333: 4320: 4282: 4280: 4279: 4274: 4269: 4261: 4260: 4248: 4247: 4217: 4215: 4214: 4209: 4200: 4199: 4175: 4174: 4162: 4161: 4149: 4135: 4134: 4118: 4116: 4115: 4110: 4101: 4100: 4076: 4075: 4063: 4062: 4050: 4036: 4035: 3918: 3916: 3915: 3910: 3905: 3904: 3892: 3891: 3878: 3863: 3862: 3850: 3849: 3830: 3828: 3827: 3822: 3820: 3736: 3734: 3733: 3728: 3716: 3715: 3690: 3688: 3687: 3682: 3664: 3663: 3619: 3617: 3616: 3611: 3605: 3604: 3595: 3594: 3567: 3566: 3541: 3539: 3538: 3533: 3530: 3529: 3520: 3519: 3497:with respect to 3492: 3490: 3489: 3484: 3479: 3478: 3466: 3458: 3425: 3423: 3422: 3417: 3415: 3390:asymptotic cones 3384:Asymptotic cones 3374: 3372: 3371: 3366: 3361: 3360: 3348: 3347: 3335: 3334: 3321: 3306: 3305: 3293: 3292: 3273: 3271: 3270: 3265: 3251: 3250: 3240: 3186: 3184: 3183: 3178: 3173: 3172: 3160: 3159: 3147: 3146: 3133: 3118: 3117: 3105: 3104: 3048: 3046: 3045: 3040: 3035: 3034: 3022: 3021: 3009: 3008: 2995: 2980: 2979: 2967: 2966: 2946:Gromov–Hausdorff 2912: 2910: 2909: 2904: 2902: 2901: 2889: 2888: 2843: 2841: 2840: 2835: 2830: 2829: 2817: 2816: 2803: 2788: 2787: 2775: 2774: 2740:Gromov–Hausdorff 2685: 2683: 2682: 2677: 2672: 2671: 2659: 2658: 2646: 2645: 2632: 2617: 2616: 2604: 2603: 2563: 2561: 2560: 2555: 2550: 2549: 2537: 2536: 2524: 2523: 2510: 2495: 2494: 2482: 2481: 2435: 2433: 2432: 2427: 2422: 2421: 2409: 2408: 2395: 2380: 2379: 2367: 2366: 2347: 2345: 2344: 2339: 2337: 2336: 2324: 2323: 2289: 2287: 2286: 2281: 2276: 2275: 2263: 2262: 2243: 2241: 2240: 2235: 2233: 2232: 2220: 2219: 2207: 2206: 2197: 2196: 2160: 2158: 2157: 2152: 2150: 2089: 2087: 2086: 2081: 2076: 2075: 2063: 2062: 2050: 2049: 2036: 2021: 2020: 2008: 2007: 1985: 1983: 1982: 1977: 1975: 1974: 1954: 1952: 1951: 1946: 1944: 1943: 1928:This shows that 1925: 1923: 1922: 1917: 1909: 1908: 1896: 1895: 1883: 1882: 1872: 1857: 1849: 1841: 1840: 1835: 1834: 1826: 1813: 1799: 1788: 1787: 1771: 1769: 1768: 1763: 1761: 1760: 1759: 1743: 1742: 1727: 1715: 1713: 1712: 1707: 1705: 1704: 1703: 1687: 1686: 1671: 1659: 1657: 1656: 1651: 1646: 1632: 1617: 1615: 1614: 1609: 1594: 1592: 1591: 1586: 1584: 1579: 1574: 1573: 1564: 1563: 1544: 1542: 1541: 1536: 1531: 1530: 1518: 1517: 1468:with respect to 1461: 1459: 1458: 1453: 1448: 1447: 1430: 1428: 1427: 1422: 1410: 1408: 1407: 1402: 1391: 1383: 1375: 1374: 1369: 1368: 1360: 1349: 1347: 1346: 1341: 1339: 1331: 1319: 1317: 1316: 1311: 1309: 1308: 1299: 1291: 1279: 1277: 1276: 1271: 1269: 1268: 1255: 1253: 1252: 1247: 1235: 1233: 1232: 1227: 1222: 1221: 1209: 1208: 1196: 1195: 1185: 1170: 1162: 1154: 1153: 1148: 1147: 1139: 1095: 1093: 1092: 1087: 1085: 1084: 1083: 1067: 1066: 1051: 1039: 1037: 1036: 1031: 1029: 1028: 1027: 1011: 1010: 995: 980: 978: 977: 972: 970: 969: 956: 954: 953: 948: 937: 936: 924: 923: 911: 910: 839: 837: 836: 831: 829: 828: 827: 811: 810: 748: 746: 745: 740: 738: 710: 708: 707: 702: 700: 673: 671: 670: 665: 663: 635: 633: 632: 627: 625: 624: 614: 592: 590: 589: 584: 582: 581: 571: 529: 527: 526: 521: 492: 491: 457: 455: 454: 449: 431: 429: 428: 423: 421: 420: 410: 347: 345: 344: 339: 337: 336: 335: 319: 318: 296: 294: 293: 288: 286: 258: 257: 255: 254: 249: 247: 234: 229: 227: 226: 221: 219: 202: 201: 199: 198: 193: 191: 174: 173: 171: 170: 165: 163: 150: 149: 147: 146: 141: 139: 124:, on the set of 99: 97: 96: 91: 89: 88: 72: 70: 69: 64: 62: 61: 21: 5609: 5608: 5604: 5603: 5602: 5600: 5599: 5598: 5594:Metric geometry 5579: 5578: 5570: 5473: 5468: 5467: 5447: 5443: 5434: 5430: 5411: 5407: 5388: 5384: 5379: 5375: 5355: 5351: 5338: 5334: 5314: 5310: 5297: 5280: 5275: 5238: 5224: 5223: 5177: 5163: 5162: 5116: 5102: 5101: 5056: 5051: 5050: 5020: 5015: 5014: 4990: 4975: 4967: 4966: 4934: 4921: 4907: 4906: 4903:integer lattice 4870: 4862: 4861: 4826: 4818: 4817: 4785: 4772: 4758: 4757: 4754:Euclidean space 4717: 4709: 4708: 4678: 4673: 4672: 4670:Euclidean space 4619: 4618: 4607: 4591: 4534: 4533: 4460: 4448: 4416: 4403: 4385: 4384: 4382: 4370: 4338: 4325: 4307: 4306: 4296: 4289: 4252: 4239: 4234: 4233: 4231: 4224: 4191: 4166: 4153: 4126: 4121: 4120: 4092: 4067: 4054: 4027: 4022: 4021: 4018: 4007: 4000: 3993: 3982: 3975: 3964: 3957: 3950: 3939: 3896: 3883: 3854: 3841: 3833: 3832: 3805: 3804: 3794: 3785: 3766: 3707: 3693: 3692: 3655: 3641: 3640: 3625: 3596: 3586: 3558: 3544: 3543: 3542:and is denoted 3521: 3511: 3503: 3502: 3470: 3443: 3442: 3431: 3406: 3405: 3386: 3352: 3339: 3326: 3297: 3284: 3276: 3275: 3242: 3221: 3220: 3217:)-metric spaces 3215: 3206: 3199: 3164: 3151: 3138: 3109: 3096: 3088: 3087: 3084:)-metric spaces 3076: 3069: 3026: 3013: 3000: 2971: 2958: 2950: 2949: 2934: 2927: 2921: 2893: 2880: 2875: 2874: 2867: 2860: 2821: 2808: 2779: 2766: 2758: 2757: 2754: 2747: 2728: 2721: 2702: 2695: 2663: 2650: 2637: 2608: 2595: 2587: 2586: 2579: 2572: 2541: 2528: 2515: 2486: 2473: 2465: 2464: 2457: 2450: 2442: 2413: 2400: 2371: 2358: 2350: 2349: 2328: 2315: 2310: 2309: 2302: 2295: 2267: 2254: 2246: 2245: 2224: 2211: 2198: 2188: 2180: 2179: 2173: 2166: 2135: 2134: 2128: 2110: 2103: 2096: 2067: 2054: 2041: 2012: 1999: 1991: 1990: 1966: 1961: 1960: 1935: 1930: 1929: 1900: 1887: 1874: 1823: 1779: 1774: 1773: 1744: 1734: 1718: 1717: 1688: 1678: 1662: 1661: 1620: 1619: 1600: 1599: 1555: 1550: 1549: 1522: 1509: 1501: 1500: 1498: 1489: 1480: 1437: 1436: 1413: 1412: 1357: 1352: 1351: 1322: 1321: 1282: 1281: 1258: 1257: 1238: 1237: 1213: 1200: 1187: 1136: 1131: 1130: 1124: 1117: 1110: 1104: 1068: 1058: 1042: 1041: 1012: 1002: 986: 985: 959: 958: 928: 915: 902: 897: 896: 890: 883: 876: 870: 857: 848: 812: 802: 794: 793: 788: 779: 766: 757: 729: 728: 721: 691: 690: 654: 653: 616: 595: 594: 573: 546: 545: 483: 463: 462: 434: 433: 432:, if for every 412: 391: 390: 388: 320: 310: 302: 301: 277: 276: 269: 238: 237: 236: 210: 209: 208: 182: 181: 180: 154: 153: 152: 130: 129: 128: 126:natural numbers 114: 80: 75: 74: 53: 48: 47: 32: 23: 22: 18:Asymptotic cone 15: 12: 11: 5: 5607: 5605: 5597: 5596: 5591: 5581: 5580: 5577: 5576: 5569: 5566: 5565: 5564: 5554: 5539: 5529: 5514: 5503: 5492: 5472: 5469: 5466: 5465: 5441: 5428: 5413:Cornelia Druţu 5405: 5382: 5373: 5349: 5332: 5308: 5277: 5276: 5274: 5271: 5270: 5269: 5256: 5253: 5250: 5245: 5241: 5237: 5234: 5231: 5208: 5195: 5192: 5189: 5184: 5180: 5176: 5173: 5170: 5151: 5134: 5131: 5128: 5123: 5119: 5115: 5112: 5109: 5079: 5065: 5060: 5043:Taxicab metric 5027: 5023: 5002: 4997: 4993: 4989: 4984: 4979: 4974: 4954: 4951: 4948: 4943: 4938: 4933: 4928: 4924: 4920: 4917: 4914: 4890: 4887: 4884: 4879: 4874: 4869: 4858: 4846: 4843: 4840: 4835: 4830: 4825: 4805: 4802: 4799: 4794: 4789: 4784: 4779: 4775: 4771: 4768: 4765: 4737: 4734: 4731: 4726: 4721: 4716: 4705: 4687: 4682: 4657: 4654: 4651: 4648: 4645: 4642: 4639: 4636: 4631: 4627: 4605: 4589: 4572: 4569: 4566: 4563: 4560: 4557: 4554: 4551: 4546: 4542: 4466: 4458: 4446: 4428: 4423: 4419: 4415: 4410: 4406: 4402: 4397: 4393: 4380: 4368: 4350: 4345: 4341: 4337: 4332: 4328: 4324: 4319: 4315: 4294: 4287: 4272: 4268: 4264: 4259: 4255: 4251: 4246: 4242: 4229: 4222: 4206: 4203: 4198: 4194: 4190: 4187: 4184: 4181: 4178: 4173: 4169: 4165: 4160: 4156: 4152: 4148: 4144: 4141: 4138: 4133: 4129: 4107: 4104: 4099: 4095: 4091: 4088: 4085: 4082: 4079: 4074: 4070: 4066: 4061: 4057: 4053: 4049: 4045: 4042: 4039: 4034: 4030: 4016: 4005: 3998: 3991: 3980: 3973: 3962: 3955: 3948: 3937: 3928: 3908: 3903: 3899: 3895: 3890: 3886: 3882: 3877: 3873: 3869: 3866: 3861: 3857: 3853: 3848: 3844: 3840: 3819: 3815: 3812: 3790: 3781: 3765: 3762: 3754:quasi-isometry 3725: 3722: 3719: 3714: 3710: 3706: 3703: 3700: 3679: 3676: 3673: 3670: 3667: 3662: 3658: 3654: 3651: 3648: 3623: 3608: 3603: 3599: 3593: 3589: 3585: 3582: 3579: 3576: 3573: 3570: 3565: 3561: 3557: 3554: 3551: 3528: 3524: 3518: 3514: 3510: 3482: 3477: 3473: 3469: 3464: 3461: 3456: 3453: 3450: 3429: 3414: 3385: 3382: 3381: 3380: 3364: 3359: 3355: 3351: 3346: 3342: 3338: 3333: 3329: 3325: 3320: 3316: 3312: 3309: 3304: 3300: 3296: 3291: 3287: 3283: 3263: 3260: 3257: 3254: 3249: 3245: 3239: 3236: 3233: 3229: 3213: 3204: 3197: 3192: 3187:is also a CAT( 3176: 3171: 3167: 3163: 3158: 3154: 3150: 3145: 3141: 3137: 3132: 3128: 3124: 3121: 3116: 3112: 3108: 3103: 3099: 3095: 3074: 3067: 3058: 3038: 3033: 3029: 3025: 3020: 3016: 3012: 3007: 3003: 2999: 2994: 2990: 2986: 2983: 2978: 2974: 2970: 2965: 2961: 2957: 2932: 2925: 2917: 2900: 2896: 2892: 2887: 2883: 2865: 2858: 2855:Suppose that ( 2853: 2833: 2828: 2824: 2820: 2815: 2811: 2807: 2802: 2798: 2794: 2791: 2786: 2782: 2778: 2773: 2769: 2765: 2752: 2745: 2726: 2719: 2700: 2693: 2688: 2687: 2675: 2670: 2666: 2662: 2657: 2653: 2649: 2644: 2640: 2636: 2631: 2627: 2623: 2620: 2615: 2611: 2607: 2602: 2598: 2594: 2577: 2570: 2565: 2553: 2548: 2544: 2540: 2535: 2531: 2527: 2522: 2518: 2514: 2509: 2505: 2501: 2498: 2493: 2489: 2485: 2480: 2476: 2472: 2455: 2448: 2441: 2438: 2425: 2420: 2416: 2412: 2407: 2403: 2399: 2394: 2390: 2386: 2383: 2378: 2374: 2370: 2365: 2361: 2357: 2335: 2331: 2327: 2322: 2318: 2300: 2293: 2279: 2274: 2270: 2266: 2261: 2257: 2253: 2231: 2227: 2223: 2218: 2214: 2210: 2205: 2201: 2195: 2191: 2187: 2171: 2164: 2149: 2145: 2142: 2124: 2108: 2101: 2098:Suppose that ( 2095: 2092: 2079: 2074: 2070: 2066: 2061: 2057: 2053: 2048: 2044: 2040: 2035: 2031: 2027: 2024: 2019: 2015: 2011: 2006: 2002: 1998: 1973: 1969: 1942: 1938: 1915: 1912: 1907: 1903: 1899: 1894: 1890: 1886: 1881: 1877: 1871: 1867: 1863: 1860: 1856: 1852: 1848: 1844: 1839: 1832: 1829: 1822: 1819: 1816: 1812: 1808: 1805: 1802: 1798: 1794: 1791: 1786: 1782: 1758: 1754: 1751: 1747: 1741: 1737: 1733: 1730: 1726: 1702: 1698: 1695: 1691: 1685: 1681: 1677: 1674: 1670: 1649: 1645: 1641: 1638: 1635: 1631: 1627: 1607: 1583: 1578: 1572: 1567: 1562: 1558: 1534: 1529: 1525: 1521: 1516: 1512: 1508: 1494: 1485: 1476: 1451: 1446: 1420: 1400: 1397: 1394: 1390: 1386: 1382: 1378: 1373: 1366: 1363: 1338: 1334: 1330: 1307: 1302: 1298: 1294: 1290: 1267: 1245: 1225: 1220: 1216: 1212: 1207: 1203: 1199: 1194: 1190: 1184: 1180: 1176: 1173: 1169: 1165: 1161: 1157: 1152: 1145: 1142: 1120: 1115: 1108: 1100: 1096:the sequence ( 1082: 1078: 1075: 1071: 1065: 1061: 1057: 1054: 1050: 1026: 1022: 1019: 1015: 1009: 1005: 1001: 998: 994: 968: 946: 943: 940: 935: 931: 927: 922: 918: 914: 909: 905: 886: 881: 874: 866: 853: 844: 826: 822: 819: 815: 809: 805: 801: 784: 775: 762: 753: 737: 720: 717: 699: 662: 638: 637: 623: 619: 613: 609: 605: 602: 580: 576: 570: 567: 564: 560: 556: 553: 542: 531: 530: 519: 516: 513: 510: 507: 504: 501: 498: 495: 490: 486: 482: 479: 476: 473: 470: 458:it holds that 447: 444: 441: 419: 415: 409: 405: 401: 398: 384: 334: 330: 327: 323: 317: 313: 309: 285: 268: 265: 246: 218: 190: 162: 138: 113: 110: 87: 83: 60: 56: 24: 14: 13: 10: 9: 6: 4: 3: 2: 5606: 5595: 5592: 5590: 5587: 5586: 5584: 5575: 5572: 5571: 5567: 5562: 5559: 5555: 5552: 5551:0-8176-3898-9 5548: 5544: 5540: 5537: 5534: 5530: 5527: 5523: 5519: 5516:M. Kapovich. 5515: 5512: 5508: 5504: 5501: 5497: 5493: 5490: 5486: 5482: 5479: 5475: 5474: 5470: 5462: 5458: 5454: 5451: 5445: 5442: 5438: 5432: 5429: 5425: 5422: 5418: 5414: 5409: 5406: 5403: 5399: 5395: 5392: 5386: 5383: 5377: 5374: 5370: 5366: 5362: 5359: 5353: 5350: 5346: 5342: 5336: 5333: 5329: 5325: 5321: 5318: 5312: 5309: 5305: 5301: 5295: 5293: 5291: 5289: 5287: 5285: 5283: 5279: 5272: 5251: 5243: 5239: 5235: 5232: 5229: 5221: 5217: 5213: 5209: 5190: 5182: 5178: 5174: 5171: 5168: 5160: 5156: 5152: 5149: 5129: 5121: 5117: 5113: 5110: 5107: 5099: 5095: 5093: 5088: 5084: 5080: 5063: 5049:-metric) on 5048: 5044: 5025: 5021: 4995: 4991: 4987: 4982: 4949: 4946: 4941: 4926: 4922: 4918: 4915: 4912: 4904: 4885: 4882: 4877: 4859: 4841: 4838: 4833: 4800: 4797: 4792: 4777: 4773: 4769: 4766: 4763: 4755: 4752:-dimensional 4751: 4732: 4729: 4724: 4706: 4703: 4685: 4671: 4652: 4649: 4646: 4643: 4640: 4637: 4629: 4616: 4613: 4612:inner product 4610:given by the 4609: 4601: 4597: 4593: 4586: 4585:tangent space 4567: 4564: 4561: 4558: 4555: 4552: 4544: 4531: 4527: 4523: 4519: 4515: 4511: 4507: 4503: 4499: 4495: 4491: 4487: 4483: 4480:of dimension 4479: 4475: 4471: 4467: 4464: 4457: 4453: 4449: 4442: 4421: 4417: 4413: 4408: 4404: 4395: 4379: 4375: 4371: 4364: 4343: 4339: 4335: 4330: 4326: 4317: 4304: 4300: 4293: 4286: 4270: 4262: 4257: 4253: 4249: 4244: 4240: 4228: 4221: 4196: 4192: 4188: 4185: 4179: 4171: 4167: 4163: 4158: 4154: 4142: 4136: 4131: 4127: 4097: 4093: 4089: 4086: 4080: 4072: 4068: 4064: 4059: 4055: 4043: 4037: 4032: 4028: 4019: 4012: 4008: 4001: 3994: 3987: 3983: 3976: 3969: 3965: 3958: 3951: 3944: 3940: 3933: 3929: 3926: 3922: 3901: 3897: 3893: 3888: 3884: 3875: 3867: 3855: 3851: 3842: 3813: 3810: 3802: 3798: 3793: 3789: 3784: 3780: 3776: 3772: 3768: 3767: 3763: 3761: 3759: 3755: 3751: 3747: 3743: 3738: 3720: 3712: 3708: 3704: 3701: 3698: 3674: 3671: 3668: 3660: 3656: 3652: 3649: 3646: 3638: 3634: 3630: 3626: 3601: 3591: 3587: 3580: 3577: 3574: 3571: 3563: 3559: 3555: 3552: 3549: 3526: 3516: 3512: 3500: 3496: 3475: 3471: 3467: 3462: 3459: 3454: 3451: 3440: 3436: 3433: ∈  3432: 3403: 3399: 3395: 3391: 3383: 3378: 3357: 3353: 3349: 3344: 3340: 3336: 3331: 3327: 3318: 3310: 3298: 3294: 3285: 3261: 3255: 3252: 3247: 3243: 3231: 3218: 3216: 3207: 3200: 3193: 3190: 3169: 3165: 3161: 3156: 3152: 3148: 3143: 3139: 3130: 3122: 3110: 3106: 3097: 3085: 3083: 3077: 3070: 3063: 3059: 3056: 3052: 3031: 3027: 3023: 3018: 3014: 3010: 3005: 3001: 2992: 2984: 2972: 2968: 2959: 2947: 2943: 2939: 2935: 2928: 2920: 2916: 2898: 2894: 2890: 2885: 2881: 2872: 2868: 2861: 2854: 2851: 2847: 2826: 2822: 2818: 2813: 2809: 2800: 2792: 2780: 2776: 2767: 2755: 2748: 2741: 2737: 2733: 2729: 2722: 2715: 2714: 2713: 2711: 2707: 2703: 2696: 2668: 2664: 2660: 2655: 2651: 2647: 2642: 2638: 2629: 2621: 2609: 2605: 2596: 2584: 2580: 2573: 2566: 2546: 2542: 2538: 2533: 2529: 2525: 2520: 2516: 2507: 2499: 2487: 2483: 2474: 2462: 2458: 2451: 2444: 2443: 2439: 2437: 2418: 2414: 2410: 2405: 2401: 2392: 2384: 2372: 2368: 2359: 2333: 2329: 2325: 2320: 2316: 2307: 2303: 2296: 2268: 2264: 2255: 2229: 2225: 2221: 2216: 2212: 2208: 2203: 2193: 2189: 2177: 2174: 2167: 2143: 2140: 2132: 2127: 2123: 2119: 2115: 2114:metric spaces 2111: 2104: 2093: 2091: 2072: 2068: 2064: 2059: 2055: 2051: 2046: 2042: 2033: 2025: 2013: 2009: 2000: 1987: 1967: 1958: 1936: 1926: 1913: 1905: 1901: 1897: 1892: 1888: 1879: 1875: 1869: 1861: 1850: 1827: 1820: 1803: 1780: 1752: 1749: 1739: 1735: 1728: 1696: 1693: 1683: 1679: 1672: 1636: 1605: 1596: 1581: 1576: 1565: 1556: 1546: 1523: 1519: 1510: 1497: 1493: 1488: 1484: 1479: 1475: 1471: 1467: 1462: 1449: 1434: 1418: 1398: 1395: 1384: 1361: 1332: 1300: 1292: 1243: 1218: 1214: 1210: 1205: 1201: 1192: 1188: 1182: 1174: 1163: 1140: 1128: 1123: 1118: 1111: 1103: 1099: 1076: 1073: 1063: 1059: 1052: 1020: 1017: 1007: 1003: 996: 982: 944: 941: 933: 929: 925: 920: 916: 907: 903: 894: 889: 884: 877: 869: 865: 861: 856: 852: 847: 843: 820: 817: 807: 803: 790: 787: 783: 778: 774: 770: 769:metric spaces 765: 761: 756: 752: 726: 718: 716: 714: 688: 683: 681: 677: 651: 647: 643: 621: 617: 611: 603: 600: 578: 574: 562: 554: 551: 543: 540: 536: 535: 534: 517: 514: 511: 505: 502: 496: 493: 488: 484: 477: 474: 471: 461: 460: 459: 445: 442: 439: 417: 413: 407: 399: 396: 389:, denoted as 387: 383: 379: 375: 371: 367: 363: 359: 355: 351: 328: 325: 315: 311: 298: 274: 266: 264: 262: 261:non-principal 233: 206: 178: 127: 123: 120:, denoted as 119: 111: 109: 107: 103: 85: 81: 58: 54: 45: 41: 37: 30: 19: 5557: 5542: 5532: 5517: 5506: 5495: 5477: 5449: 5444: 5436: 5431: 5420: 5408: 5390: 5385: 5376: 5357: 5352: 5340: 5335: 5316: 5311: 5299: 5215: 5211: 5158: 5154: 5097: 5091: 5086: 5082: 5046: 4749: 4614: 4603: 4599: 4595: 4587: 4525: 4521: 4513: 4509: 4505: 4501: 4497: 4493: 4485: 4481: 4473: 4469: 4462: 4455: 4451: 4444: 4440: 4377: 4373: 4366: 4362: 4302: 4298: 4291: 4284: 4226: 4219: 4014: 4010: 4003: 3996: 3989: 3985: 3978: 3971: 3967: 3960: 3953: 3946: 3942: 3935: 3931: 3924: 3920: 3803:) for every 3800: 3796: 3791: 3787: 3782: 3778: 3774: 3770: 3739: 3636: 3632: 3628: 3621: 3498: 3494: 3438: 3434: 3427: 3401: 3397: 3393: 3389: 3387: 3211: 3202: 3195: 3188: 3081: 3072: 3065: 3064:≤0 and let ( 3061: 3054: 3050: 2941: 2937: 2930: 2923: 2918: 2914: 2863: 2856: 2849: 2845: 2750: 2743: 2735: 2731: 2724: 2717: 2709: 2705: 2698: 2691: 2689: 2575: 2568: 2453: 2446: 2305: 2298: 2291: 2175: 2169: 2162: 2130: 2125: 2121: 2117: 2106: 2099: 2097: 1988: 1959:on the set 1927: 1597: 1547: 1495: 1491: 1486: 1482: 1477: 1473: 1469: 1465: 1463: 1126: 1121: 1113: 1106: 1101: 1097: 983: 892: 887: 879: 872: 867: 863: 859: 854: 850: 845: 841: 791: 785: 781: 776: 772: 763: 759: 754: 750: 724: 722: 686: 684: 679: 675: 649: 645: 641: 639: 538: 532: 385: 381: 377: 373: 369: 365: 361: 357: 353: 350:metric space 299: 272: 270: 260: 231: 204: 176: 121: 115: 112:Ultrafilters 44:metric space 39: 33: 29:Ultraproduct 5541:M. Gromov. 5094:-hyperbolic 4508:, so that ( 1772:, there is 1320:, there is 1256:on the set 895:such that 860:admissible. 118:ultrafilter 102:ultrafilter 36:mathematics 5583:Categories 5476:John Roe. 5471:References 5448:John Roe. 5417:Denis Osin 5389:John Roe. 5356:John Roe. 5315:John Roe. 3752:) provide 2304:) and on 2133:for every 1466:ultralimit 689:-limit in 372:is called 40:ultralimit 5273:Footnotes 5244:ω 5183:ω 5148:real tree 5122:ω 4927:ω 4778:ω 4630:ω 4545:ω 4396:ω 4318:ω 4250:∪ 3876:ω 3860:∞ 3847:∞ 3814:∈ 3713:ω 3661:ω 3631:for some 3564:ω 3377:real tree 3319:ω 3303:∞ 3290:∞ 3259:∞ 3256:− 3244:κ 3238:∞ 3235:→ 3131:ω 3115:∞ 3102:∞ 2993:ω 2977:∞ 2964:∞ 2944:) in the 2891:∈ 2873:and that 2801:ω 2785:∞ 2772:∞ 2738:) in the 2630:ω 2614:∞ 2601:∞ 2508:ω 2492:∞ 2479:∞ 2393:ω 2377:∞ 2364:∞ 2326:∈ 2273:∞ 2260:∞ 2222:∈ 2178:sequence 2144:∈ 2034:ω 2018:∞ 2005:∞ 1972:∞ 1941:∞ 1870:ω 1838:∞ 1831:^ 1785:∞ 1753:∈ 1697:∈ 1606:∼ 1582:∼ 1561:∞ 1528:∞ 1515:∞ 1419:∼ 1372:∞ 1365:^ 1350:whenever 1333:∼ 1301:∈ 1244:∼ 1183:ω 1151:∞ 1144:^ 1077:∈ 1021:∈ 942:≤ 821:∈ 612:ω 569:∞ 566:→ 515:ω 512:∈ 506:ϵ 503:≤ 440:ϵ 408:ω 329:∈ 5568:See also 5553:; Ch. 3. 5536:Topology 5528:; Ch. 9. 5491:; Ch. 7. 5483:, 2003. 5455:, 2003. 5424:Topology 5396:, 2003. 5363:, 2003. 5322:, 2003. 4484:, where 4383:)=1 and 3970:either ( 3764:Examples 3691:or just 3426:and let 3191:)-space. 1598:For two 1129:-limit 840:, where 5218:) be a 5089:) be a 5041:is the 4516:) is a 4218:. Thus 4020:). Let 3941:) and ( 1989:Denote 749:. Let ( 713:compact 5549:  5524:  5487:  5459:  5400:  5367:  5326:  5081:Let ( 5013:where 4496:. Let 3995:) or ( 3219:where 2869:) are 2581:) are 2459:) are 1957:metric 1431:is an 674:, the 537:If an 360:) and 5210:Let ( 5153:Let ( 5146:is a 4488:is a 4468:Let ( 4450:) if 4372:) if 3930:Let ( 3769:Let ( 3637:p ∈ X 3633:p ∈ X 3194:Let ( 2585:then 2463:then 2176:every 858:, is 378:limit 38:, an 5547:ISBN 5522:ISBN 5485:ISBN 5457:ISBN 5398:ISBN 5365:ISBN 5324:ISBN 5045:(or 4860:Let 4707:Let 4615:g(p) 4297:has 4119:and 3748:and 3501:and 3210:CAT( 3080:CAT( 3060:Let 2716:If ( 2567:If ( 2445:If ( 2129:) ≤ 1716:and 1464:The 1040:and 723:Let 443:> 4626:lim 4598:at 4594:of 4541:lim 4492:on 4392:lim 4314:lim 4009:)=( 3984:)=( 3872:lim 3795:)=( 3375:is 3315:lim 3228:lim 3127:lim 2989:lim 2797:lim 2626:lim 2504:lim 2389:lim 2030:lim 1866:lim 1435:on 1179:lim 608:lim 559:lim 544:If 404:lim 380:of 300:If 259:is 207:or 179:of 116:An 34:In 5585:: 5509:, 5498:. 5343:. 5302:, 5281:^ 4532:) 4290:, 4225:, 3927:). 3737:. 3627:= 3057:). 2852:). 2436:. 2090:. 1986:. 1821::= 1595:. 1490:, 1399:0. 1175::= 1119:)) 981:. 885:)) 849:∈ 789:. 780:∈ 715:. 364:∈ 297:. 230:\ 5255:) 5252:X 5249:( 5240:e 5236:n 5233:o 5230:C 5216:d 5214:, 5212:X 5194:) 5191:X 5188:( 5179:e 5175:n 5172:o 5169:C 5159:d 5157:, 5155:X 5150:. 5133:) 5130:X 5127:( 5118:e 5114:n 5111:o 5108:C 5098:δ 5092:δ 5087:d 5085:, 5083:X 5078:. 5064:2 5059:R 5047:L 5026:1 5022:d 5001:) 4996:1 4992:d 4988:, 4983:2 4978:R 4973:( 4953:) 4950:d 4947:, 4942:2 4937:Z 4932:( 4923:e 4919:n 4916:o 4913:C 4889:) 4886:d 4883:, 4878:2 4873:Z 4868:( 4857:. 4845:) 4842:d 4839:, 4834:m 4829:R 4824:( 4804:) 4801:d 4798:, 4793:m 4788:R 4783:( 4774:e 4770:n 4767:o 4764:C 4750:m 4736:) 4733:d 4730:, 4725:m 4720:R 4715:( 4704:. 4686:m 4681:R 4656:) 4653:p 4650:, 4647:d 4644:n 4641:, 4638:M 4635:( 4608:M 4606:p 4604:T 4600:p 4596:M 4592:M 4590:p 4588:T 4571:) 4568:p 4565:, 4562:d 4559:n 4556:, 4553:M 4550:( 4526:M 4524:∈ 4522:p 4514:d 4512:, 4510:M 4506:g 4502:M 4498:d 4494:M 4486:g 4482:m 4474:g 4472:, 4470:M 4465:. 4463:ω 4459:2 4456:A 4454:( 4452:ω 4447:Y 4445:d 4443:, 4441:Y 4427:) 4422:n 4418:d 4414:, 4409:n 4405:X 4401:( 4381:1 4378:A 4376:( 4374:ω 4369:X 4367:d 4365:, 4363:X 4349:) 4344:n 4340:d 4336:, 4331:n 4327:X 4323:( 4303:ω 4299:ω 4295:2 4292:A 4288:1 4285:A 4271:. 4267:N 4263:= 4258:2 4254:A 4245:1 4241:A 4230:2 4227:A 4223:1 4220:A 4205:} 4202:) 4197:Y 4193:d 4189:, 4186:Y 4183:( 4180:= 4177:) 4172:n 4168:d 4164:, 4159:n 4155:X 4151:( 4147:| 4143:n 4140:{ 4137:= 4132:2 4128:A 4106:} 4103:) 4098:X 4094:d 4090:, 4087:X 4084:( 4081:= 4078:) 4073:n 4069:d 4065:, 4060:n 4056:X 4052:( 4048:| 4044:n 4041:{ 4038:= 4033:1 4029:A 4017:Y 4015:d 4013:, 4011:Y 4006:n 4004:d 4002:, 3999:n 3997:X 3992:X 3990:d 3988:, 3986:X 3981:n 3979:d 3977:, 3974:n 3972:X 3968:n 3963:n 3961:d 3959:, 3956:n 3954:X 3949:Y 3947:d 3945:, 3943:Y 3938:X 3936:d 3934:, 3932:X 3925:d 3923:, 3921:X 3907:) 3902:n 3898:d 3894:, 3889:n 3885:X 3881:( 3868:= 3865:) 3856:d 3852:, 3843:X 3839:( 3818:N 3811:n 3801:d 3799:, 3797:X 3792:n 3788:d 3786:, 3783:n 3779:X 3775:d 3773:, 3771:X 3724:) 3721:X 3718:( 3709:e 3705:n 3702:o 3699:C 3678:) 3675:d 3672:, 3669:X 3666:( 3657:e 3653:n 3650:o 3647:C 3629:p 3624:n 3622:p 3607:) 3602:n 3598:) 3592:n 3588:p 3584:( 3581:, 3578:d 3575:, 3572:X 3569:( 3560:e 3556:n 3553:o 3550:C 3527:n 3523:) 3517:n 3513:p 3509:( 3499:ω 3495:X 3481:) 3476:n 3472:p 3468:, 3463:n 3460:d 3455:, 3452:X 3449:( 3439:ω 3435:X 3430:n 3428:p 3413:N 3402:ω 3398:d 3396:, 3394:X 3379:. 3363:) 3358:n 3354:p 3350:, 3345:n 3341:d 3337:, 3332:n 3328:X 3324:( 3311:= 3308:) 3299:d 3295:, 3286:X 3282:( 3262:. 3253:= 3248:n 3232:n 3214:n 3212:κ 3205:n 3203:d 3201:, 3198:n 3196:X 3189:κ 3175:) 3170:n 3166:p 3162:, 3157:n 3153:d 3149:, 3144:n 3140:X 3136:( 3123:= 3120:) 3111:d 3107:, 3098:X 3094:( 3082:κ 3075:n 3073:d 3071:, 3068:n 3066:X 3062:κ 3055:d 3053:, 3051:X 3037:) 3032:n 3028:p 3024:, 3019:n 3015:d 3011:, 3006:n 3002:X 2998:( 2985:= 2982:) 2973:d 2969:, 2960:X 2956:( 2942:d 2940:, 2938:X 2933:n 2931:p 2929:, 2926:n 2924:d 2922:, 2919:n 2915:X 2899:n 2895:X 2886:n 2882:p 2866:n 2864:d 2862:, 2859:n 2857:X 2850:d 2848:, 2846:X 2832:) 2827:n 2823:d 2819:, 2814:n 2810:X 2806:( 2793:= 2790:) 2781:d 2777:, 2768:X 2764:( 2753:n 2751:d 2749:, 2746:n 2744:X 2736:d 2734:, 2732:X 2727:n 2725:d 2723:, 2720:n 2718:X 2710:d 2708:, 2706:X 2701:n 2699:d 2697:, 2694:n 2692:X 2674:) 2669:n 2665:p 2661:, 2656:n 2652:d 2648:, 2643:n 2639:X 2635:( 2622:= 2619:) 2610:d 2606:, 2597:X 2593:( 2578:n 2576:d 2574:, 2571:n 2569:X 2552:) 2547:n 2543:p 2539:, 2534:n 2530:d 2526:, 2521:n 2517:X 2513:( 2500:= 2497:) 2488:d 2484:, 2475:X 2471:( 2456:n 2454:d 2452:, 2449:n 2447:X 2424:) 2419:n 2415:d 2411:, 2406:n 2402:X 2398:( 2385:= 2382:) 2373:d 2369:, 2360:X 2356:( 2334:n 2330:X 2321:n 2317:p 2306:ω 2301:n 2299:d 2297:, 2294:n 2292:X 2278:) 2269:d 2265:, 2256:X 2252:( 2230:n 2226:X 2217:n 2213:x 2209:, 2204:n 2200:) 2194:n 2190:x 2186:( 2172:n 2170:X 2165:n 2163:p 2148:N 2141:n 2131:C 2126:n 2122:X 2118:C 2109:n 2107:d 2105:, 2102:n 2100:X 2078:) 2073:n 2069:p 2065:, 2060:n 2056:d 2052:, 2047:n 2043:X 2039:( 2026:= 2023:) 2014:d 2010:, 2001:X 1997:( 1968:X 1937:d 1914:. 1911:) 1906:n 1902:y 1898:, 1893:n 1889:x 1885:( 1880:n 1876:d 1862:= 1859:) 1855:y 1851:, 1847:x 1843:( 1828:d 1818:) 1815:] 1811:y 1807:[ 1804:, 1801:] 1797:x 1793:[ 1790:( 1781:d 1757:N 1750:n 1746:) 1740:n 1736:y 1732:( 1729:= 1725:y 1701:N 1694:n 1690:) 1684:n 1680:x 1676:( 1673:= 1669:x 1648:] 1644:y 1640:[ 1637:, 1634:] 1630:x 1626:[ 1577:/ 1571:A 1566:= 1557:X 1533:) 1524:d 1520:, 1511:X 1507:( 1496:n 1492:p 1487:n 1483:d 1481:, 1478:n 1474:X 1470:ω 1450:. 1445:A 1396:= 1393:) 1389:y 1385:, 1381:x 1377:( 1362:d 1337:y 1329:x 1306:A 1297:y 1293:, 1289:x 1266:A 1224:) 1219:n 1215:y 1211:, 1206:n 1202:x 1198:( 1193:n 1189:d 1172:) 1168:y 1164:, 1160:x 1156:( 1141:d 1127:ω 1122:n 1116:n 1114:y 1112:, 1109:n 1107:x 1105:( 1102:n 1098:d 1081:N 1074:n 1070:) 1064:n 1060:y 1056:( 1053:= 1049:y 1025:N 1018:n 1014:) 1008:n 1004:x 1000:( 997:= 993:x 967:A 945:C 939:) 934:n 930:p 926:, 921:n 917:x 913:( 908:n 904:d 893:C 888:n 882:n 880:p 878:, 875:n 873:x 871:( 868:n 864:d 855:n 851:X 846:n 842:x 825:N 818:n 814:) 808:n 804:x 800:( 786:n 782:X 777:n 773:p 764:n 760:d 758:, 755:n 751:X 736:N 725:ω 698:R 687:ω 680:X 676:ω 661:N 650:ω 646:d 644:, 642:X 622:n 618:x 604:= 601:x 579:n 575:x 563:n 555:= 552:x 539:ω 518:. 509:} 500:) 497:x 494:, 489:n 485:x 481:( 478:d 475:: 472:n 469:{ 446:0 418:n 414:x 400:= 397:x 386:n 382:x 376:- 374:ω 370:x 366:X 362:x 358:d 356:, 354:X 352:( 333:N 326:n 322:) 316:n 312:x 308:( 284:N 273:ω 245:N 232:X 217:N 205:X 189:N 177:X 161:N 137:N 122:ω 86:n 82:X 59:n 55:X 31:. 20:)

Index

Asymptotic cone
Ultraproduct
mathematics
metric space
ultrafilter
Gromov–Hausdorff convergence
ultrafilter
natural numbers
metric space
compact
metric spaces
equivalence relation
metric
metric spaces
geodesic metric spaces
complete metric spaces
Gromov–Hausdorff
proper metric spaces
Gromov–Hausdorff
CAT(κ)-metric spaces
CAT(κn)-metric spaces
real tree
geometric group theory
topological types
bi-Lipschitz types
quasi-isometry
relatively hyperbolic groups
Riemannian manifold
Riemannian metric
geodesic metric space

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.