Риманово многообразие, или риманово пространство (M, g), — это (вещественное) гладкое многообразие M, в котором каждое касательное пространство снабжено скалярным произведением g — метрическим тензором, меняющимся от точки к точке гладким образом. Другими словами, риманово многообразие — это дифференцируемое многообразие, в котором касательное пространство в каждой точке является конечномерным евклидовым пространством.
Те́нзор — применяемый в математике и физике математический объект линейной алгебры, заданный на векторном пространстве конечной размерности. В физике в качестве векторного пространства обычно выступает физическое трёхмерное пространство или четырёхмерное пространство-время, а компонентами тензора являются координаты (проекции) взаимосвязанных физических величин. Использование тензоров в физике позволяет глубже понять физические законы и уравнения, упростить их запись за счёт сведения многих связанных физических величин в один тензор, а также записывать уравнения в форме, не зависящей от выбранной системы отсчёта.
Риманов тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
По́ле Ки́ллинга — векторное поле скоростей (локальной) однопараметрической группы движений риманова или псевдориманова многообразия.
Свёртка в тензорном исчислении — операция понижения валентности тензора на 2, переводящая тензор валентности в тензор валентности .
Ковариантная производная — обобщение понятия производной для тензорных полей на многообразиях. Понятие ковариантной производной тесно связано с понятием аффинной связности.
Метри́ческий те́нзор, или ме́трика, — симметричное тензорное поле ранга (0,2) на гладком многообразии, посредством которого задаётся скалярное произведение векторов в касательном пространстве. Иначе говоря, метрический тензор задаёт билинейную форму на касательном пространстве к этой точке, обладающую свойствами скалярного произведения и гладко зависящую от точки.
Си́мволы Кристо́ффеля — коэффициенты координатного выражения аффинной связности, в частности, связности Леви-Чивиты. Названы в честь Эльвина Бруно Кристоффеля. Используются в дифференциальной геометрии, общей теории относительности и близких к ней теориях гравитации. Появляются в координатном выражении тензора кривизны. При этом сами символы тензорами не являются.
Символ Ле́ви-Чиви́ты — математический символ, который используется в тензорном анализе. Назван в честь итальянского математика Туллио Леви-Чивиты. Обозначается . Здесь приведён символ для трёхмерного пространства, для других размерностей меняется количество индексов.
В этой статье рассматривается математический базис общей теории относительности.
Вторая квадратичная форма поверхности ― квадратичная форма на касательном расслоении поверхности, которая, в отличие от первой квадратичной формы, определяет внешнюю геометрию поверхности в окрестности данной точки.
Формула Гаусса — выражение для гауссовой кривизны поверхности в трёхмерном римановом пространстве через главные кривизны и секционную кривизну объемлющего пространства. В частности, если объемлющее пространство евклидово, то гауссова кривизна поверхности равна произведению главных кривизн в этой точке.
Гиперповерхность является обобщением понятия поверхности 3-мерного пространства для n-мерного пространства; это многообразие размерности n, которое вложено в евклидово пространство на единицу большей размерности .
Геодезическая кривизна кривой в римановой геометрии измеряет, насколько далеко кривая отличается от геодезической. Например, для 1D кривой на 2D поверхности, вложенной в 3D пространство, это кривизна кривой, спроецированной на плоскость, касательную к поверхности. Более обще, в заданном многообразии геодезическая кривизна ― это обычная кривизна кривой . Однако если кривая лежит в подмногообразии многообразия , геодезическая кривизна относится к кривизне в , и она отличается в общем виде от кривизны в объемлющем многообразии . (Объемлющая) кривизна кривой зависит от двух факторов ― кривизны подмногообразия в направлении , которая зависит только от направления кривой и кривизны в многообразии , которая является величиной второго порядка. Связь между ними ― . В частности, геодезические на имеют нулевую геодезическую кривизну («прямые»), так что .
Аффи́нная свя́зность — линейная связность на касательном расслоении многообразия. Координатными выражениями аффинной связности являются символы Кристоффеля.
Ковариа́нтность и контравариа́нтность — используемые в математике и в физике понятия, характеризующие то, как тензоры изменяются при преобразованиях базисов в соответствующих пространствах или многообразиях. Контравариантными называют «обычные» компоненты, которые при смене базиса пространства изменяются с помощью преобразования, обратного преобразованию базиса. Ковариантными — те, которые изменяются так же, как и базис.
Гауссова кривизна — мера искривления поверхности в окрестности какой-либо её точки. Гауссова кривизна является объектом внутренней геометрии поверхностей, то есть она не изменяется при изометрических изгибаниях.
Компоненты те́нзора Дарбу́ двумерной поверхности F2 с ненулевой гауссовой кривизной K в евклидовом пространстве E3 вычисляются по формулам:
Кривизна римановых многообразий численно характеризует отличие римановой метрики многообразия от евклидовой в данной точке.