logo search
Лекції з матем - заоч

Доведення.

Н ехай а,bQ0. Приймемо, що a<b. Нехай додамо до обох частин . Тоді матимемо . Позначимо , тоді a<c<b. Отже, ми показали, що між додатними раціональними числами а і b є ще одне додатне раціональне число. Аналогічно можна довести, що і між числами а і с та с і b є додатні раціональні числа. Таким чином, теорему доведено.

Розглядаючи властивості множини цілих чисел, ми ввели поняття зчисленної множини, як множини, яка еквівалентна множині натуральних чисел. Покажемо, що і множина невід’ємних раціональних чисел має цю властивість, тобто є зчисленною.

Теорема: множина Q0 невід’ємних раціональних чисел зчисленна.