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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2008-04-30 23:15:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Vildfaren -- Spirits of Autumnal Grief
Entry tags:math, mccme

Лекции 17-18: теорема Зейферта-ван Кампена, свободная группа
Последние две лекции по топологии, 17-18,
про свободную группу и про теорему Зейферта-ван Кампена.
26 страниц, однако. Буду очень признателен за любые
комментарии и замечания.

Больше не будет тут этого.

Вот полный список:

* Лекция 0, про лемму Цорна и аксиому выбора
* Лекции 1-2, метрические пространства, пополнения, p-адические
числа, нормирования в векторных пространствах
* Лекции 3-4, компакты в метрических пространствах, теорема Гейне-Бореля, теорема Хопфа-Ринова
* Лекция 5, аксиомы Хаусдорфа
* Лекция 6, произведения топологических пространств
* Лекция 7-8, теорема Урысона о метризации и компакты
* Лекция 9, произведение компактов, теорема Тихонова, ультрафильтры
* Лекция 10, банаховы пространства, пространства Фреше
* Лекции 11-12, пространство непрерывных отображений, связные и линейно связные пространства
* Лекции 13-14, вполне несвязные пространства, булевы алгебры, категории, теорема Стоуна
* Лекция 15, фундаментальная группа
* Лекция 16, накрытия Галуа
* Лекции 17-18, теорема Зейферта-ван Кампена, свободная группа, теорема Нильсена-Шрайера (любая подгруппа свободной группы свободна)

Оно же самое в виде кучи линков


[ 0 | 1-2 | 3-4 | 5 | 6 | 7-8 | 9 | 10 | 11-12 | 13-14 | 15 | 16 | 17-18 ]

Листочки
[ 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 ]

Ведомости
[ 1,2,3 | 4,5,6 | 7,8 | 9,10 ]

Посты с обновлениями и комментариями почтенной публики.
[ 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 ]

Привет



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


[info]danpriduha.livejournal.com
2008-04-30 23:09 (ссылка)
Хорошо бы добавить тильду в ссылку на странице 18 (адрес страницы Рональда Брауна)

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


[info]tiphareth
2008-05-01 00:10 (ссылка)
Спасибо! Поправил

Такие дела
Миша

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

typo
[info]clovis3.livejournal.com
2008-04-30 23:26 (ссылка)
В 16 листке на стр. 15 внизу написано tilde M, а надо \tilde{M}

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

Re: typo
[info]tiphareth
2008-05-01 00:07 (ссылка)
Спасибо! Поправил

Такие дела
Миша

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


[info]mustashriq.livejournal.com
2008-05-01 00:01 (ссылка)
Больше не будет тут этого.

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

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


[info]tiphareth
2008-05-01 00:05 (ссылка)
Не, я про еженедельное выкладывание лекций.
Так чего-нибудь да будет, конечно

Такие дела
Миша

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


[info]mustashriq.livejournal.com
2008-05-01 00:32 (ссылка)
Ага, спасибо.

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


[info]jewgeniusz
2008-05-01 02:20 (ссылка)
А где полагающаяся анафема при слове "топология"? Или её уже сняли? ;-)

А если серьёзно, то 18 лекций -- это действительно соответствует 18 лекционным парам? А как это удалось, ведь в весенний семестр больше дюжины лекций не влезает? Или часть лекций была вместо семинаров? (И когда при таком раскладе листочки сдавать?..)

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


[info]tiphareth
2008-05-01 07:33 (ссылка)
>А где полагающаяся анафема при слове "топология"? Или её уже сняли?

Она навечно, я думаю. Поститься, молиться и слушать радио
Радонеж, и никакой топологии.

>А если серьёзно, то 18 лекций -- это действительно
>соответствует 18 лекционным парам?

19, если точно. Я делал 2 лекции на пару,
и все равно часть материала в лекции не вошла (процентов 5).

>Или часть лекций была вместо семинаров?

Ни разу.
И полтора часа много, по-моему, я старался
делать в середине перерыв.

Такие дела
Миша

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


[info]dmitri_pavlov
2008-05-01 08:36 (ссылка)
Дайк — это вроде бы американизм, ведь
он немец и пишется Walther von Dyck (кстати, у всех имён
указано оригинальное написание, а у этого — нет), где y согласно
Википедии http://en.wikipedia.org/wiki/German_orthography
читается как [ʏ]. По-русски этот звук передают иногда
как ю (как в Мюллере), а иногда как и (как в дистрофии).
Впрочем, когда его произносят немцы, мне слышится ю.
Насколько мне известно, по-русски фамилия этого математика пишется Дик, то есть имеет место второй вариант.

Впрочем, это имя может быть исключением, и тогда я ошибаюсь.

