Гравита́ция — универсальное фундаментальное взаимодействие между материальными телами, обладающими массой. В приближении малых, по сравнению со скоростью света, скоростей и слабого гравитационного взаимодействия описывается теорией тяготения Ньютона, в общем случае описывается общей теорией относительности Эйнштейна. В квантовом пределе гравитационное взаимодействие предположительно описывается квантовой теорией гравитации, которая ещё не разработана.
Уравне́ния Эйнште́йна — уравнения гравитационного поля, лежащие в основе общей теории относительности, связывающие между собой компоненты метрического тензора 
искривлённого пространства-времени с компонентами тензора энергии-импульса материи, заполняющей пространство-время. Термин используется и в единственном числе: «уравне́ние Эйнште́йна», так как в тензорной записи это одно уравнение, хотя в компонентах представляет собой систему нелинейных дифференциальных уравнений в частных производных.
Риманов тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
Ковариантная производная — обобщение понятия производной для тензорных полей на многообразиях. Понятие ковариантной производной тесно связано с понятием аффинной связности.
Метри́ческий те́нзор, или ме́трика, — симметричное тензорное поле ранга (0,2) на гладком многообразии, посредством которого задаётся скалярное произведение векторов в касательном пространстве. Иначе говоря, метрический тензор задаёт билинейную форму на касательном пространстве к этой точке, обладающую свойствами скалярного произведения и гладко зависящую от точки.
Теория Калуцы — Клейна — одна из многомерных теорий гравитации, позволяющая объединить два фундаментальных физических взаимодействия: гравитацию и электромагнетизм. Теория была впервые опубликована в 1921 году немецким математиком Теодором Калуцей, который расширил пространство Минковского до 5-мерного пространства и получил из уравнений своей теории уравнения общей теории относительности и классические уравнения Максвелла. Обоснование ненаблюдаемости пятого измерения было предложено шведским физиком Оскаром Клейном в 1926 году.
Тензор Риччи, названный в честь итальянского математика Грегорио Риччи-Курбастро, задаёт один из способов измерения кривизны многообразия, то есть степени отличия геометрии многообразия от геометрии плоского евклидова пространства. Тензор Риччи, точно так же как метрический тензор, является симметричной билинейной формой на касательном пространстве риманова многообразия. Грубо говоря, тензор Риччи измеряет деформацию объёма, то есть степень отличия n-мерных областей n-мерного многообразия от аналогичных областей евклидова пространства (см. геометрический смысл тензора Риччи). Обычно обозначается 
или 
.
В этой статье рассматривается математический базис общей теории относительности.
Геодези́ческая — кривая определённого типа, обобщение понятия «прямая» для искривлённых пространств.
Связность — структура на гладком расслоении, состоящая в выборе «горизонтального направления» в каждой точке пространства расслоения.
Псе́вдори́маново многообра́зие — многообразие, в котором задан метрический тензор, невырожденный в каждой точке, но не обязательно положительно определённый. Обычно предполагается, что сигнатура метрики постоянна.
Аффи́нная свя́зность — линейная связность на касательном расслоении многообразия. Координатными выражениями аффинной связности являются символы Кристоффеля.
Те́нзор Эйнште́йна — тензорная величина, представляющая собой вариационную производную скалярной кривизны связности Леви-Чивиты по метрическому тензору. В этом качестве стоит в левой части уравнения Эйнштейна. Тензор Эйнштейна — симметричный тензор второго ранга в n-мерном пространстве, то есть содержит 
независимых компонентов, представляющих собой сложные комбинации компонент метрического тензора и его первых и вторых производных.
О́бщая тео́рия относи́тельности в многоме́рном простра́нстве — обобщение общей теории относительности на пространство-время с размерностью больше или меньше 4. Эта теория даёт основу для так называемой геометризации взаимодействий — одного из двух путей к построению единой теории поля. Она состоит из различных физических теорий, которые пытаются обобщить теорию относительности Эйнштейна на более высоких размерностях. Такая попытка обобщения находится под большим влиянием теории струн и М-теории. От других многомерных моделей общая теория относительности в многомерном пространстве отличается фиксированным видом используемой лагранжевой плотности — в данной теории это может быть только скалярная кривизна.
Разложение Риччи — это разложение тензора кривизны Римана на неприводимые относительно ортогональной группы тензорные части. Это разложение играет важную роль в римановой и псевдоримановой геометрии.
Кривизна римановых многообразий численно характеризует отличие римановой метрики многообразия от евклидовой в данной точке.
Теоремы Пенроуза — Хокинга о сингулярности — это теоремы в общей теории относительности, которые пытаются ответить на вопрос, когда гравитация порождает сингулярности.
Голоно́ми́я — один из инвариантов связности в расслоении над гладким многообразием, сочетающий свойства кривизны и монодромии, и имеющий важное значение как в геометрии, так и геометризированных областях естествознания, таких как теория относительности и теория струн. Обыкновенно речь идёт о голономии связностей в векторном расслоении, хотя в равной степени имеет смысл говорить о голономии связности в главном расслоении или даже голономии связности Эресманна в локально тривиальном топологическом расслоении.
Классические теории единого поля — попытки создать единую теорию поля, основанную на классической физике. В межвоенные годы ряд физиков и математиков пытались объединить теории гравитации и электромагнетизма. Эта работа подтолкнула развитие дифференциальной геометрии.
