Объяснение рациональных чисел. Рациональные числа, определение, примеры

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

Четверти

  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 .

Как мы уже видели, множество натуральных чисел

замкнуто относительно сложения и умножения, а множество целых чисел

замкнуто относительно сложения, умножения и вычитания. Однако ни одно из этих множеств не замкнуто относительно деления, поскольку деление целых чисел может привести к дробям, как, например, в случаях 4/3, 7/6, -2/5 и т.д. Совокупность всех таких дробей образует множество рациональных чисел. Таким образом, рациональное число (рациональная дробь) есть такое число, которое можно представить в виде , где а и d - целые числа, причем d не равно нулю. Сделаем по поводу этого определения несколько замечаний.

1) Мы потребовали, чтобы d было отлично от нуля. Это требование (математически записываемое неравенством ) необходимо, поскольку здесь d является делителем. Рассмотрим следующие примеры:

Случай 1. .

Случай 2. .

В случае 1 d является делителем в смысле предыдущей главы, т. е. 7 есть точный делитель 21, В случае 2 d по-прежнему является делителем, но уже в другом смысле, поскольку 7 не есть точный делитель 25.

Если 25 назвать делимым, а 7 - делителем, то мы получим частное 3 и остаток 4. Итак, слово делитель используется здесь в более общем смысле и применимо к большему числу случаев, чем в гл. I. Однако в случаях, подобных случаю 1, должно оставаться применимым понятие делителя, введенное в гл. I; поэтому необходимо, как и в гл. I, исключить возможность d = 0.

2) Отметим, что, в то время как выражения рациональное число и рациональная дробь являются синонимами, само по себе слово дробь используется для обозначения любого алгебраического выражения, состоящего из числителя и знаменателя, как, например,

3) В определение рационального числа входит выражение «число, которое можно представить в виде , где а и d - целые числа и . Почему его нельзя заменить выражением «число вида , где а и d - целые числа и Причиной этому является то обстоятельство, что существует бесконечно много способов выражения одной и той же дроби (например, 2/3 можно также записать, как 4/6, 6/9, или или 213/33, или и т. п.), и нам желательно, чтобы наше определение рационального числа не зависело от частного способа его выражения.

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

Ни одно из них в выбранной нами записи не имеет вида , где а и d - целые числа.

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

Таким образом, мы приходим к дроби, равной исходу ной дроби, для которой . Число следовательно, рационально, но оно не было бы рациональным, если бы определение рационального числа требовало бы, чтобы число имело вид а/b, где а и b - целые числа. В случае дроби преобразования

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

4) Отметим, что всякое целое число рационально. Как мы только что видели, это верно в случае числа 2. В общем случае произвольных целых чисел можно, аналогично, приписать каждому из них знаменатель, равный 1, и получить их представление в виде рациональных дробей.

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

Мы уже говорили про множества натуральных и целых чисел. Множество натуральных чисел является подмножеством целых чисел .

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

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

Разберемся, из каких чисел состоит это множество. Можно предположить, что оно состоит из всех дробей. Например, таких - . Но такое определение было бы не совсем корректным. Дробь - это не само число, а форма записи числа. В примере, представленном ниже, две разные дроби обозначают одно и то же число:

Тогда точнее будет сказать, что рациональные числа - это те числа, которые можно представить в виде дроби. И это в самом деле уже почти то самое определение, которое и используют в математике.

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

С отрицательными целыми числами аналогичная ситуация. Любое целое отрицательное число можно представить в виде дроби . А можно ли число ноль представить в виде дроби? Конечно, можно, тоже бесконечным числом способов .

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

Замкнутость множеств относительно арифметических операций

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

Говорят, множество натуральных чисел замкнуто относительно операции сложения ( замкнуто относительно сложения). Самостоятельно подумайте, замкнуто ли множество натуральных чисел относительно умножения.

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

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

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

Осталось еще одно действие - деление. Замкнуто ли множество целых чисел относительно деления? Ответ очевиден: нет. Поделим на . Среди целых чисел нет такого, чтобы записать ответ: .

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

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