Если про всех японских математиков написано, чем
они занимались, то тогда и про Такаги можно написать,
что он занимался теорией полей классов (вполне успешно).

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


[info]tiphareth
2008-05-01 14:42 (ссылка)
Спасибо, да.

Насчет немецкого я знаю, да. Но буквы "y" в немецких
словах (как правило) нет, она есть в заимствованных.
Я интересовался вопросом, и нашел следующее:

"Dyck being pronounced "dike"
http://en.wikipedia.org/wiki/Dyck_language

Художник ван Дейк (van Dyck) по-русски
читается ван Дейк

>Такаги... занимался теорией полей классов

В основном он славен как автор миллиона учебников.

Что касается полей классов, МакТьютор никаких теорем Такаги
не упоминает, а равно и Википедия. Только то, что он изобрел
поля (хотя непонятно, первый ли).
http://www-history.mcs.st-andrews.ac.uk/Biographies/Takagi.html

Добавил, да.

Такие дела
Миша

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


[info]kaledin
2008-05-01 16:45 (ссылка)
>никаких теорем Такаги не упоминает, а равно и Википедия

Oh come on: The crucial Takagi existence theorem was known by 1920 and all the main results by about 1930. Prosto lichno stat'yu pro Takagi pisal bolvan.

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


[info]dmitri_pavlov
2008-05-02 02:18 (ссылка)
Что касается Dycka, то выяснилось следующее:

http://www.kansasfolks.net/Genealogy/Book/Additions.htm

As to pronunciation Cornelius deferred to Jack Thiessen of Winnipeg, Manitoba, Canada, an expert in old Dutch and German names. Dyck would be "dick" originally with "dike" being an Anglicized pronunciation.

В общем, здесь надо ещё уточнять, как сам Dyck произносил своё имя.

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


[info]tiphareth
2008-05-02 03:09 (ссылка)
Занятно.
Другое дело, что мат-лингвисты с языками обыкновенно аккуратны,
а они считают, что надо Дайк.

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


[info]dmitri_pavlov
2008-05-02 03:19 (ссылка)
Возможно, но я думаю, что в данном случае мнение
матлингвистов учитывать не стоит.

Как пишет D. Knuth, называть язык сбалансированных
скобок языком Dycka — неправильно, так как
Dyck изучал свободные группы — моноиды
с соотношениями вида xx^{-1} = 1 и x^{-1}x = 1,
в то время как в сбалансированных скобках присутствует
только первое соотношение для x = (, x^{-1} = ),
а второе неверно.

Так что не удивительно, что матлингвисты не знают этого,
ведь Dyck ни разу не матлингвист.

Всё вышесказанное, тем не менее, ничего не говорит
о том, как сам Dyck произносил свою фамилию.
Этот вопрос надо уточнить у знающих людей.

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


(Анонимно)
2008-05-01 19:06 (ссылка)
Упоминается Такаги и на http://www.jmilne.org/math/
в лекциях по Class Field Theory. Меня самого этой науке обучал математик являющийся "математическим внуком" Такаги.

Спасибо вам Миша за замечательные лекции, в частности за этальную фундаментальную группу!

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


[info]tiphareth
2008-05-02 00:29 (ссылка)
Пожалуйста! Конечно

Такие дела
Миша

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


(Анонимно)
2008-05-01 19:12 (ссылка)
Что называется секвенциальной компактностью: существование предельной точки у любой последовательности, или возможность выбора сходящейся подпоследовательности?
Если второе, то секвенциальная компактность не следует из обычной: примером может служить пространство функций из двоичных последовательностей в {0,1} с топологией поточечной сходимости. В ней из последовательности функций f_n переводящих последовательность в её n-тый элемент нельзя выбрать сходящуюся.

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


[info]tiphareth
2008-05-02 00:28 (ссылка)
Первое, да.

"Топологическое пространство $M$ называется
{\бф сек\-венциально компактным}, если каждая последовательность
$\{x_i\}$ в $M$ имеет предельную точку (точку, в любой окрестности
которой содержится бесконечное количество членов $\{x_i\}$)."

Я был неправ -- секвенциальная компактность это
не это. Спасибо, да. А как это свойство называется, интересно?
Счетная компактность, что ли? Придется переписывать,
похоже.

Такие дела
Миша

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


[info]tiphareth
2008-05-02 00:52 (ссылка)
Да, счетная компактность. Спасибо, поправил

Такие дела
Миша

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


[info]tiphareth
2008-05-02 01:30 (ссылка)
Нет, счетной компактностью оно является (если верить
Википедии) только для Т1-пространств. Интересно почему:
у меня есть доказательство, которое работает всегда,
надо думать, ошибочное, либо в Википедии врут.

