Войти на сайт

или
Регистрация

Навигация


1.4. Изоморфные объекты

Определение: Объекты a и b называются изоморфными в Ω (символически a@b), если существует Ω – стрелка f:a®b, являющаяся изострелкой в Ω, т.е. f: a@b.

·  Произвольные Ω – объекты обладают следующими свойствами:

1)  a@a

2)  если a@b, то b@a

3)  если a@b и b@с, то a@c

Доказательство:

1)  в любой категории существует стрелка 1a: a®a (по определению категории). Единичная стрелка является изострелкой (доказано выше). Получаем, что a@a (по определению изоморфных объектов).

2)  a@b Þ$ f :a®b и f – изострелка Þ $ f –1: b®a (по определению изострелки). Ранее доказано, что если f - изострелка, то и f –1 – изострелка. Т.е. f –1: b®a – изострелка Þ b@a (по определению изоморфных объектов).

3)  a@b Þ$ f :a®b – изострелка.

b@с Þ$ g :b®c – изострелка.

Dom g=cod f Þ $ g °f: a®c и g °f – изострелка (т.к.f и g – изострелки (доказано выше)). Чтобы доказать, что a@c, необходимо найти изострелку t: a®c. Возьмем в качестве такой изострелки t изострелку g °f. Ч.т.д.

1.5. Начальные объекты

Определение: объект 0 называется начальным в категории Ω, если для каждого объекта а из Ω существует одна и только одна Ω – стрелка из 0 в а.

·  Любые два начальных объекта изоморфны в Ω.

Доказательство:

Предположим, что 0 и 0’- начальные объекты. Требуется доказать, что 0@0’. Для этого необходимо найти изострелку 0®0’.

Существуют единственные стрелки f: 0’®0 (т.к.0’ - начальный объект) и g: 0®0’ (т.к. 0 – начальный объект). Dom f=cod g Þ$ f °g: 0®0. 0 – начальный объект Þ $! стрелка 0®0. и по определению категории для каждого Ω – объекта $ единичная стрелка. Значит стрелка 10: 0®0 и стрелка f °g:0®0 совпадают. Аналогично, стрелка g °f:0’®0’ совпадает со стрелкой 10’. Тогда g имеет обратную стрелку (а именно f), т.е. g: 0@0’. Ч.т.д.

1.6. Конечные объекты

Обращая направление стрелок в определении начального объекта, получаем следующее определение.

Определение: объект 1 называется конечным в категории Ω, если для каждого Ω – объекта а существует одна и только одна стрелка из а в 1.

·  Все конечные объекты изоморфны.

Доказательство:

Предположим, что 1 и 1’ – конечные объекты. Требуется доказать, что 1@1’. Для этого надо найти изострелку 1®1’.

Объект 1 – конечный Þ $! f: 1’®1 (по определению конечного объекта).

Объект 1’ - конечный Þ$! g:1®1’ ( по той же причине). Dom f=cod g Þ $ f °g :1®1.

1 – конечный объект. Þ f °g: 1®1 – единственная.

С другой стороны для любого объекта категории существует единичная стрелка 11:1®1. Значит f °g=11. Аналогично, g °f=11’. Таким образом, для стрелки g нашлась обратная (а именно f), т.е.g: 1@1’. Ч.т.д.

·  Стрелка f:1®a – мономорфна.

Доказательство:

F: 1®a – мономорфна, если для любых стрелок g,h:b®1 из того, что f °g=f °h следует, что g=h. Но по определению конечного объекта, существует только одна стрелка b®1. Поэтому равенство стрелок g и h следует автоматически.

1.7. Двойственность

Можно заметить, что понятие эпистрелки получается из определения монострелки «обращением стрелок». То же справедливо для понятий конечного и начального объектов. Эти два примера иллюстрируют понятие двойственности в теории категорий.

Если å- предложение категорного языка, то двойственным åор назовем предложение, получаемое из å заменой «dom» на «cod», «cod» на«dom» и «h=g °f» на «h=f °g». Таким образом, все стрелки и композиции, входящие в å ,повернуты в åор в другую сторону. Понятие, описываемое предложением åор называется двойственным к понятию, описываемому å. Для данной категории Ω построим двойственную категорию Ωор следующим образом.

Категории Ω и Ωор имеют одни и те же объекты. Для каждой f:a®b вводим Ω- стрелку fop:b®a (свою для каждой f). Так получаемые стрелки исчерпывают все стрелки категории Ωор. Композиция fop°gop определена тогда и только тогда, когда определена в Ω композиция g°f и fop°gop=(g°f)op. Dom fop=cod f и codfop=dom f.

