- СПЕКТР
прямой и обратный спектр в категории
Прямым спектром
в категории
наз. семейство объектов
с индексами из направленного множества
и семейство морфизмов
из
(определенных при
для к-рых:
Можно определить категорию
объектами к-рой служат семейства морфизмов
таких, что
если
В этой категории морфизмом объекта
в объект
наз. такой морфизм
категории
что
Инициальный (начальный) объект категории dir
наз. пределом прямого спектра
Пределы прямых спектров (прямой спектр) множеств, топологич. пространств, R-модулей являются примерами прямых спектров в соответствующих категориях.
Двойственным образом, обратным спектромв категории
наз. семейство объектов
с индексами из направленного множества
и семейство морфизмов
категории
(определенных, если
для к-рых;
Можно определить категорию
объектами к-рой являются занумерованные семейства таких морфизмов
что
если
а морфизмом объекта
в объект
является морфизм
категории
такой, что
при
Терминальный (интегральный) объект категории
наз. пределом обратного спектра
Пределы обратных спектров (обратный спектр) множеств, групп, R-модулей являются пределами обратных спектров в соответствующих категориях.
Понятие обратного спектра - категорное обобщение топологич. понятия проекционного спектра.Лит.:[1] Спеньер, Алгебраическая топология, пер. с англ., М., 1971.
М. И. Войцеховский.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.