
Байки старого педагога


Урок первый: числа и функции
Всем, умученным от "линейки" и "матана",
посвящается и к изучению предписывается.
Аффтар. |
Сначала чуть-чуть истории. В славные советские времена проводилась чёткая грань между "элементарной" (она же школьная) математикой и "высшей" (она же институтская). Эта грань проходила по матану™: страшные слова "производная" и "интеграл" были табуированы; их запрещалось произносить на вступительных экзаменах, а составители школьных учебников механики рыдали и изъяснялись исключительно эзоповым языком.
Потом появилась пресловутая "колмогоровская программа", которая довольно бездумно перенесла азы матана в школу. Как всегда, почти никто не объяснял школьникам, чтó они делают и зачем, а вместо этого стали учить ремесленной составляющей, - как делать, и тренировать безошибочность действий "на время" (т.е., как получать хорошие оценки на экзамене). При этом оказалось, что "дифференцировать - это просто", и с этим школьники справляются легко, а интегрировать - ужас-ужас.
Дети - существа живучие, и так или иначе все, умученные от матана в школе и институте выросли и как-то нашли себя в жизни. Тем не менее некоторым, наверное, до сих пор интересно, - "а что вот всё это было?" Сегодня, много лет спустя, пришло время раскрыть секрет и объяснить-таки интересующимся, чему их пытались научить.
Какими бывают числа
Я попробую начать с простого, - что вообще можно делать на уроках математики? Ответ знают все: вычислять. Если ж однако задуматься над тем, что такое "вычисление", то оказывается, что базовых кирпичиков раз-два и обчёлся. Начнём с того, что у нас есть Числа, и с ними можно делать Арифметические операции. Не со всеми числами можно делать все операции. Если мы начали с натуральных чисел, то их всегда можно складывать между собой, а вот вычитать уже можно не всегда. Сегодня мы сказали бы, что уравнение x+a=b имеет решение в натуральных числах не всегда. Иногда это обидно до слёз: очень хочется, чтоб все такие уравнения решались, иначе в долг давать стрёмно. Для этого умные люди к натуральным числам добавили отрицательные и ноль, - и ура, - все такие уравнения теперь решаются.Операция сложения с одним и тем же числом, повторённая несколько раз, называется умножением. Свойства сложения тем самым определяют свойство умножения однозначно. И снова оказывается, что умножать друг на друга натуральные числа можно всегда, а вот решить уравнение ax=b можно не всегда, - не всякое число делится на что попало. Однако же делиться между собой так свойственно людям! Очень хочется добавить ещё чисел так, чтобы делить было всегда возможно. Добавляем такие числа (их называют дробными, или рациональными), - и дело в шляпе. Правда, одно уравнение так и не решается: 0.х=1. Наверное, нет такого третьеклассника, который бы не задавался вопросом, почему на ноль делить нельзя. В школе объясняли, что не положено, и точка, иногда с доказательством, что любое рациональное число при умножении на ноль даёт ноль. А может, можно придумать какое-нибудь новое число, не рациональное, которое даст не ноль в произведении?
Правильный ответ на самом деле другой. Делить на ноль можно, надо только понимать, чем за это придётся заплатить. Если мы добавим новое число, назовём его "эйнсоф", и предположим, что оно таки удовлетворяет уравнению 0х=1, то окажется, что с таким эйнсофом нельзя будет выполнять другие операции, например, вычитать его из самого себя. Эдакий троянский конь: пусти его в огород, и падут крепостные стены. Ещё одна неприятность - отношение "больше-меньше" потеряет смысл. Если же подобные неприятности вас не пугают, например, если вам существенно только то, что "числа образуют прямую линию", то такой "эйнсоф" прекрасно можно добавить, и поиметь с того массу преимуществ. Числовая прямая при этом замкнётся и станет окружностью ("проективной прямой"), но, поверьте, игра стóит свеч. В мире, где делят на ноль, не будет параллельных прямых (любые две прямые будут или совпадать, или пересекаться), все конические сечения (эллипс, парабола и гипербола) будут выглядеть одинаково... Очень интересный мир.
Мы же предпочтём сохранить привычную алгебраическую структуру(1) (она называется "поле") и будем работать с полем рациональных чисел Q, которые пока смело можно называть просто "числа", - других-то у нас нет (пока). Числа эти "ложатся на прямую", значит, можно рисовать картинки, разные подмножества прямой и т.д.
Какими бывают функции
Разобравшись с числами, поговорим о функциях. Собственно, "функция" - слово, неявно участвующее в меметическом термине матан™. Полный титул почтенного предмета - "Математический анализ функций". Что же такое "функция"?Сегодня школьников и студентов учат, что функция - это любым образом заданное правило, которое каждому элементу а из "области определения функции" (каковое может быть совершенно любым множеством А) сопоставляет единственный элемент f(a) из некоторого другого множества В, называемого областью значений. Причина, по которой выбрано такое всеобщее определение, - желание математиков "прикрыть зад" и не ограничивать ничем список возможных "правил". Скажем, если множества А и В конечные, то функцию можно задать просто таблицей, перечислив значение функции для всех элементов множества А. Если множества А и В - числовые, функция может быть задана арифметической формулой. Любая другая осмысленная формула тоже легитимна: например, абсолютная величина |a| может быть определена "формулой" |a|=max {a, -a}, если кому-ниудь не нравится определять её разными формулами для положительных и отрицательных значений а. Разрешаются правила, использующие предельный переход, всевозможные бесконечные конструкции, произвольные алгоритмы (если доказано, что алгоритм всегда заканчивает свою работу за конечное число шагов). Наконец, - в качестве оружия Судного дня, - дозволяются функции, чьё существование всего лишь постулируется (т. н. аксиомой выбора Цермело; даже математики очень не сразу смирились с признанием таких "функций", но без них было бы слишком хлопотно, да и кое-какие важные вещи повисли бы в воздухе).
Но это всё разнообразие, по большому счёту, от лукавого. До середины 19 века (а для подавляющей части человечества и сегодня) функция - это то, что может быть задано формулой, позволяющей эффективно вычислять значения функции. Если мы обозначим, как это принято, иксом ту дырку в формуле, вместо которой надо подставлять значения аргумента функции, и разрешить выполнять с этим иксом три из четырёх арфметических действий, то мы получим в качестве функций все многочлены (они же полиномы) от одной переменной. Нетрудно видеть, что сумма, разность и произведение таких многочленов снова окажется многочленом. Если разрешить ещё и деление, то (приведением к общему знаменателю) можно всегда выразить результат как рациональную функцию, - дробь, в числителе и в знаменателе которой будут многочлены от одной переменной (того самого икса). Из-за того, что знаменатель кое-где может обращаться в нуль, область определения рациональной функции может быть меньше, чем Q (некоторые значения икса запрещены; напомним, что делить на тождественный нуль у нас запрещено).
И всё. Других функций у пятиклассников нет и быть не может(2). А как же корень из икса, спросит восьмиклассник? Ответим вопросом на вопрос: а что такое вообще корень из какого-нибудь числа а? Хорошо, когда а=4, хуже(1), когда

