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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2015-08-18 16:18:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка: Singular hermitian metrics on holomorphic vector bundles
Entry tags:hse, math

текст предложений по программе первых двух курсов
Бесконечной длины текст
http://verbit.ru/Job/HSE/Curriculum/all.txt
состоящий из проекта программы первых двух курсов вышечки,
списка полезных книжек, и кучи пояснительного текста про ее содержание.
Своего рода апдейт к известному сочинению
"Математическая программа должна быть устроена так"
15-летней давности.

Прошу слать мне комментарии, поправки и все прочие соображения.

Привет


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


[info]deevrod
2015-08-21 16:32 (ссылка)
Зато мотивировано формулой Стокса.

Ещё можно давать определение дифференциальной формы как 'то, что можно интегрировать', тоже ею же мотивировано.

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

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


[info]grigori
2015-08-21 16:46 (ссылка)
ты неподготовленным пришёл в срач, тут Дима Павлов всем давно рассказывал, что интегрирование формы старшей степени это всё равно, что применение двойственности Пуанкаре к её классу когомологий (а если многообразие неориентируемо, то двойственность Пуанкаре она между H^0(постоянный пучок) и H^n(ориентирующий пучок), поэтому интегрировать форму нельзя, а плотность можно.

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


[info]tiphareth
2015-08-21 17:35 (ссылка)
я, кстати, придумал, как определять интеграл через двойственность пуанкаре
очень изящно получается, можно курсе на втором рассказать, все поймут

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


[info]deevrod
2015-08-21 17:36 (ссылка)
Я читал этот текст, и примерно согласен с выводами. Просто меня всегда раздражала простановка знака равенства между спариванием цепей с коцепями и интегрированием форм по подмногообразиям; например, я не знаю никакого аналога 'подмногообразий', чтобы по ним можно было интегрировать классы когомологий групп. Это сомнительная претензия, но всё равно.

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


[info]tiphareth
2015-08-21 17:38 (ссылка)
>Зато мотивировано формулой Стокса.

если кто-то жрет говно, мотивированный формулой Стокса
из этого не следует, что каждый, кто мотивирован формулой Стокся, жрет говно

> формы никакого отношения к интегрированию не имеют

бред, извини, тупейший

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

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