Конструкцию, двойственную к выражаемой предложением å, можно интерпретировать как первоначальное построение, примененное к двойственной категории. Если å истинно в Ω, то åор истинно в Ωор. Т.о. из произвольного истинного в теории категорий предложения получается другое истинное предложение åор. В этом состоит принцип двойственности. Принцип двойственности сокращает количество доказательств вдвое. Так, доказав, что два произвольных начальных объекта изоморфны, можно сразу утверждать, что два произвольных конечных объекта изоморфны.

1.8. Произведения

Как охарактеризовать произведение двух множеств

 с помощью стрелок. Неужели это можно сделать без какого-то использования упорядоченных пар?

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

Поставим в соответствие произведению  два специальных отображения (проекции)

и , задаваемые равенствами , .

Допустим теперь, что задано ещё одно множество С с парой отображений f: C®A, g: C®B. Определим отображение p: C® правилом p(x)=,

Тогда pА(p(x))=f(x) и pB(p(x))=g(x) для каждого хÎС. Таким образом, pA°p=f и pB°p=g, т.е. приведенная выше диаграмма коммутативна. Более того, p является единственной стрелкой, для которой эта диаграмма коммутативна. Действительно, если p(x)=<y,z>, то в силу условия pA°p=f будет pA(p(x))=f(x), т.е. y=f(x). Аналогично, если pB°p=g, то z=g(x).

Отображение p, построенное по f и g, обозначаются обычно через <f,g> и называется произведением отображений f и g.

Эти рассмотрения служат мотивировкой для следующего определения.

Определение: произведением в категории Ω двух объектов a и b называется Ω-объект, обозначаемый через , вместе с парой (pra:®a, prb:®b) Ω- стрелок, такой, что для произвольной пары (f:c®a, g:c®b) Ω- стрелок существует одна и только одна стрелка <f,g>:c®, для которой диаграмма коммутативна, т.е. pra°<f,g>=f и prb°<f,g>=g. Стрелка <f,g> называется произведением стрелок f и g относительно проекций pra,prb.

·  <pra,prb>=1.

Доказательство: изобразим данную ситуацию на диаграмме.(точнее левую часть доказываемого равенства). Видим, что стрелка <pra,prb> переводит объект  в объект . А по определению категории существует только одна единичная стрелка (та, которая переводит объект категории в себя). Значит, эти стрелки совпадают. Ч.т.д.

·  Если <f,g>=<k,h>, то f=k и g=h.

Доказательство: разберемся с условием утверждения.

a)  Стрелка <f,g> существует по условиюÞdomf=domg. Пусть f:c®a, g:c®b. тогда стрелка <f,g>:c®.

b)  Стрелка <k,h> совпадает со стрелкой <f,g> по условию. Þ dom<k,h>=dom<f,g>=c, cod<k,h>=cod<f,g>=. Þстрелки k,h такие, что domk=domh=c, а концы этих стрелок в объектах a и b.

c)  Предположим, что k:c®b, h:c®a. Если это так, то стрелка <k,h>:c®. Тогда <k,h>¹<f,g>, так как у них не совпадают концы.

d)  Получили противоречие после того, как предположили, что k:c®b, h:c®a. остается один вариант: k:c®a, h:c®b. значит f=k, g=h. Ч.т.д.

·  <f°h, g°h>=<f,g>°h

Доказательство: Посмотрим, что означает стрелка <f°h, g°h>. Во-первых: композиция двух стрелок существует, когда конец одной стрелки является началом другой. Из условия следует, что domf=codh и domg=codh, а также dom<f,g>=codh. Т.е. стрелки f, g, <f,g> имеют одно и то же начало. Пусть h: d®c, g:c®b, f:c®a. Изобразим диаграмму: эта диаграмма коммутативна, т.е. pra°<f,g>°h=f°h и prb°<f,g>°h=g°h. Произведением стрелок f°h, g°h является однозначно-определенная стрелка (она единственна по определению произведения). И этой стрелкой является композиция стрелок <f,g> и h.

1.9. Произведение отображений

Для данных теоретико-множественных функций f:A®B и g:C®D определим функцию .  является произведением двух композиций:  и . Поэтому дадим следующее определение.

Определение: если f:a®b и g:c®d – две Ω-стрелки, то через обозначим Ω-стрелку .

· 

Доказательство: представим ситуацию диаграммой. По определению произведения стрелок стрелка :®, и эта стрелка единственна. А по определению категории, у каждого объекта существует единичная стрелка, т.е. та, которая переводит объект в себя. Значит стрелки  и  совпадают. Ч.т.д.

· 

Доказательство: для того, чтобы доказать изоморфизм двух объектов, необходимо найти изострелку. В нашем случае изострелку f:®. Для существования произведения  необходимо иметь две стрелки. Пусть g:a®b, h:b®a. тогда :®. Эта стрелка единственна по определению произведения. Изобразим диаграмму.