Давайте проверим.

То есть множество рациональных чисел замкнуто относительно сложения, вычитания, умножения и деления, исключая деление на ноль. В этом смысле можно говорить, что множество рациональных чисел устроено «лучше», чем предшествующие множества натуральных и целых чисел. Означает ли это, что рациональные числа - последнее числовое множество, которое мы изучаем? Нет. Впоследствии у нас появятся другие числа, которые нельзя записать в виде дробей, например иррациональных.

Числа как инструмент

Числа - это инструмент, которые человек создавал по мере необходимости.

Рис. 1. Использование натуральных чисел

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

Рис. 2. Использование дробных чисел

Поэтому появляется новый инструмент, новые числа - дроби. Мы их записываем разными эквивалентными способами: обыкновенными и десятичными дробями ().

Все числа - «старые» (целые) и «новые» (дробные) - объединили в одно множество и назвали его множеством рациональных чисел ( - рациональные числа )

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

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

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

Десятичные дроби бывают трех видов: конечные, периодические и непериодические.

Бесконечные непериодические дроби: у таких дробей тоже бесконечное количество цифр после запятой, но периода нет. Примером является десятичная запись числа ПИ:

Любая конечная десятичная дробь по определению - это обыкновенная дробь со знаменателем и т.д.

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

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

Переход от обыкновенной дроби к десятичной

Самый простой случай, когда знаменатель дроби - это степень десятки: и т.д. Тогда мы пользуемся определением десятичной дроби:

Есть дроби, у которых знаменатель легко приводится к такому виду: . Перейти к такой записи возможно, если в разложение знаменателя входят только двойки и пятерки.

Знаменатель состоит из трех двоек и одной пятерки. Каждая и образуют десятку. Значит, нам не хватает двух . Домножим на и числитель, и знаменатель:

Можно было поступить по-другому. Поделить столбиком на (см. рис. 1).

Рис. 2. Деление в столбик

В случае с знаменатель не удастся превратить в или другое разрядное число, так как в его разложение входит тройка. Остается один способ - делить в столбик (см. рис. 2).

Такое деление на каждом шаге будет давать в остатке и в частном. Этот процесс бесконечен. То есть получили бесконечную периодическую дробь с периодом

Давайте потренируемся. Переведем обыкновенные дроби в десятичные.

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

(проверим себя делением в столик - см. рис. 3).

Рис. 3. Деление в столбик

Рис. 4. Деление в столбик

(см. рис. 4)

В разложение знаменателя входит тройка, значит, привести знаменатель к виду , и т.д. не получится. Делим на в столбик. Ситуация будет повторяться. В записи результата будет бесконечное число троек. Таким образом, .

(см. рис. 5)

Рис. 5. Деление в столбик

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

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

Виды записи дробей:

запись десятичной дроби в виде обыкновенной: ; ;

запись обыкновенной дроби в виде десятичной: (конечная дробь); (бесконечная периодическая).

То есть любое рациональное число можно записать конечной или периодической десятичной дробью. При этом конечную дробь тоже можно считать периодической с периодом ноль.

Иногда рациональному числу дают именно такое определение: рациональное число - это число, которое можно записать периодической десятичной дробью.

Преобразование периодической дроби

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

Это можно сделать, умножив исходное число на . Итак, число имеет такой же период. Вычтем из само число :

Чтобы убедиться, что мы правильно все сделали, давайте теперь сделаем переход в обратную сторону, уже известным нам способом - делением в столбик на (см. рис. 1).

В самом деле получаем число в исходной форме с периодом .

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

Вычтем из полученного выражения исходное:

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

Вычтем из одной периодической дроби другую, получим конечную десятичную дробь:

Остается выразить исходную периодическую дробь в виде обыкновенной.

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

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

А как обстоит дело с непериодическими дробями? Оказывается, непериодические дроби невозможно представить в виде обыкновенных (этот факт мы примем без доказательства). А значит, они не являются рациональными числами. Их называют иррациональными.

