Jump to content

Подъемное имущество

(Перенаправлено с Right-lifting-property )

В математике , в частности в теории категорий , свойство подъема — это свойство пары морфизмов в категории . Он используется в теории гомотопий в рамках алгебраической топологии для определения свойств морфизмов, начиная с явно заданного класса морфизмов. Это заметно проявляется в теории модельных категорий , аксиоматической структуре теории гомотопий, введенной Дэниелом Квилленом . Он также используется в определении системы факторизации и слабой системы факторизации — понятий, связанных с понятием модельной категории, но менее ограничительных. Некоторые элементарные понятия также могут быть выражены с использованием свойства подъема, начиная со списка (контр)примеров.

Формальное определение

[ редактировать ]

Морфизм в категории обладает свойством левого подъема относительно морфизма , и также имеет право подъемного свойства в отношении , иногда обозначаемый или , тогда и только тогда, когда для каждого морфизма имеет место следующая импликация и в категории:

  • если внешний квадрат следующей диаграммы коммутирует, то существует завершения диаграммы, т.е. для каждого и такой, что существует такой, что и .
Коммутативная диаграмма в форме квадрата с антидиагональной линией, графически изображающая отношения, изложенные в предыдущем тексте. Есть четыре буквы, обозначающие вершины, перечисленные здесь слева направо, затем сверху вниз: «A» (верхний левый угол квадрата), «X» (верхний правый угол квадрата). , «B» (левый нижний угол квадрата) и «Y» (правый нижний угол квадрата). Кроме того, есть пять стрелок, соединяющих эти буквы, перечисленные здесь в том же порядке, что и раньше: сплошная стрелка слева направо с надписью «f» от A до X (верхняя линия квадрата); сплошная стрелка сверху вниз с надписью «i» от A до B (левая сторона квадрата); пунктирная стрелка из нижнего левого угла в правый верхний с надписью «h» от B до X (противодиагональная линия квадрата); сплошная стрелка сверху вниз с надписью «p» от X до Y (правая линия квадрата); и сплошная стрелка слева направо с надписью «g» от B до Y (нижняя линия квадрата).

Иногда это также называют морфизмом ортогональна морфизму ; однако это также может относиться к более сильное свойство, которое всякий раз, когда и такие же, как и выше, диагональный морфизм существует и также должен быть уникальным.

Для класса морфизмов в категории, ее левый ортогонал или по подъемному свойству, соответственно, его право ортогональному или , является классом всех морфизмов, которые обладают левым и соответственно правым свойством подъема относительно каждого морфизма в классе . В обозначениях

Взяв ортогональ класса - это простой способ определить класс морфизмов, исключая неизоморфизмы из , что полезно при вычислении погони за диаграммой .

в категории Множество множеств Таким образом , правый ортогональный простейшей несюръекции — класс сюръекций. Левый и правый ортогонали простейшие неинъекции , оба являются именно классом инъекций,

Ясно, что и . Класс всегда замкнут относительно ретрактов, откатов , (маленьких) произведений (если они существуют в категории) и композиции морфизмов и содержит все изоморфизмы (то есть обратимые морфизмы) базовой категории. Тем временем, замкнут относительно ретрактов, выталкиваний , (малых) копродукций и трансфинитной композиции ( фильтрованных копределов ) морфизмов (всякий раз, когда они существуют в категории), а также содержит все изоморфизмы.

Ряд понятий можно определить, перейдя несколько раз к левой или правой ортогонали, начиная со списка явных примеров, т. е. как , где — класс, состоящий из нескольких явно заданных морфизмов. Полезно предположить, что свойство левого подъема класса это своего рода отрицание свойства находиться в , и что подъем вправо – это тоже своего рода отрицание. Следовательно, классы, полученные из взяв ортогонали нечетное количество раз, например и т. д., представляют собой различные виды отрицания , так каждый состоит из морфизмов, далеких от свойства .

Примеры подъемных свойств в алгебраической топологии

[ редактировать ]

Карта имеет свойство подъема пути, если и только если где – это включение одной конечной точки отрезка в интервал .

