Dmitri Pavlov

Топос уравнений в частных производных

Fri, 15 May 2015 17:22:55 GMT

Категория уравнений в частных производных над гладким многообразием образует топос:
http://mathoverflow.net/questions/206405/differential-operators-are-cokleisli-morphisms-of-the-jet-co-monad/206669#206669

Comments

Дискуссия про венгерскую математику

Mon, 25 Mar 2013 17:19:22 GMT

Интересная дискуссия про венгерскую математику с участием sowa@lj, Гауэрса, Тао, и других математиков:
http://gowers.wordpress.com/2013/03/20/pierre-deligne-wins-the-2013-abel-prize/
(С большим количеством ad hominem доводов от множества менее квалифицированных комментаторов.)
И если кто ещё не видел, новый блог sowa@lj: http://owl-sowa.blogspot.com/.

Comments

Ударения

Mon, 26 Mar 2012 17:55:44 GMT

Кто-нибудь знает, на какие слоги ставятся ударения в фамилиях Гельфанд и Наймарк?
В идеале хотелось бы знать, как свои фамилии произносили сами Гельфанд и Наймарк.

Русская Википедия, а вслед за ней и английская утверждают, что в фамилии
Гельфанд ударение ставится на первый слог.
«Математический энциклопедический словарь» утверждает, что на второй,
что согласуется с моими воспоминаниями.
Про Наймарка вообще ничего не удаётся найти.

Comments

Революция в математике

Wed, 04 Jan 2012 20:05:15 GMT

Фрэнк Квинн (один из двух крупнейших специалистов по 4-многообразиям)
в январском выпуске Notices пишет про математическую революцию
1890–1930 годов, и про то, как её отвергли в «прикладной» математике и математическом образовании:

The mathematical transition had such a low profile
that no one understood its significance.
Felix Klein was still denouncing the new methods in the 1920s,
and because his views were not only unrefuted
but almost unchallenged, outsiders accepted them as fact.
Historians, educators, and philosophers
went forward largely unaffected, propelled by the
momentum of three thousand years and rebuffed
instead of justifying them.

В связи с этим интересно отметить книгу Кляйна
Elementarmathematik vom höheren Standpunkte aus.
Упоминаемые в названии «высшие точки зрения» на самом
и являются методологией 19 века, которая устарела к моменту выхода книги в 1908 году,
а ко времени её переиздания в середине 1920 годов так и вовсе являлась мракобесием.
Уже после написания этого параграфа я обнаружил, что у Квинна
есть целая книга по мотивам его статьи, в которой, в частности,
разбирается книга Кляйна (глава 15):
http://www.math.vt.edu/people/quinn/education/Book0.pdf

Чуть далее про это же (выделения мои):

The final problem concerns the disconnect
between school mathematics and higher education.
School mathematics is still firmly located in
the nineteenth century, so student success rates
in modern courses have been very low.
There is a great deal of pressure to improve this situation,
but recent changes, such as use of calculators
and emphasis on vague understanding over skills,
have actually worsened the disconnect.
Something has to change.
Ideally, school mathematics could be brought into the twentieth century.
Unfortunately the K12 education community is better
organized, more coherent, and far more powerful politically.
External funding agencies are committed to the K12 position.
At the NSF this means funds have shifted from research to educational
programs that are actually hostile to the research methodology.
It seems possible that the K12/college articulation will be “improved” by forcing
higher education to revert to nineteenth-century models.

Нынешний анахроничный маразм, подающийся в школе как геометрия
и не имеющий к ней никакого отношения — ярчайшее тому свидетельство,
про что я уже рассказывал: http://lj.rossia.org/~dmitri_pavlov/10252.html
Алгебра также испытывает проблемы по той же причине, но другого
характера, про что я тоже писал: http://lj.rossia.org/~dmitri_pavlov/5242.html
Университетское образование на младших курсах также следует методологии 19 века
— достаточно вспомнить курс «матанализа», про что также говорится в последней ссылке.

В статье Квинна также написано про «прикладную» математику (выделения мои):

Yet another problem comes from changes in applied mathematics.
Up through the late twentieth century, applied mathematicians were trained in
mainstream graduate programs and had foundations in modern methods and values.
Today many are several generations removed from these core mathematical foundations.
Many are scientists rather than mathematicians in the modern sense,
and some are actually hostile to core methodology.
At the same time, demand from science and engineering and pressure for more highly visible
research have caused many academic departments to shift toward applied areas.
The result is culturally divided departments
in which core mathematics is increasingly at a disadvantage.

Всё тоже самое (а выделенные предложения так и вовсе слово в слово)
можно сказать и про венгерскую математику (пресловутую «вторую культуру»).
Интересно отметить, что Квинн также пользуется терминологией Атии (core mathematics),
про которую я недавно писал здесь: http://lj.rossia.org/~dmitri_pavlov/13489.html

Статья, кстати, довольно интенсивно обсуждается.
Вот, например, дискуссия в списке рассылке FOM:
http://www.cs.nyu.edu/pipermail/fom/2011-December/016068.html

От себя могу добавить, что попытки исправления ситуации (для России — реформы Колмогорова,
которым активно противостояли Понтрягин и, позднее, Арнольд)
провалились по вполне понятной причине: такая реформа в первую очередь должна
менять учителей, а именно этого ни одна из них и не пыталась сделать.
Дополнительная проблема заключается в том, что в местах, где учатся будущие учителя,
полностью доминирует подход 19 века, что приводит к тому, что каждое следующее поколение
учителей воспроизводит предыдущее.
Поэтому минимально необходимые действия для исправления ситуации представляются следующими:
(1) Организовать новые педагогические факультеты/кафедры для будущих учителей математики,
на которых студенты обучаются по современной программе (core mathematics) современными математиками.
Важно не допускать до обучения «прикладных» и венгерских математиков.
(2) Выпускники этих факультетов идут в школы, где имеют полную свободу в выборе материала
и учебной литературы.
При этом старые учителя продолжают учить по старой программе, ибо их уже невозможно переучить.
Постепенно все старые учителя будут заменены новыми.
Как следствие, появятся современные учебники, написанные новыми учителями.
(На первых порах вполне можно обойтись без учебников,
их важность обычно преувеличивают.)
(3) ЕГЭ по математике необходимо либо полностью отменить,
либо радикально изменить (этим тоже должны будут заниматься новые учителя).
В своей нынешней форме он лишь усугубляет ситуацию.

Comments

Когомологии, категории и прочая алгебраическая муть

Sat, 22 Oct 2011 16:46:41 GMT

А вот забавная иллюстрация к моему посту про образование:
http://luch-sweta.livejournal.com/43755.html

