Почему целые числа обозначаются буквой z. Пособие для обучающихся "числовые множества"

Множество натуральных чисел образуют числа 1, 2, 3, 4, ..., используемые для счёта предметов. Множество всех натуральных чисел принято обозначать буквой N :

N = {1, 2, 3, 4, ..., n , ...} .

Законы сложения натуральных чисел

1. Для любых натуральных чисел a и b верно равенство a + b = b + a . Это свойство называют переместительным (коммутативным) законом сложения.

2. Для любых натуральных чисел a , b , c верно равенство (a + b ) + c = a + (b + c ) . Это свойство называют сочетальным (ассоциативным) законом сложения.

Законы умножения натуральных чисел

3. Для любых натуральных чисел a и b верно равенство ab = ba . Это свойство называют переместительным (коммутативным) законом умножения.

4. Для любых натуральных чисел a , b , c верно равенство (a b )c = a (b c ) . Это свойство называют сочетальным (ассоциативным) законом умножения.

5. При любых значениях a , b , c верно равенство (a + b )c = ac + bc . Это свойство называют распределительным (дистрибутивным) законом умножения (относительно сложения).

6. При любых значениях a верно равенство a *1 = a . Это свойство называют законом об умножении на единицу.

Результатом сложения или умножения двух натуральных чисел всегда является натуральное число. Или, говоря иначе, эти операции можно выполнить, оставаясь во множестве натуральных чисел. Относительно вычитания и деления этого сказать нельзя: так, из числа 3 нельзя, оставаясь во множестве натуральных чисел, вычесть число 7; число 15 нельзя разделить на 4 нацело.

Признаки делимости натуральных чисел

Делимость суммы. Если каждое слагаемое делится на некоторое число, то и сумма делится на это число.

Делимость произведения. Если в произведении хотя бы один из сомножителей делится нацело на некоторое число, то и произведение делится на это число.

Эти условия, как для суммы, так и для произведения, являются достаточными, но не необходимыми. Например, произведение 12*18 делится на 36, хотя ни 12, ни 18 на 36 не делятся.

Признак делимости на 2. Для того, чтобы натуральное число делилось на 2, необходимо и достаточно, чтобы его последняя цифра была чётной.

Признак делимости на 5. Для того, чтобы натуральное число делилось на 5, необходимо и достаточно, чтобы его последняя цифра была либо 0, либо 5.

Признак делимости на 10. Для того, чтобы натуральное число делилось на 10, необходимо и достаточно, чтобы цифра единиц была 0.

Признак делимости на 4. Для того, чтобы натуральное число, содержащее не менее трёх цифр, делилось на 4, необходимо и достаточно, чтобы последние цифры были 00, 04, 08 или двузначное число, образованное последними двумя цифрами данного числа, делилось на 4.

Признак делимости на 2 (на 9). Для того, чтобы натуральное число делилось на 3 (на 9), необходимо и достаточно, чтобы сумма его цифр делилась на 3 (на 9).

Множество целых чисел

Рассмотрим числовую прямую с началом отсчёта в точке O . Координатой числа нуль на ней будет точка O . Числа, расположенные на числовой прямой в заданном направлении, называют положительными числами. Пусть на числовой прямой задана точка A с координатой 3. Она соответствует положительному числу 3. Отложим теперь три раза единичный отрезок от точки O , в направлении, противоположном заданному. Тогда получим точку A" , симметричную точке A относительно начала координат O . Координатой точки A" будет число - 3. Это число, противоположное числу 3. Числа, расположенные на числовой прямой в направлении, противоположном заданному, называют отрицательными числами.

Числа, противоположные натуральным, образуют множество чисел N" :

N" = {- 1, - 2, - 3, - 4, ...} .

Если объединить множества N , N" и одноэлементное множество {0} , то получим множество Z всех целых чисел:

Z = {0} ∪ N ∪ N" .

Для целых чисел верны все перечисленные выше законы сложения и умножения, которые верны для натуральных чисел. Кроме того, добавляются следующие законы вычитания:

a - b = a + (- b ) ;

a + (- a ) = 0 .

Множество рациональных чисел

Чтобы сделать выполнимой операцию деления целых чисел на любое число, не равное нулю, вводятся дроби:

