Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
матан1.doc
Скачиваний:
35
Добавлен:
14.04.2019
Размер:
2 Мб
Скачать
☆

19). Верхний и нижний пределы, их свойства.

МНОЖЕСТВО ЧАСТИЧНЫХ ПРЕДЕЛОВ ВЕРХНИЙ И НИЖНИЙ ПРЕДЕЛЫ  Пусть {x n } - ограничено

Рассмотрим

an = sup{xk : k≥n}

bn = inf{xk : k≥n}

ЛЕММА

Последовательности an и bn сходятся ДОК-ВО: a n ≥ a n + 1 , a n убывает b n ≤ b n + 1 , b n возрастает {a n } и {b n } - ограничены  По критерию монотонной сходимости последовательности a n и b n сходятся  Ч.Т.Д. ОПРЕДЕЛЕНИЕ:

lim

n → ∞

sup

k ≥ n

x n =:

lim

k → ∞

x n

- верхний предел последовательности {x n }

Аналогично

lim

n → ∞

x n =

lim

n → ∞

inf

k ≥ n

x k

ТЕОРЕМА Верхний предел – наибольший из всех частичных пределов, нижний предел – наименьший из частичных пределов

ДОК-ВО(для верхнего предела): 1)

Покажем, что

lim

n → ∞

x n =: c - частичный предел.

Пусть an = sup{xk : k≥n}. Тогда оно определено.

a n → c, т. е. ∀ ε > 0 ∃ N( ε ) ∀ n > N |a n - c| < ε .

Возьмём ε = 1 → N 1 = N(1), Выберем m = N 1 , тогда m > N 1 , и |a m - c| < 1 (т.е. c - 1 < a n < c + 1) a m = sup {x m , x m + 1 , } ⇒ a m-1 - уже не верхняя граница для этого множества Есть номер n1 n 1 ≥ m, что a m – 1 < xn1 ≤ am  ⇒ x n 1 ∈ (c - 2, c + 1)

ε =

1

2

⇒ N 2 = N(

1

2

)

Выберем m 2 = max{N 2 + 1, n 1 + 1}, тогда 

|a m 2 - c| <

1

2

⇒ c -

1

2

< a m 2 < c +

1

2

a m 2 = sup {x m2 , x m 2 + 1, … } 

⇒ a m 2 -

1

2

- уже не верхняя граница

⇒ есть например n 2 ≥ m 2 что a m 2 -

1

2

< x n 2 < a m 2

⇒ x n 2 ∈ (c - 2

1

2

, c +

1

2

)

причём n 2 > n 1 . Аналогично построим n3 > n2, n4 > n3, и т.д. и вообще

nk+1>nk, так,

что x n k ∈ (c - 2

1

k

, c +

1

k

) ⇒ x n k → c

по лемме о двух милиционерах они сходятся к с. Значит с - частичный предел 2) Если a - частичный предел, то a ≤ c Пусть x n k → a

c =

lim

n → ∞

x n =

lim

n → ∞

a n, где  a n = sup{x k :k ≥ n}

Т.е. ∀ ε > 0 ∃ N ∀ n > N |a n - c| < ε  ⇒ при n > N (a n < c + ε ), но a n = sup {x n : k ≥ n} ≥ x n  ⇒ при k > N, n k ≥ k > N ⇒ n k > N ⇒ x n k < c + ε , но x n k → a, значит, и a ≤ c + ε  Итог: ∀ ε > 0, a ≤ c + ε ⇒ a ≤ c Ч.Т.Д. Замечания: 1) Аналогично нижний предел – наименьший из всех частичных 2) Для существования верхнего предела достаточно ограниченности сверху, для нижнего - снизу Определение: {x n } - ограничена сверху тогда и только тогда, когда ∃ c, что ∀ n x n ≤ c