Jump to content

Бесплатный объект

(Перенаправлено из функтора Cofree )

В математике идея свободного объекта является одним из основных понятий абстрактной алгебры . Неформально, свободный объект над множеством A можно рассматривать как «общую» алгебраическую структуру над A : единственные уравнения, которые выполняются между элементами свободного объекта, - это те, которые следуют из определяющих аксиом алгебраической структуры. Примеры включают свободные группы , тензорные алгебры или свободные решетки .

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

Определение

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

Свободные объекты являются прямым обобщением на категории понятия базиса в векторном пространстве. Линейная функция u : E 1 E 2 между векторными пространствами полностью определяется своими значениями на основе векторного пространства E 1 . Следующее определение переводит это в любую категорию.

Конкретная категория — это категория, снабженная точным функтором для Set , категории множеств . Пусть C — конкретная категория с точным функтором U : C Set . Пусть X — набор (то есть объект в Set ), который будет основой определяемого свободного объекта. на Свободный объект X это пара, состоящая из объекта в C и инъекцию (так называемая каноническая инъекция ), которая удовлетворяет следующему универсальному свойству :

Для любого объекта B в C и любого отображения между множествами , существует единственный морфизм в C такой, что . То есть следующая диаграмма коммутирует:
х
x

Если свободные объекты существуют в C , свойство универсальности подразумевает, что каждое отображение между двумя множествами вызывает уникальный морфизм между построенными на них свободными объектами, и это определяет функтор . Отсюда следует, что если в C существуют свободные объекты , то функтор F , называемый свободным функтором , является левым сопряженным к точному функтору U ; то есть существует биекция

Создание свободных объектов происходит в два этапа. Для алгебр, которые подчиняются закону ассоциативности , первым шагом является рассмотрение совокупности всех возможных слов, образованных из алфавита . Затем к словам налагается набор отношений эквивалентности , где эти отношения являются определяющими отношениями рассматриваемого алгебраического объекта. Тогда свободный объект состоит из набора классов эквивалентности .

Рассмотрим, например, построение свободной группы в двух образующих . Начинается с алфавита, состоящего из пяти букв. . На первом этапе «буквам» еще не присвоено какое-либо значение. или ; они будут даны позже, на втором этапе. Таким образом, с таким же успехом можно было бы начать с алфавита из пяти букв, то есть . В этом примере набор всех слов или строк будет включать в себя такие строки, как aebecede и abdc и т. д., произвольной конечной длины, с буквами, расположенными во всех возможных порядках.

На следующем этапе вводится набор отношений эквивалентности. Отношения эквивалентности для группы — это отношения умножения на единицу, , и умножение обратных: . Применяя эти отношения к приведенным выше строкам, получаем

где это было понятно является заменой , и является заменой , пока является элементом идентичности. Аналогично, у человека есть

Обозначая отношение эквивалентности или конгруэнтность через тогда свободный объект представляет собой набор классов эквивалентности слов. Таким образом, в этом примере свободная группа в двух образующих — это фактор

Часто это пишут как где представляет собой набор всех слов, и является классом эквивалентности тождества после наложения отношений, определяющих группу.

Более простой пример — свободные моноиды . Свободный моноид на множестве X — это моноид всех конечных строк, использующих X в качестве алфавита, с операцией конкатенации строк. Идентичность – это пустая строка. По сути, свободный моноид — это просто набор всех слов без каких-либо наложенных отношений эквивалентности. Этот пример получил дальнейшее развитие в статье о звезде Клини .

Общий случай

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

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

Тогда алгебраические отношения могут быть общими арностями или финитными отношениями на листьях дерева. Вместо того, чтобы начинать со сбора всех возможных строк в скобках, может быть удобнее начать с вселенной Herbrand . Правильное описание или перечисление содержимого свободного объекта может быть простым или трудным, в зависимости от конкретного рассматриваемого алгебраического объекта. Например, легко описывается свободная группа в двух образующих. Напротив, о структуре свободных гейтинговых алгебр с более чем одним генератором известно мало или совсем ничего. [1] Проблема определения принадлежности двух разных строк одному и тому же классу эквивалентности известна как проблема слов .

Как показывают примеры, свободные объекты выглядят как конструкции из синтаксиса ; можно в некоторой степени изменить это мнение, сказав, что основные варианты использования синтаксиса можно объяснить и охарактеризовать как свободные объекты, что делает явно тяжелую «пунктуацию» объяснимой (и более запоминающейся). [ нужны разъяснения ]

Бесплатные универсальные алгебры

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

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

Свободный функтор

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

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

Рассмотрим категорию C алгебраических структур ; объекты можно рассматривать как множества плюс операции, подчиняющиеся некоторым законам. Эта категория имеет функтор , функтор забывчивости , который отображает объекты и функции в C в Set , категорию множеств . Функтор забывчивости очень прост: он просто игнорирует все операции.

Свободный функтор F он существует, является левым сопряженным к U. , если То есть, переводит множества X в Set в соответствующие им свободные объекты F ( X в категории C. ) Множество X можно рассматривать как множество «генераторов» свободного объекта F ( X ).

Чтобы свободный функтор был левым сопряженным, необходимо также иметь Set -морфизм . Более явно, F с точностью до изоморфизмов в C характеризуется следующим универсальным свойством :

Всякий раз, когда B является алгеброй в C и является функцией (морфизмом в категории множеств), то существует единственный C -морфизм такой, что .

Конкретно, это отправляет набор в свободный объект этого набора; это «включение основы». Злоупотребление обозначениями, (это неправильное обозначение, поскольку X — множество, а F ( X ) — алгебра; правильно, это ).

Естественная трансформация называется единицей ; вместе с блоком , можно построить Т-алгебру и, следовательно, монаду .

Косвободный функтор является правым сопряженным функтору забывчивости.

Существование

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

Существуют общие теоремы существования, которые применимы; самый основной из них гарантирует, что

Если C многообразие , то для каждого множества X существует свободный объект F ( X в C. )

Здесь разнообразие является синонимом финитарной алгебраической категории , что подразумевает, что набор отношений является финитным и алгебраическим , поскольку он монадичен над Set .

Общий случай

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

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

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

Список бесплатных объектов

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

К конкретным видам бесплатных объектов относятся:

См. также

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

Примечания

[ редактировать ]
  1. ^ Питер Т. Джонстон, Stone Spaces , (1982) Издательство Кембриджского университета, ISBN   0-521-23893-5 . (Рассмотрение одногенераторной свободной алгебры Гейтинга дано в главе 1, раздел 4.11)
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 6b50c4d96f6d1d0fa1c4c9b9b3d8a51e__1718978520
URL1:https://arc.ask3.ru/arc/aa/6b/1e/6b50c4d96f6d1d0fa1c4c9b9b3d8a51e.html
Заголовок, (Title) документа по адресу, URL1:
Free object - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)