Где a и b - целые числа и b не равно нулю.

Если к множеству целых чисел присоединить множество всех положительных и отрицательных дробей, то получается множество рациональных чисел Q :

.

При этом каждое целое число является также рациональным числом, так как, например, число 5 может быть представлено в виде , где числитель и знаменатель - целые числа. Это бывает важно при операциях над рациональными числами, из которых одно может быть целым числом.

Законы арифметических действий над рациональными числами

Основное свойство дроби. Если числитель и знаменатель данной дроби умножить или разделить на одно и то же натуральное число, то получится дробь, равная данной:

Это свойство используется при сокращении дробей.

Сложение дробей. Сложение обыкновенных дробей определяется следующим образом:

.

То есть, для сложения дробей с разными знаменателями дроби приводятся к общему знаменателю. На практике при сложении (вычитании) дробей с разными знаменателями дроби приводятся к наименьшему общему знаменателю. Например, так:

Для сложения дробей с одинаковыми числителями достаточно сложить числители, а знаменатель оставить прежним.

Умножение дробей. Умножение обыкновенных дробей определяется следующим образом:

То есть, для умножения дроби на дробь нужно числитель первой дроби умножить на числитель второй дроби и записать произведение в числитель новой дроби, а знаменатель первой дроби умножить на знаменатель второй дроби и записать произведение в знаменатель новой дроби.

Деление дробей. Деление обыкновенных дробей определяется следующим образом:

То есть, для деления дроби на дробь нужно числитель первой дроби умножить на знаменатель второй дроби и произведение записать в числитель новой дроби, а знаменатель первой дроби умножить на числитель второй дроби и произведение записать в знаменатель новой дроби.

Возведение дроби в степень с натуральным показателем. Эта операция определяется следующим образом:

То есть, для возведения дроби в степень числитель возводится в эту степень и знаменатель возводится в эту степень.

Периодические десятичные дроби

Теорема. Любое рациональное число можно представить в виде конечной или бесконечной периодической дроби.

Например,

.

Последовательно повторяющаяся группа цифр после запятой в десятичной записи числа называется периодом, а конечная или бесконечная десятичная дробь, имеющая такой период в своей записи, называется периодической.

При этом любую конечную десятичную дробь считают бесконечной периодической дробью с нулём в периоде, например:

Результат сложения, вычитания, умножения и деления (кроме деления на нуль) двух рациональных чисел - также рациональное число.

Множество действительных чисел

На числовой прямой, которую мы рассмотрели в связи с множеством целых чисел, могут быть точки, не имеющие координат в виде рационального числа. Так, не существует рационального числа, квадрат которого равен 2. Следовательно, число не является рациональным числом. Так же не существует рациональных чисел, квадраты которых равны 5, 7, 9. Следовательно, иррациональными являются числа , , . Иррациональным является и число .

Никакое иррациональное число не может быть представлено в виде периодической дроби. Их представляют в виде непериодических дробей.

Объединение множеств рациональных и иррациональных чисел представляет собой множество действительных чисел R .

Из большого количества разнообразных множеств особо интересными и важными являются числовые множества, т.е. те множества, элементами которых служат числа. Очевидно, что для работы с числовыми множествами необходимо иметь навык записи их, а также изображения их на координатной прямой.

Запись числовых множеств

Общепринятым обозначением любых множеств являются заглавные буквы латиницы. Числовые множества – не исключение. К примеру, мы можем говорить о числовых множествах B , F или S и т.п. Однако есть также общепринятая маркировка числовых множеств в зависимости от входящих в него элементов:

N – множество всех натуральных чисел; Z – множество целых чисел; Q – множество рациональных чисел; J – множество иррациональных чисел; R – множество действительных чисел; C – множество комплексных чисел.

Становится понятным, что обозначение, например, множества, состоящего из двух чисел: - 3 , 8 буквой J может ввести в заблуждение, поскольку этой буквой маркируется множество иррациональных чисел. Поэтому для обозначения множества - 3 , 8 более подходящим будет использование какой-то нейтральной буквы: A или B , например.

Напомним также следующие обозначения:

