20.04.2020, 12:51
|
#37
|
Заблокирован
Детали профиля (+/-)
Ответов: 215
Регистрация: 13.04.2020
Адрес: Приднестровье
Спасибо:24/29
Не понравилось:1/0
|
V0ffka писал (а)
а ты в это же время изучааешь Фихтенгольца.
|
Два иррациональных числа а и в, определяемых, соответственно, сечениями А|А' и В|В', считаются равными в том и только в том случае, если эти сечения тождественны; впрочем, достаточно потребовать совпадения нижних классов А и В, ибо верхние классы А' и В' тогда совпадут сами собой. Это определение можно сохранить и в случае, когда числа а и β рациональны. Иными словами, если два рациональных числа а и β равны, то определяющие их сечения совпадают, и. обратно, из совпадения сечений, вытекает равенство чисел а и β. При этом, разумеется, следует учесть условие, заключенное выше насчет рациональных чисел.
Перейдем теперь к установлению понятия «больше» по отношению к вещественным числам. Для рациональных чисел это понятие уже известно из школьного курса. Для рационального числа r и иррационального числа а понятие «больше» было, собственно, установлено в п°2: именно, если а определяется сечением А\А' мы считаем, что а больше всех рациональных чисел, входящих в класс А, и в то же время все числа класса А больше а. Пусть теперь имеем два иррациональных числа а и β, причем а определяется сечением А|А' , a β — сечением В|В' . Мы будем считать то число большим, у которого нижний класс больше. Точнее говоря, мы будем считать а>β, если класс А целиком содержит в себе класс В, не совпадая с ним. (Это условие, очевидно, равносильно тому, что класс В' целиком содержит в себе класс А' не совпадая с ним). Легко проверить, что это определение может быть сохранено и для случаев, когда одно из чисел а, β или даже оба — рациональны.

-------- Добавлено в 13:51 -------- Предыдущее было в 13:45 --------
|
|
|