Аксиоматика действительных чисел состоит из 16 аксиом: это 15 аксиом, описывающих рациональные числа, и к ним добавляется еще одна: аксиома непрерывности Кантора. Она играет очень важную роль, поэтому поговорим о ней подробно.
Аксиома непрерывности Кантора.Пусть элементы x1,x2,…,xn,…,y1,y2,…,yn,… удовлетворяют условию x1<x2<…<xn<…<yn<…y2<y1 и пусть для любого положительного элемента ε>0, начиная с некоторого номера n, выполняются условия yk-xk< ε, k = n, n+1, … . Тогда существует элемент Z такой, что при всех значениях n выполняется xk<Z<yk.
Ее краткий смысл вот в чем:
Пусть есть две числовых последовательности, одна возрастающая, другая убывающая (нарисовать на числовой прямой), причем все элементы первой последовательности меньше всех элементов второй, и они сближаются бесконечно близко. Тогда существует единственный элемент такой, что он лежит между ними.
Пример. Две геометрических прогрессии, {1/2N} и {-1/2N}. Первая убывающая, вторая возрастающая. Между ними лежит число 0.
Итак, между числами нет пустых промежутков и выколотых точек. Числа образуют сплошное множество. Пустот нет! Более того, можно доказать, что между любыми двумя числами всегда найдется бесконечное множество чисел.
Десятичная модель целых чисел
Запись чисел
Наличие операций сложения и умножения позволяет построить представление целых чисел при помощи алфавита, содержащего К знаков, называемых цифрами.
Такое представление произвольного целого числа a имеет вид:
a = anKn+... + a1K1+ao
и называется систематической К-ичной записью по основанию К. Символы ao, a1, ... , an принимают одно из К значений: 0,1,2, ... , K-1.
Систематическая десятичная запись целого числа а имеет вид:
· Всего существует три вида записи действительных чисел в десятичной системе:
1) конечная, для рациональных чисел
2) бесконечная периодическая.
3) бесконечная непериодическая. для иррациональных чисел
То есть, либо 1) a = anan-1…a1a0, β1 β2 … βnилиanan-1…a1a0
Либо 2) a = anan-1…a1a0,( β1 β2 … βk )(β1 β2 …βk )(β1 β2 …βk ) ……
Либо 3) anan-1…a1a0, β1 β2 … βk …
В третьем случае нет повторяющейся последовательности символов. Это числа вида √2, √7, ПИ, и т. д. Для их вычисления используют специальные математические методы, позволяющие найти число с любой требуемой точностью.