• ∅ – пустое множество или множество, не имеющее составных элементов;
• ∈ или ∉ - знак принадлежности или непринадлежности элемента множеству. Например, запись 5 ∈ N обозначает, что число 5 является частью множества всех натуральных чисел. Запись - 7 , 1 ∈ Z отражает тот факт, что число - 7 , 1 не является элементом множества Z , т.к. Z – множество целых чисел;
• знаки принадлежности множества множеству:
  ⊂ или ⊃ - знаки «включено» или «включает» соответственно. Например, запись A ⊂ Z означает, что все элементы множества А входят в множество Z , т.е. числовое множество A включено в множество Z . Или наоборот, запись Z ⊃ A пояснит, что множество всех целых чисел Z включает множество A .
  ⊆ или ⊇ - знаки так называемого нестрогого включения. Означают «включено или совпадает» и «включает или совпадает» соответственно.

Рассмотрим теперь схему описания числовых множеств на примере основных стандартных случаев, наиболее часто используемых на практике.

Первыми рассмотрим числовые множества, содержащие конечное и небольшое количество элементов. Описание подобного множества удобно составлять, просто перечисляя все его элементы. Элементы в виде чисел записываются, разделяясь запятой, и заключаются в фигурные скобки (что соответствует общим правилам описания множеств). К примеру, множество из чисел 8 , - 17 , 0 , 15 запишем как { 8 , - 17 , 0 , 15 } .

Случается, что количество элементов множества достаточно велико, но все они подчиняются определенной закономерности: тогда в описании множества используют многоточие. К примеру, множество всех четных чисел от 2 до 88 запишем как: { 2 , 4 , 6 , 8 , … , 88 } .

Теперь поговорим об описании числовых множеств, в которых количество элементов бесконечно. Иногда их описывают при помощи того же многоточия. Например, множество всех натуральных чисел запишем так: N = { 1 , 2 , 3 , … } .

Также возможно записать числовое множество с бесконечным количеством элементов при помощи указания свойств его элементов. Применяют при этом обозначение { х | свойства } . К примеру, { n | 8 · n + 3 , n ∈ N } определяет множество натуральных чисел, которые при делении на 8 дадут остаток 3 . Это же множество возможно записать как: { 11 , 19 , 27 , … } .

В частных случаях числовые множества с бесконечным количеством элементов – это общеизвестные множества N , Z , R и т.д., либо числовые промежутки. Но в основном числовые множества представляют собой объединение составляющих их числовых промежутков и числовых множеств с конечным количеством элементов (о них мы говорили в самом начале статьи).

Рассмотрим на примере. Допустим, составляющими некого числового множества являются числа - 15 , - 8 , - 7 , 34 , 0 , а также все числа отрезка [ - 6 , - 1 , 2 ] и числа открытого числового луча (6 , + ∞) . В соответствии с определением объединения множеств заданное числовое множество запишем как: { - 15 , - 8 , - 7 , 34 } ∪ [ - 6 , - 1 , 2 ] ∪ { 0 } ∪ (6 , + ∞) . Подобная запись фактически означает множество, включающее в себя все элементы множеств { - 15 , - 8 , - 7 , 34 , 0 } , [ - 6 , - 1 , 2 ] и (6 , + ∞) .

Таким же образом, объединяя различные числовые промежутки и множества отдельных чисел, возможно дать описание любому числовому множеству, состоящему из действительных чисел. На основе сказанного становится понятно, для чего вводятся различные виды числовых промежутков, такие как интервал, полуинтервал, отрезок, открытый числовой луч и числовой луч. Все эти виды промежутков совместно с обозначениями множеств отдельных чисел дают возможность через их объединение описать любое числовое множество.

Необходимо также обратить внимание на то, что отдельные числа и числовые промежутки при записи множества могут быть упорядочены по возрастанию. В общем, это не является обязательным требованием, однако подобное упорядочивание позволяет представить числовое множество проще, а также верно отобразить его на координатной прямой. Также стоит уточнить, что в таких записях не применяют числовые промежутки с общими элементами, поскольку эти записи возможно заменить объединением числовых промежутков, исключив общие элементы. К примеру, объединением числовых множеств с общими элементами [ - 15 , 0 ] и (- 6 , 4) будет полуинтервал [ - 15 , 4) . То же имеет отношение и к объединению числовых промежутков с одинаковыми граничными числами. Например, объединение (4 , 7 ] ∪ (7 , 9 ] является множеством (4 , 9 ] . Этот пункт подробно будет рассмотрен в теме нахождения пересечения и объединения числовых множеств.

