负性空间如双曲几何