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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2016-03-06 15:49:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Игорь Растеряев - Live in клуб ''Контакт'', Москва, 23.09.2010
Entry tags:math, mccme

метрические пространства, лекция 3
Кстати, выложил новую лекцию по метрическим пространствам
на страницу курса
http://bogomolov-lab.ru/KURSY/METRIC-2016/

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

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

Вот ссылки: лекции [ 1 | 2 | 3 ]
слайды [ [ 2 | 3 | 4 ]
листочки [ 1 | 2 | 3 | 4 ]

Привет


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


[info]tiphareth
2016-03-07 05:20 (ссылка)
> Тебе нравится грязь по-видимому.

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

можно с самого начала оговорить про то, что у нас всюду пополнения
счетных пространств, но утверждение, которое я там делаю, в этом
совершенно не нуждается (а нуждается, если нужен педантизм,
в замене слова "множество" на "класс" в одном месте; поскольку
целевая аудитория все равно не знает, что это, я не старался)

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


[info]kaledin
2016-03-07 05:49 (ссылка)
Просто когда это просто предостережение, то оно выглядит идиотским педантством. А когда вот он, наглядно видимый потенциально рекурсивный объект, тогда другое дело.

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


[info]tiphareth
2016-03-07 06:21 (ссылка)
>наглядно видимый потенциально рекурсивный объект

не очень рекурсивный: пространство всех компактов не
компактно, а в основном интересно именно оно.

но в принципе - да, можно его получить, но надо ограничить мощность
твоего метрического пространства (точнее, плотного подмножества в нем).
Громовское пространство, классифицирующее эти метрические пространства,
имеет бОльшую мощность.

Можно взять объединение
всех громовских пространств для всех мощностей, оно вполне хорошее метрическое пространство,
но не множество, а класс. Картинка примерно как с ординалами:
объединение всех ординалов само по себе ординал, но не множество, а класс.
Собственно, здесь все как с ординалами: множество классов эквивалентностей
ординалов ординал, множество классов эквивалентности полных метрических
пространств - полное метрическое пространство.

Но как и с ординалами, я не вижу внятной (и не откровенно педантской)
формулировки, которую тут можно навесить. Тратить полстраницы на объяснение,
что такое класс, в "легком и популярном" введении неуместно (в самом тексте -
вполне уместно).

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

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