В практических примерах удобно использовать геометрическое толкование числовых множеств – их изображение на координатной прямой. К примеру, такой способ поможет при решении неравенств, в которых нужно учесть ОДЗ – когда нужно отобразить числовые множества, чтобы определить их объединение и/или пересечение.

Мы знаем, что между точками координатной прямой и действительными числами имеется однозначное соответствие: вся координатная прямая есть геометрическая модель множества всех действительных чисел R . Следовательно, для изображения множества всех действительных чисел начертим координатную прямую и нанесем штриховку на всем ее протяжении:

Зачастую и не указывают начало отсчета и единичный отрезок:

Рассмотрим изображение числовых множеств, состоящих из конечного количества отдельных чисел. К примеру, отобразим числовое множество { - 2 , - 0 , 5 , 1 , 2 } . Геометрической моделью заданного множества станут три точки координатной прямой с соответствующими координатами:

В большинстве случаев возможно не соблюдать абсолютную точность чертежа: вполне достаточно схематичного изображения без соблюдения масштаба, но с сохранением взаимного расположения точек относительно друг друга, т.е. любая точка с бОльшей координатой должна быть правее точки с меньшей. С учётом сказанного уже имеющийся чертеж может выглядеть так:

Отдельно из возможных числовых множеств выделяют числовые промежутки интервалы, полуинтервалы, лучи и пр.)

Теперь рассмотрим принцип изображения числовых множеств, являющихся объединением нескольких числовых промежутков и множеств, состоящих их отдельных чисел. В этом нет никакой сложности: согласно определению объединения на координатной прямой необходимо отобразить все составляющие множества заданного числового множества. Например, создадим иллюстрацию числового множества (- ∞ , - 15) ∪ { - 10 } ∪ [ - 3 , 1) ∪ { log 2 5 , 5 } ∪ (17 , + ∞) .

Также довольно распространены случаи, когда числовое множество, которое необходимо изобразить, включает в себя все множество действительных чисел кроме одной или нескольких точек. Подобные множества часто задаются условиями вроде х ≠ 5 или х ≠ - 1 и т.п. В таких случаях множества в своей геометрической модели являются всей координатной прямой за исключением заданных точек. Общепринято говорить, что эти точки необходимо «выколоть» из координатной прямой. Изображается выколотая точка кружочком с пустым центром. Чтобы подкрепить сказанное практическим примером, отобразим на координатной прямой множество с заданным условием х ≠ - 2 и х ≠ 3:

Информация, приведенная в данной статье, призвана помочь получить навык видеть запись и изображение числовых множеств так же легко, как и отдельных числовых промежутков. В идеале записанное числовое множество сразу должно представляться в виде геометрического образа на координатной прямой. И наоборот: по изображению должно с легкостью формироваться соответствующее числовое множество через объединение числовых промежутков и множеств, являющихся отдельными числами.

Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter

Число — абстракция, используемая для количественной характеристики объектов. Числа возникли еще в первобытном обществе в связи с потребностью людей считать предметы. С течением времени по мере развития науки число превратилось в важнейшее математическое понятие.

Для решения задач и доказательства различных теорем необходимо понимать, какие бывают виды чисел. Основные виды чисел включают в себя: натуральные числа, целые числа, рациональные числа, действительные числа.

Натуральные числа - это числа, получаемые при естественном счёте предметов, а вернее при их нумерации («первый», «второй», «третий»...). Множество натуральных чисел обозначается латинской буквой N (можно запомнить, опираясь на английское слово natural). Можно сказать, что N ={1,2,3,....}

Целые числа - это числа из множества {0, 1, -1, 2, -2, ....}. Это множество состоит из трех частей - натуральные числа, отрицательные целые числа (противоположные натуральным числам) и число 0 (нуль). Целые числа обозначаются латинской буквой Z . Можно сказать, чтоZ ={1,2,3,....}.

Рациональные числа - это числа, представимые в виде дроби, где m — целое число, а n — натуральное число. Для обозначения рациональных чисел используется латинская буква Q . Все натуральные и целые числа - рациональные. Также в качестве примеров рациональных чисел можно привести: ,,.