Автор, в математическом мировоззрении которого
категории и когомологии являются частью алгебры (смотри цитату про «муть» ниже),
глубоко возмущён моим высказыванием «Почти все выпускники потока
не знакомы с категориями, пучками или когомологиями,
что характеризует крайнюю степень математического невежества»,
из которого он цитирует «когомологии, категории и прочую алгебраическую муть»
и требует предъявить ему применения оных в теории графов:
«Теория графов ждет - не дождется, когда Вы, сильно крутой и великий,
наконец объясните нам, убогим, за каким чертом все это величие духа
нужно за пределами одной подобласти,
так честно и называющейся - алгебраическая теория графов.»

Разъяснения tiphareth понимания не находят.
Следуя неведомой логике (которую сам автор в своём комментарии ниже разъясняет так:
«Теория групп изучается на мат-мехе, причем всеми математическими потоками»),
автор выводит также, что я
«не считаю теорию групп сколь-нибудь современной математикой,
достойной изучения студентами» (как автор умудряется сочетать это с предыдущим
высказыванием про то, что категории и когомологии — часть алгебры, не очень понятно).

В связи с очередной дискуссией (слово из четырёх букв, возможно, более уместно)
на тему «второй культуры» хочу сделать несколько комментариев.

Касательно терминологии: вместо «первой» и «второй» культур
(что неявно влечёт за собой утверждение о существовании оных)
гораздо лучше использовать терминологию Атии.
Атия в своей статье How research is carried out
говорит o the central core of mathematics.
Терминология «(центральное) ядро-периферия», на мой взгляд, гораздо лучше
отражает суть ситуации.

Сказанное имеет смысл, если математикой называть всю
естественнонаучную деятельность, в которой не требуются эмпирические данные.
В принципе, термин Mathematical Sciences, подразумевающий, что кроме
математики там есть что-то ещё, также представляется вполне разумным,
и, возможно, даже более приемлемым.

Там же nikaan@lj говорит, что «деление исключает появление фундамента в будущем»
(имеется ввиду деление на центральное ядро и остальное).
По этому поводу ещё Гельфанд говорил, что комбинаторика может стать математикой 21 века
(буду признателен за точную ссылку).
Но вряд ли общий фундамент может появиться, если попытки введения
в программу категорий, пучков, и когомологий будут сопровождаться
реакцией, подобной реакции вышецитированного персонажа
(при условии, что таких персонажей будет достаточно много).

Comments

Исходный текст в arXive

Wed, 19 Oct 2011 08:25:30 GMT

Обнаружил, что многие математики, не только из старшего поколения,
но также и из младшего, не знают, что на arXive для любой статьи доступен исходный
текст в TeXe.

Если зайти на страницу любой статьи и перейти по ссылке Other formats,
то последним пунктом в списке всегда будет исходный текст.

Он полезен как минимум в двух случаях:

Математики, не обладающие вкусом, зачастую используют для своих статей
шрифты вроде Times и Palatino.
При помощи исходного текста это легко выправляется на нормальный Computer Modern.
Если я печатаю статью, то чаще всего делаю поля очень маленькими — не по причине
экономии бумаги, а из-за желания поместить как можно больше информации
на одну страницу.
Исходный текст здесь незаменим.

Comments

Куда поступать, что делать?

Fri, 07 Oct 2011 21:51:48 GMT

nikaan@lj задал мне вопросы, а я на них ответил ниже.
Чтение рекомендую всем, кто заканчивает школу.

1. Где Вы учились? Насколько давно это было?
Опишите, как оно, и зачем Вы бы туда рекомендовали/не рекомендовали пойти.

239, 1999–2002.
ИТМО, кафедра компьютерных технологий, 2002–2006 (бакалавриат),
кафедра высшей математики, 2006–2007 (магистратура).
2007–2011 — аспирант University of California, Berkeley, получил степень Ph.D. в 2011 году.

Впечатления об ИТМО: Очень много времени тратится зря, учебный план состоит из бессмысленных
гуманитарных, программистских (бессмысленных также и для программистов),
физических (бессмысленных также и для физиков) курсов.
Содержательные курсы (не попадающие в указанные три категории) почти отсутствуют.
Из преподавателей запомнились Додонов,
Кохась (его лекции в ИТМО я не застал, но слушал курс в ПОМИ), Попов.
Все три ведут анализ в разных вариациях,
к сожалению предельно упрощённый и растянутый (хотя могли бы рассказать гораздо больше),
в результате чего посещение их лекций малоосмысленно — гораздо легче и быстрее всё выучить самому.
Елизаров ведёт единственный осмысленный курс
по computer science (параллельное программирование).
Это всё, больше ничего содержательного (по крайней мере, в 2011 году) в ИТМО нет.
Как легко видеть, ИТМО находится в стадии глубокой деградации и вырождения.
Тратить четыре года на такой учебный план — запредельный идиотизм.
Впрочем, надо отметить, что в ИТМО есть возможность составить индивидуальный учебный план
(про который почти никто не знает), чем я пользовался, включая туда курсы физматклуба ПОМИ.
В магистратуре ИТМО я учился (и закончил её) только потому,
что не успел поступить в аспирантуру годом раньше, хотя и собирался.
Надо отметить, что в моё время состав студентов был довольно неплохим:
с моего потока (40 человек) три студента (включая меня)
поступили в американские аспирантуры по математике (Berkeley, Yale, Northwestern),
что, как я понимаю, превосходит отделение математики матмеха.
Не уверен, что такой же интеллектуальный климат сохранился в ИТМО в 2011 году.
Ещё надо отметить, что в ИТМО более доброжелательное отношение
со стороны руководства кафедры (то есть Парфёнова), нежели на матмехе.
(Парфёнов не отчисляет за несданные гуманитарные предметы, например.)

У матмеха (и московского мехмата) идентичные проблемы,
различия в деталях: гуманитарной бессмыслицы немного больше,
программистской и физической бессмыслицы немного меньше.
Даже в пресловутом ПОМИ-потоке отделения математики матмеха математическая программа
устарела на 90 лет (это ни в какой степени не является преувеличением:
некоторые теоремы из курса функционального анализа матмеха получены
как раз примерно 90 лет назад, около 1920 года, а более свежие
результаты просто не входят в программу).
Почти все выпускники потока не знакомы с категориями, пучками или когомологиями,
что характеризует крайнюю степень математического невежества.

Что касается аспирантуры в Berkeley, то там всё было абсолютно замечательно,
чего и другим желаю.

2. Куда бы Вы порекомендовали пойти сейчас учиться человеку,
который хочет заниматься математикой, или программированием, или
лингвистикой, или сельхоз. генетикой, или игрой на контрабасе etc.
Про что знаете — про то и пишите.

Есть разница между «учиться» и «числиться».
В Петербурге эта деятельность всегда протекает в разных местах:
ПОМИ (физматклуб, CS-клуб, возможно АФТУ) — с одной стороны
и матмех, ИТМО, другие места — с другой.
В Москве, соответственно, НМУ и НОЦ МИАН против мехмата.
Матфак ВШЭ, возможно, является единственным местом, где это можно совмещать.
(В дальнейшем я буду писать про Петербург, хотя написанное верно для всей России.
Я также ограничусь математикой, для cs и software engineering ситуация аналогичная.)

