Академический Документы
Профессиональный Документы
Культура Документы
Denicja 1.
Mwimy, e
an
dla kadego
n N.
Twierdzenie 1.
Jeeli
an
an
jest
zbieny.
Dowd.
Mamy
l < an l
Std
l an 0 >
l an <
Czyli
|l an |
|an l|
Ponadto n c > n 1, wic an jest ograniczony z dou. Na podstawie twierdzenia (1) stwierdzamy, e an jest zbieny.
Znajdziemy teraz granic cigu an . Oznaczmy j przez l.
Rozwamy podcig a2n . Wiemy, e a2n l.
Mamy ponadto
1
1
n+1
<
1
n
a2n = c 2n =
an
W jednym
z wicze poniej pokaemy, e jeli pewien cig xn dy do x, to cig
Std wniosek, e
l=
Czyli
l = 0 lub l = 1
xn dy
c 1.
n
c 1.
an 0.
| an l| =
|an l|
an + l
wiczenie 3. Niech an - cig rosncy. Poka, e an jest zbieny wtedy i tylko wtedy gdy
zawiera podcig zbieny.
a1 = 2
an+1 =
2an 1
an
2an 1
2l 1
an
l
(g) Znajd l.
n
1
an = 1 +
n
jest zbieny.
Najpierw pokaemy, e cig an jest zbieny. Faktycznie, wykorzystujc wzr na dwumian
Newtona, moemy napisa (poka to!)
1
1 n1
an = 1 + 1 +
+
2!
1
n
2
n
3!
+ ... +
1
n
... 1
n!
n1
n
skd
an+1
1
1 n+1
1
= 1+1+
+
2!
1
n+1
3!
2
n+1
+. . .+
1
n+1
... 1
n!
n1
n+1
+
1
n+1
... 1
(n + 1)!
n
n+1
Na tej podstawie atwo pokaza bezporednim rachunkiem, e an+a an > 0 (zrb to!), a wic
an jest rosncy.
Cig an jest przy tym ograniczony, bowiem
an < 2 +
1
1
1
1
1
+ ... +
< 2 + + 2 + . . . + n1 < 3
n!
n!
2 2
2
Cig an jako rosncy i ograniczony jest wic zbieny. Jego granic oznaczamy symbolem e.
wiczenie 5. Poka, e
n
1
1
1
n
e
Dowd.
Zaczniemy od rozpatrzenia sytuacji, w ktrej zbir A jest skoczony. Wwczas istnieje max A,
N . Wemy n1 = N + 1. n1
/ A wic istnieje przynajmniej jedna liczba n2 > n1 taka, e
an2 > an1 . Zamy, e znalelimy n1 < n2 < . . . < nk takie, e an1 < an2 < . . . < ank .
Wiemy, e nk
/ A wic istnieje nk+1 > nk takie, e ank+1 > ank . W ten sposb skonstruowalimy indukcyjnie cig rosncy.
Jeli A = , stosujemy przytoczone wyej rozumowanie dla N = 1.
Zamy teraz, e zbir A jest nieskoczony. A jest niepustym podzbiorem N, wic dobre
uporzdkowanie liczb naturalnych gwarantuje istnienie minimum A, n1 .Wemy n2 > n1 takie, e n2 A. Mamy an2 an1 . Zamy, e znalelimy n1 < n2 < . . . < nk takie, e
an1 an2 . . . ank . A jest nieskoczony wic na pewno istnieje nk+1 A takie, e
nk+1 > nk . Mamy ank+1 ank . W ten sposb skonstruowalimy indukcyjnie cig malejcy.
To koczy dowd lematu.
Powrmy do gwnego cigu dowodu tw. Bolzano - Weierstrassa. Wiemy ju, e kady
cig an zawiera podcig monotoniczny ank . an jest ograniczony, wic ank rwnie jest ograniczony. Poniewa ank jest cigiem monotonicznym i ograniczonym, musi by rwnie cigiem
zbienym.
Uwaga: Tw. Bolzano - Weierstrassa jest jednym z podstawowych twierdze analizy matematycznej i stanowi bardzo wany element dowodw wielu twierdze o fundamentalnym
znaczeniu (np. tw. o wartoci redniej, o ktrym niedugo).