Действительные (вещественные) числа - это числа, которое применяются для измерения непрерывных величин. Множество действительных чисел обозначается латинской буквой R. Действительные числа включают в себя рациональные числа и иррациональные числа. Иррациональные числа - это числа, которые получаются в результате выполнения различных операций с рациональными числами (например, извлечение корня, вычисление логарифмов), но при этом не являются рациональными. Примеры иррациональных чисел - это,,.

Любое действительное число можно отобразить на числовой прямой:

Для перечисленных выше множеств чисел справедливо следующее высказывание:

То есть множество натуральных чисел входит во множество целых чисел. Множество целых чисел входит во множество рациональных чисел. А множество рациональных чисел входит во множество действительных чисел. Это высказывание можно проиллюстрировать с помощью кругов Эйлера.

Множество — это набор каких-либо объектов, которые называются элементами этого множества.

Например: множество школьников, множество машин, множество чисел .

В математике множество рассматривается намного шире. Мы не будем сильно углубляться в эту тему, поскольку она относится к высшей математике и на первых порах может создавать трудности для обучения. Мы рассмотрим только ту часть темы, с которой уже имели дело.

Обозначения

Множество чаще всего обозначают заглавными буквами латинского алфавита, а его элементы - строчными. При этом элементы заключаются в фигурные скобки.

Например, если наших друзей зовут Том, Джон и Лео , то мы можем задать множество друзей, элементами которого будут Том, Джон и Лео.

Обозначим множество наших друзей через заглавную латинскую букву F (friends ), затем поставим знак равенства и в фигурных скобках перечислим наших друзей:

F = { Том, Джон, Лео }

Пример 2 . Запишем множество делителей числа 6.

Обозначим через любую заглавную латинскую букву данное множество, например, через букву D

затем поставим знак равенства и в фигурных скобках перечислим элементы данного множества, то есть перечислим делители числа 6

D = { 1, 2, 3, 6 }

Если какой-то элемент принадлежит заданному множеству, то эта принадлежность указывается с помощью знака принадлежности ∈ . К примеру, делитель 2 принадлежит множеству делителей числа 6 (множеству D ). Записывается это так:

Читается как: «2 принадлежит множеству делителей числа 6»

Если какой-то элемент не принадлежит заданному множеству, то эта не принадлежность указывается с помощью зачёркнутого знака принадлежности ∉. К примеру, делитель 5 не принадлежит множеству D . Записывается это так:

Читается как: «5 не принадлежит множеству делителей числа 6″

Кроме того, множество можно записывать прямым перечислением элементов, без заглавных букв. Это может быть удобным, если множество состоит из небольшого количества элементов. Например, зададим множество из одного элемента. Пусть этим элементом будет наш друг Том :

{ Том }

Зададим множество, которое состоит из одного числа 2

{ 2 }

Зададим множество, которое состоит из двух чисел: 2 и 5

{ 2, 5 }

Множество натуральных чисел

Это первое множество с которым мы начали работать. Натуральными числами называют числа 1, 2, 3 и т.д.

Натуральные числа появились из-за потребности людей сосчитать те иные объекты. Например, посчитать количество кур, коров, лошадей. Натуральные числа возникают естественным образом при счёте.

В прошлых уроках, когда мы употребляли слово «число» , чаще всего подразумевалось именно натуральное число.

В математике множество натуральных чисел обозначается заглавной латинской буквой N .

Например, укажем, что число 1 принадлежит множеству натуральных чисел. Для этого записываем число 1, затем с помощью знака принадлежности ∈ указываем, что единица принадлежит множеству N

1 ∈ N

Читается как: «единица принадлежит множеству натуральных чисел»

Множество целых чисел

Множество целых чисел включает в себя все положительные и , а также число 0.

Множество целых чисел обозначается заглавной латинской буквой Z .

Укажем, к примеру, что число −5 принадлежит множеству целых чисел:

−5 ∈ Z

Укажем, что 10 принадлежит множеству целых чисел:

10 ∈ Z

Укажем, что 0 принадлежит множеству целых чисел:

