1. Числовые множества: от натуральных до действительных чисел
Числовые множества: фундамент математического языка
Любая наука начинается с определения объектов, с которыми она работает. В биологии это клетки и организмы, в химии — атомы и молекулы, а в математике базовым строительным блоком является множество. Понимание того, как устроены числа и как они группируются, — это первый шаг к свободному чтению сложных формул в учебниках по высшей математике.
Множество можно представить как коробку или контейнер, в который мы складываем объекты, объединенные общим признаком. Сами эти объекты называются элементами множества. В арифметике и алгебре нас интересуют в первую очередь числовые множества. Исторически математика развивалась путем постепенного расширения этих «коробок»: когда старых чисел не хватало для решения новых практических задач, люди придумывали новые.
> Множество есть многое, мыслимое как единое целое. > > Георг Кантор, создатель теории множеств
Чтобы научиться читать математические словари и справочники, необходимо выучить «алфавит» — стандартные обозначения числовых множеств. Они традиционно записываются специальным двойным шрифтом, который на латыни называется blackboard bold (дословно «жирный шрифт для классной доски»).
Натуральные числа: искусство счета
Самое древнее и интуитивно понятное множество — это натуральные числа. Они возникли из естественной потребности человека считать предметы: одно яблоко, два копья, три овцы.
Для обозначения множества натуральных чисел используется латинская буква (от латинского naturalis — естественный).
К натуральным числам относятся: и так далее до бесконечности. В российской математической традиции ноль не считается натуральным числом, так как мы не используем его при счете реальных предметов (мы не говорим «у меня ноль яблок, одно яблоко...»).
Главное свойство любого множества в алгебре — это то, как внутри него работают математические операции. Для множества характерна замкнутость относительно сложения и умножения. Это означает, что если вы возьмете два любых натуральных числа и сложите их или умножите друг на друга, результат всегда будет натуральным числом.
* (натуральное число) * (натуральное число)
Однако, если мы попытаемся использовать вычитание, идеальная картина рушится. Если у вас есть 3 яблока, вы не можете отдать 5. Операция не имеет решения во множестве натуральных чисел. Чтобы решить эту проблему, математикам пришлось создать новое множество.
Целые числа: концепция долга и симметрии
Чтобы операция вычитания всегда была выполнима, к натуральным числам добавили ноль и отрицательные числа. Так появилось множество целых чисел, которое обозначается буквой (от немецкого Zahlen — числа).
Множество включает в себя:
Отрицательные числа долгое время не признавались математиками. В Европе они стали активно использоваться только с развитием банковского дела и бухгалтерии, где отрицательное число удобно описывало финансовый долг. Если ваш баланс равен монетам, и вы покупаете товар за монет, ваш новый баланс становится (вы должны две монеты).
Теперь мы можем свободно складывать, умножать и вычитать любые числа, не выходя за пределы множества . Но что произойдет, если мы попытаемся разделить одно целое число на другое?
Если мы разделим на , мы получим — целое число. Но если мы попытаемся разделить на , мы не найдем ответа во множестве . Невозможно поровну разделить 5 золотых монет между двумя людьми так, чтобы каждый получил целое количество монет. Требуется новое расширение.
Рациональные числа: искусство деления
Потребность в измерении длин, весов и в справедливом разделе имущества привела к появлению дробей. Множество всех дробей называется множеством рациональных чисел и обозначается буквой (от английского quotient — частное).
Рациональное число — это любое число, которое можно представить в виде обыкновенной дроби.
В этой формуле: * — само рациональное число. * — числитель, который должен быть целым числом (). * — знаменатель, который должен быть натуральным числом (). Знаменатель не может быть равен нулю, так как деление на ноль не определено.
Любое целое число также является рациональным, потому что его можно записать как дробь со знаменателем . Например, число — это .
Рациональные числа можно записывать не только в виде обыкновенных дробей, но и в виде десятичных. При этом десятичная запись рационального числа всегда будет либо конечной, либо бесконечной периодической.
| Обыкновенная дробь | Десятичная запись | Тип десятичной дроби | | :--- | :--- | :--- | | | | Конечная | | | | Конечная | | | или | Бесконечная периодическая | | | | Бесконечная периодическая |
Период — это группа цифр, которая повторяется бесконечно. Если вы видите число с повторяющимся паттерном, знайте: его всегда можно превратить в обыкновенную дробь , а значит, оно рационально.
Пример перевода периодической дроби в обыкновенную: допустим, у нас есть число . Умножим его на , получим . Теперь вычтем из второго уравнения первое: . Получаем , откуда , что после сокращения дает .
Иррациональные числа: разрушение идеального мира
В Древней Греции последователи Пифагора верили, что весь мир можно описать с помощью целых чисел и их отношений (дробей). Их философия базировалась на том, что множество рациональных чисел абсолютно и покрывает любые возможные длины.
Но однажды они попытались вычислить длину диагонали квадрата со стороной, равной . Согласно теореме Пифагора, квадрат гипотенузы равен сумме квадратов катетов.
Следовательно, длина диагонали равна числу, квадрат которого равен двум (). Пифагорейцы попытались найти такую дробь , которая при умножении сама на себя давала бы ровно . К их ужасу, математически было доказано, что такой дроби не существует.
> Открытие несоизмеримости диагонали квадрата с его стороной вызвало первый в истории математики кризис основ. Легенда гласит, что пифагореец Гиппас, разгласивший эту тайну непосвященным, погиб в кораблекрушении как наказание от богов.
Числа, которые невозможно представить в виде дроби , назвали иррациональными (неразумными, не поддающимися измерению). В десятичной записи они представляют собой бесконечные непериодические дроби — цифры после запятой тянутся бесконечно, не образуя никакого повторяющегося узора.
Самые известные иррациональные числа: * (длина диагонали единичного квадрата) * (отношение длины окружности к ее диаметру) * (основание натурального логарифма, важнейшее число в математическом анализе)
Действительные числа: непрерывная прямая
Если мы объединим все рациональные числа (дроби) и все иррациональные числа (корни, , ), мы получим множество действительных (или вещественных) чисел. Оно обозначается буквой (от латинского realis — действительный).
Множество можно визуализировать как бесконечную прямую линию — числовую ось.
Представьте себе абсолютно гладкую линейку, уходящую в бесконечность в обе стороны. Каждой точке на этой линейке соответствует ровно одно действительное число, и каждому действительному числу соответствует ровно одна точка. На этой прямой нет ни единого разрыва или «дырки».
Если бы мы нарисовали числовую прямую, используя только рациональные числа , она казалась бы сплошной, но на самом деле была бы изрешечена бесконечным количеством микроскопических дырок в тех местах, где должны находиться , и другие иррациональные числа. Добавление иррациональных чисел делает прямую непрерывной.
В высшей математике, когда вы видите функцию или уравнение, по умолчанию предполагается, что мы работаем во множестве действительных чисел , если не указано иное.
Как читать математические словари: базовые символы
Пользователь, открывающий справочник по высшей математике, часто сталкивается с барьером: текст состоит не из слов, а из специфических символов. Теперь, когда мы знаем основные множества, давайте научимся читать математические предложения.
В теории множеств есть два главных знака, описывающих отношения:
Опираясь на то, как мы расширяли наши числовые множества, мы можем записать их строгую иерархию:
Эта короткая строчка заменяет целый абзац текста: «Множество натуральных чисел является частью множества целых чисел, которое, в свою очередь, является частью множества рациональных чисел, а оно целиком входит во множество действительных чисел».
Часто в словарях можно встретить запись множества с условием. Она выглядит так:
Давайте расшифруем эту запись по шагам: * — мы определяем новое множество и называем его . * Фигурные скобки — означают «множество всех...». * — «таких элементов , принадлежащих множеству действительных чисел...». * Вертикальная черта — читается как «таких, что» или «при условии, что». * — само условие (число должно быть больше нуля).
Перевод на человеческий язык: «Множество состоит из всех строго положительных действительных чисел».
Эволюция чисел как решение уравнений
Чтобы окончательно закрепить понимание того, зачем математикам понадобилось столько разных множеств, давайте посмотрим на них через призму решения алгебраических уравнений. Каждое новое множество рождалось тогда, когда старое не могло решить простое уравнение.
Но что, если мы напишем уравнение ?
Какое число при умножении само на себя дает отрицательный результат? Положительное на положительное дает плюс. Отрицательное на отрицательное тоже дает плюс. Во множестве действительных чисел решения нет.
Именно этот тупик привел к созданию комплексных чисел (обозначаются ), где вводится мнимая единица , квадрат которой равен . Но это уже тема для более продвинутых разделов алгебры, к которым мы подойдем позже.
Понимание структуры — это ваш пропуск в мир высшей математики. Теперь, открывая «Математический словарь высшей школы», вы не испугаетесь символов принадлежности и букв с двойным контуром. Вы будете точно знать, в какой «коробке» с числами предлагает работать автор формулы.