Карта обладает свойством поднятия гомотопий тогда и только тогда, когда где это карта .

Примеры несущих свойств из категорий моделей

[ редактировать ]

Расслоения и кофибрации.

  • Пусть Top — категория топологических пространств и пусть быть классом карт , вложения границы мяча в мяч . Позволять — класс отображений, вложивших верхнюю полусферу в диск. — это классы расслоений, ациклических корасслоений, ациклических расслоений и корасслоений. [ 1 ]
  • Пусть sSet — категория симплициальных множеств . Позволять — класс граничных включений , и пусть быть классом роговых включений . Тогда классы расслоений, ациклических корасслоений, ациклических расслоений и корасслоений равны соответственно . [ 2 ]
и быть
Затем — это классы расслоений, ациклических корасслоений, ациклических расслоений и корасслоений. [ 3 ]

Элементарные примеры в различных категориях

[ редактировать ]

В наборе ,

  • это класс сюръектив,
  • это класс инъекций.

В категории модулей над коммутативным кольцом ,

  • — класс сюръекций, соотв. инъекции,
  • Модуль является проективным , соотв. инъективный , если и только если находится в , соотв. находится в .

В категории групп ,

  • , соотв. , — класс инъекций, соотв. сюръективы (где обозначает бесконечную циклическую группу ),
  • Группа это свободная группа, если и только если находится в
  • Группа только без кручения, если находится в
  • Подгруппа из это чисто тогда и только тогда находится в

Для конечной группы ,

  • если порядок является основным для если только ,
  • если только это -группа ,
  • нильпотентен тогда и только тогда, когда диагональное отображение находится в где обозначает класс отображений
  • конечная группа разрешимо только тогда, когда тогда и находится в

В категории топологических пространств, пусть , соотв. обозначают дискретный , соотв. антидискретное пространство с двумя точками 0 и 1. Пусть обозначим пространство Серпинского двух точек, где точка 0 открыта, а точка 1 закрыта, и пусть и т. д. обозначают очевидные вложения.

  • пространство удовлетворяет аксиоме разделения T 0 тогда и только тогда, когда находится в
  • пространство удовлетворяет аксиоме разделения T 1 тогда и только тогда, когда находится в
  • это класс карт такая, что топология на это откат топологии на , то есть топология на — топология с наименьшим количеством открытых множеств, такая, что отображение непрерывно ,
  • — класс сюръективных отображений,
  • — класс карт формы где является дискретным,
  • это класс карт такая, что каждая компонента связности пересекает ,
  • — класс инъективных отображений,
  • это класс карт такой, что прообраз связного замкнутого открытого подмножества является связным замкнутым подмножеством открытым , например подключен тогда и только тогда, когда находится в ,
  • для подключенного пространства , каждая непрерывная функция на ограничен тогда и только тогда, когда где это карта несвязного объединения открытых интервалов в реальную линию
  • пространство является Хаусдорфом тогда и только тогда, когда для любого инъективного отображения , оно держится где обозначает трехточечное пространство с двумя открытыми точками и , и закрытая точка ,
  • пространство это совершенно нормально , если только где открытый интервал идет в , и карты в точку , и карты в точку , и обозначает трехточечное пространство с двумя замкнутыми точками и одна открытая точка .

В категории метрических пространств с равномерно непрерывными отображениями.

  • Пространство является полным, если и только если где - очевидное включение между двумя подпространствами вещественной прямой с индуцированной метрикой, и — метрическое пространство, состоящее из одной точки,
  • Подпространство закрыто, если только

Примечания

[ редактировать ]
  1. ^ Хови, Марк. Категории моделей . Определ. 2.4.3, Th.2.4.9
  2. ^ Хови, Марк. Категории моделей . Определ. 3.2.1, Т.3.6.5
  3. ^ Хови, Марк. Категории моделей . Определ. 2.3.3, Т.2.3.11
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f703f6aa4b343bd75a8c5650340e43d1__1714137120
URL1:https://arc.ask3.ru/arc/aa/f7/d1/f703f6aa4b343bd75a8c5650340e43d1.html
Заголовок, (Title) документа по адресу, URL1:
Lifting property - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)