1Множества, отображения и числа
1.1Добро пожаловать!
Привет! Это онлайн-учебник по математическому анализу — науке, изучающей функции, пределы, скорости роста, бесконечные суммы, площади под кривыми.Анализ традиционно является первым или одним из первых предметов, относящихся к высшей математике. Он нужен практически всем — лингвистам, химикам, физикам, политологам и, конечно, самим математикам.
Его можно изучать на разных уровнях строгости. Можно оперировать неформальными описаниями, картинками и отдельными примерами, и таким образом обсуждать множество важных и содержательных вещей, опираясь на уже имеющуюся интуицию и представления об окружающем нас мире. Например, для многих приложений достаточно понимать, что интеграл — это площадь под графиком функции, и не обязательно знать его формальное определение, равно как и доказательства связанных с ним теорем: достаточно естественных и знакомым всем свойств площадей.
В то же время, есть понятия, про которые трудно говорить и думать на таком неформальном языке, поскольку у нас нет естественной интуиции о них. В первую очередь, речь о понятии бесконечности, которое пронизывает весь анализ и всю математику, но при этом выходит за рамки привычного для нас опыта. Чтобы почувствовать в этом случае твёрдую почву под ногами, нам приходится опираться на формальные определения, а для этого — научиться с ними работать с помощью аккуратных рассуждений. Это и составляет основу любого «строгого» курса анализа — в том числе, и нашего.
Будучи введением в серьёзную математику, курс анализа демонстрирует связь между интуитивным, образным математическим мышлением и работой с формальными рассуждениями. Эти два режима мышления дополняют друг друга. Без интуиции невозможно придумать ничего нового, но интуиция может легко нас подвести. Чтобы проверить её, мы записываем аккуратные доказательства, проверяя, что каждый шаг является верным. Но справедливо и обратное: не имея интуиции и правильных образов математических объектов, легко пропустить ошибку в формальных рассуждениях. Реальное понимание доказательства возникает не в тот момент, когда вы его проверили строчка за строчкой, а тогда, когда в голове возникла чёткая картинка, в которой вы видите всю «механику» происходящего.
Появление таких правильных «картинок», или лучше сказать «ментальных моделей» математических объектов и является нашей целью. Однако, оно невозможно без использования аккуратного математического языка, изучения большого количества доказательств и самостоятельного решения задач.
Это непростой курс. Я был бы рад написать по нему простой учебник, но это невозможно. Как правило, анализ повергает в шок большинство студентов — что вполне естественно, учитывая резко возросший, по сравнению со школой, уровень строгости и сложности конструкций. Тем не менее, я постарался максимально «смягчить удар», используя подробные объяснения, неформальные мотивировки, большое количество иллюстраций и встроенных вопросов для самопроверки. В то же время, нужно иметь в виду, что в освоении любой математической дисциплины учебник играет скорее вспомогательную роль; реальное понимание приходит исключительно в результате самостоятельного взаимодействия с математическими объектами в ходе решения задач.
Этот учебник изначально был написан для студентов Совместного бакалавриата по экономике НИУ ВШЭ и РЭШ, где мне посчастливилось читать лекции по анализу на протяжении четырёх лет. «Посчастливилось» здесь — не фигура речи: каждый раз я получал огромное удовольствие от этого курса, от общения со студентами, коллегами, которые вели семинары, и учебными ассистентами.
Я благодарен Дмитрию Дагаеву за конспекты его лекций, служившие мне опорой при разработке этого курса, всем студентам, а также читателям, указывавшим на опечатки и непонятные моменты в тексте. Отдельно мне хочется поблагодарить Ольгу Крылову — незрячую студентку, поступившую на нашу программу в 2020-м году. Её смелость мотивировала меня взяться за написание подробных конспектов и в итоге сделать учебник, доступный, насколько это возможно, для людей с нарушениями зрения. Так я понял важную истину: забота о тех, кому тяжелее всего, делает мир лучше для всех.
1.2Множества
1.2.1Примеры множеств
Мы начнём с самых базовых объектов анализа (да и в целом математики), из которых строится всё остальное: с множеств, отображений и чисел.Вообще, в математике принято давать строгие определения всем вводимым понятиям. Однако, когда мы даём определение новому понятию, мы описываем его с помощью слов, каждое из которых, по идее, также нуждается в определении. Поскольку этот процесс не может продолжаться до бесконечности, в какой-то момент мы вынуждены остановиться, и сказать, что некоторые понятия мы не будем определять формально.
Это как бы определение даёт мало информации — фактически, в нём сказано, что множество — это набор, а что такое набор — так же непонятно. Чтобы стало чуть более понятно, давайте приведём пару примеров:
Утверждение «элемент входит в множество » кратко записывается таким образом:
Например, множество является подмножеством множества из примера 1, а множество — не является.
Обратите внимание на разницу между знаками и . Например, для множества , справедливо утверждение , справедливо утверждение , но неверно, что , поскольку элементами являются числа, а не множества. Для множества , наоборот, , зато .
Неверный ответ. Нет, не является подмножеством множества : оно содержит это множество как элемент. Если вы хотите создать множество, единственным элементом которого является множество , оно будет записываться как .
Верный ответ. Действительно, не является подмножеством множества : оно содержит это множество как элемент. Если вы хотите создать множество, единственным элементом которого является множество , оно будет записываться как .
Как мы видим из примера 3, множества могут содержать в себе другие множества. Тут может возникнуть соблазн рассмотреть «множество всех возможных множеств», однако это приводит к проблемам (подробнее можно посмотреть в статье про парадокс Рассела в Википедии). Таких проблем удаётся избегать, если мы разрешаем рассматривать лишь множества, которые понятным образом строятся из уже определенных ранее множеств. Так мы и будем поступать. Есть более аккуратные способы определения множеств путём ввода некоторой системы аксиом, но для всех практических целей нам будет достаточно «наивного» понятия о множествах, которое обсуждается здесь.
1.2.2Операции над множествами
Нам понадобятся некоторые известные операции с множествами.1.3Отображения
Вы наверняка встречались с понятием функции. В математике есть два набора терминов, которые описывают одно и то же — в одних случаях используется слово «функция», в других — «отображение». Слово «отображение» выглядит чуть более универсальным термином. Его можно было бы определить формально, опираясь только на понятие множества, но мы ограничимся неформальным описанием.1.4Числа
Основным строительным материалом для всего последующего курса будут различные числовые множества.1.4.1Натуральные числа
Множество натуральных чисел обозначается буквой . Единственный камень преткновения: считать ли ноль натуральным числом. Как правило, натуральные числа «определяются» как «числа, используемые при счёте предметов». В этом случае среди натуральных чисел нет нуля, и это соответствует распространённому в России соглашению. Есть другой подход — сказать, что натуральные числа — это «мощности конечных множеств» (см. определение 8). В этом случае ноль следовало бы считать натуральным, потому что это мощность пустого множества. Такое соглашение принято, например, во Франции. Мы будем использовать соглашение, принятое в России, и не будем считать 0 натуральным числом.1.4.2Целые числа
Множество целых чисел обозначается буквой . Натуральные числа являются подмножеством целых (натуральные числа — это в точности целые положительные числа).Каких чисел больше: натуральных или целых? Казалось бы, отрицательных целых чисел «столько же», сколько положительных, то есть натуральные числа входит в число целых дважды, да ещё остаётся ноль. То есть целых должно быть вдвое больше, чем натуральных (и ещё чуть-чуть больше). На самом деле, для бесконечных множеств такая логика не работает: легко придумать взаимно однозначное соответствие между натуральными и целыми числами (например, можно воспользоваться тем, как эти множества записаны выше: отобразить в , в , в , в , в и т.д.), так что с тем же успехом можно сказать, что их «поровну». Аккуратное утверждение состоит в том, что множества целых и натуральных чисел равномощны.
1.4.3Рациональные числа
Множество рациональных чисел состоит из всевозможных обыкновенных дробей вида , то есть дробей с целым числителем и натуральным знаменателем. Конечно, мы знаем, что бывают разные дроби, задающие одно и то же число: например, . Вообще, для любого целого , дроби и задают одно и то же число.Арифметические операции с рациональными числами задаются с помощью стандартных правил действий с обыкновенными дробями.
Целые числа входят в множество рациональных чисел — это в точности рациональные числа со знаменателем .
Если числа и взаимно просты, дробь является несократимой. (Если бы у и были натуральные делители, отличные от , на них можно было сократить, а так сокращать не на что.)
Эта теорема кажется очевидной, но на самом деле таковой не является. Например, если бы мы разрешили знаменателю принимать не только натуральные, но и любые целые ненулевые значения, теорема была бы неверна: , хотя обе дроби несократимы. Её аккуратное доказательство требует либо веры в основную теорему арифметики (о том, что любое целое число однозначно задаётся в виде произведения простых сомножителей), которая имеет не очень короткое доказательство, либо использования алгоритма Евклида. Второй подход приведён в виде серии задачи в семинарских листочках.
1.4.4Вещественные числа
С вещественными (действительными) числами всё сложно. Интуитивно, вещественные числа — это длины отрезков, площади фигур и т.д. Но чтобы аккуратно их ввести в математику, человечество потратило несколько тысяч лет: тот факт, что длины отрезков могут не выражаться рациональными числами, был известен ещё Древним Грекам за несколько сотен лет до нашей эры, но аккуратно вещественные числа были введены в математику только в XIX веке.В рамках лекций мы будем следовать «школьному» определению: вещественное число — это бесконечная десятичная дробь, то есть бесконечная вправо последовательность цифр, у которой на каком-то месте стоит десятичная запятая (в англоязычной традиции — десятичная точка). Множество вещественных чисел обозначается буквой (от слова real, действительный).
Чтобы какое-то множество можно было с полным правом называть числовым, нужно, чтобы на нём были определены арифметические операции. Для конечных десятичных дробей это делается с помощью стандартных алгоритмов сложения и умножения (столбиком) и деления (уголком), которые проходят в школе. Для бесконечных десятичных дробей так просто это сделать не получается, и мы не будем этим заниматься — скажем только, что сделать это возможно, и результат будет соответствовать нашим интуитивным представлениям об этих операциях. (Для желающих у нас заготовлена серия задач, в которых вещественные числа определяются несколько иначе — как некоторые множества рациональных чисел — мы их дадим, когда все будут к этому готовы.)
Рациональные числа входят в множество вещественных чисел. Этот факт, вообще говоря, не прямо следует из определения, но его можно доказать, воспользовавшись алгоритмом деления уголком и свойствами геометрических прогрессий.
Чтобы не казалось, что мы зря возимся с вещественными числами, давайте докажем, что иррациональные числа существуют. Для этого предъявим по крайней мере одно такое число: .
(Конечно, можно было бы не верить в существование иррациональных чисел, и сказать, что раз не является рациональным, то просто нет такого числа, нельзя вычислить квадратный корень из двух, и всё тут; проблема в том, что тогда мы не могли бы никак измерить длину диагонали квадрата со стороной 1, которая, по теореме Пифагора, равна как раз . Это было бы неудачно.)