Приходится в список разрешённых "правил" вносить "выбор корня уравнения". Если у нас есть уравнение с двумя неизвестными


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



=0)


Все перечисленные классы функций используют для своего описания лишь конечное число закорючек (переменных, параметров, знаков арифметических действий, скобок и т.д.). В школе соответствующий предмет назывался "Алгебра" и был унылой тоской, поскольку основным содержанием предмета было отыскание явных решений явных уравнений в тех редких специально подобранных случаях, когда такое решение может быть выписано явной формулой.
Но есть ещё один класс функций, без которого было бы совсем скучно, и с появлением которых алгебра становится матаном. Это класс функций, в записи которых участвует многоточие, а ещё точнее - "многочлены бесконечной степени" (их ещё степенными рядами называют). Самый простой пример - геометрическая прогрессия,

)

=x+x^2+x^3+x^4+/cdots=S(x)-1)



=/frac1{1-x})




А ещё какие функции бывают? (историческое отступление)
Перечисленные классы функций можно уподобить результатом поиска под фонарём, потому что там светлее и можно легче всё разглядеть. На самом деле, конечно, человечеством двигало отнюдь не праздное любопытство, а желание понять, как ведёт себя природа. По какой траектории летит камень? А по какой - Луна вокруг Земли? По какой траектории будет двигаться гвоздь, вбитый в обод тележного колеса? А какую форму принимает свободно провисающая цепь, прибитая за два конца? Как остывает нагретое тело? Сколько оборотов сделает волчок, прежде чем остановится? Какую форму имеет воронка водоворота? Как сделать маятник, у которого период колебаний в самом деле не зависел бы от амплитуды? Как идеально запарковаться задом в просвет между двумя машинами? Как посадить первую ступень "Фалькона" так, чтобы она не упала?Все эти (и многие другие) вопросы человечество задавало себе со времён Архимеда, но всерьёз прорыв произошёл только после того, как Ньютон всерьёз понял всю мощь бесконечных(5) степенных рядов (за что ему в Тринити-колледже присудили степень бакалавра, а сами ряды стали называть рядами Тейлора-Маклорена). Это тот самый Ньютон, если кто не знал, который открыл законы механики, в частности, обнаружил, что они имеют вид дифференциальных уравнений. Сложивши два и два, Ньютон пошёл решать дифференциальные уравнения в классе степенных рядов направо и налево, чем заслужил ревность Лейбница.
Композиция
Кроме арифметических или алгебраических манипуляций, новые функции могут появляться на свет при помощи композиции, сиречь последовательного выполнения правил. Если