Также есть большая разница между software engineering и computer science,
программирование всегда является первым, хотя часто имеется ввиду второе.
Для любого из этих видов деятельности наилучшим вариантом будет
поступить в американский университет, получить там степень бакалавра,
а затем поступить там же (в США, не обязательно в том же университете) в аспирантуру.
Многие частные университеты (например, Harvard, MIT, Stanford, Princeton, Columbia)
предоставляют стипендии с полной оплатой обучения.
Я рекомендую подавать документы в десяток лучших университетов (некоторые из них
перечислены выше), а также в десяток (или больше) средних, идущих за ними.
Если лучшие не возьмут, то какие-то средние вероятно возьмут,
а даже средний американский университет гораздо лучше
всего, что можно найти в России, по крайней мере в математике и computer science.
Готовиться к поступлению надо как минимум за год, сдавая тесты вроде TOEFL и SAT,
готовля statement of purpose и другие документы.

Если поступить в американский университет не удалось (или удалось, но без оплаты
обучения), отчаиваться не стоит.
Следует поступить в любое место (впрочем, СПбГУ и МГУ
предпочтительны, поскольку про них могут знать приёмные комиссии американских
аспирантур, в отличии от всех остальных российских университетов),
после чего самостоятельно изучать математику (или cs) и готовиться
к поступлению в американскую аспирантуру.

3. Нужно учиться самому или отдать себя в руки ВУЗа и там всему
научат? Или пополам? Или вообще надо учиться самому, и идти в такой
ВУЗ, чтобы там не нагружали?

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

«Отдавать себя» в чьи-либо руки категорически нельзя.
Даже если вы учитесь в Harvarde, необходимо прилагать
существенные усилия по составлению учебного плана,
то есть записываться не на курс калкулуса
(который и в Harvarde — калкулус, пусть даже это Math 55),
а на «аспирантские» курсы (graduate courses),
на самом деле так называются просто все современные математические курсы
(то есть не калкулус и подобные ему предметы, придуманные для
отсева студентов в других специальностях).

Если же поступить в нормальный университет не удалось
(то есть вы остались в России), то тем более придётся учиться самому,
ибо, как я уже говорил, все дисциплины в учебном плане будут либо пустой
тратой времени, либо просто вредными.
Посильную помощь в этом может оказать физматклуб (и cs-клуб) ПОМИ,
однако он покрывает лишь небольшую часть необходимых знаний,
всё остальное придётся изучать самому.
Рекомендую найти единомышленников и общаться с ними на научные темы.
Также полезно читать MathOverflow.
Очень важно как можно раньше найти себе в ПОМИ научного руководителя
и начать заниматься научной деятельностью, публикуя свои результаты.
При поступлении в американскую аспирантуру публикации могут сыграть
немаловажную (если не важнейшую) роль в увеличении шансов на поступление.

4. Просто порассказывайте каких-нибудь историй, характеризующих вузы.
И самообразование. Надавайте советов по проф. ориентации.

Когда-то я вёл семинар в ПОМИ на котором я и четыре других математика
(один из них — сотрудник ПОМИ, остальные сейчас (2011 год) в американских аспирантурах).
разбирали современные темы из алгебраической топологии.
Это — пример того, как можно организовываться
в отсутствии содержательной деятельности на матмехе.
От семинара осталась страница, на которой есть материалы (и даже видеозаписи) многих лекций:
http://dodo.pdmi.ras.ru/~topology/

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

Дмитрий Павлов, постдок в университете Мюнстера, Германия.
Получил Ph.D. в UC Berkeley в 2011 году.
Занимаюсь алгебраической топологией, в частности функториальной теорией поля.
Домашняя страница: http://dmitripavlov.org/
Страница на MathOverflow: http://mathoverflow.net/users/402/dmitri-pavlov

Comments

Обновление манифеста

Mon, 24 Jan 2011 18:27:53 GMT

Прошло два года с момента публикации моего «манифеста» (терминология не моя) об изложении математики,
и настало время для обновления, которое выложено в виде ответа на MathOverflow.

Основные отличия:

Отказ от модельных категорий в пользу (∞,1)-категорий.
Я всё больше убеждаюсь в том, что теоретико-множественный формализм
топологических пространств — это исторический курьёз,
и формализм локалей подходит для тех же целей гораздо лучше.
Например, при его использовании мы автоматически получаем
эквивариантные и семейственные версии соответствующих теорем
(Хана-Банаха, Гельфанда-Наймарка, Банаха-Алаоглу и других).
Как побочный эффект, отпадает всякая необходимость в аксиоме выбора,
лемме Цорна и им подобных.
Области применения включают в себя общую топологию, теорию меры,
коммутативную алгебру, алгебраическую геометрию, алгебраическую топологию,
топологические векторные пространства, операторные алгебры и многие другие.

Comments

Алгебраическая топология управляет миром

Tue, 18 Jan 2011 02:09:25 GMT

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

Только что слушал доказательство гипотезы Вейля о числах Тамагавы
для случая функциональных полей в исполнении Лури
(если кто не знает — самый великий математик за время после Гротендика).

Comments

TeX

Fri, 30 Apr 2010 05:47:28 GMT

И снова я возвращаюсь к теме TeXa.

Вот здесь: http://mathoverflow.net/questions/23019/why-does-the-arxiv-produce-a-messed-up-dvi-when-the-pdf-is-fine
я просвещаю людей, как надо делать PDF из TeXa.

Если вкратце, есть программа dvipdfm, которая является
непосредственным аналогом dvips для PDF.
Именно ей и надо пользоваться.
Всё остально, что я знаю — pdftex/pdflatex, ps2pdf,
и всякие экзотические методы вроде запуска Distillera,
гораздо хуже.

Если использовать PostScript в качестве промежуточного формата, то качество
шрифтов в силу неизвестных мне особенностей конвертирующих программ
падает до совершенно безобразного.

Что касается pdftex/pdflatex, то их лучше вообще на запускать — они известны тем,
что получающийся PDF файл не везде можно прочесть, а кроме того, они имеют
ряд возможностей, несовместимых с обычным TeXом — что означает, что
когда формат PDF выйдет из моды, все такие тексты внезапно окажутся некомпилируемыми.

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

Кто знает, может, через 10–15 лет PDF отправят на помойку,
а все математические тексты будут использовать
в качестве промежуточного формата представления HTML вместе с CSS и SVG, тем
более что современный CSS и HTML предоставляют возможность точного
позиционирования текста на странице, а также позволяют подгружать шрифты — то
есть ни чем не отличаются по возможностям от DVI/PostScript/PDF.
(Не то чтобы я рад такой перспективе,
но она не более отвратительна, чем нынешние PDF/PostScript.)

Что в таком варианте делать с кучей текстов на TeX,
заточенных под под возможности pdftex/PDF, вообще непонятно.

Один чудак по ссылке вообще предлагает делать
TeX-файлы некомпилирующимися нигде, кроме pdftex.
Ну и что с такими делать?

