Раздел I. Введение в анализ§ 1. Вещественные числа

Демидович — задача 16

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 16

Доказать, что множество всех правильных рациональных дробей mn\frac mn, где mm и nn — натуральные числа и 0<m<n0<m<n, не имеет наименьшего и наибольшего элементов. Найти нижнюю и верхнюю грани этого множества.

Доказательство

Идея

Из условия 0<m<n0<m<n сразу следует, что каждая правильная дробь лежит строго между 00 и 11. Эти числа подсказывают нижнюю и верхнюю границы, но сами в множество не входят. Чтобы доказать точность границ, будем брать дроби 1n\frac1n, приближающиеся к 00, и дроби 11n1-\frac1n, приближающиеся к 11. Те же конструкции помогут исключить наименьший и наибольший элементы. Обозначим рассматриваемое множество черезS={mn: m,nN, 0<m<n}.S=\left\{\frac mn:\ m,n\in\mathbb N,
\ 0<m<n\right\}.
  1. 1
    Для любого элемента mnS\frac mn\in S имеем0<mn<1.0<\frac mn<1.Значит, 00 — нижняя граница, а 11 — верхняя граница множества SS.
  2. 2
    Покажем, что 00 является точной нижней гранью. Пусть ε>0\varepsilon>0. Выберем натуральное nn настолько большим, что1n<ε.\frac1n<\varepsilon.Тогда дробь 1n\frac1n принадлежит SS при n>1n>1 и лежит между 00 и ε\varepsilon. Поэтому никакая положительная нижняя граница невозможна. Значит,infS=0.\inf S=0.
  3. 3
    Теперь покажем, что 11 — точная верхняя грань. Для любого ε>0\varepsilon>0 выберем nn так, что1n<ε.\frac1n<\varepsilon.Тогдаn1n=11n>1ε,\frac{n-1}{n}=1-\frac1n>1-\varepsilon,и эта дробь принадлежит SS. Поэтому верхнюю границу нельзя опустить ниже 11.

    Наименьшего элемента нет: для любой дроби mn>0\frac mn>0 можно выбрать натуральное NN так, чтобы 1N<mn\frac1N<\frac mn; при N>1N>1 дробь 1N\frac1N также принадлежит SS. Наибольшего элемента нет: между любой дробью mn<1\frac mn<1 и числом 11 лежит, например, рациональное число12(mn+1).\frac12\left(\frac mn+1\right).Дроби 1n\frac1n и n1n\frac{n-1}{n} выполняют сразу две роли: исключают крайние элементы и показывают точность найденных граней. Первая попадает в любую правую окрестность 00, а вторая — в любую левую окрестность 11.

Проверка

infS=0,supS=1,\inf S=0,
\qquad
\sup S=1,
наименьшего и наибольшего элементов у множества нет.

Что и требовалось доказать

Демидович № 16 — решение