=f(g(x)))

)
)

В этом определении роли функций несимметричны: важно, какая из них вычисляется первой, а какая - второй. Если мы переставим их местами, то даже согласованность областей определения и значений может нарушиться, не говоря уже о том, что результат запросто может получиться разным. Например, если
=2x,/%20f(x)=x+1)
)=2x+1)
)=2(x+1)=2x+2)
Терминологическое замечание. До сих пор мы имели дело только с функциями: так всегда делают, когда имеют дело с числовыми функциями, определенными на подмножествах числовой прямой и принимающих числовые же значения. Напротив, композиция совершенно не требует никакой арифметики, и поэтому очень часто слово "функция" заменяют словом "отображение", говорят не о значении функции в точке, а об образе элемента под действием отображения и т.д. Надо твёрдо помнить: никакой формальной разницы между функциями и отображеними нет, не было и не будет. В разных контекстах один термин может быть более употребителен, чем другой, но и только.
Аффинные и линейные функции
Внимательные читатели могли бы заметить, что предыдущие примеры функций были построены по общей схеме. Выбиралась какая-то "алгебраическая структура" (скажем, арифметические операции, т.,е.,, "структура поля"), и рассматривались всевозможные функции, которые можно произвести из "тождественной функции"=x)
Вместо этого можно было бы поступить следующим образом. Рассмотрим всевозможные "сложения" (правильнее называть их сдвигами), функции вида
=x+b)

=ax,/%20a/in/mathbb%20Q)
)
Заметим, что если наклон

=ax+b)


/a)


=x)
Математически тот факт, что композиция аффинных отображений с ненулевым наклоном снова будет отображением с ненулевым наклоном, выражается сентенцией "Аффинные отображения с ненулевым наклоном образуют группу по отношению к операции композиции" (кто помнит, что такое группа - тот молодец, а кто не помнит, - это не очень важно на данном этапе, группа и группа, - набор каких-то объектов, которые можно композировать). Как уже было отмечено, эта группа некоммутативна, однако в ней есть две естественных подгруппы, - сдвиги и линейные отображения, каждая из которых сама по себе коммутативна:
+q=(x+q)+p,/%20a(bx)=b(ax))