В будущем все положительные и отрицательные числа мы будем называть одним словосочетанием — целые числа .

Множество рациональных чисел

Рациональные числа, это те самые обыкновенные дроби, которые мы изучаем по сей день.

Рациональное число — это число, которое может быть представлено в виде дроби , где a — числитель дроби, b — знаменатель.

В роли числителя и знаменателя могут быть любые числа, в том числе и целые (за исключением нуля, поскольку на нуль делить нельзя).

Например, представим, что вместо a стоит число 10, а вместо b — число 2

10 разделить на 2 равно 5. Видим, что число 5 может быть представлено в виде дроби , а значит число 5 входит во множество рациональных чисел.

Легко заметить, что число 5 также относится и ко множеству целых чисел. Стало быть множество целых чисел входит во множество рациональных чисел. А значит, во множество рациональных чисел входят не только обыкновенные дроби, но и целые числа вида −2, −1, 0, 1, 2.

Теперь представим, что вместо a стоит число 12, а вместо b — число 5.

12 разделить на 5 равно 2,4. Видим, что десятичная дробь 2,4 может быть представлена в виде дроби , а значит она входит во множество рациональных чисел. Отсюда делаем вывод, что во множество рациональных чисел входят не только обыкновенные дроби и целые числа, но и десятичные дроби.

Мы вычислили дробь и получили ответ 2,4. Но мы могли бы выделить в этой дроби целую часть:

При выделении целой части в дроби , получается смешанное число . Видим, что смешанное число тоже может быть представлено в виде дроби . Значит во множество рациональных чисел входят и смешанные числа.

В итоге мы приходим к выводу, что множество рациональных чисел содержат в себе:

• целые числа
• обыкновенные дроби
• десятичные дроби
• смешанные числа

Множество рациональных чисел обозначается заглавной латинской буквой Q .

Например укажем, что дробь принадлежит множеству рациональных чисел. Для этого записываем саму дробь , затем с помощью знака принадлежности ∈ указываем, что дробь принадлежит множеству рациональных чисел:

∈ Q

Укажем, что десятичная дробь 4,5 принадлежит множеству рациональных чисел:

4,5 ∈ Q

Укажем, что смешанное число принадлежит множеству рациональных чисел:

∈ Q

Вводный урок по множествам завершён. В будущем мы рассмотрим множества намного лучше, а пока рассмотренного в данном уроке будет достаточно.

Понравился урок?
Вступай в нашу новую группу Вконтакте и начни получать уведомления о новых уроках

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

Исторически сначала появилось множество натуральных чисел, затем довольно скоро к ним добавились дроби и положительные иррациональные числа. Ноль и отрицательные числа были введены после этих подмножеств множества действительных чисел. Последнее множество, множество комплексных чисел, появилось только с развитием современной науки.

В современной математике числа вводят не в историческом порядке, хотя и в довольно близком к нему.

Натуральные числа $\mathbb{N}$

Множество натуральных чисел часто обозначается как $\mathbb{N}=\lbrace 1,2,3,4... \rbrace $, и часто его дополняют нулем, обозначая $\mathbb{N}_0$.

В $\mathbb{N}$ определены операции сложения (+) и умножения ($\cdot$) со следующими свойствами для любых $a,b,c\in \mathbb{N}$:

1. $a+b\in \mathbb{N}$, $a\cdot b \in \mathbb{N}$ множество $\mathbb{N}$ замкнуто относительно операций сложения и умножения
2. $a+b=b+a$, $a\cdot b=b\cdot a$ коммутативность
3. $(a+b)+c=a+(b+c)$, $(a\cdot b)\cdot c=a\cdot (b\cdot c)$ ассоциативность
4. $a\cdot (b+c)=a\cdot b+a\cdot c$ дистрибутивность
5. $a\cdot 1=a$ является нейтральным элементом для умножения

Поскольку множество $\mathbb{N}$ содержит нейтральный элемент для умножения, но не для сложения, добавление нуля к этому множеству обеспечивает включение в него нейтрального элемента для сложения.

