Типов Теория

112

- формальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой - простая теория типов - описан ниже. Термин лТ. Т..

Значения в других словарях
Тетраэдральные Координаты

точки Рв трехмерном пространстве - числа x1,х2, х3, х4,пропорциональные (с заданным коэффициентом пропорциональности) расстояниям от точки Рдо граней фиксированного тетраэдра. Аналогично вводятся общие Т. К. Для любой размерности. Двумерный аналог Т. К. Наз. Треугольными координатами. См. Также Барицентрические координаты. Д. Д. Соколов. ..

Типично Вещественная Функция

в области В- функция f(z), аналитическая в нек-рой области Вплоскости z, содержащей отрезки вещественной оси, если она вещественна на этих отрезках и Im f(z)x Im z>0 при Основной класс Т. В. Ф.- класс Тфункций регулярных и типично вещественных в круге |z|<l (см. [1]). Из определения класса Тследует, что с п, вещественны. Класс Тсодержит класс Sr функций с вещественными коэффициентами с п, регулярных и однолистных в |z|<l. Если то и, обратно, если то где С r - класс функци..

Титса Расслоение

- голоморфное расслоение компактного связного однородного комплексного пространства Xнад однородным проективным рациональным многообразием D, универсальное в классе всех таких расслоений. Универсальность в данном случае означает, что проекция любого расслоения из этого класса представляется в виде где - проекция Т. Р., а нек-рое голоморфное расслаивающее отображение. Явное построение Т. Р. Проводится следующим образом. Пусть G - связная комплексная группа Ли, голоморфно и транзитивно действ..

Титса Система

- совокупность (G, В, N, S), где G - группа, Ви N - ееподгруппы, S - подмножество в причем выполнены следующие условия. (1) множество порождает группу G. (2) - нормальная подгруппа группы N. (3) множество Sпорождает группу W=N/T и состоит из элементов порядка 2. (4) для любых (5) Группа W, называемая группой Вeйля системы Титса (G, В, N, S). Является Кокстера группой относительно системы образующих S. Соответствие является биекцией множества Wна множество двойных смежных классов группы Gп..

Дополнительный поиск Типов Теория Типов Теория

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Типов Теория" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Типов Теория, различные варианты толкований, скрытый смысл.

Первая буква "Т". Общая длина 12 символа