Теоретико-числовая Функция

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

- математическое утверждение, истинность к-рого установлена путем доказательства. Понятие Т. Развивалось и уточнялось вместе с понятием математич. Доказательства. При использовании аксиоматического метода Т. Рассматриваемой теории определяются как высказывания, выводимые чисто ло-гич. Путем из нек-рых заранее выбранных и фиксированных высказываний, называемых аксиомами. Поскольку аксиомы предполагаются истинными, то истинными должны быть и Т. Дальнейшее уточнение понятий доказательства и Т. Св..

формальная - то же, что формальная система. См. Также Аксиоматический метод. К-ТЕОРИЯ - раздел алгебраической топологии, изучающий свойства векторных расслоений алгебраич. И топологич. Методами. В отличие от алгебраической К-теории, иногда наз. Топологической К-теорией. В расширенном смысли термин лК-теория. ..

Т- матрица,- бесконечная матрица удовлетворяющая условиям. и Мне зависит от п. Эти условия являются необходимыми и достаточными, чтобы матричный метод суммирования, определенный преобразованием последовательности {sn} в последовательность посредством матрицы был регулярным (см. Регулярные методы суммирования). Необходимость и достаточность этих условий для регулярности метода была доказана О. Тёплицем [1] для треугольных матриц. Лит.:[1] Toeplitz О., лPrace matematyczno-fizyczne. ..