А теперь рассмотрим стрелку . Предположительно, эта стрелка является обратной к стрелке . (эта стрелка тоже единственна по определению произведения). Действительно, композиция ()°():®. Так как стрелки  и - единственны, то и их композиция есть единственная стрелка. А по определению категории, каждый объект имеет единичную стрелку. Поэтому, ()°()=. Аналогично ()°()=. Значит, по определению изострелки, стрелка  является изострелкой. Þ (по определению изоморфности двух объектов). Ч.т.д.

· 

Доказательство: для доказательства этого утверждения построим диаграмму.

Стрелка :. Если рассмотреть подобную диаграмму (в которой ), то получим стрелку . Эта стрелка является обратной к стрелке . (проверяется аналогично). Значит - изострелка. Þ Þ. Ч.т.д.

· 

Доказательство:

a)  так как существует композиция , то dom=cod.

b)  Так как существует стрелка , то domg=domk.

c)  Из существования стрелки  следует, что dom(f°g)=dom(h°k), domf=codg, domh=codk.

d)  Изобразим диаграмму. Композиция :с®.

e)  :с®. А по определению произведения объектов стрелка - единственна. Значит стрелки <f°g,h°k> и  совпадают. Ч.т.д.

 

1.10. Копроизведение объектов

Понятие копроизведения, или суммы объектов, является двойственным к понятию произведения. Его определение получается непосредственно из определения произведения по принципу двойственности.

Определение: копроизведением в категории Ω двух объектов a и b называется Ω-объект, обозначаемый через a+b, вместе с парой (ia:a®a+b, ib:b®a+b) -стрелок, такой, что для произвольной пары (f:a®c, g:b®c) –стрелок существует одна и только одна стрелка [f,g]:a+b®c, для которой диаграмма коммутативна, т.е. [f,g]°ia=f, [f,g]°ib=g. Стрелка [f,g] называется копроизведением стрелок f,g относительно инъекций ia и ib.

Можно посмотреть длинный список категорных вариантов математических конструкций и понятий. Мы уже имеем некоторое представление о том, как теория категорий воссоздает мир математических идей и в действительности раздвигает горизонты математического мышления. Мы познакомились немного с категорией множеств.

2 категориЯ множеств

Пусть S-класс всевозможных множеств, рассматриваемых с отображениями одних множеств в другие.

f:A→B обозначается отображение множества А во множество В.

Композицией отображений f:A→B и g:B→C, называется отображение g °f:A→C, вычисляемое по формуле:  g°f(a)=g(f(a)). Эта частичная бинарная операция композиция отображений ассоциативна (там, где определена). Проверяется это так:

даны отображения f:A→B, g:B→C, h:C→D. h°(g°f)=(h°g)°f. Обе части определены. Возьмем . Преобразуем левую часть: h°(g°f)(а)=h°(g°f(a))=h°(g(f(a)))=h(g(f(a))). Преобразуем правую часть: ((h°g)°f)(а)=(h°g)°f(a)=(h°g)(f(a))=(h°g(f(a)))=h(g(f(a))).левая и правая части равны.Þ h°(g°f)=(h°g)°f.Þкомпозиция ассоциативна.

1А:А→А, что  справедливы равенства:

1)  1А°g=g

2)  h°1A=h

получили конкретную категорию множеств (категория Set).

В категории множеств объектами являются все множества, а стрелками – все функции между множествами. Выполняются следующие свойства:

1.  С каждой стрелкой связано два специальных объекта – её начало и конец.

2.  Имеется операция композиции, которая применяется к определенным парам ‹ g, ¦› стрелок данной категории (когда область значения первой совпадает с областью определения второй) и дает в результате новую стрелку g˚¦, также принадлежащую данной категории.


Информация о работе «О категории множеств»
Раздел: Математика
Количество знаков с пробелами: 30578
Количество таблиц: 0
Количество изображений: 24

Похожие работы

Скачать
17527
0
0

... Привлекательность продукции определяется степенью удовлетворения совокупности разноплановых, иногда противоречивых требований; 3. Состав предъявляемых требований, их приоритетность зависит как от вида продукции, так и типа ее потребителя; 4. Конкурентоспособность как экономическая категория имеет релятивистскую природу, так как рассматривается относительно конкретного рынка и конкретного аналога; ...

Скачать
23124
0
0

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

Скачать
30122
0
0

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

Скачать
27084
0
0

... исторических понятий включена в динамическую картину исторического становления современного разума. Но для того, чтобы сопоставить основные исторические понятия и термины базового уровня, нам необходимо избрать и описать кадр такого сопоставления. Этот кадр — семантика социальных категорий. Имена и классы Прежде, чем изложить некоторые элементы семантической теории социальных категорий, следует ...

0 комментариев


Наверх