Рациональным числом называется. Определение рациональных чисел

Определение рациональных чисел

К рациональным числам относятся:

  • Натуральные числа, которые можно представить как обыкновенную дробь. Например, $7=\frac{7}{1}$.
  • Целые числа, включая число нуль, которые можно представить как положительную или отрицательную обыкновенную дробь, или как нуль. Например, $19=\frac{19}{1}$, $-23=-\frac{23}{1}$.
  • Обыкновенные дроби (положительные или отрицательные).
  • Смешанные числа, которые можно представить как неправильную обыкновенную дробь. Например, $3 \frac{11}{13}=\frac{33}{13}$ и $-2 \frac{4}{5}=-\frac{14}{5}$.
  • Конечная десятичная дробь и бесконечная периодическая дробь, которую можно представить как обыкновенную дробь. Например, $-7,73=-\frac{773}{100}$, $7,(3)=-7 \frac{1}{3}=-\frac{22}{3}$.

Замечание 1

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

Пример 1

Натуральные числа $7, 670, 21 \ 456$ являются рациональными.

Целые числа $76, –76, 0, –555 \ 666$ – рациональные.

Обыкновенные дроби $\frac{7}{11}$, $\frac{555}{4}$, $-\frac{7}{11}$, $-\frac{100}{234}$ – рациональные числа.

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

Сформулируем более краткое определение рациональных чисел.

Определение 3

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

Можно сделать следующие выводы:

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

Как определить, является ли число рациональным

  1. Число задано в виде числового выражения, которое состоит только из рациональных чисел и знаков арифметических операций. В таком случае значением выражения будет рациональное число.
  2. Квадратный корень из натурального числа – рациональное число только в том случае, когда под корнем стоит число, которое является полным квадратом некоторого натурального числа. Например, $\sqrt{9}$ и $\sqrt{121}$ – рациональные числа, так как $9=3^2$ и $121=11^2$.
  3. Корень $n$-ой степени из целого числа – рациональное число только в том случае, когда число под знаком корня является $n$-ой степенью какого-либо целого числа. Например, $\sqrt{8}$ – рациональное число, т.к. $8=2^3$.

На числовой оси рациональные числа располагаются повсюду плотно: между каждыми двумя рациональными числами, которые не равны друг другу, можно расположить хотя бы одно рациональное число (следовательно, и бесконечное множество рациональных чисел). В то же время, множество рациональных чисел характеризуется счетной мощностью (т. е. все элементы множества можно пронумеровать). Древние греки доказали, что существуют числа, которые невозможно записать как дробь. Они показали, что не существует такое рациональное число, квадрат которого равен $2$. Тогда рациональных чисел оказалось недостаточно для выражения всех величин, что и привело в дальнейшем к появлению вещественных чисел. Множество рациональных чисел, в отличие от вещественных чисел, является нульмерным.

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

Множество рациональных чисел обозначается и может быть записано таком в виде:

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

Здесь - наибольший общий делитель чисел и .

Множество рациональных чисел является естественным обобщением множества целых чисел . Легко видеть, что если у рационального числа знаменатель , то является целым числом. Множество рациональных чисел располагается на числовой оси всюду плотно: между любыми двумя различными рациональными числами расположено хотя бы одно рациональное число (а значит, и бесконечное множество рациональных чисел). Тем не менее, оказывается, что множество рациональных чисел имеет счётную мощность (то есть все его элементы можно перенумеровать). Заметим, кстати, что ещё древние греки убедились в существовании чисел, не представимых в виде дроби (например, они доказали, что не существует рационального числа, квадрат которого равен 2).

Терминология

Формальное определение

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

Связанные определения

Правильные, неправильные и смешанные дроби

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

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

Высота дроби

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

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

Комментарий

Термин дробное число (дробь) иногда [уточнить ] используется как синоним к термину рациональное число , а иногда синоним любого нецелого числа. В последнем случае, дробные и рациональные числа являются разными вещами, так как тогда нецелые рациональные числа - всего лишь частный случай дробных.

Свойства