А вообще это свойство, видимо, следует называть
слабой секвенциальной компактностью.

Такие дела
Миша

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

Лекция 16
(Анонимно)
2008-05-02 18:13 (ссылка)
Утверждение 16.15 по-видимому неверно. Пусть не нулевой элемент Z/2Z действует на R умножением на -1. Тогда действие будет вполне разрывным, но проекция не является накрытием.
Бурман в определении вполне разрывного действия(точно дискретного в его лекциях)требовал чтобы у каждой точки нашлась окрестность U, для любого неединичного g не пересекающаяся с gU .(В частности у неединичных элементов G нет неподвижных точек)

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

Re: Лекция 16
[info]tiphareth
2008-05-02 18:37 (ссылка)
Спасибо! Конечно. Надо

"Пусть $G$ -- группа, действующая на топологическом
пространстве $M$. Говорится, что действие $G$ {\бф вполне разрывно},
если у каждой точки $x\in M$ есть окрестность $U$ такая,
что $U \cap gU= \emptyset$ для любого $g\in G$ такого, что
$g$ действует не тождественно в окрестности $U$."

Поправил

Такие дела
Миша

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

Re: Лекция 16
(Анонимно)
2008-05-02 21:26 (ссылка)
Определение локальной (линейной) связности отличается от того, что в википедии.
При данном определении локальная связность, видимо, следует из связности.

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

Re: Лекция 16
[info]tiphareth
2008-05-02 22:00 (ссылка)
Спасибо! Разумеется, это ошибка:
нужна не окрестность, а база окрестностей.
Поправил

Такие дела
Миша

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


[info]ulysses4ever.livejournal.com
2008-05-09 02:48 (ссылка)
Скажите, а нельзя ли всё-таки в один файл собрать?

А „не будет еженедельного выкладывания лекций‟ вообще никогда? В смысле, вам непонравилось еженедельно лекции выкладывать? Или всё-таки „не будет...‟ по этому курсу в этом семестре, потому что он (в этом семестре) закончился?

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


[info]tiphareth
2008-05-16 05:08 (ссылка)
Я соберу, со временем.

>Или всё-таки „не будет...‟ по этому курсу в этом семестре, >потому что он (в этом семестре) закончился?

Курс закончился, а буду ли я дальше в Москве нечто читать,
мне неведомо. Но если буду, конечно, буду выкладывать.

Такие дела
Миша

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


[info]ulysses4ever.livejournal.com
2009-03-07 20:27 (ссылка)
Лекция 0, стр. 6. «Аксиома зависимого выбора утверждает следующее. Пусть дано множество $X$, и в нем подмножество $V \subset X \times X$...». «В нём» вроде бы лишнее. Ну, и запятая там после $X$ не нужна.

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


[info]ulysses4ever.livejournal.com
2009-03-07 20:29 (ссылка)
Там же повтор: следующие два абзаца заканчиваются одинаковым утверждением о следовании DC из аксиомы детерминированности.

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


[info]ulysses4ever.livejournal.com
2009-03-07 20:40 (ссылка)
Лекция 0, опр-ие 0.4. «Начальным отрезком вполне упорядоченного множества называется отрезок, содержащий минимальный элемент». Отрезок это подмножество. Во вполне упорядоченном множестве любое подмножество имеет минимальный элемент. Таким образом, следуя цитате, во вполне упорядоченном множестве любой отрезок — начальный? Может быть, там не «вполне упорядоченного», а «линейно упорядоченного»?

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


[info]ulysses4ever.livejournal.com
2009-03-07 20:44 (ссылка)
А, или «Начальным отрезком вполне упорядоченного множества $X$ называется отрезок, содержащий минимальный элемент $X$»?

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


[info]tiphareth
2009-03-07 20:53 (ссылка)
Да, само собой, спасибо

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


[info]tiphareth
2009-03-07 20:53 (ссылка)
Минимальный элемент самого множества, а не его отрезка.

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


[info]akater
2009-05-01 10:08 (ссылка)
Лекция 16, стр. 4, седьмая строчка снизу. Пропущено \colon между обозначением для ограничения накрытия и областью определения ограничения накрытия.

P.S. Жаль, единый файл Вы так и не сделали. Разве актуальны все эти разбиения в эпоху быстрых интернетов?

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


[info]tiphareth
2009-05-01 10:09 (ссылка)
Спасибо, да
Файл на неделе сделаю обязательно

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


[info]tiphareth
2009-05-03 05:24 (ссылка)
Вот оно, кстати
http://verbit.ru/MATH/UCHEBNIK/top-book.ps.gz
там сейчас все страшно вылезает за поля, я буду
чистить его еще долго

Такие дела
Миша

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