WikiDer > Гладкий функтор

Smooth functor

В дифференциальная топология, раздел математики, гладкий функтор это тип функтор определены на конечномерном настоящий векторные пространства. Интуитивно гладкий функтор гладкий в том смысле, что он отправляет гладко параметризованные семейства векторных пространств в гладко параметризованные семейства векторных пространств. Поэтому гладкие функторы могут быть однозначно расширены до функторов, определенных на векторные пакеты.

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

где Hom - обозначение Hom функтор. Если эта карта гладкий как карта бесконечно дифференцируемые многообразия тогда F считается гладкий функтор.[1]

Общие гладкие функторы включают для некоторого векторного пространства W:[2]

F(W) = ⊗пW, то пй повторяется тензорное произведение;
F(W) = Λп(W), пth внешняя сила; и
F(W) = Symп(W), пth симметричная мощность.

Гладкие функторы важны, потому что любой гладкий функтор может быть послойно применен к дифференцируемой векторный набор на коллекторе. Гладкость функтора - это условие, необходимое для того, чтобы данные исправления для связки были гладкими, как отображения многообразий.[2] Например, потому что п-я внешняя степень векторного пространства определяет гладкий функтор, п-я внешняя степень гладкого векторного расслоения также является гладким векторным расслоением.

Хотя существуют установленные методы доказательства гладкости стандартных конструкций на конечномерных векторных расслоениях, гладкие функторы можно обобщить на категории топологические векторные пространства и векторные расслоения на бесконечномерных Многообразия Фреше.[3]

Смотрите также

Примечания

  1. ^ Антонелли 2003, п. 1420; Kriegl & Michor 1997, п. 290. Ли 2002, pp.122–23 определяет гладкие функторы над другой категорией, морфизмы которых линейные изоморфизмы а не все линейные отображения.
  2. ^ а б Kriegl & Michor 1997, п. 290
  3. ^ Kriegl & Michor 1997 разработали бесконечномерную теорию так называемых "удобные векторные пространства"- класс локально выпуклые пространства это включает Пространства фреше.

Рекомендации

  • Антонелли, П. Л. (2003), Справочник по финслеровой геометрии, Springer, стр. 1420, г. ISBN 1-4020-1556-9.
  • Кригл, Андреас; Мичор, Питер В. (1997), Удобная настройка глобального анализа, Книжный магазин AMS, стр. 290, г. ISBN 0-8218-0780-3.
  • Ли, Джон М. (2002), Введение в гладкие многообразия, Springer, стр. 122–23, ISBN 0-387-95448-1.