Основные свойства

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

  1. Упорядоченность . Для любых рациональных чисел и существует правило, позволяющее однозначно идентифицировать между ними одно и только одно из трёх отношений : «», «» или «». Это правило называется правилом упорядочения и формулируется следующим образом: два положительных числа и связаны тем же отношением, что и два целых числа и ; два неположительных числа и связаны тем же отношением, что и два неотрицательных числа и ; если же вдруг неотрицательно, а - отрицательно, то .

    Суммирование дробей

  2. Операция сложения . правило суммирования суммой чисел и и обозначается , а процесс отыскания такого числа называется суммированием . Правило суммирования имеет следующий вид: .
  3. Операция умножения . Для любых рациональных чисел и существует так называемое правило умножения , которое ставит им в соответствие некоторое рациональное число . При этом само число называется произведением чисел и и обозначается , а процесс отыскания такого числа также называется умножением . Правило умножения имеет следующий вид: .
  4. Транзитивность отношения порядка. Для любой тройки рациональных чисел , и если меньше и меньше , то меньше , а если равно и равно , то равно .
  5. Коммутативность сложения. От перемены мест рациональных слагаемых сумма не меняется.
  6. Ассоциативность сложения. Порядок сложения трёх рациональных чисел не влияет на результат.
  7. Наличие нуля . Существует рациональное число 0, которое сохраняет любое другое рациональное число при суммировании.
  8. Наличие противоположных чисел. Любое рациональное число имеет противоположное рациональное число, при суммировании с которым даёт 0.
  9. Коммутативность умножения. От перемены мест рациональных множителей произведение не меняется.
  10. Ассоциативность умножения. Порядок перемножения трёх рациональных чисел не влияет на результат.
  11. Наличие единицы . Существует рациональное число 1, которое сохраняет любое другое рациональное число при умножении.
  12. Наличие обратных чисел . Любое ненулевое рациональное число имеет обратное рациональное число, умножение на которое даёт 1.
  13. Дистрибутивность умножения относительно сложения. Операция умножения согласована с операцией сложения посредством распределительного закона:
  14. Связь отношения порядка с операцией сложения. К левой и правой частям рационального неравенства можно прибавлять одно и то же рациональное число.
  15. Связь отношения порядка с операцией умножения. Левую и правую части рационального неравенства можно умножать на одно и то же положительное рациональное число.
  16. Аксиома Архимеда . Каково бы ни было рациональное число , можно взять столько единиц, что их сумма превзойдёт .

Дополнительные свойства

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

Счётность множества

Чтобы оценить количество рациональных чисел, нужно найти мощность их множества. Легко доказать, что множество рациональных чисел счётно . Для этого достаточно привести алгоритм, который нумерует рациональные числа, т. е. устанавливает биекцию между множествами рациональных и натуральных чисел. Примером такого построения может служить следующий простой алгоритм. Составляется бесконечная таблица обыкновенных дробей, на каждой -ой строке в каждом -ом столбце которой располагается дробь . Для определённости считается, что строки и столбцы этой таблицы нумеруются с единицы. Ячейки таблицы обозначаются , где - номер строки таблицы, в которой располагается ячейка, а - номер столбца.

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

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

В процессе такого обхода каждому новому рациональному числу ставится в соответствие очередное натуральное число. Т. е. дроби ставится в соответствие число 1, дроби - число 2, и т. д. Нужно отметить, что нумеруются только несократимые дроби. Формальным признаком несократимости является равенство единице наибольшего общего делителя числителя и знаменателя дроби.

Следуя этому алгоритму, можно занумеровать все положительные рациональные числа. Это значит, что множество положительных рациональных чисел счётно. Легко установить биекцию между множествами положительных и отрицательных рациональных чисел, просто поставив в соответствие каждому рациональному числу противоположное ему. Т. о. множество отрицательных рациональных чисел тоже счётно. Их объединение также счётно по свойству счётных множеств. Множество же рациональных чисел тоже счётно как объединение счётного множества с конечным.

Разумеется, существуют и другие способы занумеровать рациональные числа. Например, для этого можно воспользоваться такими структурами как дерево Калкина - Уилфа, дерево Штерна - Броко или ряд Фарея .

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

Недостаточность рациональных чисел

См. также

Целые числа
Рациональные числа
Вещественные числа Комплексные числа Кватернионы

