Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2005-04-06 00:37:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Великое счастье Кореи (Песня о Любимом Руководителе Маршале Ким Чен Ире)

листок номер два про теорию меры

Выложил сюда вот
листок номер два про
теорию меры
.

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

Идея конструкции извлечена из
учебника Кириллова-Гвишиани и подвергнута
жестокому упрощению.

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

Привет



(Читать комментарии) - (Добавить комментарий)


[info]ex_dmitri83798@lj
2005-04-06 02:08 (ссылка)
Stone representation theorem для логиков примерно как теорема (Стоуна-)Вейерштрасса для математиков, мимо неё невозможно пройти и это одна из первых теорем, которые изучаешь, когда изучаешь логику.

(Ответить) (Ветвь дискуссии)


[info]ex_ex_annut@lj
2005-04-07 01:44 (ссылка)
удивительно
Люди вроде Саши Разборова для тебя принадлежат к "классической" школе?

(Ответить) (Уровень выше)


[info]ex_ex_annut@lj
2005-04-07 01:44 (ссылка)
сорри, ошибка
Мише хотела ответить

(Ответить) (Уровень выше)


[info]ex_ex_annut@lj
2005-04-07 02:02 (ссылка)
btw
в "классику", конечно, типа Шенфильда она не входит (по некоторым мнениям крома Шенфильда (я бы добавила его "степени неразрешимости" и "рекурсивные функции" в один курс) и Манина нормальных учебников по логике нет совсем.
Больше важна тем кто занимается теорией типов, доменами, семантикой языков программированию. В каждом учебнике есть - неплохая глава в книжке Amadio плюс, конечно, классика "Topology via Logic" by Vickers
Знаю немало "классических" логиков, которые мало знают об этом

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ex_dmitri83798@lj
2005-04-07 02:06 (ссылка)
вечно у меня всё не как у людей, я про Stone representation theorem узнал, когда только начал интересоваться логикой, и подумал, что у всех так.

(Ответить) (Уровень выше)


[info]ex_dmitri83798@lj
2005-04-07 02:14 (ссылка)
что за Шенфилд ?
я как-то заметил, что разные люди рекомендуют разные учебники "по логике, для начинающих", а в итоге в этих учебниках оказывается одно и то же, изложенное даже примерно в одном стиле. наверное, я не встречал по-настоящему хороших учебников.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ex_dmitri83798@lj
2005-04-07 02:20 (ссылка)
я, кстати, изучал самые базовые вещи по одному problem-based курсу, который нашёл в инете, некого Стефана Биланюка. пока не нашёл бумажной книжки, которая бы мне больше понравилась :)

(Ответить) (Уровень выше)


[info]ex_ex_annut@lj
2005-04-07 02:22 (ссылка)
на основе его годичного курса читанного то ли в Принстоне, то ли в Гарварде
не помню
http://www.amazon.com/exec/obidos/tg/detail/-/1568811357/qid=1112876507/sr=1-1/ref=sr_1_1/104-9818227-8332737?v=glance&s=books
есть русское издание (перевод Лаврова) начало 80х

степени неразрешимости немного устарела, но все равно пока одна из лучщих

http://www.amazon.com/exec/obidos/tg/detail/-/B0006DYW28/qid=1112876507/sr=1-3/ref=sr_1_3/104-9818227-8332737?v=glance&s=books

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ex_dmitri83798@lj
2005-04-07 02:24 (ссылка)
ага, спасибо. как раз сижу в библиотеке, нашёл, сижу листаю.

(Ответить) (Уровень выше)


(Читать комментарии) -