Невід’ємні раціональні числа та їх властивості.

3. Розширюючи множину цілих чисел, ми зазначали, що у новій числовій множині цілі числа повинні зберегтися. Для цього кожне ціле число буде позначати дробовим числом із знаменником 1. Наприклад, 0= , 1= , 2= тощо, де n – довільне ціле число. Тепер всі дроби можна розбити на класи, до кожного з яких входитимуть рівносильні дроби. Так, до першого класу віднесемо всі дроби рівносильні числу 0, до другого – рівносильні числу 1, тобто 1, , до наступного дроби, які дорівнюють , тобто , тощо. Всі дроби кожного класу визначають одне й те ж саме дробове число. Серед множини цих чисел є одне особливе. Це нескоротний дріб.

Означення: додатнім раціональним числом називається множина рівносильних йому дробів { , , , …, , …}.

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

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

Означення: об’єднання множини невід’ємних цілих чисел та додатних дробів називають множиною невід’ємних раціональних чисел.

Символічно ця множина позначається так Q₀. Перейдемо до розгляду властивостей цієї множини. Цілком зрозуміло, що в множині додатних раціональних чисел повинні зберегтися деякі властивості, що були в множині цілих чисел. Крім того, ця нова числова множина повинна мати і нові властивості, яких не було в попередній числовій множині.

Означення: числова множина називається щільною в собі, якщо між будь-якими її двома елементами міститься безліч елементів цієї множини.

Теорема:множина невід'ємних раціональних чисел щільна в собі.