Примечания

Литература

  • И.Кушнир. Справочник по математике для школьников. - Киев: АСТАРТА, 1998. - 520 с.
  • П. С. Александров. Введение в теорию множеств и общую топологию. - М.: глав. ред. физ.-мат. лит. изд. «Наука», 1977
  • И. Л. Хмельницкий. Введение в теорию алгебраических систем

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

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

Содержание урока

Что такое рациональное число

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

К рациональным числам относятся следующие категории чисел:

  • целые числа (например −2, −1, 0 1, 2 и т.д.)
  • десятичные дроби (например 0,2 и т.п.)
  • бесконечные периодические дроби (например 0,(3) и т.п.)

Каждое число из этой категории может быть представлено в виде дроби .

Пример 1. Целое число 2 может быть представлено в виде дроби . Значит число 2 относится не только к целым числам, но и к рациональным.

Пример 2. Смешанное число может быть представлено в виде дроби . Данная дробь получается путём перевода смешанного числа в неправильную дробь

Значит смешанное число относится к рациональным числам.

Пример 3. Десятичная дробь 0,2 может быть представлена в виде дроби . Данная дробь получилась путём перевода десятичной дроби 0,2 в обыкновенную дробь. Если испытываете затруднения на этом моменте, повторите тему .

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

Пример 4. Бесконечная периодическая дробь 0, (3) может быть представлена в виде дроби . Данная дробь получается путём перевода чистой периодической дроби в обыкновенную дробь. Если испытываете затруднения на этом моменте, повторите тему .

Поскольку бесконечная периодическая дробь 0, (3) может быть представлена в виде дроби , значит она тоже относится к рациональным числам.

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

Рациональные числа на координатной прямой

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

На этом рисунке приведен небольшой фрагмент координатной прямой от −5 до 5.

Отметить на координатной прямой целые числа вида 2, 0, −3 не составляет особого труда.

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

Например, отметим на координатной прямой рациональное число . Данное число располагается ровно между нулём и единицей

Попробуем понять, почему дробь вдруг расположилась между нулём и единицей.

Как уже говорилось выше, между целыми числами лежат остальные числа — обыкновенные дроби, десятичные дроби, смешанные числа и т.д. К примеру, если увеличить участок координатной прямой от 0 до 1, то можно увидеть следующую картину

Видно, что между целыми числами 0 и 1 лежат уже другие рациональные числа, которые являются знакомыми для нас десятичными дробями. Здесь же видна наша дробь , которая расположилась там же, где и десятичная дробь 0,5. Внимательное рассмотрение этого рисунка даёт ответ на вопрос почему дробь расположилась именно там.

Дробь означает разделить 1 на 2. А если разделить 1 на 2, то мы получим 0,5

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

Если числитель и знаменатель дроби умножить на любое число, например на число 4, то мы получим новую дробь , а эта дробь также как и равна 0,5

А значит на координатной прямой дробь можно расположить там же, где и располагалась дробь

Пример 2. Попробуем отметить на координатной рациональное число . Данное число располагается ровно между числами 1 и 2

Значение дроби равно 1,5

Если увеличить участок координатной прямой от 1 до 2, то мы увидим следующую картину:

Видно, что между целыми числами 1 и 2 лежат уже другие рациональные числа, которые являются знакомыми для нас десятичными дробями. Здесь же видна наша дробь , которая расположилась там же, где и десятичная дробь 1,5.

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

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

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

К примеру, попробуем увидеть числа, которые лежат между десятичными дробями 0,1 и 0,2

Ещё пример. Десятичные дроби, имеющие две цифры после запятой и лежащие между нулём и рациональным числом 0,1 выглядят так:

Пример 3. Отметим на координатной прямой рациональное число . Данное рациональное число будет располагаться очень близко к нулю

Значение дроби равно 0,02

Если мы увеличим отрезок от 0 до 0,1 то увидим где точно расположилось рациональное число

Видно, что наше рациональное число расположилось там же, где и десятичная дробь 0,02.

Пример 4. Отметим на координатной прямой рациональное число 0, (3)

Рациональное число 0, (3) является бесконечной периодической дробью. Его дробная часть никогда не заканчивается, она бесконечная

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

