Иррациональное чиcло

- число, не являющееся рациональным (т. е. целым или дробным) числом. Геометрически И. ч. выражает собой длину отрезка, несоизмеримого с отрезком единичной длины. О существовании несоизмеримых отрезков знали уже древние математики: им была известна, напр., несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа [img: http://localhost:8080/file/021020-87.jpg] Всякое действительное число может быть записано бесконечной десятичной дробью, при этом И. ч. и только они записываются непериодическими десятичными дробями, напр. [img: http://localhost:8080/file/021020-88.jpg] p=3,14.... И. ч. определяют сечения (см. Дедекиндово сечение)в множестве рациональных чисел, у к-рых в нижнем классе нет наибольшего, а в верхнем нет наименьшего числа. Множество И. ч. всюду плотно на числовой прямой: между любыми двумя числами имеется И. ч. Множество И. ч. несчетно, является множеством второй категории и имеет тип Gd. Иррациональные алгебраические числа (в отличие от трансцендентных чисел) не допускают аппроксимаций любого порядка рациональными дробями. Точнее, для всякого иррационального алгебраического числа степени пчисла x существует такое с>0, что при любых целых ри q(q>0)выполняется неравенство [img: http://localhost:8080/file/021020-89.jpg] Квадратичные иррациональности и только они изображаются периодическими цепными дробями. Л. Д. Кудрявцев.