Существуют различные построения теории действительных чисел:
- аксиматическое, с помощью сечений в множестве рациональных чисел,
- на основе бесконечных десятичных дробей.
Рассмотрим аксиоматический метод построения, где множество действительных чисел определяется в целом как множество элементов с некоторыми операциями и отношениями: свойства операций и отношений задаются системой аксиом, разбитой на четыре группы. В первую группу входят аксиомы сложения, во вторую — аксиомы умножения, в третью — аксиомы порядка, в четвертую — аксиома о верхней грани.
Определение: Множество элементов называется множеством действительных (или вещественных) чисел, если для этих элементов установлены следующие операции и отношения 1-4.
1. Операция сложения: для любых элементов сопоставлен некоторый элемент называемый их суммой и обозначаемый через , таким образом, что выполняются условия:
1.1. Для любых выполнимо
— коммутативность операции сложения.
1.2. Для любых
— ассоциативность операции сложения.
Аксиома 1.2 позволяет писать сумму без скобок, считая Вследствие аксиомы 1.1 безразличен также и порядок записи элементов.
1.3. Существует элемент такой, что для любого
Элемент называется нулевым.
1.4. Для любого элемента существует элемент такой, что
Элемент называется противоположным для .
Элементы и в сумме называются слагаемыми.
2. Операция умножения: для любых элементов поставлен в соответствие элемент , называемый их произведением и обозначаемый через (или ), так что при этом выполняются условия:
2.1. Для любых
— коммутативность операции умножения.
2.2. Для любых
— ассоциативность операции умножения.
Аксиома 2.2 позволяет считать, что выражение имеет однозначный смысл.
2.3. Существует элемент такой, что для любого
Элемент называется единичным.
2.4. Для любого элемента , кроме , в существует элемент такой, что
Элемент называется обратным элементу .
2.5. Для любых справедливо равенство
(дистрибутивность операции умножения относительно операции сложения).
Элементы и в произведении называются множителями.
3. Отношение порядка: для любых элементов справедливы соотношения: или ( меньше или равно ), или , или и то и другое со следующими свойствами:
3.1. для каждого ; из следует
.
3.2. Из следует .
3.3. Из для любого следует .
3.4. Из следует .
Отношение записывается также в виде ( больше или равно ). Отношение при записывается в виде ( меньше ) или ( больше ).
4. Верхняя грань множества. Множество называется ограниченным сверху, если существует такой элемент , что для каждого ; это соотношение записывается в виде . Всякий элемент , обладающее по отношению к множеству указанным свойством, называется верхней гранью множества . Верхняя грань называется точной верхней гранью множества , если любая другая верхняя грань множества больше или равна . Точная верхняя грань множества обозначается (от латинского — высшее).
4.1. Аксиома о верхней грани. Всякое ограниченное сверху множество обладает точной верхней гранью.
Из приведенных выше четырех аксиом следует система следствий, которая дает полный набор свойств множества действительных чисел, используемых при построении математического анализа. Ознакомиться со следствиями из данных аксиом можно по следующим ссылкам:
- Следствия из аксиом сложения и умножения
- Следствия из аксиомы порядка
- Следствия из аксиомы о верхней грани