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