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
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.