Остроконечный набор - Pointed set

В математика, а заостренный набор[1][2] (также основанный набор[1] или же укорененный набор[3]) является упорядоченная пара куда это набор и является элементом называется базовая точка,[2] также пишется базовая точка.[4]:10–11

Карты между указанными множествами и (называется на основе карт,[5] заостренные карты,[4] или же точечные карты[6]) находятся функции из к которые отображают одну базовую точку в другую, т. е. карту такой, что . Обычно это обозначается

.

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

В учебный класс всех отмеченных множеств вместе с классом всех базируемых карт образуют категория. В этой категории отмечены одиночные наборы находятся исходные объекты и терминальные объекты,[1] т.е. они нулевые объекты.[4]:226 Существует верный функтор от заостренных наборов к обычным, но он неполный и эти категории не эквивалент.[8]:44 В частности, пустой набор не является заостренным множеством, потому что в нем нет элемента, который можно было бы выбрать в качестве базовой точки.[9]

Категория отмеченных множеств и базовых карт эквивалентна категории множеств и частичные функции.[6] В одном учебнике отмечается, что «это формальное завершение наборов и частичных отображений путем добавления« несобственных »,« бесконечных »элементов было изобретено много раз заново, в частности, в топология (одноточечная компактификация ) И в теоретическая информатика."[10]

Категория точечных множеств и точечных отображений изоморфна категория coslice , куда представляет собой одноэлементный набор.[8]:46[11] Это совпадает с алгебраической характеризацией, поскольку единственное отображение расширяет коммутативные треугольники определение стрелок категории кослиц для формирования коммутативные квадраты определяющие гомоморфизмы алгебр.

Категория точечных множеств и точечных отображений имеет как товары и побочные продукты, но это не распределительная категория. Это также пример категории, в которой не изоморфен .[9]

Многие алгебраические структуры довольно тривиально представляют собой отмеченные множества. Например, группы являются указанными множествами, выбирая элемент идентичности в качестве базовой точки, так что гомоморфизмы групп - карты, сохраняющие точки.[12]:24 Это наблюдение может быть переформулировано в терминах теории категорий как существование забывчивый функтор от групп до точечных множеств.[12]:582

Заостренный набор можно рассматривать как заостренное пространство под дискретная топология или как векторное пространство над поле с одним элементом.[13]

Понятие «укорененной совокупности» естественным образом появляется при изучении антиматроиды[3] и транспортные многогранники.[14]

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

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

  • Мак-Лейн, Сондерс (1998). Категории для рабочего математика (2-е изд.). Springer-Verlag. ISBN  0-387-98403-8. Zbl  0906.18001.
  1. ^ а б c Мак Лейн (1998) стр.26
  2. ^ а б Грегори Бергюи (2010). Введение в когомологии Галуа и их приложения. Серия лекций Лондонского математического общества. 377. Издательство Кембриджского университета. п. 34. ISBN  0-521-73866-0. Zbl  1207.12003.
  3. ^ а б Корте, Бернхард; Ловас, Ласло; Шредер, Райнер (1991), Гридоиды, Алгоритмы и комбинаторика, 4, Нью-Йорк, Берлин: Springer-Verlag, Глава 3, ISBN  3-540-18190-3, Zbl  0733.05023
  4. ^ а б c Джозеф Ротман (2008). Введение в гомологическую алгебру (2-е изд.). Springer Science & Business Media. ISBN  978-0-387-68324-9.
  5. ^ Маундер, К. Р. Ф. (1996), Алгебраическая топология, Дувр, стр. 31 год.
  6. ^ а б Лутц Шредер (2001). «Категории: бесплатный тур». У Юргена Козловски; Остин Мелтон (ред.). Категориальные перспективы. Springer Science & Business Media. п. 10. ISBN  978-0-8176-4186-3.
  7. ^ Сондерс Мак Лейн; Гаррет Биркофф (1999) [1988]. Алгебра (3-е изд.). American Mathematical Soc. п. 497. ISBN  978-0-8218-1646-2.
  8. ^ а б Дж. Адамек, Х. Херрлих, Г. Штеккер (18 января 2005 г.) Абстракция и конкретные категории - радость кошек
  9. ^ а б Ф. В. Лавер; Стивен Хоэль Шануэль (2009). Концептуальная математика: первое введение в категории (2-е изд.). Издательство Кембриджского университета. стр.296–298. ISBN  978-0-521-89485-2.
  10. ^ Нил Коблитц; Б. Зильбер; Ю. И. Манин (2009). Курс математической логики для математиков. Springer Science & Business Media. п. 290. ISBN  978-1-4419-0615-1.
  11. ^ Фрэнсис Борсё; Доминик Борн (2004). Мальцев, протомодулярные, гомологические и полуабелевы категории. Springer Science & Business Media. п. 131. ISBN  978-1-4020-1961-6.
  12. ^ а б Паоло Алуффи (2009). Алгебра: Глава 0. American Mathematical Soc. ISBN  978-0-8218-4781-7.
  13. ^ Харан, М. Дж. Шай (2007), «Неаддитивная геометрия» (PDF), Compositio Mathematica, 143 (3): 618–688, МИСТЕР  2330442. На стр. 622, Харран пишет: «Мы считаем -векторные пространства как конечные множества с выделенным "нулевым" элементом ... "
  14. ^ Klee, V .; Витцгалл, К. (1970) [1968]. «Грани и вершины транспортных многогранников». У Джорджа Бернарда Данцига (ред.). Математика принятия решений. Часть 1. American Mathematical Soc. КАК В  B0020145L2. OCLC  859802521.

внешняя ссылка