Бесконечные непериодические дроби

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

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

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

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

  1. Математика 5 класс. Виленкин Н.Я., Жохов В.И., Чесноков А.С., Шварцбурд С.И., 31-е изд., стер. - М: Мнемозина, 2013.
  2. Математика 5 класс. Ерина Т.М.. Рабочая тетрадь к учебнику Виленкина Н.Я., М.: Экзамен, 2013.
  3. Математика 5 класс. Мерзляк А.Г., Полонский В.Б., Якир М.С., М.: Вентана - Граф, 2013.
  1. Math-prosto.ru ().
  2. Cleverstudents.ru ().
  3. Mathematics-repetition.com ().

Домашнее задание

Натуральные числа

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

Это натуральный ряд чисел.
Ноль натуральное число? Нет, ноль не является натуральным числом.
Сколько натуральных чисел существует? Существует бесконечное множество натуральных чисел.
Каково наименьшее натуральное число? Единица - это наименьшее натуральное число.
Каково наибольшее натуральное число? Его невозможно указать, ведь существует бесконечное множество натуральных чисел.

Сумма натуральных чисел есть натуральное число. Итак, сложение натуральных чисел a и b:

Произведение натуральных чисел есть натуральное число. Итак, произведение натуральных чисел a и b:

с - это всегда натуральное число.

Разность натуральных чисел Не всегда есть натуральное число. Если уменьшаемое больше вычитаемого, то разность натуральных чисел есть натуральное число, иначе - нет.

Частное натуральных чисел Не всегда есть натуральное число. Если для натуральных чисел a и b

где с - натуральное число, то это значит, что a делится на b нацело. В этом примере a - делимое, b - делитель, c - частное.

Делитель натурального числа - это натуральное число, на которое первое число делится нацело.

Каждое натуральное число делится на единицу и на себя.

Простые натуральные числа делятся только на единицу и на себя. Здесь имеется ввиду делятся нацело. Пример, числа 2; 3; 5; 7 делятся только на единицу и на себя. Это простые натуральные числа.

Единицу не считают простым числом.

Числа, которые больше единицы и которые не являются простыми, называют составными. Примеры составных чисел:

Единицу не считают составным числом.

Множество натуральных чисел составляют единица, простые числа и составные числа.

Множество натуральных чисел обозначается латинской буквой N.

Свойства сложения и умножения натуральных чисел:

переместительное свойство сложения

сочетательное свойство сложения

(a + b) + c = a + (b + c);

переместительное свойство умножения

сочетательное свойство умножения

(ab) c = a (bc);

распределительное свойство умножения

A (b + c) = ab + ac;

Целые числа

Целые числа - это натуральные числа, ноль и числа, противоположные натуральным.

Числа, противоположные натуральным - это целые отрицательные числа, например:

1; -2; -3; -4;...

Множество целых чисел обозначается латинской буквой Z.

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

Рациональные числа - это целые числа и дроби.

Любое рациональное число может быть представлено в виде периодической дроби. Примеры:

1,(0); 3,(6); 0,(0);...

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

Любое рациональное число может быть представлено в виде дроби m/n, где m целое число,n натуральное число. Представим в виде такой дроби число 3,(6) из предыдущего примера.

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

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

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

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

Множество рациональных чисел является естественным обобщением множества целых чисел . Легко видеть, что если у рационального числа знаменатель , то является целым числом. Множество рациональных чисел располагается на числовой оси всюду плотно: между любыми двумя различными рациональными числами расположено хотя бы одно рациональное число (а значит, и бесконечное множество рациональных чисел). Тем не менее, оказывается, что множество рациональных чисел имеет счётную мощность (то есть все его элементы можно перенумеровать). Заметим, кстати, что ещё древние греки убедились в существовании чисел, не представимых в виде дроби (например, они доказали, что не существует рационального числа, квадрат которого равен 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
  • И. Л. Хмельницкий. Введение в теорию алгебраических систем