>>307
数学的なはなんらかの多様体でしょうね
一般相対論の局所慣性系の仮定により、なんらかのリーマン多様体が議論の出発点となります