Это, кстати, ещё одна причина, по которой я категорически
отвергаю LaTeX в пользу Plain TeX.
Текст, набранный в Plain TeX в 1982 году,
скомпилируется сегодня и будет выглядеть
точно так же, как и в 1982 году.
Текст набранный в LaTeX в 1995 году,
сегодня может запросто не скомпилироваться
(по причине того, что LaTeX и его многочисленные пакеты постоянно меняются
и новые версии несовместимы со старыми),
а может скомпилироваться и выглядеть по другому, нежели чем в 1995 году.

Тем временем, после длительных колебаний я сделал поддержку
математических символов Plain TeX в кодировке UTF-8.
Я не поклонник Unicode и UTF-8, но, кажется, это единственный
распространённый способ набирать математические символы в тексте.
Текущий экспериментальный макропакет можно наблюдать на моей странице Plain TeX:
http://dmitripavlov.org/tex/
Теперь можно писать в формулах $a≤B∩C∪D⊗D≠E$,
и математические символы Unicode в кодировке UTF-8
правильно отобразятся в макросы Plain TeX.

Comments

Образование как карго-культ

Tue, 09 Mar 2010 04:02:06 GMT

Вдогонку к предыдущей записи,
мой бывший одногруппник из ЛИТМО, а ныне аспирант и преподаватель математики там же,
написал, что реально происходит на занятиях по математике в этом университете.

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

«Сравнивать мехмат с аналогичными западными
учреждениями нельзя: во-первых, там нет "факультетов"
как таковых, то есть студенты могут выбрать себе
специализацию и вообще ходить на другой факультет;
по факту, МГУ это не "университет" в традиционном
смысле, а конгломерат мало связанных специальных
вузов. Во-вторых, мехмат вдесятеро больше
математического департмента Гарварда или
математического института в Оксфорде -- и по
количеству профессоров, и по количеству студентов.
Подобных размеров математических факультетов
в Европе, кажется, нет.»

Количественные оценки в цитате верные.
Я произвёл автоматический подсчёт: на мехмате обнаружилось 193 профессора и 190 доцентов.
Всего получается 383 человека на должностях, условно аналогичных американским tenure и tenure-track должностям.
В моём математическом департаменте, одном из самых больших в США,
насчитывается 67 человек на tenure и tenure-track позициях, что почти в 6 раз меньше.

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

Преподавание математики в российских университетах
является в настоящее время изощрённым карго-культом:
Cargo cult activity in the Pacific region increased significantly during and immediately after World War II, when large amounts of manpower and materials were brought in by the Japanese and American combatants, and this was observed by the residents of these regions. When the war ended, the military bases were closed and the flow of goods and materials ceased. In an attempt to attract further deliveries of goods, followers of the cults engaged in ritualistic practices such as building crude imitation landing strips, aircraft and radio equipment, and mimicking the behaviour that they had observed of the military personnel operating them.

Практический пример карго-культа:
«Спрашиваю: "Кто из вас, четверокурсников, планирует в дальнейшем работать по специальности, соответствующей диплому?" Улыбаются, но никто не говорит: "Я".
Спрашиваю: "Так зачем вам эта шестилетняя лихорадка?" (как-то иначе спросил, конечно, корректно).
Девушка: "У нас в фирме, если нет высшего образования, то ты первый кандидат на вылет при сокращении штатов".
"А что за фирма, если не секрет, чем занимается?"
"Торговлей".»

Обновление: А вот ещё одно мнение бывшего студента ЛИТМО.

Comments

Реальная стоимость моего институтского образования отрицательна

Sat, 06 Mar 2010 10:08:17 GMT

Хочу обратить внимание читателей на интересное обсуждение одного из институтов (теперь — «университета») Санкт-Петербурга.

Я три года назад окончил этот институт и знаю, что дискуссия описывает реальную ситуацию.
Смотрите мои комментарии про местного «гуру» программирования и про то, что за образование надо платить, если уехал.

Однако всё познаётся в сравнении.
Например, остальные «программистские» кафедры ЛИТМО
просто нашпигованы профессорами Эль-Наши местного значения.
Если бы в 2002 году я обладал той же информацией, что обладаю сейчас,
то постарался бы получить стипендию и поступить в американский университет,
где брал бы аспирантские курсы по математике.
А если бы не получилось, то пошёл бы в тоже самое место — просто потому,
что остальные (например, матмех ЛГУ) ещё хуже,
ибо требуют тратить впустую ещё больше времени, чем обсуждаемое место в ЛИТМО.
Надо сказать, что на четвёртом и пятом курсе в ЛИТМО я, пользуясь помощью
В. Парфёнова и И. Попова, сделал себе индивидуальный план (если кто не знал,
в российских вузах это возможно, хотя и не афишируется),
благодаря чему удалось выкинуть почти весь мусор из программы и заменить
его на курсы Физматклуба.
В ретроспективе, конечно, я бы сделал индивидуальный план начиная с первого курса
— хотя тогда ещё и не было Физматклуба и заменять бы пришлось на что-нибудь другое.

Обновление: Теперь там же можно прочитать ещё более отрезвляющий комментарий от нынешнего студента.

Обновление: А вот ещё независимый взгляд на гуру «автоматного программирования».

Comments

Страх перед нулём и единицей.

Tue, 09 Feb 2010 07:28:33 GMT

Наша жизнь полна предрассудков и необоснованных страхов.
Однако не все знают, что предрассудки и страхи
во множестве присутствуют в математике.
Сегодня я расскажу всего лишь про один такой
предрассудок — страх перед нулём и единицей.

Древнегреческие математики не считали единицу числом,
а понятия нуля у них вовсе не существовало.
По этой причине утверждения о целых числах содержали в себе
несколько аналогичных формулировок для случаев,
когда рассматриваемые числа равны или не равны единице,
что можно видеть у Эвклида, когда он излагает свой алгоритм нахождения
наибольшего общего делителя («Начала», книга 7, предложения 1 и 2) — он вынужден
формулировать два предложения вместо одного (предложение 1 излагает случай,
когда наибольший общий делитель равен 1, а предложение 2 — когда не равен).

За прошедшие две тысячи лет люди освоили понятия нуля и единицы,
но страх перед ними остался.

Далее я привожу список разнообразных верных утверждений,
вызывающих отторжение под влиянием этого страха.

У пустого множества есть ровно один эндоморфизм — пустая функция.
Вообще, из пустого множество в произвольное есть ровно одна функция — функция
с пустой областью определения.
(А из произвольного непустого множества в пустое функций нет.)

Натуральные числа — это те, которые используются при счёте.
Это определение я услышал в пятом классе.
Счёт — это вычисление мощностей конечных множеств.
Пустое множество конечное, стало быть число 0 — натуральное.
~~По-другому думают только ретрограды и мракобесы.~~

Классическое проявление страха перед нулём — нумерация всего и вся с единицы,
хотя зачастую более естественно нумерация последовательными натуральными
числами, начиная с минимального — нуля, а часто наиболее естественным вариантом
является отказ от нумерации.

