Перейти до вмісту

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

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Раціональні числа)
Раціональне число
Зображення
Досліджується в теорія раціональних чиселd
Формула
Позначення у формулі , , , і
Підтримується Вікіпроєктом Вікіпедія:Проєкт:Математика
Протилежне ірраціональні числа
CMNS: Раціональне число у Вікісховищі
Відображення натуральних, цілих, раціональних, дійсних і комплексних чисел
колами Ейлера

Раціональні числа — в математиці множина раціональних чисел визначається як множина нескоротних дробів із цілим чисельником і натуральним знаменником:

або як множина розв'язків рівняння

,

тобто n — натуральне число, m — ціле число.

Множина раціональних чисел є підмножиною алгебраїчних та дійсних чисел.

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

[ред. | ред. код]

Формальне означення

[ред. | ред. код]

Можна дати формальне означення раціональних чисел як множини класів еквівалентності пар за відношенням еквівалентності

При цьому операції додавання й множення визначаються так:

Пов'язані

[ред. | ред. код]

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

Дріб, який не є правильним, зветься неправильним.

Наприклад, дроби , та  є правильними, а , та  є неправильними.

Будь-яке ціле число (крім нуля) можна подати в вигляді неправильного дробу зі знаменником 1.

Число 0 є правильним дробом .

Дріб, записаний як ціле число й правильний дріб, зветься мішаним дробом й розглядається як сума цього числа та дробу.

Наприклад, .

У строгій математичній літературі запис у вигляді змішаного дробу переважно не використовується через подібність позначення змішаного дробу з позначенням добутку цілого числа з дробом.

Властивості

[ред. | ред. код]

Основні властивості

[ред. | ред. код]

Для раціональних чисел виконуються шістнадцять основних властивостей, які можна отримати з властивостей цілих чисел.[1]

  1. Впорядкованість. Для будь-яких раціональних чисел та існує правило, яке дозволяє однозначно ідентифікувати між ними одне й тільки одне з трьох відношень: «», «» або «». Це правило зветься правилом впорядкування і формулюється так: два невід'ємні числа та зв'язані тим же відношенням, що й два цілі числа та ; два недодатні числа та зв'язані тим же відношенням, що й два невід'ємні числа и ; якщо ж невід'ємне, а  — від'ємне, то .
    Додавання дробів
  2. Операція додавання. Для будь-яких раціональних чисел та існує правило додавання, яке ставить їм у відповідність певне раціональне число . При цьому число зветься сумою чисел та й позначається , а процес знаходження такого числа зветься додаванням. Правило додавання має такий вигляд: .
  3. Операція множення. Для будь-яких раціональних чисел та існує правило множення, яке ставить їм у відповідність певне раціональне число . При цьому число зветься добутком чисел та й позначається , а процес знаходження такого числа зветься множенням. Правило множення має такий вигляд: .
  4. Транзитивність відношення порядку. Для будь-якої трійки раціональних чисел , та якщо менше та менше , то менше , а якщо дорівнює й дорівнює , то дорівнює .
  5. Комутативність додавання. Від зміни місць раціональних доданків сума не змінюється.
  6. Асоціативність додавання. Порядок додавання трьох раціональних чисел не впливає на результат.
  7. Існування нуля. Існує раціональне число 0 (нуль), яке не змінює будь-яке інше раціональне число при додаванні.
  8. Існування протилежних чисел. Будь-яке раціональне число має відповідне протилежне раціональне число, при додаванні до якого утворюється 0.
  9. Комутативність множення. Від зміни місць раціональних множників добуток не змінюється.
  10. Асоціативність множення. Порядок множення трьох раціональних чисел не впливає на результат.
  11. Існування одиниці. Існує раціональне число 1, яке не змінює будь-яке інше раціональне число при множенні.
  12. Існування обернених чисел. Будь-яке раціональне число, що не дорівнює нулю, має відповідне обернене раціональне число, множення на яке дає 1.
  13. Дистрибутивність множення відносно додавання. Операція множення узгоджена з операцією додавання за допомогою розподільного закону:
  14. Зв'язок відношення порядку з операцією додавання. До лівої й правої частин раціональної нерівності можна додавати одне й те ж раціональне число.
  15. Зв'язок відношення порядку з операцією множення. Ліву й праву частини раціональної нерівності можна множити на одне й те ж додатне раціональне число.
  16. Аксіома Архімеда. Яким би не було раціональне число , можна взяти стільки одиниць, що їхня сума буде більшою за .

Додаткові властивості

[ред. | ред. код]

Решта властивостей раціональних чисел не входять до основних, бо вони не опираються на властивості цілих чисел, а можуть бути доведені з використанням основних властивостей чи за означенням певного математичного об'єкта. Таких властивостей дуже багато, ось деякі з них:

  • Друге відношення порядку «>» також транзитивне.
  • Добуток будь-якого раціонального числа на нуль дорівнює нулю.
  • Раціональні нерівності одного знаку можна почленно додавати.
  • Множина раціональних чисел є полем відносно операцій додавання та множення дробів.
     — поле
  • Кожне раціональне число є алгебраїчним.

Топологічні властивості

[ред. | ред. код]

Підпростір евклідового простору має такі властивості:

Зліченність

[ред. | ред. код]
Нумерація раціональних чисел

Зліченна множина — в теорії множин така нескінченна множина, елементи якої можна занумерувати натуральними числами. Легко довести, що множина раціональних чисел зліченна. Для цього достатньо привести алгоритм, який нумерує раціональні числа, тобто встановлює бієкцію між множинами раціональних і натуральних чисел. Ілюстрація зображує один з варіантів цього алгоритму. Існують і інші способи занумерувати раціональні числа. Наприклад для цього можна використати ряд Фарея, дерево Калкіна — Вілфа або дерево Штерна — Броко.

Див. також

[ред. | ред. код]

Виноски

[ред. | ред. код]
  1. В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 2. Вещественные числа // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М. : Проспект, 2006. — Т. 1. — С. 30 — 31. — ISBN 5-482-00445-7.

Джерела

[ред. | ред. код]