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

Раціональне число
Досліджується в	теорія раціональних чиселd
Формула	${\frac {a}{b}}\in \mathbb {Q} \Leftrightarrow a\in \mathbb {Z} ,b\in \mathbb {N}$
Позначення у формулі	$\mathbb {Q}$, $\mathbb {Z}$, $\mathbb {N}$, $a$ і $b$
Підтримується Вікіпроєктом	Вікіпедія:Проєкт:Математика
Протилежне	ірраціональні числа
Раціональне число у Вікісховищі

Відображення натуральних, цілих, раціональних, дійсних і комплексних чисел
колами Ейлера

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

$\mathbb {Q} =\left\{{\frac {m}{n}},\ m\in \mathbb {Z} ,\ n\in \mathbb {N} \right\}$

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

$nx=m,\quad n\in \mathbb {N} ,\quad m\in \mathbb {Z}$,

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

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

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

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

Можна дати формальне означення раціональних чисел як множини класів еквівалентності пар $\left\{(m,\;n)\mid m\in \mathbb {Z} ,\;n\in \mathbb {N} \right\}$ за відношенням еквівалентності

$(m,\;n)\sim (m',\;n')\iff m\cdot n'=m'\cdot n.$

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

• $\left(m_{1},\;n_{1}\right)+\left(m_{2},\;n_{2}\right)=\left(m_{1}\cdot n_{2}+m_{2}\cdot n_{1},\;n_{1}\cdot n_{2}\right);$
• $\left(m_{1},\;n_{1}\right)\cdot \left(m_{2},\;n_{2}\right)=\left(m_{1}\cdot m_{2},\;n_{1}\cdot n_{2}\right).$

Пов'язані

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

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

Наприклад, дроби ${\frac {3}{5}}$, $-{\frac {7}{8}}$ та ${\frac {1}{2}}$ є правильними, а $-{\frac {8}{3}}$, ${\frac {9}{5}}$ та ${\frac {2}{1}}$ є неправильними.

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

Число 0 є правильним дробом ${\frac {0}{1}}$.

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

Наприклад, $2{\frac {3}{7}}=2+{\frac {3}{7}}={\frac {14}{7}}+{\frac {3}{7}}={\frac {17}{7}}$.

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

Властивості

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

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

1. Впорядкованість. Для будь-яких раціональних чисел $a$ та $b$ існує правило, яке дозволяє однозначно ідентифікувати між ними одне й тільки одне з трьох відношень: «$<$», «$>$» або «$=$». Це правило зветься правилом впорядкування і формулюється так: два невід'ємні числа $a={\frac {m_{a}}{n_{a}}}$ та $b={\frac {m_{b}}{n_{b}}}$ зв'язані тим же відношенням, що й два цілі числа $m_{a}\cdot n_{b}$ та $m_{b}\cdot n_{a}$; два недодатні числа $a$ та $b$ зв'язані тим же відношенням, що й два невід'ємні числа $\left|b\right|$ и $\left|a\right|$; якщо ж $a$ невід'ємне, а $b$ — від'ємне, то $a>b$.

   $\forall a,b\in \mathbb {Q} ~\left(a<b\lor a>b\lor a=b\right)$

   

   Додавання дробів

2. Операція додавання. Для будь-яких раціональних чисел $a$ та $b$ існує правило додавання, яке ставить їм у відповідність певне раціональне число $c$. При цьому число $c$ зветься сумою чисел $a$ та $b$ й позначається $\left(a+b\right)$, а процес знаходження такого числа зветься додаванням. Правило додавання має такий вигляд: ${\frac {m_{a}}{n_{a}}}+{\frac {m_{b}}{n_{b}}}={\frac {m_{a}\cdot n_{b}+m_{b}\cdot n_{a}}{n_{a}\cdot n_{b}}}$.

   $\forall a,b\in \mathbb {Q} ~\exists \left(a+b\right)\in \mathbb {Q}$

3. Операція множення. Для будь-яких раціональних чисел $a$ та $b$ існує правило множення, яке ставить їм у відповідність певне раціональне число $c$. При цьому число $c$ зветься добутком чисел $a$ та $b$ й позначається $\left(a\cdot b\right)$, а процес знаходження такого числа зветься множенням. Правило множення має такий вигляд: ${\frac {m_{a}}{n_{a}}}\cdot {\frac {m_{b}}{n_{b}}}={\frac {m_{a}\cdot m_{b}}{n_{a}\cdot n_{b}}}$.

   $\forall a,b\in \mathbb {Q} ~\exists \left(a\cdot b\right)\in \mathbb {Q}$

4. Транзитивність відношення порядку. Для будь-якої трійки раціональних чисел $a$, $b$ та $c$ якщо $a$ менше $b$ та $b$ менше $c$, то $a$ менше $c$, а якщо $a$ дорівнює $b$ й $b$ дорівнює $c$, то $a$ дорівнює $c$.

   $\forall a,b,c\in \mathbb {Q} ~\left(a<b\land b<c\Rightarrow a<c\right)\land \left(a=b\land b=c\Rightarrow a=c\right)$