Некоторые ~~сумасшедшие~~ продолжают утверждать, будто 0^0 не определено.
Особенно популярно это мнение в среде жёстких аналитиков.
(И вообще, жёсткий анализ (в противоположность мягкому) — это один
из основных источников мракобесия в математике,
как отметил один из моих знакомых.)
Обосновывают они его следующим аргументом:
функция (x,y) → x^y не является непрерывной в точке (0,0).
Однако запись многочленов и рядов в форме ∑_k a_k x^k
возможна только и исключительно при условии, что 0^0 = 1.
Формула бинома (x+y)^n = ∑_k {n\choose k} x^k y^{n-k}
верна для всех n≥0 и произвольных x и y
также только при условии, что 0^0 = 1
(иначе надо потребовать, что x≠0, y≠0 и если n=0, то x+y≠0).
Количество отображений из n-элементного множества
в m-элементное равно m^n — смотри замечание
выше про эндоморфизмы пустого множества.
Отсюда тоже получаем, что 0^0 = 1.
Список можно продолжать до бесконечности.

Сумма пустого множества чисел есть 0.
Произведение пустого множества чисел есть 1.
Упражнение: вычислите значение башни степеней
x^{y^{z^…}} для пустого семейства чисел.

Нулевое векторное пространство имеет пустой базис
и обладает ровно одним эндоморфизмом — нулевым.
Определитель эндоморфизма нулевого векторного пространства равен 1,
а его матрицей будет пустая матрица
(матрица с пустым множеством строк и столбцов).
Морфизмы из нулевого или в нулевое векторное пространство
будут иметь пустое множество столбцов или строк.

Произведение пустого семейства объектов
(или предел пустой диаграммы) есть терминальный объект,
копроизведение пустого семейства объектов
(или копредел пустой диаграммы) есть начальный объект.
Тензорное произведение (в моноидальной структуре)
пустого семейства объектов есть моноидальная единица.
В частности, тензорное произведение пустого семейства
векторных пространств есть основное поле.

Норму гомоморфизма нормированных пространств f: X→Y часто
определяют как sup_{x∈X: x≠0} ‖f(x)‖/‖x‖ или как sup_{x∈X: ‖x‖=1} ‖f(x)‖.
Эти определения не работают в случае X=0,
а также, если допускаются полунормы, в случае если полунорма нулевая.
Правильное определение, работающее во всех случаях, в том числе и для полунорм:
‖f‖=sup_{x∈X: ‖x‖≤1} ‖f(x)‖.

Конъюнкция пустого семейства утверждений истинна,
дизъюнкция пустого семейства утверждений ложна.
Объединение пустого семейства множеств есть пустое множество.
Пересечение пустого семейства множеств есть класс всех множеств
(или универсум, или другой аналогичный объект — зависит
от используемых теоретико-множественных оснований).
Например, топология на множестве X — это семейство его подмножеств,
замкнутое относительно произвольных объединений и конечных пересечений внутри X.

Забывающий функтор из категории пунктированных множеств
в категорию морфизмов множеств, интерпретирующий пунктированное множество A
как морфизм из одноэлементного множества в A, имеет левый сопряжённый функтор.
Значение этого функтора на объекте A→B обозначается B/A
и называется фактормножеством множества B по множеству A.
(Здесь имеет место очевидная волность речи.)
В случае A=∅ имеем B/∅=B⊔*, объединение B и одноэлементного множества,
тем самым фактормножество иногда может быть больше исходного множества,
а факторотображение может не быть сюръективным.

Весьма показательна ошибка, которую сделал Hartshorne в своём
учебнике алгебраической геометрии в определении предпучка — он определяет
предпучок абелевых групп как предпучок абелевых групп в обычном смысле,
удовлетворяющий дополнительному условию F(∅)=0.
Это вызывает проблемы уже на элементарном уровне
(нельзя определить постоянный предпучок обычным образом,
непонятно как определить предпучок со значениями в произвольной категории),
а куча утверждений про предпучки (например, про универсальные копополнения)
становятся просто неверными.
На самом деле это условие является следствием аксиом пучка.
Действительно, для произвольной категории C предпучок
со значениями в C — это контравариантный функтор
из противоположной категории открытых множеств
данного топологического пространства в C,
а пучок — это предпучок, удовлетворяющий свойству спуска:
конус спуска произвольного покрытия произвольного открытого множества
является предельным конусом.
Если взять пустое покрытие пустого множества, получаем,
что значение пучка на пустом множестве является терминальным объектом.

Желаю всем читателям избавиться от своего страха перед нулём и единицей,
если он у них есть, и пользоваться этими понятиями свободно,
без дополнительных оговорок.

Поводом к написанию записи послужило одно замечание одного математика,
в котором он использовал пучки абелевых групп, обладающие свойством F(∅)=0,
и весьма обрадовался, когда я объяснил ему, что это свойство
является тривиальным следствием определения пучка.

Comments

Стоимость человеческой жизни

Thu, 04 Feb 2010 07:13:09 GMT

Придумал такую квазинаучную конструкцию:

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

В каком возрасте достигается максимум?
(Ответ предполагает также наличие внятного опеределения функции стоимости человеческой жизни.)

Comments

Семинар по струнной топологии

Mon, 28 Dec 2009 17:46:00 GMT

Приехав на зимние каникулы,
организовал очередной топологический семинар,
на этот раз будем изучать струнную топологию
(Chas, Sullivan, Cohen, Jones, Воронов и другие).
Первый доклад во вторник, 29 декабря 2009 года в 19 часов в ПОМИ.
Приглашаются все желающие, если таковые имеются.

Домашняя страница семинаров: http://dodo.pdmi.ras.ru/~topology/
Надеюсь записывать лекции на камеру и выкладывать их.
Не уверен, правда, что это кому-то нужно.
Посещаемость семинаров неуклонно падает — старые участники понемногу
уезжают в аспирантуру (и не приезжают на каникулы), новых топологов не видно.
Из моего потока в ЛИТМО (Институт точной механики и оптики, 2002 год поступления,
на потоке изначально училось 42 человека, некоторых потом отчислили)
три человека поступили в математические аспирантуры различных западных университетов (Berkeley, Yale, Northwestern).
Сложно представить себе, чтобы такое могло произойти сейчас, видимо даже если рассматривать
поток отделения математики матмеха, да и весь матмех. Или это не так?
Будет интересно, если кто-нибудь с матмеха расскажет, сколько выпускников в среднем продолжают
заниматься математикой и где.

Тем временем, библиотека Эйлера
выложила очередные два сборника «Математика».
Кроме того, в ней по-прежнему лежат все журналы от Springera
(и ещё несколько других), а скоро снова будет доступна колхозная коллекция
(все выпуски вплоть до последнего 28-го, а возможно и до 32-го — когда выпустят очередное обновление).

Коррекция: по пожеланиям участников семинар перенесён на 19 часов.

