Knowledge (XXG)

Gromov product

Source 📝

242: 1652: 231: 1295: 925: 1393: 1131: 1028: 506: 393: 817: 1482: 1452: 1206: 1179: 1418: 1542: 107: 1216: 823: 1310: 1034: 931: 1803: 1774: 1864: 398: 29: 1302:
exists and is finite, and therefore can be considered as a generalized Gromov product. It is actually given by the formula
279: 734: 1859: 521: 1493: 33: 1457: 1427: 1710: 1184: 1157: 1799: 1770: 1747: 1403: 1838: 1739: 1144: 1821: 1659:
In this case. Gromov product measures how long geodesics remain close together. Namely, if
1817: 1853: 241: 25: 1842: 1743: 1647:{\displaystyle (x,z)_{p}\geq \min {\big \{}(x,y)_{p},(y,z)_{p}{\big \}}-\delta .} 17: 1798:, Lecture Notes in Mathematics (in French), vol. 1441, Springer-Verlag, 1751: 226:{\displaystyle (y,z)_{x}={\frac {1}{2}}{\big (}d(x,y)+d(x,z)-d(y,z){\big )}.} 1814:
Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001)
1290:{\displaystyle \liminf _{x\to x_{\infty } \atop y\to y_{\infty }}(x,y)_{p}} 634:
is obtained by isometrically embedding (A, B, C) into the euclidean plane.
1812:
Kapovich, Ilya; Benakli, Nadia (2002). "Boundaries of hyperbolic groups".
1421: 920:{\displaystyle 0\leq (y,z)_{x}\leq \min {\big \{}d(y,x),d(z,x){\big \}},} 550: 1816:. Contemp. Math. 296. Providence, RI: Amer. Math. Soc. pp. 39–93. 1796:
Géométrie et théorie des groupes. Les groupes hyperboliques de Gromov
527:
In the hyperbolic, spherical or euclidean plane, the Gromov product (
1388:{\displaystyle (x_{\infty },y_{\infty })_{p}=\log \csc(\theta /2),} 1126:{\displaystyle {\big |}(x,y)_{p}-(x,z)_{p}{\big |}\leq d(y,z).} 1023:{\displaystyle {\big |}(y,z)_{p}-(y,z)_{q}{\big |}\leq d(p,q),} 1675:-hyperbolic metric space then the initial segments of length ( 264:, by the triangle inequality there exist non-negative numbers 620:. Thus for any metric space, a geometric interpretation of ( 240: 1769:. Providence: American Mathematical Society. p. 114. 1730:
Väisälä, Jussi (2005-09-15). "Gromov hyperbolic spaces".
524:
then these Gromov products are the lengths of the edges.
501:{\displaystyle (y,z)_{x}=a,\ (x,z)_{y}=b,\ (x,y)_{z}=c} 1794:
Coornaert, M.; Delzant, T.; Papadopoulos, A. (1990),
1545: 1460: 1430: 1406: 1313: 1219: 1187: 1160: 1037: 934: 826: 737: 401: 282: 110: 1208:be two distinct points at infinity. Then the limit 388:{\displaystyle d(x,y)=a+b,\ d(x,z)=a+c,\ d(y,z)=b+c} 1829:Väisälä, Jussi (2005). "Gromov hyperbolic spaces". 1646: 1476: 1446: 1412: 1387: 1289: 1200: 1173: 1125: 1022: 919: 811: 674:The Gromov product degenerates at the endpoints: ( 500: 387: 225: 1571: 1221: 858: 32:. The Gromov product can also be used to define 1488:δ-hyperbolic spaces and divergence of geodesics 1630: 1576: 1094: 1040: 991: 937: 909: 863: 215: 148: 8: 812:{\displaystyle d(x,y)=(x,z)_{y}+(y,z)_{x},} 1629: 1628: 1622: 1597: 1575: 1574: 1562: 1544: 1492:The Gromov product can be used to define 1468: 1459: 1438: 1429: 1405: 1371: 1344: 1334: 1321: 1312: 1281: 1255: 1237: 1224: 1218: 1192: 1186: 1165: 1159: 1093: 1092: 1086: 1061: 1039: 1038: 1036: 990: 989: 983: 958: 936: 935: 933: 908: 907: 862: 861: 849: 825: 800: 775: 736: 486: 452: 418: 400: 281: 214: 213: 147: 146: 136: 127: 109: 1722: 7: 1469: 1439: 1335: 1322: 1256: 1238: 1225: 1193: 1166: 643:The Gromov product is symmetric: ( 14: 395:. Then the Gromov products are 28:named after the mathematician 1619: 1606: 1594: 1581: 1559: 1546: 1379: 1365: 1341: 1314: 1278: 1265: 1248: 1230: 1117: 1105: 1083: 1070: 1058: 1045: 1014: 1002: 980: 967: 955: 942: 904: 892: 883: 871: 846: 833: 797: 784: 772: 759: 753: 741: 508:. In the case that the points 483: 470: 449: 436: 415: 402: 370: 358: 334: 322: 298: 286: 210: 198: 189: 177: 168: 156: 124: 111: 24:is a concept in the theory of 1: 1843:10.1016/j.exmath.2005.01.010 1744:10.1016/j.exmath.2005.01.010 1477:{\displaystyle py_{\infty }} 1447:{\displaystyle px_{\infty }} 55:) be a metric space and let 1767:Lectures on coarse geometry 1709:apart (in the sense of the 1201:{\displaystyle y_{\infty }} 1174:{\displaystyle x_{\infty }} 1881: 1499:in the sense of Gromov.: ( 565:. Indeed from the diagram 1831:Expositiones Mathematicae 1732:Expositiones Mathematicae 1420:is the angle between the 553:of the geodesic triangle 520:are the outer nodes of a 37:-hyperbolic metric spaces 549:and the point where the 39:in the sense of Gromov. 1865:Hyperbolic metric space 1413:{\displaystyle \theta } 1713:between closed sets). 1671:are three points of a 1648: 1478: 1448: 1414: 1389: 1291: 1202: 1175: 1127: 1024: 921: 813: 502: 389: 245: 227: 1705:are no further than 2 1649: 1479: 1449: 1415: 1390: 1292: 1203: 1176: 1128: 1025: 922: 814: 503: 390: 244: 228: 1543: 1458: 1428: 1404: 1311: 1217: 1185: 1158: 1035: 932: 824: 735: 541:equals the distance 399: 280: 260:in the metric space 108: 1150:. Fix a base point 248:Given three points 1765:Roe, John (2003). 1711:Hausdorff distance 1689:of geodesics from 1644: 1497:-hyperbolic spaces 1474: 1444: 1410: 1385: 1287: 1264: 1198: 1171: 1139:Points at infinity 1123: 1020: 917: 809: 498: 385: 246: 223: 1262: 1220: 557:touches the edge 469: 435: 354: 318: 144: 1872: 1846: 1825: 1808: 1781: 1780: 1762: 1756: 1755: 1727: 1653: 1651: 1650: 1645: 1634: 1633: 1627: 1626: 1602: 1601: 1580: 1579: 1567: 1566: 1507:) is said to be 1483: 1481: 1480: 1475: 1473: 1472: 1453: 1451: 1450: 1445: 1443: 1442: 1419: 1417: 1416: 1411: 1394: 1392: 1391: 1386: 1375: 1349: 1348: 1339: 1338: 1326: 1325: 1296: 1294: 1293: 1288: 1286: 1285: 1263: 1261: 1260: 1259: 1243: 1242: 1241: 1207: 1205: 1204: 1199: 1197: 1196: 1180: 1178: 1177: 1172: 1170: 1169: 1145:hyperbolic space 1132: 1130: 1129: 1124: 1098: 1097: 1091: 1090: 1066: 1065: 1044: 1043: 1029: 1027: 1026: 1021: 995: 994: 988: 987: 963: 962: 941: 940: 926: 924: 923: 918: 913: 912: 867: 866: 854: 853: 818: 816: 815: 810: 805: 804: 780: 779: 619: 587: 507: 505: 504: 499: 491: 490: 467: 457: 456: 433: 423: 422: 394: 392: 391: 386: 352: 316: 232: 230: 229: 224: 219: 218: 152: 151: 145: 137: 132: 131: 101:, is defined by 1880: 1879: 1875: 1874: 1873: 1871: 1870: 1869: 1860:Metric geometry 1850: 1849: 1828: 1811: 1806: 1793: 1790: 1785: 1784: 1777: 1764: 1763: 1759: 1729: 1728: 1724: 1719: 1688: 1618: 1593: 1558: 1541: 1540: 1490: 1464: 1456: 1455: 1434: 1426: 1425: 1402: 1401: 1340: 1330: 1317: 1309: 1308: 1277: 1251: 1244: 1233: 1226: 1215: 1214: 1188: 1183: 1182: 1161: 1156: 1155: 1141: 1082: 1057: 1033: 1032: 979: 954: 930: 929: 845: 822: 821: 796: 771: 733: 732: 705:For any points 702: = 0. 701: 687: 670: 656: 640: 633: 618: 589: 566: 540: 482: 448: 414: 397: 396: 278: 277: 239: 123: 106: 105: 100: 45: 12: 11: 5: 1878: 1876: 1868: 1867: 1862: 1852: 1851: 1848: 1847: 1837:(3): 187–231. 1826: 1809: 1804: 1789: 1786: 1783: 1782: 1775: 1757: 1738:(3): 187–231. 1721: 1720: 1718: 1715: 1684: 1657: 1656: 1655: 1654: 1643: 1640: 1637: 1632: 1625: 1621: 1617: 1614: 1611: 1608: 1605: 1600: 1596: 1592: 1589: 1586: 1583: 1578: 1573: 1570: 1565: 1561: 1557: 1554: 1551: 1548: 1489: 1486: 1471: 1467: 1463: 1441: 1437: 1433: 1409: 1398: 1397: 1396: 1395: 1384: 1381: 1378: 1374: 1370: 1367: 1364: 1361: 1358: 1355: 1352: 1347: 1343: 1337: 1333: 1329: 1324: 1320: 1316: 1300: 1299: 1298: 1297: 1284: 1280: 1276: 1273: 1270: 1267: 1258: 1254: 1250: 1247: 1240: 1236: 1232: 1229: 1223: 1222:lim inf 1195: 1191: 1168: 1164: 1140: 1137: 1136: 1135: 1134: 1133: 1122: 1119: 1116: 1113: 1110: 1107: 1104: 1101: 1096: 1089: 1085: 1081: 1078: 1075: 1072: 1069: 1064: 1060: 1056: 1053: 1050: 1047: 1042: 1030: 1019: 1016: 1013: 1010: 1007: 1004: 1001: 998: 993: 986: 982: 978: 975: 972: 969: 966: 961: 957: 953: 950: 947: 944: 939: 927: 916: 911: 906: 903: 900: 897: 894: 891: 888: 885: 882: 879: 876: 873: 870: 865: 860: 857: 852: 848: 844: 841: 838: 835: 832: 829: 819: 808: 803: 799: 795: 792: 789: 786: 783: 778: 774: 770: 767: 764: 761: 758: 755: 752: 749: 746: 743: 740: 727: 726: 703: 697: 688: = ( 683: 672: 666: 657: = ( 652: 639: 636: 629: 614: 536: 497: 494: 489: 485: 481: 478: 475: 472: 466: 463: 460: 455: 451: 447: 444: 441: 438: 432: 429: 426: 421: 417: 413: 410: 407: 404: 384: 381: 378: 375: 372: 369: 366: 363: 360: 357: 351: 348: 345: 342: 339: 336: 333: 330: 327: 324: 321: 315: 312: 309: 306: 303: 300: 297: 294: 291: 288: 285: 238: 235: 234: 233: 222: 217: 212: 209: 206: 203: 200: 197: 194: 191: 188: 185: 182: 179: 176: 173: 170: 167: 164: 161: 158: 155: 150: 143: 140: 135: 130: 126: 122: 119: 116: 113: 96: 73:Gromov product 44: 41: 30:Mikhail Gromov 22:Gromov product 13: 10: 9: 6: 4: 3: 2: 1877: 1866: 1863: 1861: 1858: 1857: 1855: 1844: 1840: 1836: 1832: 1827: 1823: 1819: 1815: 1810: 1807: 1805:3-540-52977-2 1801: 1797: 1792: 1791: 1787: 1778: 1776:0-8218-3332-4 1772: 1768: 1761: 1758: 1753: 1749: 1745: 1741: 1737: 1733: 1726: 1723: 1716: 1714: 1712: 1708: 1704: 1700: 1696: 1692: 1687: 1682: 1678: 1674: 1670: 1666: 1662: 1641: 1638: 1635: 1623: 1615: 1612: 1609: 1603: 1598: 1590: 1587: 1584: 1568: 1563: 1555: 1552: 1549: 1539: 1538: 1537: 1536: 1535: 1533: 1529: 1525: 1521: 1517: 1513: 1511: 1506: 1502: 1498: 1496: 1487: 1485: 1465: 1461: 1435: 1431: 1423: 1407: 1382: 1376: 1372: 1368: 1362: 1359: 1356: 1353: 1350: 1345: 1331: 1327: 1318: 1307: 1306: 1305: 1304: 1303: 1282: 1274: 1271: 1268: 1252: 1245: 1234: 1227: 1213: 1212: 1211: 1210: 1209: 1189: 1162: 1153: 1149: 1146: 1138: 1120: 1114: 1111: 1108: 1102: 1099: 1087: 1079: 1076: 1073: 1067: 1062: 1054: 1051: 1048: 1031: 1017: 1011: 1008: 1005: 999: 996: 984: 976: 973: 970: 964: 959: 951: 948: 945: 928: 914: 901: 898: 895: 889: 886: 880: 877: 874: 868: 855: 850: 842: 839: 836: 830: 827: 820: 806: 801: 793: 790: 787: 781: 776: 768: 765: 762: 756: 750: 747: 744: 738: 731: 730: 729: 728: 724: 720: 716: 712: 708: 704: 700: 695: 691: 686: 681: 677: 673: 669: 664: 660: 655: 650: 646: 642: 641: 637: 635: 632: 627: 623: 617: 612: 608: 604: 600: 596: 592: 585: 581: 577: 573: 569: 564: 560: 556: 552: 548: 544: 539: 534: 530: 525: 523: 519: 515: 511: 495: 492: 487: 479: 476: 473: 464: 461: 458: 453: 445: 442: 439: 430: 427: 424: 419: 411: 408: 405: 382: 379: 376: 373: 367: 364: 361: 355: 349: 346: 343: 340: 337: 331: 328: 325: 319: 313: 310: 307: 304: 301: 295: 292: 289: 283: 275: 271: 267: 263: 259: 255: 251: 243: 236: 220: 207: 204: 201: 195: 192: 186: 183: 180: 174: 171: 165: 162: 159: 153: 141: 138: 133: 128: 120: 117: 114: 104: 103: 102: 99: 94: 90: 86: 82: 78: 74: 70: 67: ∈  66: 62: 58: 54: 50: 42: 40: 38: 36: 31: 27: 26:metric spaces 23: 19: 1834: 1830: 1813: 1795: 1766: 1760: 1735: 1731: 1725: 1706: 1702: 1698: 1694: 1690: 1685: 1680: 1676: 1672: 1668: 1664: 1660: 1658: 1531: 1527: 1523: 1519: 1515: 1514:if, for all 1509: 1508: 1504: 1500: 1494: 1491: 1399: 1301: 1151: 1147: 1142: 722: 718: 714: 710: 706: 698: 693: 689: 684: 679: 675: 667: 662: 658: 653: 648: 644: 630: 625: 621: 615: 610: 606: 602: 598: 594: 590: 583: 579: 575: 571: 567: 562: 558: 554: 546: 542: 537: 532: 528: 526: 517: 513: 509: 273: 269: 265: 261: 257: 253: 249: 247: 97: 92: 88: 84: 80: 76: 72: 68: 64: 60: 56: 52: 48: 46: 34: 21: 15: 1512:-hyperbolic 87:, denoted ( 71:. Then the 18:mathematics 1854:Categories 1788:References 638:Properties 588:, so that 276:such that 237:Motivation 43:Definition 1752:0723-0869 1639:δ 1636:− 1569:≥ 1470:∞ 1440:∞ 1408:θ 1369:θ 1363:⁡ 1357:⁡ 1336:∞ 1323:∞ 1257:∞ 1249:→ 1239:∞ 1231:→ 1194:∞ 1167:∞ 1143:Consider 1100:≤ 1068:− 997:≤ 965:− 856:≤ 831:≤ 193:− 1422:geodesic 1154:and let 551:incircle 545:between 1822:1921706 1679:,  1503:,  692:,  678:,  661:,  647:,  624:,  605:)/2 = ( 531:,  91:,  51:,  1820:  1802:  1773:  1750:  1495:δ 1400:where 522:tripod 468:  434:  353:  317:  35:δ 20:, the 1717:Notes 1424:rays 578:) + ( 47:Let ( 1800:ISBN 1771:ISBN 1748:ISSN 1697:and 1667:and 1526:and 1454:and 1181:and 721:and 79:and 1839:doi 1740:doi 1701:to 1693:to 1572:min 1530:in 1360:csc 1354:log 859:min 593:= ( 570:= ( 561:or 555:ABC 83:at 75:of 16:In 1856:: 1835:23 1833:. 1818:MR 1746:. 1736:23 1734:. 1663:, 1534:, 1522:, 1518:, 1484:. 717:, 713:, 709:, 601:– 597:+ 582:– 574:– 563:CA 559:CB 516:, 512:, 272:, 268:, 256:, 252:, 63:, 59:, 1845:. 1841:: 1824:. 1779:. 1754:. 1742:: 1707:δ 1703:z 1699:x 1695:y 1691:x 1686:x 1683:) 1681:z 1677:y 1673:δ 1669:z 1665:y 1661:x 1642:. 1631:} 1624:p 1620:) 1616:z 1613:, 1610:y 1607:( 1604:, 1599:p 1595:) 1591:y 1588:, 1585:x 1582:( 1577:{ 1564:p 1560:) 1556:z 1553:, 1550:x 1547:( 1532:X 1528:z 1524:y 1520:x 1516:p 1510:δ 1505:d 1501:X 1466:y 1462:p 1436:x 1432:p 1383:, 1380:) 1377:2 1373:/ 1366:( 1351:= 1346:p 1342:) 1332:y 1328:, 1319:x 1315:( 1283:p 1279:) 1275:y 1272:, 1269:x 1266:( 1253:y 1246:y 1235:x 1228:x 1190:y 1163:x 1152:p 1148:H 1121:. 1118:) 1115:z 1112:, 1109:y 1106:( 1103:d 1095:| 1088:p 1084:) 1080:z 1077:, 1074:x 1071:( 1063:p 1059:) 1055:y 1052:, 1049:x 1046:( 1041:| 1018:, 1015:) 1012:q 1009:, 1006:p 1003:( 1000:d 992:| 985:q 981:) 977:z 974:, 971:y 968:( 960:p 956:) 952:z 949:, 946:y 943:( 938:| 915:, 910:} 905:) 902:x 899:, 896:z 893:( 890:d 887:, 884:) 881:x 878:, 875:y 872:( 869:d 864:{ 851:x 847:) 843:z 840:, 837:y 834:( 828:0 807:, 802:x 798:) 794:z 791:, 788:y 785:( 782:+ 777:y 773:) 769:z 766:, 763:x 760:( 757:= 754:) 751:y 748:, 745:x 742:( 739:d 725:, 723:z 719:y 715:x 711:q 707:p 699:z 696:) 694:z 690:y 685:y 682:) 680:z 676:y 671:. 668:x 665:) 663:y 659:z 654:x 651:) 649:z 645:y 631:C 628:) 626:B 622:A 616:C 613:) 611:B 609:, 607:A 603:c 599:b 595:a 591:p 586:) 584:p 580:b 576:p 572:a 568:c 547:C 543:p 538:C 535:) 533:B 529:A 518:z 514:y 510:x 496:c 493:= 488:z 484:) 480:y 477:, 474:x 471:( 465:, 462:b 459:= 454:y 450:) 446:z 443:, 440:x 437:( 431:, 428:a 425:= 420:x 416:) 412:z 409:, 406:y 403:( 383:c 380:+ 377:b 374:= 371:) 368:z 365:, 362:y 359:( 356:d 350:, 347:c 344:+ 341:a 338:= 335:) 332:z 329:, 326:x 323:( 320:d 314:, 311:b 308:+ 305:a 302:= 299:) 296:y 293:, 290:x 287:( 284:d 274:c 270:b 266:a 262:X 258:z 254:y 250:x 221:. 216:) 211:) 208:z 205:, 202:y 199:( 196:d 190:) 187:z 184:, 181:x 178:( 175:d 172:+ 169:) 166:y 163:, 160:x 157:( 154:d 149:( 142:2 139:1 134:= 129:x 125:) 121:z 118:, 115:y 112:( 98:x 95:) 93:z 89:y 85:x 81:z 77:y 69:X 65:z 61:y 57:x 53:d 49:X

Index

mathematics
metric spaces
Mikhail Gromov
δ-hyperbolic metric spaces

tripod
incircle
hyperbolic space
geodesic
δ-hyperbolic spaces
Hausdorff distance
doi
10.1016/j.exmath.2005.01.010
ISSN
0723-0869
ISBN
0-8218-3332-4
ISBN
3-540-52977-2
MR
1921706
doi
10.1016/j.exmath.2005.01.010
Categories
Metric geometry
Hyperbolic metric space

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