广义相对论的主要数学基础是