Докажем вначале важное утверждение которым и воспользуемся.
Утверждение:
Пусть А - непустое и не конечное множество, так что . Предположим что существует так что . Если существует последовательность элементов из А выполняющая то .
Доказательство:
Допустим от противного, что , тогда существует так что .
Из-за того что , обязательно выполняется что противоречит тому что .
Следовательно .
Существует эквивалентное утверждение связанное с инфимумом, но доказывать его не буду (оно аналогично прошлому доказательству, но с некоторыми изменениями).
Теперь решим саму задачу:
Заметим что данное множество состоит из элементов последовательности , а также тот факт что для всех :
Т.е.:
Рассмотрим две подпоследовательности -
Так как:
Получаем:
1 votes Thanks 1
wket16
К сожалению пишет что ответ не правильный (((
Newtion
Видимо потому что нужно было написать ответ в виде десятичной дроби: 0.25 и -0.25
Newtion
А само решение правильно, в этом я уверен.
Answers & Comments
Verified answer
Докажем вначале важное утверждение которым и воспользуемся.
Утверждение:
Пусть А - непустое и не конечное множество, так что
. Предположим что существует
так что
. Если существует последовательность
элементов из А выполняющая
то
.
Доказательство:
Допустим от противного, что
, тогда существует
так что
.
Из-за того что
, обязательно выполняется
что противоречит тому что
.
Следовательно
.
Существует эквивалентное утверждение связанное с инфимумом, но доказывать его не буду (оно аналогично прошлому доказательству, но с некоторыми изменениями).
Теперь решим саму задачу:
Заметим что данное множество состоит из элементов последовательности
, а также тот факт что для всех
:
Т.е.:
Рассмотрим две подпоследовательности -![(a_{2n}), (a_{2n-1}) (a_{2n}), (a_{2n-1})](https://tex.z-dn.net/?f=%20%28a_%7B2n%7D%29%2C%20%28a_%7B2n-1%7D%29%20)
Так как:
Получаем:![\sup A = 1/4, \inf A = -1/4 \sup A = 1/4, \inf A = -1/4](https://tex.z-dn.net/?f=%20%5Csup%20A%20%3D%201%2F4%2C%20%5Cinf%20A%20%3D%20-1%2F4%20)