5. Комутативність додавання. Від зміни місць раціональних доданків сума не змінюється.

   $\forall a,b\in \mathbb {Q} ~~a+b=b+a$

6. Асоціативність додавання. Порядок додавання трьох раціональних чисел не впливає на результат.

   $\forall a,b,c\in \mathbb {Q} ~~\left(a+b\right)+c=a+\left(b+c\right)$

7. Існування нуля. Існує раціональне число 0 (нуль), яке не змінює будь-яке інше раціональне число при додаванні.

   $\exists 0\in \mathbb {Q} ~\forall a\in \mathbb {Q} ~~a+0=a$

8. Існування протилежних чисел. Будь-яке раціональне число має відповідне протилежне раціональне число, при додаванні до якого утворюється 0.

   $\forall a\in \mathbb {Q} ~\exists \left(-a\right)\in \mathbb {Q} ~~a+\left(-a\right)=0$

9. Комутативність множення. Від зміни місць раціональних множників добуток не змінюється.

   $\forall a,b\in \mathbb {Q} ~~a\cdot b=b\cdot a$

10. Асоціативність множення. Порядок множення трьох раціональних чисел не впливає на результат.

    $\forall a,b,c\in \mathbb {Q} ~~\left(a\cdot b\right)\cdot c=a\cdot \left(b\cdot c\right)$

11. Існування одиниці. Існує раціональне число 1, яке не змінює будь-яке інше раціональне число при множенні.

    $\exists 1\in \mathbb {Q} ~\forall a\in \mathbb {Q} ~~a\cdot 1=a$

12. Існування обернених чисел. Будь-яке раціональне число, що не дорівнює нулю, має відповідне обернене раціональне число, множення на яке дає 1.

    $\forall a\in \mathbb {Q} ~\exists a^{-1}\in \mathbb {Q} ~~a\cdot a^{-1}=1$

13. Дистрибутивність множення відносно додавання. Операція множення узгоджена з операцією додавання за допомогою розподільного закону:

    $\forall a,b,c\in \mathbb {Q} ~~\left(a+b\right)\cdot c=a\cdot c+b\cdot c$

14. Зв'язок відношення порядку з операцією додавання. До лівої й правої частин раціональної нерівності можна додавати одне й те ж раціональне число.

    $\forall a,b,c\in \mathbb {Q} ~~a<b\Rightarrow a+c<b+c$

15. Зв'язок відношення порядку з операцією множення. Ліву й праву частини раціональної нерівності можна множити на одне й те ж додатне раціональне число.

    $\forall a,b,c\in \mathbb {Q} ~~c>0\land a<b\Rightarrow a\cdot c<b\cdot c$

16. Аксіома Архімеда. Яким би не було раціональне число $a$, можна взяти стільки одиниць, що їхня сума буде більшою за $a$.

    $\forall a\in \mathbb {Q} ~\exists n\in \mathbb {N} ~~\sum _{k=1}^{n}1>a$

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

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

• Друге відношення порядку «>» також транзитивне.

  $\forall a,b,c\in \mathbb {Q} ~~a>b\land b>c\Rightarrow a>c$

• Добуток будь-якого раціонального числа на нуль дорівнює нулю.

  $\forall a\in \mathbb {Q} ~~a\cdot 0=0$

• Раціональні нерівності одного знаку можна почленно додавати.

  $\forall a,b,c,d\in \mathbb {Q} ~~a>b\land c>d\Rightarrow a+c>b+d$

• Множина раціональних чисел $\mathbb {Q}$ є полем відносно операцій додавання та множення дробів.

  $\left(\mathbb {Q} ,+,\cdot \right)$ — поле

• Кожне раціональне число є алгебраїчним.

  $\mathbb {Q} \subset \mathbb {A}$

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

Підпростір $\mathbb {Q}$ евклідового простору $\mathbb {R}$ має такі властивості:

• $\mathbb {Q}$ є F_σ-множиною, але не є G_δ-множиною в $\mathbb {R}$.
• Евклідова метрика перетворює $\mathbb {Q}$ на метричний простір, який є цілком нормальним та паракомпактним.
• $\mathbb {Q}$, як зліченне об'єднання одноточкових множин, є простором першої категорії.
• $\mathbb {Q}$ сепарабельний.
• $\mathbb {Q}$ задовольняє другу аксіому зліченності.
• $\mathbb {Q}$ не локально компактний і не σ-локально компактний.
• $\mathbb {Q}$ σ-компактний.
• $\mathbb {Q}$ цілком відокремлений.
• $\mathbb {Q}$ щільний у собі і не розсіяний.
• $\mathbb {Q}$ нульвимірний.
• Перетин $[0,1]\cap \mathbb {Q}$ цілком обмежений, але не компактний.

Зліченність

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

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

Див. також

• Дріб
• Раціональний вираз
• Дійсні числа
• Ірраціональні числа
• Щільний порядок

Джерела

• Александров П.С. Введение в теорию множеств и общую топологию. — Москва : Наука, 1977. — 368 с. — ISBN 5354008220.(рос.)