Рациональное число 0,33333… будет располагаться очень близко к обычной десятичной дроби 0,3

Данный рисунок не показывает точное место расположения числа 0,(3). Это лишь иллюстрация, показывающая как близко может располагаться периодическая дробь 0,(3) к обычной десятичной дроби 0,3.

Пример 5. Отметим на координатной прямой рациональное число . Данное рациональное число будет располагаться посередине между числами 2 и 3

Это есть 2 (две целых) и (одна вторая). Дробь по другому ещё называют «половиной». Поэтому мы отметили на координатной прямой два целых отрезка и ещё половину отрезка.

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

Значение дроби равно 2,5

Если увеличить участок координатной прямой от 2 до 3, то мы увидим следующую картину:

Видно, что наше рациональное число расположилось там же, где и десятичная дробь 2,5

Минус перед рациональным числом

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

Рассмотрим простейшее выражение

(−6) : 2 = −3

В данном выражении делимое (−6) является отрицательным числом.

Теперь рассмотрим второе выражение

6: (−2) = −3

Здесь уже отрицательным числом является делитель (−2). Но в обоих случаях мы получаем один и тот же ответ −3.

Учитывая, что любое деление можно записать в виде дроби, мы можем рассмотренные выше примеры также записать в виде дроби:

А поскольку в обоих случаях значение дроби одинаково, минус стоящий либо в числителе либо в знаменателе можно сделать общим, поставив его перед дробью

Поэтому между выражениями и и можно поставить знак равенства, потому что они несут одно и то же значение

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

Противоположные рациональные числа

Как и целое число, рациональное число имеет своё противоположное число.

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

Перевод смешанных чисел в неправильные дроби

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

Например, переведём смешанное число в неправильную дробь

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

Вычислим данное выражение:

(2 × 2) + 1 = 4 + 1 = 5

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

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

Чтобы вернуть изначальное смешанное число, достаточно выделить целую часть в дроби

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

Рассмотрим дробь . Выделим в этой дроби целую часть. Получим

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

Мы получили дробь , а должны были получить дробь .

Делаем вывод, что смешанное число в неправильную дробь переведено неправильно:

Чтобы правильно перевести отрицательное смешанное число в неправильную дробь, нужно целую часть умножить на знаменатель дробной части, и из полученного числа вычесть числитель дробной части. В этом случае у нас всё встанет на свои места

Отрицательное смешанное число является противоположным для смешанного числа . Если положительное смешанное число располагается в правой части и выглядит так

Определение рациональных чисел:

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

Почему числа называют рациональными?

По латински "рацио" (ratio) означает отношение. Рациональные числа могут быть представлены в виде отношения, т.е. другими словами в виде дроби.

Пример рационального числа

Число 2/3 есть рациональное число. Почему? Это число представлено в виде дроби, числитель которой принадлежит множеству целых чисел, а знаменатель - множеству натуральных чисел.

Больше примеров рациональных чисел см. в статье .

Равные рациональные числа

Разные дроби могут представлять одно рациональное число.

Рассмотрим рациональное число 3/5. Этому рациональному числу равны

Сократим числитель и знаменатель на общий множитель 2:

6 = 2 * 3 = 3
10 2 * 5 5

Мы получили дробь 3/5, а это значит, что

Рациональные числа