Всё сказанное про аффинные отображения (функции) означает, что со всех точек зрения это очень маленькая и миленькая группа, про которую всё понятно и на любой вопрос можно дать немедленный ответ. Скажем, есть аффинная функция и како-нибудь отрезок прямой. Где эта функция достигает своего минимума/максимума? (один из первых вопросов исследования любой функции). Ответ немедленный и очевидный: если наклон положительный, то максимум будет на правом конце отрезка, а минимум - на левом. Если наклон отрицательный - то наоборот. А если наклон нулевой - "этот опрос сосёт"©.
Ещё один простой, но интересный вопрос - как распознать параметры аффинной функции. Представьте себе, что сидит напротив вас оракул: вы задаёте ему любой икс по вашему выбору, а он вам в ответ выдаёт число, значение
)
)
)
=ax+b)
)
-f(0)}{x})



)
-f(c)}{x-c})
Мораль
Матан™ - наука о том, что и как можно вычислить, в особенности если допускаются вычисления за бесконечное число шагов. Функции функциям рознь, некоторые весьма замысловаты и не выписываются явной формулой. Но есть особенно простые функции (линейные, а точнее аффинные), про которые на любой вопрос можно получить ответ при помощи арифметических операций.В следующий раз расскажу, зачем нужно дифференцировать и почему это просто. Всех с любимыми праздниками!
___________________________________________________________
(1)Не то, чтоб нужды в дальнейшем расширении понятия числа не было. Если рассматривать уравнение "икс на икс равно двум", которому, согласно теореме Пифагора, должна удовлетворять диагональ квадрата со стороной 1, то такое уравнение тоже не имеет решений в рациональных числах (а где взять другие?). У пифагорейцев случился разрыв шаблона: квадрат есть, и диагональ есть, а длины диагонали нет. Конечно, одно-единственное уравнение можно спасти, добавив число "диагональ", но одним таким числом не ограничиться, - слишком много уравнений не имеет рациональных корней, даже в греческом языке слов не хватит на всё. Пифагор пошёл по пути наименьшего сопротивления, перестал вообще говорить о числах, перестал работать головой, а стал работать циркулем и линейкой, но и здесь его последователи натолкнулись на неразрешимые уравнения. Но это отдельная майса, о ней пока не время говорить.
(2)Особенные зануды могут рассматривать функции, определённые разными формулами на разных подмножествах числовой прямой, но довольно понятно, что "анализировать" такие функции надо тоже "по частям". Кое-какие экзотические примеры можно построить, если рассматривать разбиение Q на бесконечное число разных подмножеств разной степени сложности и задавать значения функций бесконечным числом разных формул, но это нужно только физикам и экономистам, занимающимся случайными процессами.
(3)Придирчивый читатель в этом момент заподозрит, что "чисел", под которыми до сих пор понимались исключительно рациональные числа, оказывается слишком мало: если требовать, чтобы уравнение



(4)Если ограничиться только многочленами степени 2,3,4 (по игреку), то решения любого алгебраического уравнения можно выразить при помощи "радикалов"


(5)Вообще если говорить о том, чем матан™ выделяется из всей остальной математики (алгебры, геометрии, комбинаторики, теории чисел, ...), то главное отличие - существенное использование бесконечности и бесконечных конструкций. С одной стороны, это с самого начала идеологически порочно: в реальном мире нет ничего бесконечного, за конечное время можно выполнить только конечное число действий, срок жизни всего известного до сих пор конечен и т.д. Всякий нормальный администратор категорически запретил бы пользоваться бесконечностью, поскольку с её помощью можно "понадоказывать" страшные вещи. С другой стороны, натуральные числа, самый базисный инструмент нашего понимания мира, вопиюще бесконечны: хоть тресни, а за каждым гигантским числом следует ещё одно, на единицу большее, и никаких причин запретить это победное шествие нет. Но самое существенное выясняется только в процессе матанализа: без использования бесконечности наш мир был бы безвиден и пуст, и самые простые вещи (скажем, длина окружности) в нём были бы невыразимы. В результате приходится придерживаться компромиссной стратегии: бесконечными объектами пользоваться, но очень осторожно. Нужны своего рода правила кашрута, чтобы приготовленное варево оказалось съедобным. Греки вот таких правил не сумели сформулировать (побоялись?), поэтому напрочь отказались от белковой пищи и загнулись в конце концов от веганства. Архимед жёсткими правилами себя не утруждал и, руководствуясь голой интуицией, совершал чудеса (окружающие с ужасом смотрели на те ядовитые ингредиенты, которые он бросал в свой котёл, и не рисковали повторить его эксперименты). В 17-18 веках Ньютон, клан Бернулли, Эйлер и ещё несколько гениальных шеф-поваров научились, подобно Архимеду, готовить восхитительные блюда, но их менее одарённые последователи стали иногда травиться сами и травить клиентов. Потом пришли Вейерштрасс и Коши и установили надзор главного раввината над нашей математической кухней. В 20 веке надзор пришлось усилить, но несмотря на отсутствие банковских гарантий (спасибо Гёделю), лавочку пока закрывать никто не собирается.
(6)Чтение "справа налево" в данном месте принято для того, чтобы естественным образом расставлять скобки в определении
(x)=f(g(x)))
)
f)
)


(7)В определённом смысле мы знаем про функцию






^2=ab)

Кстати, верно ли, что

(8)Аргумент Эйлера был прекрасен. Отец оставил в наследство сыновьям громадный алмаз, и завещал разделить его поровну так. Один год алмаз приналежит старшему сыну, но через год тот должен отдать его младшему, через год младший отдаёт старшему и т.д.
Очевидно, что при такой делёжке каждый из братьев в самом деле владеет ровно половиной наследства, поскольку соглашение кажется симметричным - через год братья поменяются местам
|
</> |