Курс состоит из нескольких жизненных сюжетов, каждый из которых разбирается "по косточкам" и, как выясняется, содержит внутри себя нетривиальное математическое ядро. Это ядро далее также бьётся на "элементарные частицы" - так, что у слушателей возникает понимание всех глубинных механизмов рассматриваемой ситуации. Сюжеты сгруппированы по смыслу: каждая группа сюжетов вращается вокруг одной и той же основополагающей математической идеи. Таких идей всего пять: инвариант, шаг через бесконечность, непрерывность физических процессов, самоподобие природы и нашего её восприятия, и, наконец, алгебраическая природа различных чисел. Курс предназначен для всех, кто хочет лучше представлять себе тот мир, в котором мы живём. Не имея никаких предварительных знаний, слушатели будут введены в курс дела: какая техника используется в математике ("абсолютное доказательство" как главное отличие математического знания от любого иного) и как строить рассуждения. Вскоре выйдет вторая часть, "Математика для энтузиастов", которую нужно будет уже изучать "с листочком бумаги и ручкой в руках". В ней встретится более нетривиальный материал, в том числе "приводные ремни" современной математики - "группы" и "поля". Кроме того, будут вскрыты весьма нетривиальные подоплёки многих школьных задач. Курс состоит из 6 недель и 6 контрольных работ по окончании каждой недели. Для успешного прохождения курса необходимо успешно преодолеть все 6 испытаний.
Задача про карты разного масштаба и теорема Брауэра о неподвижной точке
Loading...
From the course by Moscow Institute of Physics and Technology
Математика для всех
394 ratings
From the lesson
Непрерывность
На четвертой неделе вы узнаете о непрерывности, разрывности, пределах и двойных пределах на примерах задач из окружающего мира.
Meet the Instructors
Савватеев Алексей ВладимировичДоктор физико-математических наук
Кафедра дискретной математики МФТИ
Бычков Борис СергеевичКандидат физико-математический наук, младший научный сотрудник международной лаборитории теории представлений и математической физики НИУ ВШЭ
Кафедра дискретной математики
Главная сила идеи о непрерывности
состоит в возможности доказывать теоремы
о существовании неподвижных точек.
Это и решения систем уравнений,
и теорема о промежуточном значении,
и некоторые другие более сложные результаты, о которых мы еще поговорим.
Давайте представим себе, что мы едем на машине.
И нас обгоняет какая-то очень быстрая машина, мимо нас проезжает машина,
но впереди гаишник ее тормозит за превышение.
И вот мы едем, она нас вроде уже обогнала, но она тормозит,
и в какой-то момент
мы видим, что мы едем параллельно с одной и той же скоростью.
А потом она уже отстает от нас и занимается там уплатой штрафа.
Каждый из нас наблюдал такую картину,
и здесь важно понимать, что если вас обгоняла машина,
а потом она стала тормозить,
то обязательно существует такой момент времени,
в которой ваша машина и та машина едут с одинаковой скоростью.
Поэтому если посмотреть в этот момент
туда, в то окно, в окно их машины,
то кажется, что она просто стоит относительно вас.
Более интересным
приложением идеи непрерывности служит замечательная теорема
о двух картах одного и того же города.
Давайте, например, рассмотрим город Москву.
Вот карта очень большого масштаба, крупная,
по которой очень хорошо ориентироваться, а вот карта более
мелкого масштаба, то бишь сама она будет, по сравнению с вот этой картой,
занимать меньшую территорию.
Я беру вот эту карту и бросаю наугад сверху на вот эту, как угодно,
каким угодно образом положил одну карту на другую.
Теорема, которую мы с вами строго докажем, заключается в том,
что я могу взять булавку и проткнуть
обе карты в одной и той же точке города.
То есть, например, я протыкаю, смотрю, здесь это
Савеловская эстакада, поднимаю эту карту, и там тоже в этом месте
Савеловская эстакада.
Результат достаточно интересный и, я бы сказал, неожиданный.
Многие, с кем я общался и кому я этот результат рассказывал,
просто не верили в него.
Давайте я это докажу следующим образом.
Возьму фломастер
и нарисую
на вот этой маленькой карте
ту зону города Москва,
которую вот эта маленькая карта, в свою очередь,
занимает на большой карте, то есть обведу вот ту зону Москвы,
которая закрыта вот этой картой.
Получается тоже очертание, конечно же, города Москва,
только еще меньшего размера.
Дальше я на вот этих, на этой, на этих очертаниях нарисую опять
ту зону — это же тоже как бы карта Москвы, если мы нарисовали
на этой карте вот эту карту, то, соответственно, это тоже карта Москвы,
только еще меньшего масштаба.
Мы на этой зоне рисуем зону, которую на ней закрывает вот эта вот карта.
На этой рисуем снова и так далее.
Совершенно очевидно после этого,
что в пересечении вот этой вот бесконечной последовательности
зон убывающей, друг в друга вот так вложенной, существует
одна и только одна точка.
Ну и по очевидным причинам это именно та точка,
которая изображается одинаково на обеих картах,
потому что это единственное место, которое могло сохраниться
на всех вот этих картинках. То есть это та точка,
которая оказалась невидимой на вот этой карте по сравнению с большей,
на меньшей по сравнению с меньшей и так далее.
Именно эта точка является той, куда надо вонзить иглу.
Любопытно, что на самом деле теорема, о которой я говорю,
гораздо более общая.
И, может быть, даже
наблюдательный слушатель заметил,
что в то время как вот эта карта,
она по-настоящему масштабная,
то есть в ней, скажем,
Садовое кольцо занимает именно ту часть,
внутреннее Садовое кольцо занимает именно ту часть Москвы,
которую она на самом деле по площади занимает,
внутри он большой,
а к границам Москвы он начинает уменьшаться, и здесь Садовое кольцо
занимает слишком большую территорию, не такую, как на самом деле.
То есть это карты разного масштаба, и мой аргумент с рисованием зон,
которые закрывают
последовательно накладываемые
карты воображаемые, он уже не сработает,
но любопытно, что теорема все равно будет верна.
То есть, исходя из некоторого общего результата,
который я сформулирую чуть позже, всегда будет такая точка,
которую мы пронзим иголкой, она будет изображать одно и то же
место города и там, и там.
Более того, даже если я карту как-то скомкаю, сложу и брошу,
все равно будет возможно найти такую точку.
Правда, может быть, при этом я проколю несколько точек на этой
верхней карте, но одна из них совпадет по положению в городе
с тем, которое будет на нижней.
И на самом деле теорема формулируется следующим образом.
Рассмотрим непрерывное отображение некоторой территории
на плоскости в себя.
Что значит «непрерывное отображение в себя», и какая
именно территория здесь допустима?
Территория, говоря простым человеческим житейским языком,
должна ограничиваться каким-то овалом,
или, математически говоря, должна быть выпуклой.
А что значит «непрерывное отображение»? Это значит, что каждой точке
я сопоставляю некоторую точку,
лежащую тоже внутри этой территории.
То есть каждой точке территории сопоставляется некоторая точка
той же самой территории.
И важно, чтобы близкие точки переходили в близкие.
Когда я кладу одну карты Москвы на другую,
я как раз осуществляю такое отображение, а именно
беру точку на большой карте,
нахожу ее же на маленькой
и сопоставляю то место, которое здесь
будет отражено снова на большой карте.
То есть вот этой точке соответствует вот эта,
вот этой точке, мы должны найти Лосиный остров и смотреть,
что под ним лежит, соответствует вот эта точка и так далее.
Любой точке на большой карте соответствует
какая-то точка на большой карте, которая получается,
если мы найдем изображение этой точки на маленькой карте
и заглянем под нее.
Совершенно ясно, что такое отображение непрерывно, потому что
близкие точки на большой карте
соответствуют близким точкам на маленькой.
И поэтому применима теорема Брауэра,
этот великий результат, который говорит, что если есть непрерывное
отображение вот такой вот выпуклой области в себя,
то всегда существует неподвижная точка, то есть всегда существует
точка на верхней карте и точка на нижней, которые лежат
друг над другом, которые можно проткнуть одной иголкой.
Это настолько общий результат, что совершенно поразительно,
что его удалось доказать.
И 100 лет назад, в общем, некоторое время не было уверенности, что
это действительно никаких дополнительных условий не требует,
что эту теорему можно доказать в такой общности.
Но я хочу предостеречь
слушателей вот от чего.
Если я могу рвать верхнюю карту,
то результат верен уже не будет. То есть здесь непрерывность,
она по существу, непрерывность очень важна.
Давайте я приведу наглядный пример, как теорема перестает быть верна,
если я близким точкам сопоставляю далекие точки.
Я совершаю кощунственное действие,
разрезаю маленькую карту Москвы на две части.
Вот у меня условный север, и вот у меня условный юг.
Условный юг я кладу на север, условный север я кладу на юг.
Предлагаю каждому из вас убедиться в том, что точки, которая изображает
одну и ту же точку, одну и ту же точку Москвы на обоих картах,
не существует, потому что здесь, на верхней карте, все точки северные,
а на нижней — все точки южные, а здесь ровно наоборот.
И проблема здесь именно в том, что на границе произошел разрыв,
какие-то точки отсюда перешли сюда,
а очень близкие к ним точки перешли сюда.
Поэтому непрерывность потеряна, и из-за этого потеряна
возможность найти неподвижную точку,
поэтому видно, что непрерывность — это ключевое понятие
и ключевое требование для этой теоремы.
Без непрерывности теорема уже будет неверна.
Explore our Catalog
Join for free and get personalized recommendations, updates and offers.
Coursera provides universal access to the world’s best education,
partnering with top universities and organizations to offer courses online.
© 2019 Coursera Inc. All rights reserved.
