Horofunction 數學上horofunction是定義在一個完備度量空間X上的函數是X上的距離函數的極限horofunction是米哈伊爾格羅莫夫將Busemann function英语Busemann function推廣而引入的概念