Кроме этих двух операций, на множестве $\mathbb{N}$ определены отношения "меньше" ($

1. $a b$ трихотомия
2. если $a\leq b$ и $b\leq a$, то $a=b$ антисимметрия
3. если $a\leq b$ и $b\leq c$, то $a\leq c$ транзитивность
4. если $a\leq b$, то $a+c\leq b+c$
5. если $a\leq b$, то $a\cdot c\leq b\cdot c$

Целые числа $\mathbb{Z}$

Примеры целых чисел:
$1, -20, -100, 30, -40, 120...$

Решение уравнения $a+x=b$, где $a$ и $b$ - известные натуральные числа, а $x$ - неизвестное натуральное число, требует введения новой операции - вычитания(-). Если существует натуральное число $x$, удовлетворяющее этому уравнению, то $x=b-a$. Однако, это конкретное уравнение не обязательно имеет решение на множестве $\mathbb{N}$, поэтому практические соображения требуют расширения множества натуральных чисел таким образом, чтобы включить решения такого уравнения. Это приводит к введению множества целых чисел: $\mathbb{Z}=\lbrace 0,1,-1,2,-2,3,-3...\rbrace$.

Поскольку $\mathbb{N}\subset \mathbb{Z}$, логично предположить, что введенные ранее операции $+$ и $\cdot$ и отношения $ 1. $0+a=a+0=a$ существует нейтральный элемент для сложения
2. $a+(-a)=(-a)+a=0$ существует противоположное число $-a$ для $a$

Свойство 5.:
5. если $0\leq a$ и $0\leq b$, то $0\leq a\cdot b$

Множество $\mathbb{Z} $ замкнуто также и относительно операции вычитания, то есть $(\forall a,b\in \mathbb{Z})(a-b\in \mathbb{Z})$.

Рациональные числа $\mathbb{Q}$

Примеры рациональных чисел:
$\frac{1}{2}, \frac{4}{7}, -\frac{5}{8}, \frac{10}{20}...$

Теперь рассмотрим уравнения вида $a\cdot x=b$, где $a$ и $b$ - известные целые числа, а $x$ - неизвестное. Чтобы решение было возможным, необходимо ввести операцию деления ($:$), и решение приобретает вид $x=b:a$, то есть $x=\frac{b}{a}$. Опять возникает проблема, что $x$ не всегда принадлежит $\mathbb{Z}$, поэтому множество целых чисел необходимо расширить. Таким образом вводится множество рациональных чисел $\mathbb{Q}$ с элементами $\frac{p}{q}$, где $p\in \mathbb{Z}$ и $q\in \mathbb{N}$. Множество $\mathbb{Z}$ является подмножеством, в котором каждый элемент $q=1$, следовательно $\mathbb{Z}\subset \mathbb{Q}$ и операции сложения и умножения распространяются и на это множество по следующим правилам, которые сохраняют все вышеперечисленные свойства и на множестве $\mathbb{Q}$:
$\frac{p_1}{q_1}+\frac{p_2}{q_2}=\frac{p_1\cdot q_2+p_2\cdot q_1}{q_1\cdot q_2}$
$\frac{p-1}{q_1}\cdot \frac{p_2}{q_2}=\frac{p_1\cdot p_2}{q_1\cdot q_2}$

Деление вводится таким образом:
$\frac{p_1}{q_1}:\frac{p_2}{q_2}=\frac{p_1}{q_1}\cdot \frac{q_2}{p_2}$

На множестве $\mathbb{Q}$ уравнение $a\cdot x=b$ имеет единственное решение для каждого $a\neq 0$ (деление на ноль не определено). Это значит, что существует обратный элемент $\frac{1}{a}$ or $a^{-1}$:
$(\forall a\in \mathbb{Q}\setminus\lbrace 0\rbrace)(\exists \frac{1}{a})(a\cdot \frac{1}{a}=\frac{1}{a}\cdot a=a)$

Порядок множества $\mathbb{Q}$ можно расширить таким образом:
$\frac{p_1}{q_1}

Множество $\mathbb{Q}$ имеет одно важное свойство: между любыми двумя рациональными числами находится бесконечно много других рациональных чисел, следовательно, не существует двух соседних рациональных чисел, в отличие от множеств натуральных и целых чисел.

Иррациональные числа $\mathbb{I}$

Примеры иррациональных чисел:
$\sqrt{2} \approx 1.41422135...$
$\pi \approx 3.1415926535...$

Ввиду того, что между любыми двумя рациональными числами находится бесконечно много других рациональных чисел, легко можно сделать ошибочный вывод, что множество рациональных чисел настолько плотное, что нет необходимости в его дальнейшем расширении. Даже Пифагор в свое время сделал такую ошибку. Однако, уже его современники опровергли этот вывод при исследовании решений уравнения $x\cdot x=2$ ($x^2=2$) на множестве рациональных чисел. Для решения такого уравнения необходимо ввести понятие квадратного корня, и тогда решение этого уравнения имеет вид $x=\sqrt{2}$. Уравнение типа $x^2=a$, где $a$ - известное рациональное число, а $x$ - неизвестное, не всегда имеет решение на множестве рациональных чисел, и опять возникает необходимость в расширении множества. Возникает множество иррациональных чисел, и такие числа как $\sqrt{2}$, $\sqrt{3}$, $\pi$... принадлежат этому множеству.

Действительные числа $\mathbb{R}$

Объединением множеств рациональных и иррациональных чисел является множество действительных чисел. Поскольку $\mathbb{Q}\subset \mathbb{R}$, снова логично предположить, что введенные арифметические операции и отношения сохраняют свои свойства на новом множестве. Формальное доказательство этого весьма сложно, поэтому вышеупомянутые свойства арифметических операций и отношения на множестве действительных чисел вводятся как аксиомы. В алгебре такой объект называется полем, поэтому говорят, что множество действительных чисел является упорядоченным полем.

Для того, чтобы определение множества действительных чисел было полным, необходимо ввести дополнительную аксиому, различающую множества $\mathbb{Q}$ и $\mathbb{R}$. Предположим, что $S$ - непустое подмножество множества действительных чисел. Элемент $b\in \mathbb{R}$ называется верхней границей множества $S$, если $\forall x\in S$ справедливо $x\leq b$. Тогда говорят, что множество $S$ ограничено сверху. Наименьшая верхняя граница множества $S$ называется супремум и обозначается $\sup S$. Аналогично вводятся понятия нижней границы, множества, ограниченного снизу, и инфинума $\inf S$ . Теперь недостающая аксиома формулируется следующим образом:

Любое непустое и ограниченное сверху подмножество множества действительных чисел имеет супремум.
Также можно доказать, что поле действительных чисел, определенное вышеуказанным образом, является единственным.

Комплексные числа$\mathbb{C}$

Примеры комплексных чисел:
$(1, 2), (4, 5), (-9, 7), (-3, -20), (5, 19),...$
$1 + 5i, 2 - 4i, -7 + 6i...$ где $i = \sqrt{-1}$ или $i^2 = -1$

Множество комплексных чисел представляет собой все упорядоченные пары действительных чисел, то есть $\mathbb{C}=\mathbb{R}^2=\mathbb{R}\times \mathbb{R}$, на котором операции сложения и умножения определены следующим образом:
$(a,b)+(c,d)=(a+b,c+d)$
$(a,b)\cdot (c,d)=(ac-bd,ad+bc)$

Существует несколько форм записи комплексных чисел, из которых самая распространенная имеет вид $z=a+ib$, где $(a,b)$ - пара действительных чисел, а число $i=(0,1)$ называется мнимой единицей.

Легко показать, что $i^2=-1$. Расширение множества $\mathbb{R}$ на множество $\mathbb{C}$ позволяет определить квадратный корень из отрицательных чисел, что и послужило причиной введения множества комплексных чисел. Также легко показать, что подмножество множества $\mathbb{C}$, заданное как $\mathbb{C}_0=\lbrace (a,0)|a\in \mathbb{R}\rbrace$, удовлетворяет всем аксиомам для действительных чисел, следовательно $\mathbb{C}_0=\mathbb{R}$, или $R\subset\mathbb{C}$.

Алгебраическая структура множества $\mathbb{C}$ относительно операций сложения и умножения имеет следующие свойства:
1. коммутативность сложения и умножения
2. ассоциативность сложения и умножения
3. $0+i0$ - нейтральный элемент для сложения
4. $1+i0$ - нейтральный элемент для умножения
5. умножение дистрибутивно по отношению к сложению
6. существует единственный обратный элемент как для сложения, так и для умножения.