Докажем вначале важное утверждение которым и воспользуемся.
Утверждение:
Пусть А - непустое и не конечное множество, так что . Предположим что существует так что . Если существует последовательность элементов из А выполняющая то .
Доказательство:
Допустим от противного, что , тогда существует так что .
Из-за того что , обязательно выполняется что противоречит тому что .
Следовательно .
Существует эквивалентное утверждение связанное с инфимумом, но доказывать его не буду (оно аналогично прошлому доказательству, но с некоторыми изменениями).
Теперь решим саму задачу:
Заметим что данное множество состоит из элементов последовательности , а также тот факт что для всех :
Т.е.:
Рассмотрим две подпоследовательности -
Так как:
Получаем:
1 votes Thanks 1
wket16
К сожалению пишет что ответ не правильный (((
Newtion
Видимо потому что нужно было написать ответ в виде десятичной дроби: 0.25 и -0.25
Newtion
А само решение правильно, в этом я уверен.
Answers & Comments
Verified answer
Докажем вначале важное утверждение которым и воспользуемся.
Утверждение:
Пусть А - непустое и не конечное множество, так что . Предположим что существует так что . Если существует последовательность элементов из А выполняющая то .
Доказательство:
Допустим от противного, что , тогда существует так что .
Из-за того что , обязательно выполняется что противоречит тому что .
Следовательно .
Существует эквивалентное утверждение связанное с инфимумом, но доказывать его не буду (оно аналогично прошлому доказательству, но с некоторыми изменениями).
Теперь решим саму задачу:
Заметим что данное множество состоит из элементов последовательности , а также тот факт что для всех :
Т.е.:
Рассмотрим две подпоследовательности -
Так как:
Получаем: