粗糙凸空间的horoboundary

horoboundary是对度量空间进行紧化的一个方案，由度量空间上的连续函数构成。它包含了度量空间的全局信息，其与使用测地线构建的理想边界之间的对应关系已在非正曲率空间（如CAT(0)空间和测地Gromov超曲面空间）中进行研究。我们将在此文中引入一种在粗糙凸空间（coarsely convex spaces）上的horoboundary与理想边界之间的对应关系，该空间可视为非正曲率空间的一种推广。