לא מדויק

[utnapishti]

Думается, что все, кому это может быть интересно - и так знают.
Но на всякий случай.

Есть очень хороший математический блог на иврите. Называется "לא מדויק", автора зовут Гади Александрович.

Большинство записей - очень ясное и интуитивное изложение разных реалий высшей (но не чересчур продвинутой или специальной) математики. Когда я их читаю, у меня возникает ощущение "мне завидно, что не я это написал".
Есть также немало записей элементарного уровня, в том числе посвящённых математическим задачам-головоломкам.

(Я вспомнил о нём, потому что с недавних пор Гади (вместе с одним из своих коллег) ведёт на сайте ha-Aрец раздел математических головоломок.)

Comments

[dingir.livejournal.com]

если вдруг случайно наткнешься на нечто подобное на русском, мне было бы интересно почитать и попробовать что-то понять : )

[utnapishti.livejournal.com]

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

Однажды я написал некий текст как раз в духе блога Гади, про "парадокс Банаха-Тарского" (https://ru.wikipedia.org/wiki/%D0%9F%D0%B0%D1%80%D0%B0%D0%B4%D0%BE%D0%BA%D1%81_%D1%83%D0%B4%D0%B2%D0%BE%D0%B5%D0%BD%D0%B8%D1%8F_%D1%88%D0%B0%D1%80%D0%B0). Всё никак не соберусь переписать его более вразумительно и выложить у себя как одно целое. Если любопытно, смотри здесь (http://gershshpraihler.livejournal.com/896111.html?thread=7892079#t7892079).

[baohe.livejournal.com]

Первый же пост про (על כדורים שטוחים וחצאי הרים) показался мне вводящим в заблуждение. Окрестность любой точки многообразия должна быть "топологически похожа" на Евклидово пространство, но при этом она может быть сколь угодно кривой. Кривизной же занимается риманова геометрия. Если из сферы удалить точку, то (как многообразие) оно ничем не будет отличаться от Евклидовой плоскости соответствующей размерности.

[utnapishti.livejournal.com]

Я про это всё ничего не знаю, поэтому не могу судить. Что именно вводит в заблуждение? Что не так? Т.е. где там "написано так-то, а на самом деле так-то"?

[baohe.livejournal.com]

יש אנשים שאם מביאים להם כדור, נאמר כדור הארץ, מייד מתחילים להגיד שלא! זה שטוח! זה מישור! כי הנה, תראו, אני עומד על הכדור, ואני מסתכל לכל הכיוונים, ולכל אשר אני מסתכל, הכל שטוח! אז זה מישור! לא כדור!

לאנשים הללו קוראים "מתמטיקאים" ומה שהם מתארים פה הוא את המושג של יריעה שהוא אחד המושגים החשובים במתמטיקה. יריעה היא מרחב שיכול להיות מאוד מסובך מבחינת המבנה הגאומטרי שלו (למשל – כדור), אבל באופן מקומי, כשאני נעמד באיזו שהיא נקודה של המרחב ומסתכל מסביבי (אחרי שוידאתי שאני מוריד משקפיים והראייה שלי ממש לא משהו) מה שמסביב נראה לי פחות או יותר כמו מישור ....

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

[utnapishti.livejournal.com]

Ну так ещё в пределах того, что ты процитировал, написано "נראה לי פחות או יותר כמו מישור".
Вообще же, его записи явно не для тех, кто видит всё это в первый раз, а для тех, кто учил формально, а хочет понять интуитивно.
В данном случае - какая бы ни была кривизна, в достаточно маленькой окрестности manifold будет-таки похож на плоскость, разве не так?

[baohe.livejournal.com]

В данном случае - какая бы ни была кривизна, в достаточно маленькой окрестности manifold будет-таки похож на плоскость, разве не так?

Смотря на то, что ты имеешь ввиду под словами "похож на плоскость". Если имеется ввиду "гомеоморфен плоскости", то ты прав. Если же речь идёт о "прямом как плоскость (שטוח)", то - нет. У сферы постоянная кривизна, и какую окрестность точки не бери - кривизна будет одинаковая. С другой стороны, для того, чтобы показать, что сфера это многообразие (manifold), достаточно атласа из двух карт: вся сфера без северного полюса и она же без южного.

[baohe.livejournal.com]

А задачки то в ha-Aрец уж больно хороши ....

Ещё один день в жизни пропал!