Всё проще, чем кажется!
От абстрактности математических понятий порой настолько веет холодом и отстраненностью, что невольно возникает мысль: «Зачем это всё?». Но, несмотря на первое впечатление, все теоремы, арифметические операции, функции и т.п. – не более, чем желание удовлетворить насущные потребности. Особенно чётко это можно заметить на примере появления различных множеств.
Всё началось с появления натуральных чисел. И, хотя, вряд ли сейчас кто-то сможет ответить, как точно это было, но скорее всего, ноги у царицы наук растут откуда-то из пещеры. Здесь, анализируя количество шкур, камней и соплеменников, человек открыл множество «чисел для счёта». И этого ему было достаточно. До какого-то момента, конечно же.
Дальше потребовалось шкуры и камни делить и отнимать. Так возникла потребность в арифметических операциях, а вместе с ними и рациональных числах, которые можно определить как дробь типа m/n, где, например, m - количество шкур, n – количество соплеменников.
Казалось бы, уже открытого математического аппарата вполне достаточно, чтобы радоваться жизнью. Но вскоре оказалось, что бывают случаи, когда результат не то, что не целое число, но даже не дробь! И, действительно, квадратный корень из двух никак иначе не выразить с помощью числителя и знаменателя. Или, например, всем известное число Пи, открытое древнегреческим учёным Архимедом, так же не является рациональным. И таких открытий со временем стало настолько много, что все неподдающиеся «рационализации» числа объединили и назвали иррациональными.
Свойства
Рассмотренные ранее множества принадлежат набору фундаментальных понятий математики. Это означает, что их не получится определить через более простые математические объекты. Но это можно сделать с помощью категорий (с греч. «высказывания») или постулатов. В данном случае лучше всего было обозначить свойства данных множеств.
o Иррациональные числа определяют Дедекиндовы сечения в множестве рациональных чисел, у которых в нижнем классе нет наибольшего, а в верхнем нет наименьшего числа.
o Каждое трансцендентное число является иррациональным.
o Каждое иррациональное число является либо алгебраическим, либо трансцендентным.
o Множество иррациональных чисел всюду плотно на числовой прямой: между любыми двумя числами имеется иррациональное число.
o Множество иррациональных чисел несчётно, является множеством второй категории Бэра.
o Это множество упорядоченное, т. е. для каждых двух различных рациональных чисел a иb можно указать, какое из них меньше другого.
o Между каждыми двумя различными рациональными числами существует еще по крайней мере одно рациональное число, а следовательно, и бесконечное множество рациональных чисел.
o Арифметические действия (сложение, вычитание, умножение и деление) над любыми двумя рациональными числами всегда возможны и дают в результате определенное рациональное же число. Исключением является деление на нуль, которое невозможно.
o Каждое рациональное число может быть представлено в виде десятичной дроби (конечной или бесконечной периодической).
