[personal profile] posic
http://flying-bear.livejournal.com/818929.html

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

Date: 2009-09-18 05:52 pm (UTC)
From: [identity profile] pargentum.livejournal.com
Целочисленная арифметика матанализ не содержит. :)

Date: 2009-09-18 06:19 pm (UTC)
From: [identity profile] anril.livejournal.com
хаха. http://en.wikipedia.org/wiki/Number_theory#Analytic_number_theory

Date: 2009-09-18 06:22 pm (UTC)
From: [identity profile] posic.livejournal.com
Целочисленная арифметика содержит ВСЁ. Как там Гаусс говорил, что ли -- математика царица наук, а теория чисел -- царица математики. Видимо, именно в силу центральности арифметики ее обычно не включают в список трех главных разделов. Вы примерно представляете себе, сколько матанализа входит в доказательство распределения простых или теоремы Дирихле о простых в арифметической прогрессии, не говоря уже большой теореме Ферма или гипотезе Рамануджана-Петерсона?

Date: 2009-09-18 08:32 pm (UTC)
From: [identity profile] posic.livejournal.com
Вообще, в последовательности числовых систем

натуральные числа -> целые -> рациональные -> вещественные -> комплексные

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

Date: 2009-09-18 09:07 pm (UTC)
From: [identity profile] roma.livejournal.com
и вот вопрос, который меня лично может в бесконечную рефлексию -- насколько эта смена ощущения связана с тем, что ты лучше стал представлять себе математику и место своей области в ней, а насколько с чисто
гормональным что ли явлением, что человеку после определенного возраста свойственно меньше дергаться, быть спокойнее и на каком-то уровне уверенней в себе, чем молодому )

Date: 2009-09-18 09:13 pm (UTC)
From: [identity profile] posic.livejournal.com
По-моему, ни с тем и ни с другим. Просто я раньше мыслил себе свою тематику как "свойство кошулевости", а теперь как "кошулеву двойственность". Такой возможности перестановки акцентов у меня не было до весны 99 года, в известном смысле.

Date: 2009-09-18 09:38 pm (UTC)
From: [identity profile] posic.livejournal.com
(Это не говоря о наличии причинно-следственной связи между свойством людей после определенного возраста становиться на каком-то уровне увереннее в себе и свойством людей к определенному возрасту вырабатывать себе лучшее представление о мире и своем месте в нем, наряду с чисто гормональным что ли фактором.)

Date: 2009-09-18 10:08 pm (UTC)
From: [identity profile] sea-hog.livejournal.com
формулировка порадовала. Правильно ли я понимаю, что автор связан с методом орбит?

Date: 2009-09-18 10:37 pm (UTC)
From: [identity profile] posic.livejournal.com
Правильно. (Моя манера избегать фамилий в открытых постингах выглядит иногда нелепо, я понимаю.)

Date: 2009-09-19 05:48 am (UTC)
From: [identity profile] Лев Горенштейн (from livejournal.com)
Великолепная формулировка! А можно приватно узнать полное имя автора, чтобы иметь возможность цитировать? Можно без расскринивания.

Date: 2009-09-19 07:27 am (UTC)
From: [identity profile] pargentum.livejournal.com
А почему тогда столько ругались про основания матанализа?

Date: 2009-09-19 09:56 am (UTC)
From: [identity profile] posic.livejournal.com
Потому что проблемы оснований -- это другой вопрос, не имеющий отношения к обсуждаемому в исходном постинге. Слово "содержит" многозначно, и в данном случае имеются в виду отнюдь не основания.

Date: 2009-09-19 11:11 am (UTC)
From: [identity profile] posic.livejournal.com
Кстати, и проблемы оснований анализа (а равно алгебры и геометрии) с современной точки зрения выглядят совсем не так, как они, видимо, представлены в популярных источниках об эпохе дискуссии об основаниях. Просто во времена этой дискуссии матлогика была еще в зачаточном состоянии, а матанализ, скорее, уже перевалил свой золотой век и там занимались, среди прочего, довольно заковыристыми вопросами типа дескриптивной теории множеств/ТФДП или поточечной сходимости рядов Фурье.

Сейчас уже давно известно, что почти весь классический матанализ 18-первой половины 19 века, а также и функциональный анализ, можно построить в рамках аксиоматических систем, по силе эквивалентных арифметике; самое важное в нем можно формализовать и в рамках систем, по силе соответствующих слабым подсистемам арифметики. Просто сколько-нибудь приличная функция однозначно определяется своим ограничением на рациональные числа, а ее значения в рациональных числах можно задавать алгоритмами для приближений; или можно саму функцию аппроксимировать ступенчатыми, и т.п. Использование мощных теоретико-множественных аксиом в анализе и алгебре -- вопрос либо простоты и удобства, либо желания заниматься достаточно специальными вопросами.

Date: 2009-09-20 07:37 pm (UTC)
From: [identity profile] roma.livejournal.com
а что произошло весной 99-го?

Date: 2009-09-20 07:51 pm (UTC)
From: [identity profile] posic.livejournal.com
Я, наконец, построил неоднородную кошулеву двойственность. В смысле эквивалентности (экзотических) производных категорий (С)DG-модулей и (C)DG-комодулей. Например, модулей над алгеброй Ли и DG-(ко)модулей над ее стандартным комплексом.

Пока эта задача не решилась, она рассматривалась как неразрешимая (а которые меня не читают -- некоторые из тех -- и сейчас считают ее неразрешимой, и даже чуть ли не очевидно неразрешимой). Хотя Й.Б. и потом В.В. говорили мне, что она должна решаться.

Date: 2009-09-20 07:54 pm (UTC)
From: [identity profile] posic.livejournal.com
Даже заскриниваемые комменты индексируются Яндексом.

Сходите сюда -- http://bravchick.livejournal.com/17365.html -- и дальше по ссылкам. Если и это не поможет, значит так тому и быть.

Date: 2009-09-21 05:18 am (UTC)
From: [identity profile] Лев Горенштейн (from livejournal.com)
Спасибо, помогло.
Page generated Jan. 20th, 2026 12:39 pm
Powered by Dreamwidth Studios