Топос

80

- категория, эквивалентная категории пучков множеств на нек-рой топологизиронанной категории. Другое определение. Т.- это такая категория С, что любой пучок в канонич. Топологии на Спредставим. Для объектов Т. (являющихся пучками множеств) определены обычные конструкции в категории множеств. По этой причине Т. Могут служить нестандартными моделями теории множеств. При этом удобнее пользоваться более общим определением. Элементарный топос - это категория Сс произведениями и финальным объектом 1, контравариантным функтором (при этом для понимается как множество частей X)и мономорфизмами где - график отношения принадлежности. Множество служит естественной областью значений логич. Высказываний в топосе С. Лит.:Theоriеdes topos et cohomologle etale des schemas, t.

1-3, B. - [e. A.], 1972-73. [2] Cohomologie etale, В.- [с. A.], 1977. [3] Саrtier Р., в кн. Seminaire Bourbaki, v. 1977/ 1978, В.- [e. A.], 1979. В. И. Данилов..

Значения в других словарях
Топология Вложений

топологические вложения,- раздел топологии, в к-ром изучаются локальные топологич. Свойства расположений замкнутых подмножеств евклидова пространства или многообразия. Теория Т. В. Возникла в работах А. 3 началось после решения Шкнфлиса гипотезы. В основном оно происходило в духе накопления фактов и решения большого числа задач частного характера. Были также выяснены связи методов теории Т. В. И геометрич. топологии многообразий. Примерно к сер. 70-х гг. Теория Т. В. Сформировалась в самосто..

Топология Многообразий

- часть теории многообразий, посвященная в основном исследованию взаимоотношений между различными их типами. Главнейшие типы конечномерных многообразий и взаимоотношения между ними можно изобразить схемой (1), в которой Diff - категория дифференцируемых (гладких) многообразий. PL - категория кусочно линейных (комбинаторных) многообразий. TRI - категория топологических многообразий, являющихся полиэдрами. Handle - категория топологических многообразий, допускающих топологическое разложение на р..

Тор

- тело, полученное от вращения замкнутого круга вокруг оси, лежащей в плоскости этого круга и его не пересекающей. Центр круга описывает окружность, наз. Осевой окружностью Т., ее центр наз. Центром Т. Плоскость осевой окружности Т. Наз. Экваториальной плоскостью Т., а лежащие на Т. Границы кругов, получающихся из данного круга его вращением,- меридианами Т. Поверхность Т., радиус-вектор к-рой в декартовых координатах евклидова пространства Е 3 имеет вид (здесь ( и, v)- внутренние координаты,..

Торелли Теорема

обобщения - теорема, утверждающая, что структура Ходжа (матрица периодов) в когомологиях алгебраического или кэлерова многообразия Х полностью характеризует поляризованное многообразие X. Классич. Т. Т. Относится к случаю кривых (см. [1], [2]) и утверждает, что кривая определяется с точностью до изоморфизма своими периодами. Пусть X - кривая рода - базис а - базис абелееых дифференциалов, -матрица где - матрица периодов. Пересечение циклов определяет билинейную кососимметрич. Форму Q..

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

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

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

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