Четверти

  1. Упорядоченность . a и b существует правило, позволяющее однозначно идентифицировать между ними одно и только одно из трёх отношений : « < », « > » или « = ». Это правило называется правилом упорядочения и формулируется следующим образом: два неотрицательных числа и связаны тем же отношением, что и два целых числа и ; два неположительных числа a и b связаны тем же отношением, что и два неотрицательных числа и ; если же вдруг a неотрицательно, а b - отрицательно, то a > b . src="/pictures/wiki/files/57/94586b8b651318d46a00db5413cf6c15.png" border="0">

    Суммирование дробей

  2. Операция сложения . Для любых рациональных чисел a и b существует так называемое правило суммирования c . При этом само число c называется суммой чисел a и b и обозначается , а процесс отыскания такого числа называется суммированием . Правило суммирования имеет следующий вид: .
  3. Операция умножения . Для любых рациональных чисел a и b существует так называемое правило умножения , которое ставит им в соответствие некоторое рациональное число c . При этом само число c называется произведением чисел a и b и обозначается , а процесс отыскания такого числа также называется умножением . Правило умножения имеет следующий вид: .
  4. Транзитивность отношения порядка. Для любой тройки рациональных чисел a , b и c если a меньше b и b меньше c , то a меньше c , а если a равно b и b равно c , то a равно c . 6435">Коммутативность сложения. От перемены мест рациональных слагаемых сумма не меняется.
  5. Ассоциативность сложения. Порядок сложения трёх рациональных чисел не влияет на результат.
  6. Наличие нуля . Существует рациональное число 0, которое сохраняет любое другое рациональное число при суммировании.
  7. Наличие противоположных чисел. Любое рациональное число имеет противоположное рациональное число, при суммировании с которым даёт 0.
  8. Коммутативность умножения. От перемены мест рациональных множителей произведение не меняется.
  9. Ассоциативность умножения. Порядок перемножения трёх рациональных чисел не влияет на результат.
  10. Наличие единицы . Существует рациональное число 1, которое сохраняет любое другое рациональное число при умножении.
  11. Наличие обратных чисел . Любое рациональное число имеет обратное рациональное число, при умножении на которое даёт 1.
  12. Дистрибутивность умножения относительно сложения. Операция умножения согласована с операцией сложения посредством распределительного закона:
  13. Связь отношения порядка с операцией сложения. К левой и правой частям рационального неравенства можно прибавлять одно и то же рациональное число. /pictures/wiki/files/51/358b88fcdff63378040f8d9ab9ba5048.png" border="0">
  14. Аксиома Архимеда . Каково бы ни было рациональное число a , можно взять столько единиц, что их сумма превзойдёт a . src="/pictures/wiki/files/55/70c78823302483b6901ad39f68949086.png" border="0">

Дополнительные свойства

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

Src="/pictures/wiki/files/48/0caf9ffdbc8d6264bc14397db34e8d72.png" border="0">

Счётность множества

Нумерация рациональных чисел

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

Самый простой из таких алгоритмов выглядит следующим образом. Составляется бесконечная таблица обыкновенных дробей, на каждой i -ой строке в каждом j -ом столбце которой располагается дробь . Для определённости считается, что строки и столбцы этой таблицы нумеруются с единицы. Ячейки таблицы обозначаются , где i - номер строки таблицы, в которой располагается ячейка, а j - номер столбца.

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

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

В процессе такого обхода каждому новому рациональному числу ставится в соответствие очередное натуральное число. Т. е. дроби 1 / 1 ставится в соответствие число 1, дроби 2 / 1 - число 2, и т. д. Нужно отметить, что нумеруются только несократимые дроби. Формальным признаком несократимости является равенство единице наибольшего общего делителя числителя и знаменателя дроби.

Следуя этому алгоритму, можно занумеровать все положительные рациональные числа. Это значит, что множество положительных рациональных чисел счётно. Легко установить биекцию между множествами положительных и отрицательных рациональных чисел, просто поставив в соответствие каждому рациональному числу противоположное ему. Т. о. множество отрицательных рациональных чисел тоже счётно. Их объединение также счётно по свойству счётных множеств. Множество же рациональных чисел тоже счётно как объединение счётного множества с конечным.

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

Недостаточность рациональных чисел

Гипотенуза такого треугольника не выражается никаким рациональным числом

Рациональными числами вида 1 / n при больших n можно измерять сколь угодно малые величины . Этот факт создаёт обманчивое впечатление, что рациональными числами можно измерить вообще любые геометрические расстояния . Легко показать, что это не верно.

Примечания

Литература

  • И.Кушнир. Справочник по математике для школьников. - Киев: АСТАРТА, 1998. - 520 с.
  • П. С. Александров. Введение в теорию множеств и общую топологию. - М.: глав. ред. физ.-мат. лит. изд. «Наука», 1977
  • И. Л. Хмельницкий. Введение в теорию алгебраических систем

Ссылки

Wikimedia Foundation . 2010 .



Просмотров