Відношення порядку на множині невід’ємних раціональних чисел.

4. Розглянемо правила порівняння невід’ємних раціональних чисел, причому намагатимемося ввести їх таким чином, щоб вони не суперечили правилам порівняння цілих чисел. Розглянемо спочатку два невід’ємних раціональних числа а= з однаковими знаменниками. Будемо вважати, що . Як же бути у випадку дробів з різними знаменниками? Для відповіді на поставлене запитання приймемо наступні означення.

Означення: з двох невід’ємних раціональних чисел з однаковими знаменника меншим (більшим) буде те, у якого чисельник менший (більший).

Означення: з двох дробів з різними знаменниками меншим (більшим) буде той, для якого справджується нерівність pk<qn (pk>qn).

Перше означення символічно можна записати так: ( ), а друге – ( )Û(pk>qn).

З’ясуємо, які властивості має це відношення. Оскільки нерівності а<а і а>а не можуть бути одночасно істинними, то це відношення має властивість антирефлексивності. Для виявлення інших властивостей доведемо наступні теореми.

Теорема: для будь-яких невід’ємних раціональних чисел і , якщо < , то > .

Символічно сформульована теорема запишеться так: (" єQ₀)(" єQ₀)[( < )Þ( > )].