2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 двойственность Стоуна
Сообщение13.04.2018, 21:46 
Аватара пользователя


17/04/11
658
Ukraine
Помогите разобраться в теме. Например, посоветуйте какую-нибудь понятную литературу. Чтобы читать Джонстона «Stone spaces», нужно знать категорную алгебру. Я читаю его с большим трудом.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение14.04.2018, 03:28 
Заслуженный участник


31/12/15
922
Попробуйте про фреймы почитать
http://www.cs.man.ac.uk/~hsimmons/FRAMES/frames.html
Тема очень близкая, изложение заметно легче, чем у Джонстона.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение14.04.2018, 13:58 
Заслуженный участник


31/12/15
922
И ещё Викерса, но это попса
http://gen.lib.rus.ec/book/index.php?md ... 5A7EC5EC31

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение14.04.2018, 15:02 
Аватара пользователя


17/04/11
658
Ukraine
george66 в сообщении #1304085 писал(а):
Попробуйте про фреймы почитать
http://www.cs.man.ac.uk/~hsimmons/FRAMES/frames.html
Тема очень близкая, изложение заметно легче, чем у Джонстона.

Спасибо, посмотрю.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение15.04.2018, 12:53 
Аватара пользователя


17/04/11
658
Ukraine
Вопрос. Викерс придумал понятие «топологическая система». Это понятие мне понравилось, но не понравилось, что у Викерса локаль есть частный случай топологической системы. Топологическая система содержит больше структуры (а именно, множество точек, отношение удовлетворения (satisfaction)), чем локаль. Это сбивает с толку.

В теореме 5.4.3 на странице 62 он описывает сопряжение функторов из категории топологических систем в категорию локалей Викерса. Можно придумать аналогичное сопряжение функторов между категорией топологических систем и категорией (обычных) локалей?

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение15.04.2018, 17:46 
Заслуженный участник


31/12/15
922
Я не помню, как у Викерса, а сопряжение есть (у Симмонса в статьях про фреймы или где-то у Джонстона). По топологическому пространству строится локаль -- просто решётка всех его открытых подмножеств. По локали строится топологическое пространство -- тут надо понять, какие у него точки. Идея такая: любая точка $a$ любого топологического пространства $A$ разбивает все его открытые подмножества на два класса -- содержащие эту точку и не содержащие. Возьмём решётку (фрейм) из двух элементов $\top$ и $\bot$. Все открытые подмножества, содержащие точку $a$, отобразим в $\top$, а все, не содержащие -- в $\bot$. Получаем гомоморфизм фрейма открытых подмножеств $A$ во фрейм $\{\top,\bot\}$ (или гомоморфизм локалей в обратную сторону). Определим точки произвольной локали как гоморфизмы из $\{\top,\bot\}$ в неё. Это множество точек и будет нужным нам топологическим пространством.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение17.04.2018, 19:30 
Аватара пользователя


17/04/11
658
Ukraine
beroal в сообщении #1304375 писал(а):
Можно придумать аналогичное сопряжение функторов между категорией топологических систем и категорией (обычных) локалей?

Вроде бы построил.

Ещё я хотел бы понять, как это сопряжение превращается в эквивалентность категорий. Например: ограниченных дистрибутивных решёток и когерентных топологических пространств (или топологических систем, если можно); локалей и трезвых топологических пространств. У Викерса, к сожалению, вся теория категорий напечатана мелким шрифтом, то есть кратко. Соответствующий раздел 5.5 совершенно философский.

Нашёл ещё писульку ниже с эквивалентностями категорий. Там частные случаи.

Yang, Yilong. Notes for Introduction to Lattice theory. UCLA Department of Mathematics. UCLA, 18 May 2013. Web. 17 Apr. 2018. <http://www.math.ucla.edu/~yy26/works/Lattice%20Talk.pdf>.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение17.04.2018, 20:24 
Заслуженный участник


31/12/15
922
Есть общий результат. Возьмём любую пару сопряжённых функторов $F\dashv G$
$F\colon K_1\to K_2$
$G\colon K_2\to K_1$
В категории $K_1$ возьмём полную подкатегорию, состоящую из тех объектов $A$, для которых $\eta_A\colon A\to G(F(A))$ является изоморфизмом.
В категории $K_2$ возьмём полную подкатегорию, состоящую из тех объектов $X$, для которых $\varepsilon_X\colon F(G(X))\to X$ является изоморфизмом.
Тогда функторы $F,G$ устанавливают эквивалентность этих подкатегорий.

-- 17.04.2018, 20:37 --

И учебник, учебник читайте
https://github.com/George66/Textbook

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение18.04.2018, 15:08 
Аватара пользователя


17/04/11
658
Ukraine
george66 в сообщении #1305151 писал(а):
И учебник, учебник читайте

Извините, не нашёл в вашем учебнике этого результата. Как вы доказываете, что область значений $F$ включена в «полную подкатегорию, состоящую из тех объектов $X$, для которых $\varepsilon_X\colon F(G(X))\to X$ является изоморфизмом»? Я вижу только равенство $\varepsilon_{F(A)}\circ F(\eta_A) = \mathrm{id}_{F(A)}$.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение18.04.2018, 15:26 
Заслуженный участник


31/12/15
922
Этого результата в учебнике нет (не придумал хороших не алгебраических примеров). Область значений $F$ не включена, но если применять $F$ к таким $A$, для которых $\eta_A$ является изоморфизмом, тогда другое дело. Точнее, если $\eta_A$ является изоморфизмом, то $\varepsilon_{F(A)}$ является изоморфизмом. Аналогично, если $\varepsilon_X$ является изоморфизмом для некоторого $X$, то и $\eta_{G(X)}$ является изоморфизмом. Было бы полезно попробовать доказать самому (прочитав главу про сопряжённость).

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение18.04.2018, 21:45 
Аватара пользователя


17/04/11
658
Ukraine
george66 в сообщении #1305303 писал(а):
Точнее, если $\eta_A$ является изоморфизмом, то $\varepsilon_{F(A)}$ является изоморфизмом.

Я вижу это так. Допустим, $\eta_A$ является изоморфизмом. Тогда существует $\eta'_A$, который есть сечение и ретракция к $\eta_A$. Тогда $F(\eta'_A)$ есть сечение и ретракция к $F(\eta_A)$, потому что любой функтор сохраняет диаграммы. Исходя из моего равенства, $\varepsilon_{F(A)}$ есть ретракция к $F(\eta_A)$. Для любого морфизма $f$, любое сечение к $f$ равно любой ретракции к $f$. Следовательно, $\varepsilon_{F(A)} = F(\eta'_A)$.

 Профиль  
                  
 
 Re: двойственность Стоуна
Сообщение18.04.2018, 22:04 
Заслуженный участник


31/12/15
922
Да, всё правильно!

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 12 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Gg322


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group