Comments

Книги по физике

Thu, 06 Aug 2009 16:14:00 GMT

Мне недавно подарили библиотеку, а в ней — много книг по физике, которые я вряд ли буду читать.
Отдам в хорошие руки бесплатно. Распространение списка среди заинтересованных людей приветствуется.
Книги находятся в Петербурге.
А вот список книг:

Волошин, Тер-Мартиросян, Теория калибровочных взаимодействий элементарных частиц, 1984.
Окунь, Лептоны и кварки, 1990.
Барбашов, Нестеренко, Модель релятивистской струны в физике адронов, 1987.
Трейман, Джеки, Гросс, Лекции по алгебре токов, 1977.
Исаев, Квантовая электродинамика в области высоких энергий, 1984.
Элементарные частицы и компенсирующие поля, 1964.
Окунь, Слабое взаиомодействие элементарных частиц, 1963.
Бернстейн, Элементарные частицы и их токи, 1970.
Браун, Джексон, Нуклон-нуклонные взаимодействия, 1979.
Ли, Ву, Слабые взаимодействия, 1968.
Биррелл, Девис, Квантовые поля в искривлённом пространстве-времени, 1984.
Ициксон, Зюбер, Квантовая теория поля, том 1 и 2, 1984.
Хуанг, Кварки, лептоны и калибровочные поля, 1984.
Коллинз, Перенормировка, 1988.
Швебер, Бете, Гофман, Мезоны и поля, 1957.
Балдин, Гольданский, Максименко, Розенталь, Кинематика ядерных реакций, 1968.
Бьёркен, Дрелл, Релятивисткая квантовая теория, том 1 и 2, 1978.
Уэст, Введение в суперсимметрию и супергравитацию, 1989.
Бринк, Энно, Принципы теории струн, 1991.
Кройц, Кварки, глюоны и решётки, 1987.
Неупругие взаимодействия адронов и ядер при высоких энергиях, выпуск 1 и 2, 1984.
Эдер, Фаулер, Странные частицы, 1966.
Вильдермут, Тан, Единая теория ядра, 1980.
Хелзен, Мартин, Кварки и лептоны, 1987.
Кириллов-Угрюмов, Никитин, Сергеев, Атомы и мезоны, 1980.
Дрелл, Захариазен, Электромагнитная структура нуклонов, 1962.
Окунь, Слабое взаимодействие при высоких энергиях, 1978.
Теория групп и элементарные частицы, 1967.
Гольданский, Никитин, Розенталь, Кинематические методы в физике высоких энергий, 1987.
Нелипа, Физика элементарных частиц. Калибровочные поля, 1985.
Боум, Фогель, Физика массивных нейтрино, 1990.
Новый метод в теории сильных взаимодействий. Двойные дисперсионные представления, 1960.
Друкарев, Теория столкновений электронов с атомами, 1963.
Мурзин, Сарычева, Физика адронных процессов, 1986.
Мурзин, Сарычева, Множественные процессы при высоких энергиях, 1974.
Никитин, Розенталь, Теория множественных процессов, 1976.
Завьялов, Перенормированные диаграммы Фейнмана, 1979.
Далиц, Странные частицы и сильные взаимодействия, 1964.
Нгуен Ван Хьеу, Лекции по теории унитарной симметрии элементарных частиц, 1967.
Байер, Катков, Фадин, Излучение релятивистских электроновы, 1973.
Маляров, Основы теории атомного ядра, 1959.
Комминс, Буксбаум, Слабые взаимодействия лептонов и кварков, 1987.
Славнов, Фаддеев, Введение в квантовую теорию калибровочных полей, 1978.
Коккеде, Теория кварков, 1971.
Фейнман, Взаимодействие фотонов с адронами, 1975.
Фейнман, Квантовая электродинамика, 1964.
Весс, Беггер, Суперсимметрия и супергравитация, 1986.
Тейлор, Калибровочные теория слабых взаимодействий, 1978.
Индурайн, Квантовая хромодинамика, 1986.
Квантовая теория калибровочных полей, 1977.
Коллинз, Сквайрс, Полюса Редже в физике частиц, 1971.
Электромагнитные взаимодействия и структура элементарных частиц, 1969.
Клоуз, Кварки и партоны, 1982.
Мигдал, Фермионы и бозоны в сильных полях, 1978.
Бюклинг, Каянти, Кинематика элементарных частиц, 1975.
Проблемы теории гравитации и элементарных частиц, 1978.
Мигдал, Теория конечных ферми-систем и свойства атомных ядер, 1983.
Васильев, Квантовополевая ренормировка в теории критического поведения в стохастической динамике, 1998.
Бете, Моррисон, Элементарная теория ядра, 1958.
Хриплович, Несохранение чётности в атомных явлениях, 1988.
Боголюбов, Ширков, Квантовые поля, 1993.
Введение в супергравитацию, 1985.
Райдер, Квантовая теория поля, 1987.
Коноплёва, Попов, Калибровочные поля, 1972.
Гриб, Мамаев, Мостепаненко, Вакуумные квантовые эффекты в сильных полях, 1988.
Френкель, Принципы теориия атомных ядер, 1950.
Грин, Шварц, Виттен, Теория суперструн, 1990.
Новожилов, Введение в теорию элементарных частиц, 1972.
Сакураи, Токи и мезоны, 1972.
Теория сильных взаимодействий при больших энергиях, 1963.
Иоффе, Липатов, Хозе, Глубоконеупругие процессы, 1983.
Адлер, Дашен, Алгебры токов и их применения к физике элементарных частиц, 1970.
Соколов, Введение в квантовую электродинамику, 1958.
Деформация атомных ядер, 1958.
Монастырский, Топология калибровочных полей и конденсированных сред, 1995.
Менский, Группа путей: измерения, поля, частицы, 1983.
ДеВитт, Динамическая теория групп и полей, 1987.
Боголюбов, Ширков, Введение в теорию квантованных полей, 1976.
ДеФльфаро, Фубини, Фурлан, Росетти, Токи в физике адронов, 1976.
Ширков, Серебряков, Мещерков, Дисперсионные теории сильных взаимодействий при низких энергиях, 1967.
Левинджер, Фотоядерные реакции, 1962.
Абрикосов, Горьков, Дзялошинский, Методы квантовой теории поля в статистической физике, 1962.
Камал, Задачи по физике элементарных частиц, 1968.
Никитин, Протасов, Топоркова, Фесено, Котов, Сборник задач по физике элементарных частиц, 1992.

