← All posts tagged математика

Kallikanzarid
математика Сейчас черчу графики преобразований двумерного пространсва Минковского, получается красотища ^_^ Кто их никогда не рисовал — многое потерял, я считаю.

Сейчас нарисовал примеры для обеих ортохронных компонент O(1,1), сейчас нарисую для неортохронных (для полноты картины) и начну сравнивать с аналогичными преобразованиями Галилея :3
Kallikanzarid
математика Я только что осознал, в чем офигенная важность пространств модулей 8) Если пространство модулей измеримо, то мы можем выполнять на нем Bayesian inference! Т.е. мы получаем возможность не только рассуждать о каких-нибудь кривых логически (если кривая обладает таким-то свойством, то она обладает таким-то свойством; среди кривых, обладающих таким-то свойством, найдется кривая, обладающая таким-то свойством), но и статистически (такое-то свойство кривой поддерживает такое-то свойство настолько-то).
Kallikanzarid
code математика Haskell
Народ, объясните мне, чем полезны стрелки в Хаскелле. Я понимаю, что это по сути обогащенные над (Hask, \times, 1) категории, но почему они полезны в программировании, какой аспект вычислений они так хорошо моделируют?
Kallikanzarid
code математика
Ура, я понял монаду IO :D
http://stackoverflow.com/questions/9074284/understanding-bind-function-in-haskell/9076812#comment11440692_9076812

Архитектурно получается двоякая интерпретация input -> computation -> output: с одной стороны, идет разделение IO (фундаментально лучше описываемого с помощью конечных автоматов) и вычислений (фундаментально лучше описываемых с помощью лямбда-исчисления), с другой, имеем последовательность "двойного перевода":
1) Компилятор переводит вычисления с компьютерного (FSA) языка на человеческий (лямбда-исчисление),
2) Человек решает задачу, строя вычисления в монаде IO,
3) Компилятор переводит описание этой задачи с лямбда-исчисления назад на язык компьютера.

Получается, что "на данном этапе развития науки и техники" монада IO решает свою задачу теоретически оптимальным образом 8)
Kallikanzarid
математика Теорема: образ связного топологического пространства при непрерывном отображении связен. Следствие — теорема Больцано-Коши. Доказательство: выколем произвольную точку из R, получим несвязное пространство. Т.к. R связно, то его образ при непрерывном отображении в R без точки должен полностью лежать в одной из его связных компонент. Красота ^_^
Kallikanzarid
математика @jtootf @dukkha Обновляю свое предложение, включаю небольшое резюме (см. ниже). Сингулярная когомология требует понимания сингулярной гомологии и только. Еще можно изучать когомологию Де Рама и смежные темы по учебнику Ботта.

Хотелось бы услышать предложения по формату и графику, а также краткий обзор вашей подготовки и целей во всем этом :)

...совместного изучения хотя бы одной из следующих вещей:
— (возможно, теории колец и) теории полей (по "Алгебре" Ленга),
— сингулярной когомологии (по "Алгебраической топологии" Хатчера или "Краткому курсу алгебраической топологии" Мэя),
— (возможно, теории колец и) классической алгебраической геометрии (по учебнику "Алгебраическая геометрия: начальный курс" Хатчера),
— современной алгебраической геометрии (например, по Мамфорду, Хартсхорну или Вакилю),
— начал алгебраической теории чисел (по "Начальному курсу арифметики" Серра).

Также я открыт к современным темам дифференциальной геометрии.

Моя подготовка:
[comment]- Английский язык (владею свободно),[/comment]
— Линейная алгебра и классический анализ (очевидно :))
— Теория групп и теория колец (до локализации) по Ленгу,
— Общая топология (по Борисовичу, т.е. без сетей и фильтров, они вряд ли будут нужны, но могу нагнать),
— Умение обращаться с фундаментальной группой и сингулярными гомологиями (по Хатчеру).
— Основы основ дифференциальной геометрии (теорема Сарда, теорема Фробениуса, основные определения в римановой, симплектической и контактной геометрии (ну и теорема Дарбу, чеуштам)),
— Классическая механика (совсем чуть-чуть, на уровне популярных лекций Сасскинда),
— Основы теории групп и алгебр Ли (очень сумбурно, есть какие-то ошметки знания о системах корней и классификационной теоремы для простых комплексных алгебр, понимание основных свойств функтора Ли и сопряженного ему функтора универсальной обертывающей алгебры, формы Киллинга),
— Основы теории категорий (вплоть до леммы Йонеды и ее основных следствий вроде универсальности представителя и верности вложения Йонеды),
— Важно: отсутствует подготовка в теории меры (но к нужным главам обещаю нагнать :shuffle:),
— Важно: отсутствует подготовка в коммутативной алгебре.
— Важно: отсутствует (за исключением знания отдельных понятий и здравого геометрического смысла :gigi:) подготовка в теории пучков и схем.