狭义相对论的结论是自然规律不依赖于任何惯性坐标系。

为了广义起来，在数学上，只能用具有不依赖任何坐标系具有不变结构的张量来表示，也就必须用奠定张量分析基础的黎曼几何。

你承认就好，GR真不是会大学PDE就行的，差太多了。