Тамм, Основы теории электричества, 1956.
Фейнман, Хибс, Квантовая механика и интегралы по траекториям, 1968.
Давыдов, Квантовая механика, 1963.
Блохинцев, Основые квантовой механики, 1983.
Биденхарн, Лаук, Угловой момент в квантовой физике, 1984.
Соколов, Лоскутов, Тернов, Квантовая механика, 1965.
Паули, Общие принципы волновой механики, 1947.
Мак-Витти, Общая теория относительности и космология, 1961.
Варшалович, Москалёв, Херсонский, Квантовая теория углового момента, 1975.
Базь, Зельдович, Переломов, Рассеяние, реакции и распады в нерелятивистской квантовой механике, 1966.
Мигдал, Крайнов, Приближённые методы квантовой механики, 1966.
Кюри, Радиоактивность, 1960.
Гайтлер, Квантовая теория излучения, 1956.
Бете, Солпитер, Квантовая механика атомов с одним и двумя электронами, 1960.
Грин, Матричная квантовая механика, 1968.
Бабиков, Метод фазовых функций в квантовой механике, 1988.
Фок, Начала квантовой механики, 1976.
Шифф, Квантовая механика, 1959.

Топтыгин, Космические лучи в межпланетных магнитных полях, 1982.
Гальцов, Частицы и поля в окрестностях чёрных дыр, 1986.
Новиков, Фролов, Физика чёрных дыр, 1986.
Уилер, Гравитация, нейтрино и вселенная, 1962.
Бёрке, Пространство-время, геометрия, космология, 1985.
Паули, Теория относительности, 1983.

Кузнецов, Щеглов, Методы диагностики высокотемпературной плазмы, 1980.
Михайловский, Неустойчивости плазмы в магнитных ловушках, 1978.
Вопросы теории плазмы, 1987.
Чен, Введение в физику плазмы, 1987.
Бом, Общая теория коллективных переменных, 1964.
Смирнов, Проблема шаровой молнии, 1988.
Заславский, Сагдеев, Введение в нелинейную физику: от маятника до турбулентности и хаоса, 1988.
Каулинг, Магнитная гидродинамика, 1959.
Ландау, Собрание трудов, том 2, 1969.

Comments

Манифест Dieudonné («Все мы учились в одном гадюшнике…»)

Wed, 15 Jul 2009 19:09:37 GMT

Время от времени я начинаю разъяснять, почему геометрия, в том виде, как она
сейчас преподаётся в школе, малоосмысленна, и почему ситуацию с этим необходимо менять.
Вот, например, несколько недавних дискуссий, есть и другие: 1, 2, 3.

Недавно я прочитал предисловие к книге Dieudonné 1964 года Algèbre linéaire et géométrie élémentaire
и обнаружил, что в этом предисловии ясно и понятно изложены все те мысли, которые я уже давно пытаюсь
разъяснять в различных дискуссиях.
По этой причине я решил воспроизвести русский перевод этого предисловия ниже.

Что (не)удивительно, с 1964 года прошло уже 45 лет, а воз и ныне там — за это время ничего
не изменилось. Из различных маразмов, описанных Dieudonné, единственное, чего мне удалось избежать — шары Данделена.
Зато очень много времени было потрачено впустую на окружность девяти точек, построения циркулем и линейкой,
решения задач на треугольники, разучивание псалтыря тригонометрических формул и прочие бессмыслицы.
В свете параграфа про высоты треугольника и сопротивление материалов донельзя забавным представляется
комментарий в одной из недавних дискуссий.
Система аксиом, которой мы пользовались на геометрии, была неполной,
по причине чего теоремы часто «доказывались» неявным использованием интуитивно очевидного утверждения.
И это — в двух лучших математических школах Петербурга — 30-ой и 239-ой.
Что творится в обычных школах, страшно даже подумать.

От себя могу добавить, что при первоначальном изучении геометрии, по-видимому, можно определить точку
как пару рациональных чисел. После можно ввести операции векторного пространства, подробно изучить их
геометрический смысл. Затем можно определить прямую параметрическим образом, научиться пересекать прямые
(и доказать, что точка пересечения единственная), проводить прямую через две точки (с доказательством
единственности), и так далее. Через некоторое время станет ясной необходимость введения вещественных
чисел (а на алгебре будет параллельно доказана иррациональность квадратного корня из 2).
Вещественные числа, по-видимому, проще всего ввести как сечения.

Что самое забавное, аргументация Dieudonné точно также применима к студенческой программе по математике.
Вот список некоторых вещей, которые я или люди на курс младше меня в своё время должны были изучать или делать:

Условно сходящиеся ряды и интегралы;
Эпсилон-дельта формализм;
Остаточный член формулы Тейлора в форме Шлёмильха-Роша;
Интеграл Римана;
Интеграл Стильтьеса;
Вычислить производные от 50 функций;
Вычислить интегралы от 50 функций;
Формулы Грина, Гаусса и Стокса;
Вихрь, градиент и дивергенция;
Раскрытие неопределённостей;
Криволинейные интегралы первого и второго типа;
Тензор — это набор чисел, изменяющийся следующим образом при замене системы координат…;
Решение обыкновенных дифференциальных уравнений методом разделяющихся переменных, методом подстановки и ещё десятком трюков (про это ещё Rota написал в своё время);
Курс «аналитической геометрии» (при наличии курса линейной алгебры);
Набор трюков для решения трёх уравнений с частными производными («математическая физика»);
Вычисление интегралов путём вычетов.

Каждый может легко продолжать этот список до бесконечности.
Было бы неплохо изъять из учебного плана принудительную галиматью вроде «математического анализа», «аналитической геометрии»,
«теории функций комплексного переменного», «дифференциальных уравнений», «теории вероятностей», «математической физики»,
«дискретной математики», «математической статистики», «численных методов» и им подобных
и заменить их на такие: «общая топология», «линейная алгебра», «гладкие многообразия», «комплексная геометрия»,
«теория меры», «гармонический анализ», «микролокальный анализ», «алгебраический анализ и D-модули»,
«геометрический анализ» и так далее. С современным содержанием и в современном изложении.
[Наличие в любом плане научно-технической специальности кучи
принудительной гуманитарной ахинеи я и вовсе оставляю за скобками.]
К сожалению, всё это абсолютно нереалистично в нынешних условиях… А жаль.
Извините, что так резко — мне просто жаль кучи бессмысленно потраченного времени в студенческие годы.
Просьба воспринимать всё это как призыв к конструктивной деятельности, а не деструктивной.
[Впрочем, банальное изъятие из плана кучи гуманитарного мусора, отнимающего ценное время, можно, наверное, рассматривать как конструктивное действие.]

А теперь — собственно предисловие к книге Dieudonné.
Ввиду ограничения на длину записи в LJR выкладываю его отдельно здесь.

Comments

Гомотопическая теория графов

Fri, 26 Jun 2009 19:07:37 GMT

Удивительное рядом.
Bisson и Tsemo опубликовали статью,
в которой они вводят нетривиальную модельную структуру на топосе ориентированных графов.

Категория ориентированных графов определяется как категория предпучков множеств на категории, состоящей
из двух объектов и двух параллельных стрелок между ними.
В частности, эта категория образует топос.
Более удивительно, что на этом топосе можно ввести нетривиальную кофибрантно
порождённую модельную структуру.
Расслоениями в этой структуре будут морфизмы графов, индуцирующие для каждой вершины и её образа
сюръекцию на множестве выходящих из них рёбер.
Корасслоениями будут вложения, получающиеся путём приклеивания к графу путём толчка нескольких
деревьев, растущих от корня.
Наконец, слабыми эквивалентностями будут морфизмы, индуцирующие биекцию на множестве циклов.

