Кривизны Форма

отображение пространства векторных полей на многообразии М, линейно зависящее от и задаваемое формулой здесь -ковариантная производная вдоль X,[X, Y] - коммутатор Xи Y. Отображение есть кривизны тензор определяемой линейной связности. М. И. Войцеховский. ..

- тензор типа (1,3), получающийся в разложении кривизны формы в локальном ко-базисе на многообразии М п. В частности, в голономном кобазисе компоненты К, т. аффинной связности выражаются через объекты связности и их производные Аналогично определяется К. Т. Для произвольной связности на главном расслоенном пространстве со структурной группой Ли Gчерез разложение соответствующей формы кривизны, в частности для конформной связности и проективной связности. Он принимает значения в алгебре..

интеграл по кривой. Пусть в тг-мерном евклидовом пространстве задана спрямляемая кривая - длина дуги и на кривой g задана функция F=F(x(s)). К. И. определяется равенством (справа - интеграл по отрезку) и наз. Криволинейным интегралом первого рода, или криволинейным интегралом по длине дуги. Он является пределом соответствующих интегральных сумм, к-рые могут быть описаны в терминах, связанных с кривой. Напр., если функция F(x(s)).интегрируема по Риману (см. Римана интеграл), - разбиен..

- структуры, состоящие из нек-рого множества обычных моделей для классической логики, упорядоченных между собой нек-рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. М. Для языка Lимеют вид где S- некоторое непустое множество ("миров", "ситуаций"). R - некоторое бинарное отношение на S(напр., для системы J интуиционистской логики R является частичным порядком, для модальной системы 54 - предпорядком, для системы..