В этой модельной структуре граф будет фибрантным, если у него нет тупиков — вершин, из которых не выходят рёбра.
Кофибрантный граф — это в точности копроизведение произвольного набора конечных циклов, к которым
приклеены путём толчка несколько деревьев, растущих от корня.

Кофибрантной заменой будет копроизведение всех циклов в графе с очевидным морфизмом в этот граф.

У категории графов есть важная цепочка подкатегорий: полная подкатегория графов,
у которых из каждой вершины выходит ровно одно ребро, у которой есть полная подкатегория
графов, у которых в каждую вершину входит ровно одно ребро, у которой есть полная подкатегория
дискретных графов: у каждой вершины есть петля.
Между этими категориями есть несколько пар сопряжённых функторов,
которые не являются гомотопическими, но являются функторами Квиллена, и у них есть
тотальные производные функторы, вычисляющие нетривиальную информацию.

А вот забавная теорема: два конечных графа гомотопически эквивалентны в том и только в том случае,
если они почти изоспектральны, что равносильно совпадению дзета-функций этих графов.

Comments

Русская терминология

Mon, 22 Jun 2009 15:16:43 GMT

При проведении семинаров на русском языке (чем я занимаюсь каждый год в зимние и летние каникулы)
постоянно возникает необходимость в переводе английских терминов.
В четверг участниками семинара был составлен следующий словарик:
pullback — оттяг;
pushforward — толчок;
cup product — чашечное произведение;
cap product — кепочное производение (в просторечии — шапочное произведение).

Если у кого есть собственные переводы этих или других терминов — оставьте комментарий.

Comments

Изложение математики

Sun, 25 Jan 2009 01:21:11 GMT

Скопилось несколько мыслей по поводу того, как можно
концептуализировать и упростить а ля Гротендик
изложение некоторых хорошо известных разделов математики.

Теория меры должна формулироваться и излагаться на языке
коммутативных алгебр фон Неймана без упоминания сигма-алгебр.
Частное: L^p-пространства должны формулироваться и излагаться
на языке модулярных алгебр Ямагами.

Линейная алгебра должна формулироваться и излагаться на языке
симметричных моноидальных абелевых категорий без упоминания
координат и базисов и с полноценным использованием суперсимметрии,
позволяющей отождествить понятия внешней и симметрической алгебры,
а также алгебр Клиффорда и Вейля.

Гладкие многообразия должны формулироваться и излагаться на языке
вещественных алгебр без упоминания координат, карт и атласов.
Возможно также использование языка пучков,
хотя он и необязателен ввиду аффинности гладких многообразий.
Изложение должно вестись с полноценным использованием суперсимметрии,
в частности должно даваться концептуальное изложение
дифференциальных форм как функций на многообразии суперточек,
вместе с градуировкой и дифференциалом де Рама возникающими из действия
группы диффеоморфизмов суперточки.

Тоже самое для комплексных многообразий — только
здесь уже надо использовать пучки.

(Надо сказать, что теории схем сказочно повезло —
для схем координаты невозможно использовать в принципе.)

Алгебраическая топология должна формулироваться и излагаться на языке
модельных категорий, одновременно для
топологических пространств и симплициальных множеств.

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

Операды должны формулироваться и излагаться на языке
свёртки Дея и подстановочного произведения.

Где бы теперь взять книги,
излагающие перечисленные предметы соответствующим образом?…

Добавление: То, что некоторые области должны излагаться
по-новому, вовсе не означает, что мы должны отказываться от существующей
интуиции, мотивации и набора примеров. Многие комментаторы почему-то
подумали именно это.

Добавление: Вопреки моим изначальным намерениям,
многие комментаторы посчитали, что пост является программой по реформированию математики.
Это не так, я не предлагаю никаких программ.
Пост является набором изолированных мыслей по различным разделам математики.
Максимум, на что я претендую — чтобы были написаны учебники,
использующие такие подходы, а студентам при обучении сообщали об их
существовании и давали ссылки на литературу.

Comments

Гипотеза о кобордизмах

Sun, 25 Jan 2009 00:43:54 GMT

Jacob Lurie недавно опубликовал статью с доказательством гипотезы о кобордизмах Баеза-Долана,
которая, грубо говоря, утверждает, что n-категория кобордизмов
является свободной n-категорией на одном объекте (в соответствующем смысле — подробности в статье).

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

Comments

Русский Plain TeX

Mon, 27 Oct 2008 00:07:20 GMT

Вот уже более восьми лет я использую исключительно TeX для набора чего-то
более сложного, чем текстовый файл.
Поскольку LaTeX мне освоить не удалось ввиду его колоссальной сложности,
пришлось остановиться на Plain TeX.
А поскольку приличной русификации в то время не было и нет до сих пор,
мне пришлось сделать свою, которую и использую уже много лет.
Сегодня я решил выложить её на всеобщее обозрение:
http://dmitripavlov.org/tex/

Замечания, вопросы и комментарии приветствуются.

Comments

Рентгеновские снимки при помощи скотча

Fri, 24 Oct 2008 04:54:27 GMT

В журнале Nature опубликована статья, в которой рассказывается,
что обыкновенный скотч служит источником рентгеновского излучения,
и притом достаточно сильным для того, чтобы
сфотографировать скотч в обычном спектре без дополнительной подсветки (всё освещение — от сцинтиллятора)
и делать рентгеновские снимки пальца.
Смотри также описание статьи на русском языке в блоге Игоря Иванова.

Comments

Grothendieck

Wed, 06 Aug 2008 20:40:39 GMT

Я, как всегда, узнаю всё последним, но если кто-то ещё не видел отчёт о поездке к Гротендику в июне 1988 года, который написал Roy Lisker, то его можно найти здесь:
http://fermentmagazine.org/Quest88.html

И вообще, интересная страница с материалами про Гротендика:
http://fermentmagazine.org/home5.html

Comments

Community service

Sat, 12 Apr 2008 04:25:38 GMT

Если кому-нибудь нужны книги по математике (а также по физике и программированию),
то я могу купить их здесь и привезти в Петербург.
Я могу покупать книги в трёх местных магазинах, а также в сетевых.
(Конечно, сетевыми магазинами можно пользоваться и в России, однако
доставка в Россию очень дорогая, идёт очень долго (2 месяца), могут
возникнуть проблемы с таможней, и кроме того, не у всех есть подходящие платёжные средства.)

По этим ссылкам можно проверить, есть ли какая-нибудь книга в местных магазинах:
http://nedsbooks.com/ucb/
http://www.moesbooks.com/moes/search.html
http://ucberkeley.bkstr.com/

Для сетевых магазинов есть неплохая поисковая система:
http://www.bookfinder.com/

Comments