Apeirostikìc Logismìc II: Prìqeirec Shmei Seic
Apeirostikìc Logismìc II: Prìqeirec Shmei Seic
Prìqeirec Shmei¸seic
Tm ma Majhmatik¸n
Panepist mio Ajhn¸n
2010-11
Perieqìmena
1 UpakoloujÐec kai basikèc akoloujÐec 1
1.1 UpakoloujÐec 1
1.2 Je¸rhma Bolzano-Weierstrass 2
1.2aþ Apìdeixh me qr sh thc arq c tou kibwtismoÔ 3
1.3 An¸tero kai kat¸tero ìrio akoloujÐac 4
1.4 AkoloujÐec Cauchy 8
1.5 *Parrthma: suz thsh gia to axÐwma thc plhrìthtac 10
1.6 Ask seic 12
3 Omoiìmorfh sunèqeia 43
3.1 Omoiìmorfh sunèqeia 43
3.2 Qarakthrismìc thc omoiìmorfhc sunèqeiac mèsw akolouji¸n 46
3.3 SuneqeÐc sunart seic se kleist diast mata 48
3.4 Sustolèc je¸rhma stajeroÔ shmeÐou 51
3.5 Ask seic 52
4 Olokl rwma Riemann 55
4.1 O orismìc tou Darboux 55
4.2 To krit rio oloklhrwsimìthtac tou Riemann 58
4.3 DÔo klseic Riemann oloklhr¸simwn sunart sewn 63
4.4 Idiìthtec tou oloklhr¸matoc Riemann 65
4.5 O orismìc tou Riemann* 72
4.6 Ask seic 75
iv · Perieqìmena
6 Teqnikèc olokl rwshc 95
6.1 Olokl rwsh me antikatstash 95
6.1aþ PÐnakac stoiqeiwd¸n
R oloklhrwmtwn 95
6.1bþ Upologismìc tou f (φ(x))φ0 (x) dx 95
6.1gþ Trigwnometrik oloklhr¸mata 96
6.1dþ Upologismìc tou f (x) dx me thn antikatstash x = φ(t)
R
98
6.2 Olokl rwsh kat mèrh 99
6.3 Olokl rwsh rht¸n sunart sewn 100
6.4 Kpoiec qr simec antikatastseic 104
6.4aþ Rhtèc sunart seic twn cos x kai sin x 104
6.4bþ Oloklhr¸mata algebrik¸n sunart sewn eidik c morf c 105
6.5 Ask seic 107
Me lla lìgia, oi ìroi thc (bn ) eÐnai oi ak1 , ak2 , . . . , akn , . . ., ìpou k1 < k2 < · · · <
kn < kn+1 < · · · . Genik, mia akoloujÐa èqei pollèc (sun jwc peirec to pl joc)
diaforetikèc upakoloujÐec.
a2 , a4 , a6 , . . . .
Ed¸, kn = 2n.
(b) H upakoloujÐa (a2n−1 ) twn {peritt¸n ìrwn} thc (an ) èqei ìrouc touc
a1 , a3 , a5 , . . . .
Ed¸, kn = 2n − 1.
(g) H upakoloujÐa (an2 ) thc (an ) èqei ìrouc touc
a1 , a4 , a9 , . . . .
Ed¸, kn = n2 .
(d) Kje telikì tm ma (am , am+1 , am+2 , . . .) thc (an ) eÐnai upakoloujÐa thc (an ).
Ed¸, kn = m + n − 1.
Parat rhsh 1.1.3. 'Estw (kn ) mia gnhsÐwc aÔxousa akoloujÐa fusik¸n arijm¸n.
Tìte, kn ≥ n gia kje n ∈ N.
2 · UpakoloujÐes kai basikès akoloujÐes
akn → a .
k1 < k2 < · · · < kn < kn+1 < · · · ¸ste ìloi oi ìroi ak1 , . . . , akn , . . . na eÐnai shmeÐa
koruf c thc (an ) (exhg ste giatÐ). AfoÔ kn < kn+1 gia kje n ∈ N, h (akn ) eÐnai
upakoloujÐa thc (an ). Apì ton orismì tou shmeÐou koruf c blèpoume ìti gia kje
n ∈ N isqÔei akn ≥ akn+1 (èqoume kn+1 > kn kai o akn eÐnai shmeÐo koruf c thc
(an )). Dhlad ,
thn ex c idiìthta: an m ≥ N tìte o am den eÐnai shmeÐo koruf c thc (an ) (prte
N = k + 1 ìpou ak to teleutaÐo shmeÐo koruf c thc (an ) N = 1 an den uprqoun
shmeÐa koruf c).
Me bsh ton orismì tou shmeÐou koruf c autì shmaÐnei ìti: an m ≥ N tìte
uprqei n > m ¸ste an > am .
Efarmìzoume diadoqik to parapnw. Jètoume k1 = N kai brÐskoume k2 > k1
¸ste ak2 > ak1 . Katìpin brÐskoume k3 > k2 ¸ste ak3 > ak2 kai oÔtw kajex c.
Uprqoun dhlad k1 < k2 < · · · < kn < kn+1 < · · · ¸ste
(1.2.2) ak1 < ak2 < · · · < akn < akn+1 < · · · .
to pl joc ìrouc thc (an ). PaÐrnontac san [b2 , c2 ] autì to upodisthma tou [b1 , c1 ]
èqoume deÐxei to ex c.
c1 − b1
(1.2.3) c2 − b2 = .
2
c2 − b2 c1 − b1
(1.2.4) c3 − b3 = = .
2 22
SuneqÐzontac me ton Ðdio trìpo orÐzoume akoloujÐa [bm , cm ] m∈N kleist¸n di-
lim bm = a = lim cm .
m→∞ m→∞
Orismìc 1.3.1. 'Estw (an ) mia akoloujÐa. Lème ìti o x ∈ R eÐnai oriakì shmeÐo
( upakoloujiakì ìrio) thc (an ) an uprqei upakoloujÐa (akn ) thc (an ) ¸ste
akn → x.
L mma 1.3.2. O x eÐnai oriakì shmeÐo thc (an ) an kai mìno an gia kje ε>0 kai
Apìdeixh. Upojètoume pr¸ta ìti o x eÐnai oriakì shmeÐo thc (an ). Uprqei loipìn
upakoloujÐa (akn ) thc (an ) ¸ste akn → x.
1.3 An¸tero kai kat¸tero ìrio akoloujÐas · 5
mÐa upakoloujÐa (akn ) thc (an ) pou sugklÐnei se pragmatikì arijmì. To ìrio thc
(akn ) eÐnai ex orismoÔ stoiqeÐo tou K .
2.To K eÐnai fragmèno. An x ∈ K , uprqei akn → x kai afoÔ −M ≤ akn ≤ M gia
kje n, èpetai ìti −M ≤ x ≤ M .
Apì to axÐwma thc plhrìthtac prokÔptei ìti uprqoun ta sup K kai inf K . To
epìmeno L mma deÐqnei ìti to K èqei mègisto kai elqisto stoiqeÐo.
Apìdeixh . 'Estw a = sup K . Jèloume na deÐxoume ìti o a eÐnai oriakì shmeÐo thc
(an ), kai sÔmfwna me to L mma 1.3.2 arkeÐ na doÔme ìti gia kje ε > 0 kai gia kje
m ∈ N uprqei n ≥ m ¸ste |an − a| < ε.
'Estw ε > 0 kai m ∈ N. AfoÔ a = sup K , uprqei x ∈ K ¸ste a − 2ε < x ≤ a.
O x eÐnai oriakì shmeÐo thc (an ), ra uprqei n ≥ m ¸ste |an − x| < 2ε . Tìte,
ε ε
(1.3.2) |an − a| ≤ |an − x| + |x − a| < + = ε.
2 2
Me anlogo trìpo deÐqnoume ìti inf K ∈ K . 2
orÐzoume
(i) lim sup an = sup K to an¸tero ìrio thc (an )
, ,
Je¸rhma 1.3.5. 'Estw (an ) fragmènh akoloujÐa. To lim sup an eÐnai o megalÔteroc
pragmatikìc arijmìc x gia ton opoÐo uprqei upakoloujÐa (akn ) thc (an ) me akn → x .
To lim inf an eÐnai o mikrìteroc pragmatikìc arijmìc y gia ton opoÐo uprqei up-
x∈R . Tìte,
(1) x ≤ lim sup an an kai mìno an: gia kje ε>0 to sÔnolo {n ∈ N : x − ε < an }
eÐnai peiro.
(2) x ≥ lim sup an an kai mìno an: gia kje ε>0 to sÔnolo {n ∈ N : x + ε < an }
eÐnai peperasmèno.
(3) x ≥ lim inf an an kai mìno an: gia kje ε>0 to sÔnolo {n ∈ N : an < x + ε}
eÐnai peiro.
(4) x ≤ lim inf an an kai mìno an: gia kje ε>0 to sÔnolo {n ∈ N : an < x − ε}
eÐnai peperasmèno.
(5) x = lim sup an an kai mìno an: gia kje ε>0 to {n ∈ N : x − ε < an } eÐnai
peiro {n ∈ N : x + ε < an }
kai to eÐnai peperasmèno.
(6) x = lim inf an an kai mìno an: gia kje ε>0 to {n ∈ N : an < x + ε} eÐnai
peiro {n ∈ N : an < x − ε}
kai to eÐnai peperasmèno.
Apìdeixh . (1:⇒) 'Estw ε > 0. Uprqei upakoloujÐa (akn ) thc (an ) me akn →
lim sup an , ra uprqei n0 ¸ste gia kje n ≥ n0
(1.3.3) akn > lim sup an − ε ≥ x − ε.
'Epetai ìti to {n : an > x − ε} eÐnai peiro.
(2:⇒) 'Estw ε > 0. Ac upojèsoume ìti uprqoun k1 < k2 < · · · < kn < · · ·
me akn > x + ε. Tìte, h upakoloujÐa (akn ) thc (an ) èqei ìlouc touc ìrouc thc
megalÔterouc apì x + ε. MporoÔme na broÔme sugklÐnousa upakoloujÐa (aksn ) thc
(akn ) (apì to Je¸rhma Bolzano-Weierstrass) kai tìte aksn → y ≥ x + ε. 'Omwc
tìte, h (aksn ) eÐnai upakoloujÐa thc (an ) (exhg ste giatÐ), opìte
(1.3.4) lim sup an ≥ y ≥ x + ε ≥ lim sup an + ε.
Autì eÐnai topo. 'Ara, to {n : an > x + ε} eÐnai peperasmèno.
(1: ⇐) 'Estw ìti x > lim sup an . Tìte uprqei ε > 0 ¸ste an y = x − ε na èqoume
x > y > lim sup an . Apì thn upìjes mac, to {n ∈ N : y < an } eÐnai peiro. 'Omwc
y > lim sup an opìte apì thn (2: ⇒) to sÔnolo {n ∈ N : y < an } eÐnai peperasmèno
(gryte y = lim sup an + ε1 gia kpoio ε1 > 0). Oi dÔo isqurismoÐ èrqontai se
antÐfash.
(2:⇐) 'Omoia, upojètoume ìti x < lim sup an kai brÐskoume y ¸ste x < y <
lim sup an . AfoÔ y > x, sumperaÐnoume ìti to {n ∈ N : y < an } eÐnai peperas-
mèno (aut eÐnai h upìjes mac) kai afoÔ y < lim sup an sumperaÐnoume ìti to
{n ∈ N : y < an } eÐnai peiro (apì thn (1:⇒).) 'Etsi katal goume se topo.
H (5) eÐnai mesh sunèpeia twn (1) kai (2).
Gia tic (3), (4) kai (6) ergazìmaste ìmoia. 2
Mia enallaktik perigraf twn lim sup an kai lim inf an dÐnetai apì to epìmeno
je¸rhma:
1.3 An¸tero kai kat¸tero ìrio akoloujÐas · 7
Gia thn antÐstrofh anisìthta deÐqnoume ìti o b eÐnai oriakì shmeÐo thc (an ). 'Estw
ε > 0 kai èstw m ∈ N. AfoÔ bn → b, uprqei n ≥ m ¸ste |b − bn | < 2ε . All,
bn = sup{ak : k ≥ n}, ra uprqei k ≥ n ≥ m ¸ste bn ≥ ak > bn − 2ε dhlad
|bn − ak | < 2ε . 'Epetai ìti
ε ε
(1.3.6) |b − ak | ≤ |b − bn | + |bn − ak | < + = ε.
2 2
Apì to L mma 1.3.2 o b eÐnai oriakì shmeÐo thc (an ), kai sunep¸c, b ≤ lim sup an .
Me anlogo trìpo deÐqnoume ìti lim inf an = γ . 2
KleÐnoume me ènan qarakthrismì thc sÔgklishc gia fragmènec akoloujÐec.
Je¸rhma 1.3.8. 'Estw (an ) fragmènh akoloujÐa. H (an ) sugklÐnei an kai mìno an
Epomènwc, o a eÐnai to monadikì oriakì shmeÐo thc (an ). 'Eqoume K = {a}, ra
|an − a| ≤ ε.
Parat rhsh 1.4.2. An h (an ) eÐnai akoloujÐa Cauchy, tìte gia kje ε > 0 uprqei
n0 = n0 (ε) ∈ N ¸ste
To antÐstrofo den isqÔei: an, apì kpoion deÐkth kai pèra, diadoqikoÐ ìroi eÐnai kon-
t, den èpetai anagkastik ìti h akoloujÐa eÐnai Cauchy. Gia pardeigma, jewr ste
thn
1 1
(1.4.4) an = 1 + √ + · · · + √ .
2 n
Tìte,
1
(1.4.5) |an+1 − an | = √ →0
n+1
ìtan n → ∞, ìmwc
√
1 1 n n
(1.4.6) |a2n − an | = √ + · · · + √ ≥ √ = √ → +∞
n+1 2n 2n 2
ìtan n → ∞, ap ìpou blèpoume ìti h (an ) den eÐnai akoloujÐa Cauchy. Prgmati,
an h (an ) tan akoloujÐa Cauchy, ja èprepe (efarmìzontac ton orismì me ε = 1)
gia megla n, m = 2n na isqÔei
√
n
(1.4.7) |a2n − an | < 1 dhlad √ < 1,
2
to opoÐo odhgeÐ se topo.
1.4 AkoloujÐes Cauchy · 9
Skopìc mac eÐnai na deÐxoume ìti mia akoloujÐa pragmatik¸n arijm¸n eÐnai sug-
klÐnousa an kai mìno an eÐnai akoloujÐa Cauchy. H apìdeixh gÐnetai se trÐa b mata.
Apìdeixh . 'Estw (an ) akoloujÐa Cauchy. Prte ε = 1 > 0 ston orismì: uprqei
n0 ∈ N ¸ste |an − am | < 1 gia kje n, m ≥ n0 . Eidikìtera, |an − an0 | < 1 gia kje
n > n0 . Dhlad ,
|an | ≤ M
gia kje n ∈ N. 2
Prìtash 1.4.4. An mia akoloujÐa Cauchy (an ) èqei sugklÐnousa upakoloujÐa, tìte
h (an ) sugklÐnei.
Apìdeixh . Upojètoume ìti h (an ) eÐnai akoloujÐa Cauchy kai ìti h upakoloujÐa
(akn ) sugklÐnei sto a ∈ R. Ja deÐxoume ìti an → a.
'Estw ε > 0. AfoÔ akn → a, uprqei n1 ∈ N ¸ste: gia kje n ≥ n1 ,
ε
(1.4.9) |akn − a| < .
2
AfoÔ h (an ) eÐnai akoloujÐa Cauchy, uprqei n2 ∈ N ¸ste: gia kje n, m ≥ n2
ε
(1.4.10) |an − am | < .
2
Jètoume n0 = max{n1 , n2 }. 'Estw n ≥ n0 . Tìte kn ≥ n ≥ n0 ≥ n1 , ra
ε
(1.4.11) |akn − a| < .
2
EpÐshc kn , n ≥ n0 ≥ n2 , ra
ε
(1.4.12) |akn − an | < .
2
'Epetai ìti
ε ε
(1.4.13) |an − a| ≤ |an − akn | + |akn − a| < + = ε.
2 2
Dhlad , |an − a| < ε gia kje n ≥ n0 . Autì shmaÐnei ìti an → a. 2
Je¸rhma 1.4.5. Mia akoloujÐa (an ) sugklÐnei an kai mìno an eÐnai akoloujÐa
Cauchy .
Qrhsimopoi¸ntac kai pli to axÐwma thc plhrìthtac, deÐxame ìti kje monìtonh
kai fragmènh akoloujÐa sugklÐnei. San sunèpeia p rame to Je¸rhma Bolzano-
Weierstrass: kje fragmènh akoloujÐa èqei sugklÐnousa upakoloujÐa. Autì me th
seir tou mac epètreye na deÐxoume thn {idiìthta Cauchy} twn pragmatik¸n arijm¸n:
Se aut n thn pargrafo ja deÐxoume ìti to axÐwma thc plhrìthtac eÐnai logik
sunèpeia twn (∗) kai (∗∗). An dhlad deqtoÔme to R san èna diatetagmèno s¸ma pou
èqei thn Arqim deia idiìthta kai thn idiìthta Cauchy, tìte mporoÔme na apodeÐxoume
to {axÐwma thc plhrìthtac} san je¸rhma:
Je¸rhma 1.5.1. 'Estw R∗ èna diatetagmèno s¸ma pou perièqei to Q kai èqei, epi-
1. An a ∈ R∗ kai ε ∈ R∗ ε > 0
, , tìte uprqei n∈N ¸ste nε > a .
∗
2. Kje akoloujÐa Cauchy stoiqeÐwn tou R sugklÐnei se stoiqeÐo tou R∗ .
∗
Tìte, kje mh kenì kai nw fragmèno A⊂R èqei elqisto nw frgma.
Apì thn arq tou elaqÐstou èpetai ìti uprqei elqistoc tètoioc fusikìc. Ac ton
poÔme k1 . Tìte,
1.5 *Parrthma: suz thsh gia to axÐwma ths plhrìthtas · 11
• an−1 + kn −1
2n−1 ≤ an .
1.6 Ask seic
Omda A'. Erwt seic katanìhshc
1. an → +∞ an kai mìno an gia kje M > 0 uprqoun peiroi ìroi thc (an ) pou
eÐnai megalÔteroi apì M .
2. H (an ) den eÐnai nw fragmènh an kai mìno an uprqei upakoloujÐa (akn ) thc
(an ) ¸ste akn → +∞.
3. Kje upakoloujÐa miac sugklÐnousac akoloujÐac sugklÐnei.
4. An mia akoloujÐa den èqei fjÐnousa upakoloujÐa tìte èqei mia gnhsÐwc aÔxousa
upakoloujÐa.
5. An h (an ) eÐnai fragmènh kai an 6→ a tìte uprqoun b 6= a kai upakoloujÐa (akn )
thc (an ) ¸ste akn → b.
6. Uprqei fragmènh akoloujÐa pou den èqei sugklÐnousa upakoloujÐa.
7. An h (an ) den eÐnai fragmènh, tìte den èqei fragmènh upakoloujÐa.
8. 'Estw (an ) aÔxousa akoloujÐa. Kje upakoloujÐa thc (an ) eÐnai aÔxousa.
9. An h (an ) eÐnai aÔxousa kai gia kpoia upakoloujÐa (akn ) thc (an ) èqoume
akn → a, tìte an → a.
10. An an → 0 tìte uprqei upakoloujÐa (akn ) thc (an ) ¸ste n2 akn → 0.
Omda B'
11. 'Estw (an ) mia akoloujÐa. DeÐxte ìti an → a an kai mìno an oi upakoloujÐec
(a2k ) kai (a2k−1 ) sugklÐnoun sto a.
12. 'Estw (an ) mia akoloujÐa. Upojètoume ìti oi upakoloujÐec (a2k ), (a2k−1 ) kai
(a3k ) sugklÐnoun. DeÐxte ìti:
(a) lim a2k = lim a2k−1 = lim a3k .
k→∞ k→∞ k→∞
(b) H (an ) sugklÐnei.
13. 'Estw (an ) mia akoloujÐa. Upojètoume ìti a2n ≤ a2n+2 ≤ a2n+1 ≤ a2n−1
gia kje n ∈ N kai ìti lim (a2n−1 − a2n ) = 0. Tìte h (an ) sugklÐnei se kpoion
n→∞
pragmatikì arijmì a pou ikanopoieÐ thn a2n ≤ a ≤ a2n−1 gia kje n ∈ N.
1.6 Ask seis · 13
14. 'Estw (an ) mia akoloujÐa kai èstw (xk ) akoloujÐa oriak¸n shmeÐwn thc (an ).
Upojètoume oti xk → x. DeÐxte oti o x eÐnai oriakì shmeÐo thc (an ).
15. DeÐxte ìti h akoloujÐa (an ) den sugklÐnei ston pragmatikì arijmì a, an kai
mìno an uprqoun ε > 0 kai upakoloujÐa (akn ) thc (an ) ¸ste |akn − a| ≥ ε gia kje
n ∈ N.
16. 'Estw (an ) akoloujÐa pragmatik¸n arijm¸n kai èstw a ∈ R. DeÐxte ìti an → a
an kai mìno an kje upakoloujÐa thc (an ) èqei upakoloujÐa pou sugklÐnei sto a.
17. OrÐzoume mia akoloujÐa (an ) me a1 > 0 kai
2
an+1 = 1 + .
1 + an
DeÐxte ìti oi upakoloujÐec (a2k ) kai (a2k−1 ) eÐnai monìtonec kai fragmènec. BreÐte,
an uprqei, to lim an .
n→∞
Omda G'
26. 'Estw m ∈ N. BreÐte mia akoloujÐa (an ) h opoÐa na èqei akrib¸c m diaforetikèc
upakoloujÐec.
27. 'Estw (an ) mia akoloujÐa. An sup{an : n ∈ N} = 1 kai an 6= 1 gia kje n ∈ N,
tìte uprqei gnhsÐwc aÔxousa upakoloujÐa (akn ) thc (an ) ¸ste akn → 1.
28. 'Estw (an ) akoloujÐa jetik¸n arijm¸n. JewroÔme to sÔnolo A = {an : n ∈ N}.
An inf A = 0, deÐxte ìti h (an ) èqei fjÐnousa upakoloujÐa pou sugklÐnei sto 0.
29. OrÐzoume mia akoloujÐa wc ex c:
1 a2n−1
a0 = 0, a2n+1 = + a2n , a2n = .
2 2
BreÐte ìla ta oriak shmeÐa thc (an ). [ Upìdeixh: Gryte touc dèka pr¸touc ìrouc
thc akoloujÐac.]
30. 'Estw (xn ) akoloujÐa me thn idiìthta xn+1 − xn → 0. An a < b eÐnai dÔo oriak
shmeÐa thc (xn ), deÐxte ìti kje y ∈ [a, b] eÐnai oriakì shmeÐo thc (xn ). [ Upìdeixh:
Apagwg se topo.]
31. (a) 'Estw A arijm simo uposÔnolo tou R. DeÐxte ìti uprqei akoloujÐa (an )
¸ste kje x ∈ A na eÐnai oriakì shmeÐo thc (an ).
(b) DeÐxte ìti uprqei akoloujÐa (xn ) ¸ste kje x ∈ R na eÐnai oriakì shmeÐo thc
(xn ).
32. 'Estw (an ) mia akoloujÐa. OrÐzoume
bn = sup{|an+k − an | : k ∈ N}.
(2.1.1) sn = a1 + · · · + an .
Dhlad ,
(2.1.2) s1 = a1 , s2 = a1 + a2 , s3 = a1 + a2 + a3 , ...
∞ n
To sÔmbolo ak eÐnai h me k -ostì ìro ton ak . To jroisma sn =
P P
seir ak
k=1 k=1
∞
eÐnai to n thc seirc ak kai h (sn ) eÐnai h
P
-ostì merikì jroisma akoloujÐa twn
k=1
∞
thc seirc ak .
P
merik¸n ajroismtwn
k=1
An h (sn ) sugklÐnei se kpoion pragmatikì arijmì s, tìte grfoume
∞
X
(2.1.3) s = a1 + a2 + · · · + an + · · · s= ak
k=1
kai lème ìti h seir sugklÐnei (sto s), to de ìrio s = lim sn eÐnai to jroisma thc
n→∞
seirc.
∞ ∞
An sn → +∞ an sn → −∞, tìte grfoume ak = +∞ ak = −∞ kai
P P
k=1 k=1
∞
lème ìti −∞ antÐstoiqa.
P
h seir ak apoklÐnei sto +∞ sto
k=1
∞
An h (sn ) den sugklÐnei se pragmatikì arijmì, tìte lème ìti
P
h seir ak
k=1
apoklÐnei .
Parathr seic 2.1.2. (a) Pollèc forèc exetzoume th sÔgklish seir¸n thc morf c
∞ ∞
ak ak ìpou m ≥ 2. Se aut n thn perÐptwsh jètoume sn+1 = a0 + a1 +
P P
k=0 k=m
16 · Seirès pragmatik¸n arijm¸n
k=1 k=1
∞
X ∞
X ∞
X
(2.1.4) (λak + µbk ) = λs + µt = λ ak + µ bk .
k=1 k=1 k=1
n n n
. An sn = ak , tn = bk kai un = (λak + µbk ) eÐnai ta n-ost
P P P
Apìdeixh
∞
. (a) JewroÔme th seir ak . Me th frsh {apaleÐfoume touc arqikoÔc
P
Apìdeixh
k=1
∞
ìrouc a1 , a2 , . . . , am−1 } ennooÔme ìti jewroÔme thn kainoÔrgia seir ak . An
P
k=m
sumbolÐsoume me sn kai tn ta n-ost merik ajroÐsmata twn dÔo seir¸n antistoÐqwc,
tìte gia kje n ≥ m èqoume
'Ara h (sn ) sugklÐnei an kai mìnon an h (tn−m+1 ) sugklÐnei, dhlad an kai mìnon an
h (tn ) sugklÐnei. EpÐshc, an sn → s kai tn → t, tìte s = a1 + a2 + · · · + am−1 + t.
Dhlad ,
∞
X ∞
X
(2.1.6) ak = a1 + · · · + am−1 + ak .
k=1 k=m
2.1 SÔgklish seirs · 17
∞
(b) JewroÔme th seir ak . Allzoume peperasmènouc to pl joc ìrouc thc (ak ).
P
k=1
∞
JewroÔme dhlad mia nèa seir bk pou ìmwc èqei thn ex c idiìthta: uprqei
P
k=1
m ∈ N ¸ste ak = bk gia kje k ≥ m. An apaleÐyoume touc pr¸touc m − 1 ìrouc
∞
twn dÔo seir¸n, prokÔptei h Ðdia seir ak . T¸ra, efarmìzoume to (a). 2
P
k=m
∞
Prìtash 2.1.5. (a)
P
An ak = s, tìte an → 0 .
k=1
∞
(b)
P
An h seir ak sugklÐnei, tìte gia kje ε>0 uprqei N = N (ε) ∈ N ¸ste:
k=1
gia kje n≥N ,
∞
X
(2.1.7) ak < ε.
k=n+1
n
. (a) An sn = ak , tìte sn → s kai sn−1 → s. 'Ara,
P
Apìdeixh
k=1
(2.1.8) an = sn − sn−1 → s − s = 0.
Sthn pragmatikìthta, autì pou knoume ed¸ eÐnai na jewr soume mia deÔterh akolou-
jÐa (tn ) h opoÐa orÐzetai wc ex c: dÐnoume aujaÐreth tim ston t1 gia pardeigma,
t1 = 0 kai gia kje n ≥ 2 jètoume tn = sn−1 . Tìte, tn → s (skhsh) kai gia
kje n ≥ 2 èqoume an = sn − tn → s − s = 0 (exhg ste thn pr¸th isìthta).
'Enac lloc trìpoc gia na apodeÐxoume ìti an → 0 eÐnai me ton orismì. 'Estw
ε > 0. AfoÔ sn → s, uprqei n1 ∈ N ¸ste |sn − s| < 2ε gia kje n ≥ n1 . Jètoume
n0 = n1 + 1. Tìte, gia kje n ≥ n0 èqoume n ≥ n1 kai n − 1 ≥ n1 . Sunep¸c,
|s − sn | < 2ε kai |s − sn−1 | < 2ε , ap ìpou èpetai ìti
ε ε
|an | = |sn − sn−1 | ≤ |sn − s| + |s − sn−1 | < + =ε
2 2
gia kje n ≥ n0 . Me bsh ton orismì, an → 0.
∞
(b) An ak = s, tìte apì thn (2.1.6) èqoume
P
k=1
∞
X
(2.1.9) βn := ak = s − sn → 0
k=n+1
kaj¸c to n → ∞. Apì ton orismì tou orÐou akoloujÐac, gia kje ε > 0 uprqei
N = N (ε) ∈ N ¸ste: gia kje n ≥ N , |βn | < ε. 2
ShmeÐwsh. To mèroc (a) thc Prìtashc 2.1.5 qrhsimopoieÐtai san krit rio apìk-
∞
: An h akoloujÐa (ak ) den sugklÐnei sto 0 tìte h seir ak anagkastik
P
lishc
k=1
apoklÐnei.
18 · Seirès pragmatik¸n arijm¸n
ParadeÐgmata
(a) H gewmetrik seir me lìgo x ∈ R eÐnai h seir
∞
X
(2.1.10) xk .
k=0
xn+1 − 1
(2.1.11) sn = 1 + x + x2 + · · · + xn = .
x−1
DiakrÐnoume dÔo peript¸seic:
(i) An |x| ≥ 1 tìte |ak | = |x|k ≥ 1, dhlad ak 6→ 0. Apì thn Prìtash 2.1.5(a)
blèpoume ìti h seir (2.1.10) apoklÐnei.
(ii) An |x| < 1 tìte xn+1 → 0, opìte h (2.1.11) deÐqnei ìti sn → 1−x .
1
Dhlad ,
∞
X 1
(2.1.12) xk = .
1−x
k=0
(2.1.13) ak = bk − bk+1
∞
gia kje k ∈ N, ìpou (bk ) mia llh akoloujÐa. Tìte, h seir ak sugklÐnei an
P
k=1
kai mìnon an h akoloujÐa (bk ) sugklÐnei. Prgmati, èqoume
1 1 1
(2.1.15) ak = = − = bk − bk+1 ,
k(k + 1) k k+1
ìpou bk = k1 . 'Ara,
sn = a1 + · · · + an
1 1 1 1 1
= 1− + − + ··· + −
2 2 3 n n+1
1
= 1− → 1.
n+1
Dhlad ,
∞
X 1
(2.1.16) = 1.
k(k + 1)
k=1
2.2 Seirès me mh arnhtikoÔs ìrous · 19
∞
Je¸rhma 2.1.6 (krit rio Cauchy).
P
H seir ak sugklÐnei an kai mìno an
k=1
isqÔei to ex c: gia kje ε>0 N = N () ∈ N
uprqei ¸ste: an N ≤m<n tìte
n
X
(2.1.17) ak = |am+1 + · · · + an | < ε.
k=m+1
k=1
'Eqoume ak = 1
k gia kje k ∈ N. ParathroÔme ìti: an n > m tìte
1 1 1 n−m
(2.1.19) am+1 + · · · + an = + + ··· + ≥ .
m+1 m+2 n n
Efarmìzoume to krit rio tou Cauchy. An h armonik seir sugklÐnei, tìte, gia
ε = 14 , prèpei na uprqei N ∈ N ¸ste: an N ≤ m < n tìte
1
(2.1.20) |am+1 + · · · + an | < .
4
Epilègoume m = N kai n = 2N . Tìte, sunduzontac tic (2.1.19) kai (2.1.20)
paÐrnoume
1 2N − N 1
(2.1.21) > aN +1 + · · · + a2N ≥ = ,
4 2N 2
pou eÐnai topo. 'Ara, h armonik seir apoklÐnei.
ShmeÐwsh: To pardeigma thc armonik c seirc deÐqnei ìti to antÐstrofo thc Pro-
∞
tashc 2.1.5(a) den isqÔei. An ak → 0 den eÐnai aparaÐthta swstì ìti h seir
P
ak
k=1
sugklÐnei.
∞
P
fragmènh. An h (sn ) den eÐnai nw fragmènh, tìte ak = +∞ .
k=1
20 · Seirès pragmatik¸n arijm¸n
Apìdeixh . H (sn ) eÐnai aÔxousa akoloujÐa. An eÐnai nw fragmènh tìte sugklÐnei
se pragmatikì arijmì, ra h seir sugklÐnei. An h (sn ) den eÐnai nw fragmènh
tìte, afoÔ eÐnai aÔxousa, èqoume sn → +∞. 2
ShmeÐwsh. EÐdame ìti mia seir me mh arnhtikoÔc ìrouc sugklÐnei apoklÐnei sto
∞
+∞. Epistrèfontac sto pardeigma thc armonik c seirc k , blèpoume ìti, afoÔ
1
P
k=1
den sugklÐnei, apoklÐnei sto +∞:
∞
X 1
(2.2.2) = +∞.
k
k=1
k=1
ak+1 ≤ ak gia kje k ∈ N kai 0. 'Ena krit rio sÔgklishc pou efarmìzetai
ak →
suqn se tètoiec peript¸seic eÐnai to .
krit rio sumpÔknwshc
∞
P
akoloujÐa me ak > 0 kai ak → 0 . H seir ak sugklÐnei an kai mìno an h seir
k=1
∞
2k a2k
P
sugklÐnei.
k=0
∞
. Upojètoume pr¸ta ìti h 2k a2k sugklÐnei. Tìte, h akoloujÐa twn
P
Apìdeixh
k=0
merik¸n ajroismtwn
eÐnai nw fragmènh. 'Estw M èna nw frgma thc (tn ). Ja deÐxoume ìti o M eÐnai
∞
nw frgma gia ta merik ajroÐsmata thc ak . 'Estw sm = a1 + · · · + am . O
P
k=1
2.2 Seirès me mh arnhtikoÔs ìrous · 21
ParadeÐgmata
∞
(a) kp ,
1
ìpou p > 0. 'Eqoume ak = kp .
1
AfoÔ p > 0, h (ak ) fjÐnei proc to 0.
P
k=1
JewroÔme thn
∞ ∞ ∞
X 1 k
X X 1
(2.2.4) 2k a2k = 2k p = .
(2k ) 2p−1
k=0 k=0 k=0
2.2bþ O arijmìc e
'Eqoume orÐsei ton arijmì e wc to ìrio thc gnhsÐwc aÔxousac kai nw fragmènhc
n
akoloujÐac αn := 1 + n1 kaj¸c to n → ∞.
∞
X 1
(2.2.6) e= .
k!
k=0
(2.2.8) αn ≤ sn .
AfoÔ h aÔxousa akoloujÐa (sn ) eÐnai nw fragmènh apì ton e, èpetai ìti h (sn )
sugklÐnei kai lim sn ≤ e. Apì thn llh pleur, h (2.2.8) deÐqnei ìti e = lim αn ≤
n→∞ n→∞
lim sn . 'Ara,
n→∞
∞
X 1
(2.2.10) e = lim sn = ,
n→∞ k!
k=0
Dhlad ,
m 1 1 1 1
(2.2.12) = 1+ + ··· + + + ··· + + ··· .
n 1! n! (n + 1)! (n + s)!
Pollaplasizontac ta dÔo mèlh thc (2.2.12) me n!, mporoÔme na gryoume
m 1 1
0 < A = n! − 1 + + ··· +
n 1! n!
1 1 1
= + + ··· + + ··· .
n + 1 (n + 1)(n + 2) (n + 1) · · · (n + s)
Parathr ste ìti, apì ton trìpo orismoÔ tou, o
m 1 1
(2.2.13) A = n! − 1 + + ··· +
n 1! n!
eÐnai fusikìc arijmìc. 'Omwc, gia kje s ∈ N èqoume
1 1 1 1 1 1 1
+ + ··· + ≤ + + + ··· + s
n + 1 (n + 1)(n + 2) (n + 1) · · · (n + s) 2 6 23 2
∞
2 1X 1
< +
3 8 2k
k=0
2 1 11
= + = .
3 4 12
'Ara,
1 1 1 11
(2.2.14) + + ··· + + ··· ≤ .
n + 1 (n + 1)(n + 2) (n + 1) · · · (n + s) 12
'Epetai ìti o fusikìc arijmìc A ikanopoieÐ thn
11
(2.2.15) 0<A≤
12
kai èqoume katal xei se topo. 2
24 · Seirès pragmatik¸n arijm¸n
k=1
sugklÐnei apolÔtwc.
H epìmenh prìtash deÐqnei ìti h apìluth sÔgklish eÐnai isqurìterh apì thn (apl )
sÔgklish.
∞ ∞
Prìtash 2.3.2.
P P
An h seir ak sugklÐnei apolÔtwc, tìte h seir ak sugk-
k=1 k=1
lÐnei.
n
X
(2.3.1) |ak | < ε.
k=m+1
∞
'Ara h seir ak ikanopoieÐ to krit rio Cauchy. Apì to Je¸rhma 2.1.6, sugklÐnei.
P
k=1
2
ParadeÐgmata
∞
(−1)k−1
(a) H seir sugklÐnei. MporoÔme na elègxoume ìti sugklÐnei apolÔtwc:
P
k2
k=1
èqoume
∞ k−1 ∞
X (−1) X 1
(2.3.3) =
k2 k2
k=1 k=1
∞
kai h teleutaÐa seir sugklÐnei (eÐnai thc morf c 1
me p = 2 > 1).
P
kp
k=1
∞
(−1)k−1
(b) H seir den sugklÐnei apolÔtwc, afoÔ
P
k
k=1
∞
∞
k−1
X (−1) X1
(2.3.4) =
k k
k=1 k=1
2.3 Genik krit ria · 25
(armonik seir). MporoÔme ìmwc na deÐxoume ìti h seir sugklÐnei upì sunj kh.
JewroÔme pr¸ta to merikì jroisma
2m k−1
X (−1)
s2m =
k
k=1
1 1 1 1 1
= 1− + − + ··· + −
2 3 4 2m − 1 2m
1 1 1 1
= + + + ··· + .
1·2 3·4 5·6 (2m − 1)2m
'Epetai ìti
1
(2.3.5) s2m+2 = s2m + > s2m ,
(2m + 1)(2m + 2)
dhlad , h upakoloujÐa (s2m ) eÐnai gnhsÐwc aÔxousa. ParathroÔme epÐshc ìti h
(s2m ) eÐnai nw fragmènh, afoÔ
1 1 1 1
(2.3.6) s2m < + 2 + 2 + ··· + 2,
12 3 5 (2m − 1)
kai to dexiì mèloc thc (2.3.6) frssetai apì to (2m − 1)-ostì merikì jroisma thc
∞
seirc k2 h opoÐa sugklÐnei. 'Ara h upakoloujÐa (s2m ) sugklÐnei se kpoion
1
P
k=1
pragmatikì arijmì s. Tìte,
1
(2.3.7) s2m−1 = s2m + → s + 0 = s.
2m
AfoÔ oi upakoloujÐec (s2m ) kai (s2m−1 ) twn rtiwn kai twn peritt¸n ìrwn thc (sm )
sugklÐnoun ston s, sumperaÐnoume ìti sn → s.
k=1 k=1
ìpou bk > 0 gia kje k∈N . Upojètoume ìti uprqei M >0 ¸ste
(2.3.8) |ak | ≤ M · bk
∞
P ∞
P
gia kje k ∈ N kai ìti h seir bk sugklÐnei. Tìte, h seir ak sugklÐnei
k=1 k=1
apolÔtwc.
n n
. Jètoume sn = |ak | kai tn = bk . Apì thn (2.3.8) èpetai ìti
P P
Apìdeixh
k=1 k=1
(2.3.9) sn ≤ M · tn
∞
gia kje n ∈ N. AfoÔ h seir bk sugklÐnei, h akoloujÐa (tn ) eÐnai nw fragmènh.
P
k=1
∞
Apì thn (2.3.9) sumperaÐnoume ìti kai h (sn ) eÐnai nw fragmènh. 'Ara, h
P
|ak |
k=1
sugklÐnei. 2
26 · Seirès pragmatik¸n arijm¸n
∞
Je¸rhma 2.3.4 (oriakì krit rio sÔgkrishc).
P
JewroÔme tic seirèc ak kai
k=1
∞
P
bk , ìpou bk > 0 gia kje k∈N . Upojètoume ìti
k=1
ak
(2.3.10) lim =`∈R
k→∞ bk
∞
P ∞
P
kai ìti h seir bk sugklÐnei. Tìte, h seir ak sugklÐnei apolÔtwc.
k=1 k=1
. H akoloujÐa
Apìdeixh
ak
bk sugklÐnei, ra eÐnai fragmènh. Dhlad , uprqei
M > 0 ¸ste
ak
(2.3.11) ≤M
bk
k=1 k=1
ìpou ak , bk > 0 gia kje k∈N . Upojètoume ìti
ak
(2.3.10) lim = ` > 0.
k→∞ bk
∞
P ∞
P
Tìte, h seir bk sugklÐnei an kai mìno an h seir ak sugklÐnei.
k=1 k=1
P∞ P∞
Apìdeixh . An h k=1 bk sugklÐnei, tìte
P∞ h k=1 ak sugklÐnei apì to Je¸rhma 2.3.4.
AntÐstrofa, ac upojèsoume ìti h k=1 ak sugklÐnei. AfoÔ abkk → ` > 0, èqoume
P∞
ak → ` . Enallssontac touc rìlouc twn (ak ) kai (bk ), blèpoume ìti h
bk 1
k=1 bk
sugklÐnei, qrhsimopoi¸ntac xan to Je¸rhma 2.3.4. 2
ParadeÐgmata
∞
sin(kx)
(a) Exetzoume th sÔgklish thc seirc k2 , ìpou x ∈ R. ParathroÔme ìti
P
k=1
sin(kx) 1
(2.3.12) k2 ≤ k2 .
∞
AfoÔ h 1
sugklÐnei, sumperaÐnoume (apì to krit rio sÔgkrishc) ìti h seir
P
k2
k=1
∞
sin(kx)
sugklÐnei apolÔtwc.
P
k2
k=1
∞
(b) Exetzoume th sÔgklish thc seirc k4 +k2 +3 .
k+1
ParathroÔme ìti an ak =
P
k=1
k+1
k4 +k2 +3 kai bk = k3 ,
1
tìte
ak k4 + k3
(2.3.13) = 4 → 1.
bk k + k2 + 3
2.3 Genik krit ria · 27
∞
AfoÔ h 1
sugklÐnei, sumperaÐnoume (apì to oriakì krit rio sÔgkrishc) ìti h
P
k3
k=1
∞
k+1
sugklÐnei.
P
k4 +k2 +3
k=1
∞
(g) Tèloc, exetzoume th sÔgklish thc seirc k2 +2 . 'Opwc sto prohgoÔmeno
k+1
P
k=1
pardeigma, an jewr soume tic akoloujÐec 2 +2 kai ak = k , tìte
bk = kk+1 1
ak k2 + 2
(2.3.14) = 2 → 1 > 0.
bk k +k
∞ ∞
Apì to Je¸rhma 2.3.5 èpetai ìti h k+1
èqei thn Ðdia sumperifor me thn k,
1
P P
k2 +2
k=1 k=1
dhlad apoklÐnei.
k=1
mh mhdenikoÔc ìrouc.
∞
(a) lim aak+1
P
<1 ak
An , tìte h sugklÐnei apolÔtwc.
k→∞ k
k=1
∞
(b) lim aak+1
P
>1 ak
An , tìte h apoklÐnei.
k→∞ k
k=1
. (a) Upojètoume ìti lim aak+1 = ` < 1. 'Estw x > 0 me ` < x < 1.
Apìdeixh
kk→∞
Tìte, uprqei N ∈ N ¸ste: | aak+1
k
| ≤ x gi kje k ≥ N . Dhlad ,
|aN | k
(2.3.16) |ak | ≤ xk−N |aN | = ·x
xN
gi kje k ≥ N .
∞ ∞
SugkrÐnoume tic seirèc |ak | kai xk . Apì thn (2.3.16) blèpoume ìti
P P
k=N k=N
(2.3.17) |ak | ≤ M · xk
∞
|aN |
gia kje k ≥ N , ìpou M = . H seir xk sugklÐnei, diìti proèrqetai apì
P
xN
k=N
∞
thn gewmetrik seir xk (me apaloif twn pr¸twn ìrwn thc) kai 0 < x < 1.
P
k=0
∞ ∞
'Ara, h |ak | sugklÐnei. 'Epetai ìti h |ak | sugklÐnei ki aut .
P P
k=N k=1
(b) AfoÔ lim aak+1
ak+1
> 1, uprqei N ∈ ¸ste ≥ 1 gia kje k ≥ N . Dhlad ,
k
N ak
k→∞
∞
gia kje k ≥ N . Tìte, ak 6→ 0 kai, apì thn Prìtash 2.1.5(a), h ak apoklÐnei.
P
k=1
2
. An lim aak+1 = 1, prèpei na exetsoume alli¸c th sÔgklish apìklish
ShmeÐwsh
k→∞ k
∞ ∞ ∞
ak+1
thc ak . Parathr ste ìti h 1
apoklÐnei kai ak = k+1 → 1, en¸ h
k 1
P P P
k k2
k=1 k=1 k=1
k2
sugklÐnei kai aak+1 = 2 → 1.
(k+1)
k
Pardeigma
∞
Exetzoume th sÔgklish thc seirc k! .
1
'Eqoume
P
k=0
ak+1 k! 1
(2.3.19) ak = (k + 1)! = k + 1 → 0 < 1.
k=1
arijm¸n.
(a)
p
An lim k
|ak | < 1, tìte h seir sugklÐnei apolÔtwc.
k→∞
(b)
p
An lim k
|ak | > 1 , tìte h seir apoklÐnei.
k→∞
(a) Epilègoume x > 0 me thn idiìthta lim k |ak | < x < 1. Tìte, uprqei
p
Apìdeixh
k→∞
N ∈ N ¸ste k |ak | ≤ x gia kje k ≥ N . IsodÔnama,
p
(2.3.21) |ak | ≤ xk
∞ ∞
gia kje k ≥ n. SugkrÐnoume tic seirèc |ak | kai xk . AfoÔ x < 1, h deÔterh
P P
k=N k=N
∞ ∞
seir sugklÐnei. 'Ara h |ak | sugklÐnei. 'Epetai ìti h ak sugklÐnei apolÔtwc.
P P
k=N k=1
(b) AfoÔ lim k |ak | > 1, uprqei N ∈ N ¸ste k |ak | ≥ 1 gia kje k ≥ N .
p p
k→∞
∞
Dhlad , |ak | ≥ 1 telik. 'Ara ak 6→ 0 kai h ak apoklÐnei. 2
P
k=1
2.3 Genik krit ria · 29
ParadeÐgmata
∞
xk
(a) Exetzoume th sÔgklish thc seirc k , ìpou x ∈ R. 'Eqoume
P p
k
|ak | =
k=1
|x|
→ |x|. An |x| < 1, tìte lim k |ak | = |x| < 1 kai h seir sugklÐnei apolÔtwc.
p
√
k
k
p k→∞
An |x| > 1, tote lim k |ak | = |x| > 1 kai h seir apoklÐnei. An |x| = 1, to
k→∞
∞
krit rio rÐzac den dÐnei sumpèrasma. Gia x = 1 paÐrnoume thn armonik seir 1
P
k
k=1
∞
(−1)k
h opoÐa apoklÐnei. Gia x = −1 paÐrnoume thn {enallssousa seir} h
P
k
k=1
opoÐa sugklÐnei. 'Ara, h seir sugklÐnei an kai mìno an −1 ≤ x < 1.
∞
x2k
(b) Exetzoume th sÔgklish thc seirc k2 , ìpou x ∈ R. 'Eqoume
P p
k
|ak | =
k=1
x2
k 2 → x . 'Ara, lim |ak | = x2 . An |x| > 1 h seir apoklÐnei. An |x| < 1 h
2
pk
√
k k→∞
seir sugklÐnei apolÔtwc. An |x| = 1 to krit rio rÐzac den dÐnei sumpèrasma. Sthn
∞
perÐptwsh x = ±1 h seir paÐrnei th morf k2 , dhlad sugklÐnei. 'Ara, h seir
1
P
k=1
sugklÐnei apolÔtwc ìtan |x| ≤ 1.
OrÐzoume sn = a1 + · · · + an s0 = 0
, . Gia kje 1≤m<n , isqÔei h isìthta
n
X n−1
X
(2.3.22) ak bk = sk (bk − bk+1 ) + sn bn − sm−1 bm .
k=m k=m
30 · Seirès pragmatik¸n arijm¸n
Apìdeixh . Grfoume
n
X n
X
ak bk = (sk − sk−1 )bk
k=m k=m
Xn n
X
= sk bk − sk−1 bk
k=m k=m
n
X n−1
X
= sk bk − sk bk+1
k=m k=m−1
n−1
X
= sk (bk − bk+1 ) + sn bn − sm−1 bm ,
k=m
Je¸rhma 2.3.9 (krit rio Dirichlet). 'Estw (ak ) kai (bk ) dÔo akoloujÐec me tic
ex c idiìthtec:
(b) H akoloujÐa twn merik¸n ajroismtwn sn = a1 +· · ·+an thc (ak ) eÐnai fragmènh:
(2.3.23) |sn | ≤ M
∞
P
gia kje n∈N . Tìte, h seir ak bk sugklÐnei.
k=1
k=1
Ta merik ajroÐsmata thc ((−1) ) eÐnai fragmèna, afoÔ sn = 0 an o n eÐ-
k−1
nai rtioc kai sn = 1 an o n eÐnai perittìc. 'Ara, kje tètoia seir sugklÐnei.
∞
(−1)k−1
Pardeigma, h seir .
P
k
k=1
∞
X ak 1
(2.3.26) 0≤ k
≤ N −1 .
10 10
k=N
H arister anisìthta isqÔei san isìthta an kai mìnon an ak = 0 gia kje k≥N ,
en¸ h dexi anisìthta isqÔei san isìthta an kai mìnon an ak = 9 gia kje k≥N .
Apìdeixh . 'Eqoume
∞ ∞
X ak X 0
(2.3.27) ≥ = 0.
10k 10k
k=N k=N
∞
An ak = 0 gia kje k ≥ N , tìte ak
= 0. AntÐstrofa, an am ≥ 1 gia kpoion
P
10k
k=N
m ≥ N , tìte
∞ ∞
X ak am X ak
= +
10k 10 m 10k
k=N k=N
k6=m
∞
1 X 0
≥ +
10m k=N
10 k
k6=m
1
= > 0.
10m
32 · Seirès pragmatik¸n arijm¸n
Epagwgik, èqoume:
{dekadik c seirc}:
∞
X ak a1 a2
(2.3.31) x= = a0 + + + ··· ,
10k 10 102
k=0
ìpou a0 ∈ N ∪ {0} kaiak ∈ {0, 1, . . . , 9} gia kje k≥1 . Tìte, lème ìti o x èqei th
(b) Oi arijmoÐ thc morf c x = 10mN ìpou m ∈ N kai N ≥ 0 èqoun akrib¸c dÔo
dekadikèc parastseic:
(2.3.33) a0 ≤ x < a0 + 1.
a1 a2 a1 a2 + 1
(2.3.35) a0 + + ≤ x < a0 + + .
10 102 10 102
SuneqÐzontac epagwgik, gia kje k ≥ 1 brÐskoume ak ∈ {0, 1, . . . , 9} ¸ste
a1 ak a1 ak + 1
(2.3.36) a0 + + · · · + k ≤ x < a0 + + ··· + .
10 10 10 10k
∞
Apì thn kataskeu , ta merik ajroÐsmata sn thc seirc ak
h opoÐa dhmiourgeÐ-
P
10k
k=0
tai, ikanopoioÔn thn sn ≤ x < sn + 10n .
1
'Ara,
1
(2.3.37) 0 ≤ x − sn < .
10n
'Epetai ìti sn → x, dhlad
∞
X ak
(2.3.38) x= .
10k
k=0
(2.3.40) a0 = b0 , a1 = b1 , . . . , aN −1 = bN −1 , aN 6= bN .
1 bN − aN
≤
10N 10N
∞ ∞
X ak X bk
= −
10k 10k
k=N +1 k=N +1
1
≤ −0
10N
1
= .
10N
'Ara, ìlec oi anisìthtec eÐnai isìthtec. Dhlad ,
(2.3.42) bN − aN = 1
kai
∞ ∞
X ak 1 X bk
(2.3.43) = N, = 0.
10k 10 10k
k=N +1 k=N +1
Tìte, o x isoÔtai me
a1 a2 aN −1 aN + 1
x = a0 + + + · · · + N −1 +
10 102 10 10N
N N −1
10 a0 + 10 a1 + · · · + 10aN −1 + aN + 1
=
10N
m
=
10N
gia kpoiouc m ∈ N kai N ≥ 0.
2.4 Dunamoseirès · 35
10N pN + · · · + 10m pm
x =
10N
pN −1 pm
= pN + + · · · + N −m
10 10
= pN .pN −1 · · · pm 000 · · · = pN .pN −1 · · · (pm − 1) 99 · · · .
2.4 Dunamoseirèc
Orismìc 2.4.1. 'Estw (ak ) mia akoloujÐa pragmatik¸n arijm¸n. H seir
∞
X
(2.4.1) ak xk
k=0
sugklÐnei sto x.
∞
Prìtash 2.4.2. ak xk
P
'Estw mia dunamoseir me suntelestèc ak .
k=0
(a) An h dunamoseir sugklÐnei sto y 6= 0 kai an |x| < |y| , tìte h dunamoseir
(b) An h dunamoseir apoklÐnei sto y kai an |x| > |y| , tìte h dunamoseir apoklÐnei
sto x.
∞
. (a) AfoÔ h ak y k sugklÐnei, èqoume ak y k → 0. 'Ara, uprqei N ∈ N
P
Apìdeixh
k=0
¸ste
To sÔnolo sto dexiì mèloc eÐnai mh kenì, afoÔ h dunamoseir sugklÐnei sto 0. H
Prìtash 2.4.2 deÐqnei ìti an |x| < R tìte h dunamoseir sugklÐnei apolÔtwc sto x.
Prgmati, apì ton orismì tou R uprqei y me R ≥ |y| > |x| ¸ste h dunamoseir
na sugklÐnei sto y , opìte efarmìzetai h Prìtash 2.4.2(a) sto x. Apì ton orismì
tou R eÐnai fanerì ìti an |x| > R tìte h dunamoseir apoklÐnei sto x. 'Ara, h
dunamoseir sugklÐnei se kje x ∈ (−R, R) kai apoklÐnei se kje x me |x| > R.
To disthma (−R, R) onomzetai thc dunamoseirc. H
disthma sÔgklishc
to sÔnolo ìlwn twn shmeÐwn sta opoÐa sugklÐnei, prokÔptei apì to (−R, R) me thn
prosj kh (Ðswc) tou R tou −R twn ±R. Sthn perÐptwsh pou R = +∞, h
dunamoseir sugklÐnei se kje x ∈ R. Sthn perÐptwsh pou R = 0, h dunamoseir
sugklÐnei mìno sto shmeÐo x = 0.
To prìblhma eÐnai loipìn t¸ra to ex c: p¸c mporoÔme na prosdiorÐsoume thn ak-
tÐna sÔgklishc miac dunamoseirc sunart sei twn suntelest¸n thc. Mia apnthsh
mac dÐnei to krit rio thc rÐzac gia th sÔgklish seir¸n.
∞
Je¸rhma 2.4.3. ak xk
P
'Estw mia dunamoseir me suntelestèc ak . Upojètoume
p k=0
1 1
ìti uprqei to lim k |ak | = a kai jètoume R= a me th sÔmbash ìti
0 = +∞ kai
k→∞
1
+∞ =0 .
(a) x ∈ (−R, R)
An h dunamoseir sugklÐnei apolÔtwc sto x.
|x|
q p
(2.4.5) lim k |ak xk | = |x| lim k |ak | = |x|a = < 1.
k→∞ k→∞ R
∞
Apì to krit rio thc rÐzac, h ak xk sugklÐnei apolÔtwc.
P
k=0
(b) An |x| > R tìte
|x|
q
k
(2.4.6) lim |ak xk | = > 1.
k→∞ R
∞
Apì to krit rio thc rÐzac, h ak xk apoklÐnei. 2
P
k=0
2.5 Ask seis · 37
∞
X ∞
X
1k kai (−1)k
k=0 k=0
oi opoÐec apoklÐnoun.
∞
xk
2. Gia thn (k+1)2 elègqoume ìti R = 1. Gia x = ±1 èqoume tic seirèc
P
k=0
∞ ∞
X 1 X (−1)k
kai
(k + 1)2 (k + 1)2
k=0 k=0
oi opoÐec sugklÐnoun.
∞
xk
3. Gia thn k+1 elègqoume ìti R = 1. Gia x = ±1 èqoume tic seirèc
P
k=0
∞ ∞
X 1 X (−1)k
kai .
k+1 k+1
k=0 k=0
k=0
lim aak+1 = a kai jètoume R = a1 .
toume ìti uprqei to
k→∞ k
2.5 Ask seic
A' Omda. Erwt seic katanìhshc
∞
3. An |ak | → 0, tìte h seir ak sugklÐnei apolÔtwc.
P
k=1
∞ ∞
4. An h seir |ak | sugklÐnei, tìte h seir ak sugklÐnei.
P P
k=1 k=1
∞
6. An ak > 0 gia kje k ∈ N kai an lim ak+1
= 1, tìte h seir ak apoklÐnei.
P
k→∞ ak k=1
∞
7. An ak > 0 gia kje k ∈ N kai an ak+1
→ +∞, tìte h h seir ak apoklÐnei.
P
ak
k=1
∞
8. An ak → 0, tìte h seir (−1)k ak sugklÐnei.
P
k=1
∞ ∞ √
9. An ak > 0 gia kje k ∈ N kai an h seir ak sugklÐnei, tìte h seir
P P
ak
k=1 k=1
sugklÐnei.
∞ ∞
10. An h seir ak sugklÐnei, tìte h seir a2k sugklÐnei.
P P
k=1 k=1
∞
11. An h seir ak sugklÐnei kai an (akn ) eÐnai mia upakoloujÐa thc (an ), tìte h
P
k=1
∞
seir akn sugklÐnei.
P
k=1
∞ ∞
12. An ak > 0 gia kje k ∈ N kai an h seir ak sugklÐnei, tìte h seir a2k
P P
k=1 k=1
sugklÐnei.
∞
13. H seir 2·4·6···(2k)
sugklÐnei.
P
k!
k=1
14. H seir
P∞
k=1 k(1 + k 2 )p sugklÐnei an kai mìno an p < −1.
B' Omda
∞
15. DeÐxte ìti an lim bk = b tìte (bk − bk+1 ) = b1 − b.
P
k→∞ k=1
∞
17. UpologÐste to jroisma thc seirc k(k+1)(k+2) .
1
P
k=1
∞
18. Exetste gia poièc timèc tou pragmatikoÔ arijmoÔ x sugklÐnei h seir 1
.
P
1+xk
k=1
An gia kpoiec timèc tou x ∈ R kanèna apì aut ta dÔo krit ria den dÐnei apnthsh,
exetste th sÔgklish apìklish thc seirc me llo trìpo.
21. Na brejeÐ ikan kai anagkaÐa sunj kh gia thn akoloujÐa (an ) ¸ste na
sugklÐnei h seir
a1 − a1 + a2 − a2 + a3 − a3 + · · · .
∞
22. Exetste an sugklÐnei apoklÐnei h seir ak stic paraktw peript¸seic:
P
n=1
√ √ √
(a) ak = k+1− k (b) ak = 1 + k 2 − k
√ √ √
(g) ak = k+1− k
k (d) ak = ( k k − 1)k .
∞
25. 'Estw ìti ak ≥ 0 gia kje k ∈ N. DeÐxte ìti h seir ak
sugklÐnei.
P
1+k2 ak
k=1
26. OrÐzoume mia akoloujÐa (ak ) wc ex c: an o k eÐnai tetrgwno fusikoÔ arijmoÔ
jètoume ak = k1 kai an o k den eÐnai tetrgwno fusikoÔ arijmoÔ jètoume ak = k12 .
∞
Exetste an sugklÐnei h seir ak .
P
k=1
∞
27. Exetste an sugklÐnei apoklÐnei h seir (−1)k k1p , ìpou p ∈ R.
P
k=1
∞ ∞ ∞
X X ak X a2k
a2k , ,
1 + ak 1 + a2k
k=1 k=1 k=1
sugklÐnoun epÐshc.
∞
31. Upojètoume ìti ak ≥ 0 gia kje k ∈ N kai ìti h seir ak sugklÐnei. DeÐxte
P
k=1
∞ √
ìti h seir ak ak+1 sugklÐnei. DeÐxte ìti, an h {ak } eÐnai fjÐnousa, tìte isqÔei
P
k=1
kai to antÐstrofo.
∞
32. Upojètoume ìti ak ≥ 0 gia kje k ∈ N kai ìti h seir ak sugklÐnei. DeÐxte
P
k=1
∞ √
ak
ìti h seir sugklÐnei.
P
k
k=1
∞
33. Upojètoume ìti ak ≥ 0 gia kje k ∈ N kai ìti h seir ak apoklÐnei. DeÐxte
P
k=1
ìti
∞
X ak
= 1.
(1 + a1 )(1 + a2 ) · · · (1 + ak )
k=1
2.5 Ask seis · 41
G' Omda
∞
35. Upojètoume ìti ak > 0 gia kje k ∈ N kai ìti h ak apoklÐnei. Jètoume
P
k=1
sn = a1 + a2 + · · · + an .
∞
(a) DeÐxte ìti h ak
apoklÐnei.
P
1+ak
k=1
∞
36. Upojètoume ìti ak > 0 gia kje k ∈ N kai ìti h ak sugklÐnei. Jètoume
P
k=1
∞
ak .
P
rn =
k=n
√ √ ∞
(b) DeÐxte ìti an
rn+1 kai sumpernate ìti h ak
sugklÐnei.
P
√
rn <2 rn − √
rk
k=1
∞
37. 'Estw (ak ) akoloujÐa pragmatik¸n arijm¸n. DeÐxte ìti an h seir
P
ak
k=1
∞
apoklÐnei tìte kai h seir kak apoklÐnei.
P
k=1
38. 'Estw (ak ) akoloujÐa jetik¸n pragmatik¸n arijm¸n. DeÐxte ìti an h seir
∞ ∞ k
ak sugklÐnei, tìte kai h akk+1 sugklÐnei.
P P
k=1 k=1
42 · Seirès pragmatik¸n arijm¸n
∞ ∞
DeÐxte ìti h ak sugklÐnei an kai mìno an h bk sugklÐnei. [ An sn
P P
Upìdeixh:
k=1 k=1
kai tn eÐnai ta merik ajroÐsmata twn dÔo seir¸n, dokimste na sugkrÐnete ta s2n
kai tn .]
41. 'Estw (ak ) akoloujÐa jetik¸n pragmatik¸n arijm¸n. JewroÔme thn akoloujÐa
a1 + 2a2 + · · · + kak
bk = .
k(k + 1)
∞ ∞
DeÐxte ìti: an h ak sugklÐnei, tìte h seir bk sugklÐnei kai ta ajroÐsmata
P P
k=1 k=1
twn dÔo seir¸n eÐnai Ðsa.
∞
42. 'Estw (ak ) akoloujÐa jetik¸n arijm¸n ¸ste ak = +∞ kai ak → 0. DeÐxte
P
k=1
ìti an 0 ≤ α < β tìte uprqoun fusikoÐ m ≤ n ¸ste
n
X
α< ak < β.
k=m
Omoiìmorfh sunèqeia
3.1 Omoiìmorfh sunèqeia
Prin d¸soume ton orismì thc omoiìmorfhc sunèqeiac, ja exetsoume pio pros-
ektik dÔo apl paradeÐgmata suneq¸n sunart sewn.
(a) JewroÔme th sunrthsh f (x) = x, x ∈ R. GnwrÐzoume ìti h f eÐnai suneq c
sto R, kti pou eÔkola epibebai¸noume austhr qrhsimopoi¸ntac ton orismì thc
sunèqeiac:
'Estw x0 ∈ R kai èstw ε > 0. Zhtme δ > 0 ¸ste
'Enac trìpoc gia na epilèxoume katllhlo δ eÐnai o ex c. SumfwnoÔme apì thn arq
ìti ja proume 0 < δ ≤ 1, opìte
An loipìn epilèxoume
ε
(3.1.3) δ = min 1, ,
2|x0 | + 1
tìte
'Ara, h g eÐnai suneq c sto x0 . Parathr ste ìmwc ìti to δ pou epilèxame den
exarttai mìno apì to ε pou mac dìjhke, all kai apì to shmeÐo x0 sto opoÐo
elègqoume thn sunèqeia thc g . H epilog pou kname sthn (3.1.3) deÐqnei ìti ìso
pio makri brÐsketai to x0 apì to 0, tìso pio mikrì prèpei na epilèxoume to δ .
Ja mporoÔse bèbaia na pei kaneÐc ìti Ðswc uprqei kalÔteroc trìpoc epilog c
tou δ , akìma kai anexrthtoc apì to shmeÐo x0 . Ac doÔme to Ðdio prìblhma me
ènan deÔtero trìpo. JewroÔme x0 > 0 kai ε > 0. MporoÔme na upojèsoume
ìti ε < x20 , afoÔ ta mikr ε eÐnai aut pou parousizoun endiafèron. MporoÔme
epÐshc na koitme mìno x > 0, afoÔ mac endiafèrei ti gÐnetai kont sto x0 to
opoÐo èqei upotejeÐ jetikì. H anisìthta |x2 − x20 | < ε ikanopoieÐtai an kai mìno an
x20 − ε < x2 < x20 + ε, dhlad an kai mìno an
q q
(3.1.5) x20 − ε < x < x20 + ε.
IsodÔnama, an
q q
(3.1.6) − x0 − x20 − ε < x − x0 < x20 + ε − x0 .
ε x20 x20
(3.1.7) p <p < = x0 .
x20 + ε + x0 x20 + ε + x0 x0
An loipìn |x − x0 | < √ ε
, tìte |x − x0 | < x0 ⇒ x > 0 kai o prohgoÔmenoc
x20 +ε+x0
upologismìc deÐqnei ìti |x2 − x20 | < ε. Dhlad , an 0 < ε < x20 tìte h kalÔterh
epilog tou δ sto shmeÐo x0 eÐnai
ε
(3.1.8) δ = δ(ε, x0 ) = p .
x20 + ε + x0
(3.1.2) sekje x0 ∈ R.
3.1 Omoiìmorfh sunèqeia · 45
O sumbolismìc δ(ε, x0 ) ja èdeiqne ìti to δ exarttai tìso apì to ε ìso kai apì to
shmeÐo x0 . Oi sunart seic (ìpwc h f (x) = x) pou mac epitrèpoun na epilègoume to
δ anexrthta apì to x0 lègontai :
omoiìmorfa suneqeÐc
ParadeÐgmata
(a) H f (x) = x eÐnai omoiìmorfa suneq c sto R.
(b) H g(x) = x2 den eÐnai omoiìmorfa suneq c sto R.
(g) JewroÔme th sunrthsh g(x) = x2 tou (b), periorismènh ìmwc sto kleistì
disthma [−M, M ], ìpou M > 0. Tìte, gia kje x, y ∈ [−M, M ] èqoume
Prìtash 3.1.4. 'Estw I èna disthma kai èstw f :I→R paragwgÐsimh sunrthsh.
Upojètoume ìti h f0 eÐnai fragmènh: uprqei stajer M >0 ¸ste: |f 0 (x)| ≤ Mgia
Apìdeixh . 'Estw x < y sto I . Apì to je¸rhma mèshc tim c uprqei ξ ∈ (x, y) ¸ste
Tìte,
Apìdeixh . Prgmati: èstw x0 ∈ A kai ε > 0. Apì ton orismì thc omoiìmorfhc
sunèqeiac, uprqei δ > 0 ¸ste an x, y ∈ A kai |x − y| < δ tìte |f (x) − f (y)| < ε.
Epilègoume autì to δ . An x ∈ A kai |x − x0 | < δ , tìte |f (x) − f (x0 )| < ε (prte
y = x0 ). AfoÔ to ε > 0 tan tuqìn, h f eÐnai suneq c sto x0 . 2
Apìdeixh . Upojètoume pr¸ta ìti h f eÐnai omoiìmorfa suneq c sto A. 'Estw (xn ),
(yn ) dÔo akoloujÐec sto A me xn − yn → 0. Ja deÐxoume ìti f (xn ) − f (yn ) → 0:
'Estw ε > 0. Apì ton orismì thc omoiìmorfhc sunèqeiac, uprqei δ > 0 ¸ste
Ja deÐxoume ìti h f eÐnai omoiìmorfa suneq c sto A. 'Estw ìti den eÐnai. Tìte,
uprqei ε > 0 me thn ex c idiìthta:
Gia kje δ > 0 uprqoun xδ , yδ ∈ A me |xδ − yδ | < δ all |f (xδ ) −
f (yδ )| ≥ ε.
Epilègontac diadoqik δ = 1, 12 , . . . , n1 , . . ., brÐskoume zeugria xn , yn ∈ A ¸ste
1
(3.2.5) |xn − yn | < all |f (xn ) − f (yn )| ≥ ε.
n
JewroÔme tic akoloujÐec (xn ), (yn ). Apì thn kataskeu èqoume xn − yn → 0, all
apì thn |f (xn ) − f (yn )| ≥ ε gia kje n ∈ N blèpoume ìti den mporeÐ na isqÔei h
f (xn ) − f (yn ) → 0 (exhg ste giatÐ). Autì eÐnai topo, ra h f eÐnai omoiìmorfa
suneq c sto A. 2
ParadeÐgmata
(a) JewroÔme th sunrthsh f (x) = x1 sto (0, 1]. H f eÐnai suneq c all eÐnai den
omoiìmorfa suneq c. Gia na to doÔme, arkeÐ na broÔme dÔo akoloujÐec (xn ), (yn ) sto
(0, 1] pou na ikanopoioÔn thn xn −yn → 0 all na mhn ikanopoioÔn thn x1n − y1n → 0.
PaÐrnoume xn = n1 kai yn = 2n1
. Tìte, xn , yn ∈ (0, 1] kai
1 1 1
(3.2.6) xn − yn = − = →0
n 2n 2n
all
1 1
(3.2.7) f (xn ) − f (yn ) = − = n − 2n = −n → −∞.
xn yn
Tìte,
(3.2.11)
p √ (n + 1)π − nπ π
xn − yn = (n + 1)π − nπ = p √ =p √ → 0,
(n + 1)π + nπ (n + 1)π + nπ
all
Apìdeixh . Ac upojèsoume ìti h f den eÐnai omoiìmorfa suneq c. Tìte, ìpwc sthn
apìdeixh tou Jewr matoc 3.2.1, mporoÔme na broÔme ε > 0 kai dÔo akoloujÐec (xn ),
(yn ) sto [a, b] me xn − yn → 0 kai |f (xn ) − f (yn )| ≥ ε gia kje n ∈ N.
AfoÔ a ≤ xn , yn ≤ b gia kje n ∈ N, oi (xn ) kai (yn ) eÐnai fragmènec akolou-
jÐec. Apì to Je¸rhma Bolzano-Weierstrass, uprqei upakoloujÐa (xkn ) thc (xn ) h
opoÐa sugklÐnei se kpoio x ∈ R. AfoÔ a ≤ xkn ≤ b gia kje n, sumperaÐnoume ìti
a ≤ x ≤ b. Dhlad ,
Dhlad ,
Autì eÐnai topo, afoÔ |f (xkn ) − f (ykn )| ≥ ε gia kje n ∈ N. 'Ara, h f eÐnai
omoiìmorfa suneq c sto [a, b]. 2
Parat rhsh . To gegonìc ìti h f tan orismènh sto kleistì disthma [a, b]
qrhsimopoi jhke me dÔo trìpouc. Pr¸ton, mporèsame na broÔme sugklÐnousec up-
akoloujÐec twn (xn ), (yn ) (je¸rhma Bolzano-Weierstrass). DeÔteron, mporoÔsame
na poÔme ìti to koinì ìrio x aut¸n twn upakolouji¸n exakoloujeÐ na brÐsketai sto
pedÐo orismoÔ [a, b] thc f . Qrhsimopoi same dhlad to ex c:
Je¸rhma 3.3.2. 'Estw f :A→R omoiìmorfa suneq c sunrthsh kai èstw (xn )
akoloujÐa Cauchy sto A . Tìte,(f (xn ))
h eÐnai akoloujÐa Cauchy .
'Omwc tìte,
suneq c sto (a, b) an kai mìno an uprqoun ta lim+ f (x) kai lim− f (x) .
x→a x→b
Apìdeixh . Upojètoume pr¸ta ìti uprqoun ta lim f (x) kai lim f (x). OrÐzoume
x→a+ x→b−
mia {epèktash} g thc f sto [a, b], jètontac: g(a) = lim f (x), g(b) = lim f (x)
x→a+ x→b−
kai g(x) = f (x) an x ∈ (a, b).
H g eÐnai suneq c sto kleistì disthma [a, b] (exhg ste giatÐ), ra omoiìmorfa
suneq c. Ja deÐxoume ìti h f eÐnai ki aut omoiìmorfa suneq c sto (a, b). 'Estw
ε > 0. AfoÔ h g eÐnai omoiìmorfa suneq c, uprqei δ > 0 ¸ste: an x, y ∈ [a, b] kai
|x − y| < δ tìte |g(x) − g(y)| < ε.
JewroÔme x, y ∈ (a, b) me |x − y| < δ . Tìte, apì ton orismì thc g èqoume
AntÐstrofa, upojètoume ìti h f eÐnai omoiìmorfa suneq c sto (a, b) kai deÐqnoume
ìti uprqei to limx→a+ f (x) (h Ôparxh tou llou pleurikoÔ orÐou apodeiknÔetai me
ton Ðdio trìpo).
Ja deÐxoume ìti an (xn ) eÐnai akoloujÐa sto (a, b) me xn → a, tìte h (f (xn ))
sugklÐnei. Autì eÐnai meso apì to Je¸rhma 3.3.2: h (xn ) sugklÐnei, ra h (xn ) eÐnai
akoloujÐa Cauchy, ra h (f (xn )) eÐnai akoloujÐa Cauchy, ra h (f (xn )) sugklÐnei
se kpoion pragmatikì arijmì `.
EpÐshc, to ìrio thc (f (xn )) eÐnai anexrthto apì thn epilog thc (xn ): èstw
(yn ) mia llh akoloujÐa sto (a, b) me yn → a. Tìte, xn − yn → 0. Apì to Je¸rhma
3.2.1,
Apì thn arq thc metaforc (gia to ìrio sunrthshc) èpetai ìti lim f (x) = `. 2
x→a+
ParadeÐgmata
√
(a) JewroÔme th sunrthsh f (x) = x sto [0, 1]. H f eÐnai suneq c sto [0, 1],
epomènwc eÐnai omoiìmorfa suneq c. 'Omwc, h f den eÐnai Lipschitz suneq c sto
[0, 1].
An tan, ja up rqe M > 0 ¸ste
dhlad h f èqei fragmènh pargwgo sto [1, +∞). Apì thn Prìtash 3.1.4 eÐnai
Lipschitz suneq c me stajer 1/2.
√
(g) Ac doÔme t¸ra thn Ðdia sunrthsh f (x) = x sto [0, +∞). H f den eÐnai
Lipschitz suneq c sto [0, +∞) oÔte mporoÔme na efarmìsoume to Je¸rhma 3.3.1.
EÐdame ìmwc ìti h f eÐnai omoiìmorfa suneq c sto [0, 1] kai omoiìmorfa suneq c sto
[1, +∞). Autì ftnei gia na deÐxoume ìti eÐnai omoiìmorfa suneq c sto [0, +∞):
'Estw ε > 0. Uprqei δ1 > 0 ¸ste: an x, y ∈ [0, 1] kai |x − y| < δ1 tìte
|f (x) − f (y)| < 2ε (apì thn omoiìmorfh sunèqeia thc f sto [0, 1]).
EpÐshc, uprqei δ2 > 0 ¸ste: an x, y ∈ [1, +∞) kai |x − y| < δ2 tìte |f (x) −
f (y)| < 2ε (apì thn omoiìmorfh sunèqeia thc f sto [1, +∞)).
Jètoume δ = min{δ1 , δ2 } > 0. 'Estw x < y ∈ [0, +∞) me |x − y| < δ . DiakrÐ-
noume treÐc peript¸seic:
3.4 Sustolès je¸rhma stajeroÔ shmeÐou · 51
(i) An 0 ≤ x < y ≤ 1 kai |x − y| < δ , tìte |x − y| < δ1 ra |f (x) − f (y)| < ε
2 < ε.
(ii) An 1 ≤ x < y kai |x − y| < δ , tìte |x − y| < δ2 ra |f (x) − f (y)| < ε
2 < ε.
(iii) An x < 1 < y kai |x − y| < δ , parathroÔme ìti |x − 1| < δ kai |1 − y| < δ .
'Omwc, x, 1 ∈ [0, 1] kai 1, y ∈ [1, +∞). MporoÔme loipìn na gryoume
ε ε
|f (x) − f (y)| ≤ |f (x) − f (1)| + |f (1) − f (y)| < + = ε.
2 2
(3.4.2) f (y) = y.
Apìdeixh . Apì thn upìjesh uprqei 0 < M < 1 ¸ste |f (x) − f (y)| ≤ M |x − y| gia
kje x, y ∈ R. H f eÐnai Lipschitz suneq c, ra omoiìmorfa suneq c. Epilègoume
tuqìn x1 ∈ R. OrÐzoume mia akoloujÐa (xn ) mèsw thc
(3.4.3) xn+1 = f (xn ), n ∈ N.
Tìte,
(3.4.4) |xn+1 − xn | = |f (xn ) − f (xn−1 )| ≤ M |xn − xn−1 |
gia kje n ≥ 2. Epagwgik apodeiknÔoume ìti
(3.4.5) |xn+1 − xn | ≤ M n−1 |x2 − x1 |
gia kje n ≥ 2. 'Epetai ìti an n > m sto N, tìte
|xn − xm | ≤ |xn − xn−1 | + · · · + |xm+1 − xm |
≤ (M n−2 + · · · + M m−1 )|x2 − x1 |
1 − M n−m m−1
= M |x2 − x1 |
1−M
M m−1
≤ |x2 − x1 |.
1−M
AfoÔ 0 < M < 1, èqoume M m → 0. 'Ara, gia dojèn ε > 0 mporoÔme na broÔme
m−1
n0 (ε) ¸ste: an n > m ≥ n0 tìte M 1−M |x2 − x1 | < ε, kai sunep¸c, |xn − xm | < ε.
Epomènwc, h (xn ) eÐnai akoloujÐa Cauchy kai autì shmaÐnei ìti sugklÐnei: upr-
qei y ∈ R ¸ste xn → y . Ja deÐxoume ìti f (y) = y : apì thn xn → y kai th sunèqeia
thc f sto y blèpoume ìti f (xn ) → f (y). 'Omwc xn+1 = f (xn ) kai xn+1 → y , ra
f (xn ) → y . Apì th monadikìthta tou orÐou akoloujÐac prokÔptei h f (y) = y .
To y eÐnai to monadikì stajerì shmeÐo thc f . 'Estw z 6= y me f (z) = z . Tìte,
(3.4.6) 0 < |z − y| = |f (z) − f (y)| ≤ M |z − y|,
dhlad 1 ≤ M , to opoÐo eÐnai topo. 2
52 · Omoiìmorfh sunèqeia
3.5 Ask seic
Omda A'
1. DeÐxte to je¸rhma mègisthc kai elqisthc tim c gia mia suneq sunrthsh f :
[a, b] → R qrhsimopoi¸ntac to je¸rhma Bolzano–Weiertstrass:
(a) DeÐxte pr¸ta ìti uprqei M > 0 ¸ste |f (x)| ≤ M gia kje x ∈ [a, b], me apag-
wg se topo. An autì den isqÔei, mporoÔme na broÔme xn ∈ [a, b] ¸ste |f (xn )| > n,
n = 1, 2, . . .. H (xn ) èqei upakoloujÐa (xkn ) ¸ste xkn → x0 ∈ [a, b]. Qrhsimopoi -
ste thn arq thc metaforc (h f eÐnai suneq c sto x0 ) gia na katal xete se topo.
(b) Apì to (a) èqoume M := sup{f (x) : x ∈ [a, b]} < ∞. Tìte, mporoÔme na broÔme
xn ∈ [a, b] ¸ste f (xn ) → M (exhg ste giatÐ). H (xn ) èqei upakoloujÐa (xkn ) ¸ste
xkn → x0 ∈ [a, b]. Qrhsimopoi ste thn arq thc metaforc (h f eÐnai suneq c sto
x0 ) gia na sumpernete ìti f (x0 ) = M . Autì apodeiknÔei ìti h f paÐrnei mègisth
tim (sto x0 ).
(g) Ergazìmenoi ìmoia, deÐxte ìti h f paÐrnei elqisth tim .
3. 'Estw f : [a, b] → R suneq c, paragwgÐsimh sto (a, b). DeÐxte ìti h f ikanopoieÐ
sunj kh Lipschitz an kai mìno an h f 0 eÐnai fragmènh.
4. 'Estw n ∈ N, n ≥ 2 kai f (x) = x1/n , x ∈ [0, 1]. DeÐxte ìti h sunrthsh f den
ikanopoieÐ sunj kh Lipschitz. EÐnai omoiìmorfa suneq c?
12. (a) 'Estw f : [0, +∞) → R suneq c sunrthsh. Upojètoume ìti uprqei a > 0
¸ste h f na eÐnai omoiìmorfa suneq c sto [a, +∞). DeÐxte ìti h f eÐnai omoiìmorfa
suneq c sto [0, +∞).
√
(b) DeÐxte ìti h f (x) = x eÐnai omoiìmorfa suneq c sto [0, +∞).
cos(x3 )
(vii) f : (1, ∞) → R me f (x) = x .
(viii) f : R → R me f (x) = x2 +4 .
1
17. An h sunrthsh f den eÐnai fragmènh sto (0, 1), tìte h f den eÐnai omoiìmorfa
suneq c sto (0, 1).
18. An h (xn ) eÐnai akoloujÐa Cauchy kai h f eÐnai omoiìmorfa suneq c sto R,
tìte h (f (xn )) eÐnai akoloujÐa Cauchy.
54 · Omoiìmorfh sunèqeia
20. JewroÔme tic f (x) = x kai g(x) = sin x. Oi f kai g eÐnai omoiìmorfa suneqeÐc
sto R, ìmwc h f g den eÐnai omoiìmorfa suneq c sto R.
Omda G'
23. DeÐxte ìti h sunrthsh f : (0, 1) ∪ (1, 2) → R me f (x) = 0 an x ∈ (0, 1) kai
f (x) = 1 an x ∈ (1, 2) eÐnai suneq c all den eÐnai omoiìmorfa suneq c.
24. 'Estw f : [a, b] → R suneq c sunrthsh kai èstw ε > 0. DeÐxte ìti mporoÔme
na qwrÐsoume to [a, b] se peperasmèna to pl joc diadoqik upodiast mata tou idÐou
m kouc ètsi ¸ste: an ta x, y an koun sto Ðdio upodisthma, tìte |f (x) − f (y)| < ε.
Olokl rwma Riemann
4.1 O orismìc tou Darboux
Se aut n thn pargrafo dÐnoume ton orismì tou oloklhr¸matoc Riemann gia frag-
mènec sunart seic pou orÐzontai se èna kleistì disthma. Gia mia fragmènh sunrthsh
f : [a, b] → R me mh arnhtikèc timèc, ja jèlame to olokl rwma na dÐnei to embadìn
tou qwrÐou pou perikleÐetai anmesa sto grfhma thc sunrthshc, ton orizìntio
xona y = 0 kai tic katakìrufec eujeÐec x = a kai x = b.
Orismìc 4.1.1. (a) 'Estw [a, b] èna kleistì disthma. Diamèrish tou [a, b] ja
lème kje peperasmèno uposÔnolo
(4.1.1) P = {x0 , x1 , . . . , xn }
Ja grfoume
gia na tonÐsoume aut n akrib¸c th ditaxh. Parathr ste ìti apì ton orismì, kje
diamèrish P tou [a, b] perièqei toulqiston dÔo shmeÐa: to a kai to b (ta kra tou
[a, b]).
(b) Kje diamèrish P = {a = x0 < x1 < · · · < xn = b} qwrÐzei to [a, b] se n
upodiast mata [xk , xk+1 ], k = 0, 1, . . . , n − 1. Onomzoume pltoc thc diamèrishc
P to megalÔtero apì ta m kh aut¸n twn upodiasthmtwn. Dhlad , to pltoc thc
diamèrishc isoÔtai me
(d) 'Estw P1 , P2 dÔo diamerÐseic tou [a, b]. H koin eklèptunsh twn P1 , P2 eÐnai h
diamèrish P = P1 ∪ P2 . EÔkola blèpoume ìti h P eÐnai diamèrish tou [a, b] kai ìti an
P 0 eÐnai mia diamèrish leptìterh tìso apì thn P1 ìso kai apì thn P2 tìte P 0 ⊇ P
(dhlad , h P = P1 ∪ P2 eÐnai h mikrìterh dunat diamèrish tou [a, b] pou ekleptÔnei
tautìqrona thn P1 kai thn P2 ).
kai
'Oloi autoÐ oi arijmoÐ orÐzontai kal: h f eÐnai fragmènh sto [a, b], ra eÐnai frag-
mènh se kje upodisthma [xk , xk+1 ]. Gia kje k , to sÔnolo {f (x) : xk ≤ x ≤ xk+1 }
eÐnai mh kenì kai fragmèno uposÔnolo tou R, ra èqei supremum kai infimum.
Gia kje diamèrish P tou [a, b] orÐzoume t¸ra to nw kai to ktw jroisma thc
f wc proc thn P me ton ex c trìpo:
n−1
X
(4.1.7) U (f, P ) = Mk (xk+1 − xk )
k=0
pnw.
Ja deÐxoume ìti isqÔei mia polÔ pio isqur anisìthta apì thn (4.1.9):
Parathr ste ìti h (4.1.9) eÐnai eidik perÐptwsh thc (4.1.10): arkeÐ na proume
P = P1 = P2 sthn Prìtash 4.1.2.
H apìdeixh thc Prìtashc 4.1.2 ja basisteÐ sto ex c L mma.
4.1 O orismìs tou Darboux · 57
L mma 4.1.3. 'EstwP = {a = x0 < x1 < · · · < xk < xk+1 < · · · < xn = b} kai
Dhlad , me thn prosj kh enìc shmeÐou y sthn diamèrish P , to nw jroisma thc f
{mikraÐnei} en¸ to ktw jroisma thc f {megal¸nei}.
Apìdeixh tou L mmatoc 4.1.3 . Jètoume
(1)
(4.1.12) mk = inf{f (x) : xk ≤ x ≤ y}
kai
(2)
(4.1.13) mk = inf{f (x) : y ≤ x ≤ xk+1 }.
(1) (2)
Tìte, mk ≤ mk kai mk ≤ mk (skhsh: an A ⊆ B tìte inf B ≤ inf A). Grfoume
(1) (2)
L(f, P1 ) = [m0 (x1 − x0 ) + · · · + mk (y − xk ) + mk (xk+1 − y) + · · ·
+mn−1 (xn − xn−1 )]
≥ [m0 (x1 − x0 ) + · · · + mk (y − xk ) + mk (xk+1 − y) + · · ·
+mn−1 (xn − xn−1 )]
= [m0 (x1 − x0 ) + · · · + mk (xk+1 − xk ) + · · · + mn−1 (xn − xn−1 )]
= L(f, P ).
Apìdeixh thc Prìtashc . Gia na apodeÐxoume thn (4.1.10) jewroÔme thn koin
4.1.2
kai
(4.1.16) B(f ) = U (f, Q) : Q diamèrish tou [a, b] .
Apì thn Prìtash 4.1.2 èqoume: gia kje a ∈ A(f ) kai kje b ∈ B(f ) isqÔei a ≤ b
(exhg ste giatÐ). 'Ara, sup A(f ) ≤ inf B(f ) (skhsh). An loipìn orÐsoume san
ktw olokl rwma thc f sto [a, b] to
Z b
(4.1.17) f (x)dx = sup L(f, P ) : P diamèrish tou [a, b]
a
58 · Olokl rwma Riemann
èqoume
Z b Z b
(4.1.19) f (x)dx ≤ f (x)dx.
a a
O arijmìc I (h koin tim tou ktw kai tou nw oloklhr¸matoc thc f sto [a, b])
lègetai olokl rwma Riemann thc f sto [a, b] kai sumbolÐzetai me
Z b Z b
(4.1.21) f (x)dx f.
a a
'Estw ε > 0. Apì ton orismì tou ktw oloklhr¸matoc wc supremum tou A(f )
kai apì ton ε-qarakthrismì tou supremum, uprqei diamèrish P1 = P1 (ε) tou [a, b]
¸ste
Z b
ε
(4.2.3) f (x)dx < L(f, P1 ) + .
a 2
OmoÐwc, apì ton orismì tou nw oloklhr¸matoc, uprqei diamèrish P2 = P2 (ε) tou
[a, b] ¸ste
Z b
ε
(4.2.4) f (x)dx > U (f, P2 ) − .
a 2
4.2 To krit rio oloklhrwsimìthtas tou Riemann · 59
JewroÔme thn koin eklèptunsh Pε = P1 ∪ P2 . Tìte, apì thn Prìtash 4.1.2 èqoume
ε ε
U (f, Pε ) − ≤ U (f, P2 ) −
2 2
Z b Z b
< f (x)dx = f (x)dx
a a
ε ε
< L(f, P1 ) + ≤ L(f, Pε ) + ,
2 2
ap ìpou èpetai ìti
(4.2.5) 0 ≤ U (f, Pε ) − L(f, Pε ) < ε.
AntÐstrofa: upojètoume ìti gia kje ε > 0 uprqei diamèrish Pε tou [a, b] ¸ste
(4.2.6) U (f, Pε ) < L(f, Pε ) + ε.
Tìte, gia kje ε > 0 èqoume
Z b Z b
f (x)dx ≤ U (f, Pε ) < L(f, Pε ) + ε ≤ f (x)dx + ε.
a a
(4.2.8) lim U (f, Pn ) − L(f, Pn ) = 0.
n→∞
kai
1 1 2 1 n 1
U (f, Pn ) = f +f + ··· + f
n n n n n n
2 2 2
1 1 2 n
= + 2 + ··· + 2
n n2 n n
2 2 2
1 + 2 + ··· + n n(n + 1)(2n + 1)
= 3
=
n 6n3
2
2n + 3n + 1 1 1 1
= = + + .
6n2 3 2n 6n2
'Epetai ìti
1
(4.2.10) U (f, Pn ) − L(f, Pn ) = → 0.
n
Apì to Je¸rhma 4.2.2 sumperaÐnoume ìti h f eÐnai Riemann oloklhr¸simh. M-
poroÔme mlista na broÔme thn tim tou oloklhr¸matoc. Gia kje n ∈ N,
1 1 1
− + = L(f, Pn )
3 2n 6n2
Z 1 Z 1 Z 1
2 2
≤ x dx = x dx = x2 dx
0 0 0
≤ U (f, Pn )
1 1 1
= + + 2.
3 2n 6n
AfoÔ
1 1 1 1 1 1 1 1
(4.2.11) − + → kai + + → ,
3 2n 6n2 3 3 2n 6n2 3
èpetai ìti
Z 1
1 1
(4.2.12) ≤ x2 dx ≤ .
3 0 3
Dhlad ,
Z 1
1
(4.2.13) x2 dx = .
0 3
√
(b) H sunrthsh u : [0, 1] → R me u(x) = x. MporeÐte na qrhsimopoi sete thn
akoloujÐa diamerÐsewn tou prohgoÔmenou paradeÐgmatoc gia na deÐxete ìti ikanopoieÐ-
tai to krit rio tou Riemann.
Sto Ðdio sumpèrasma katal goume an qrhsimopoi soume mia diaforetik akolou-
jÐa diamerÐsewn. Gia kje n ∈ N jewroÔme th diamèrish
22 (n − 1)2 n2
1
(4.2.14) Pn = 0 < 2 < 2 < · · · < < = 1 .
n n n2 n2
H u eÐnai aÔxousa sto [0, 1], epomènwc
n−1
(k + 1)2 k2
X k
(4.2.15) L(u, Pn ) = −
n n2 n2
k=0
4.2 To krit rio oloklhrwsimìthtas tou Riemann · 61
kai
n−1
(k + 1)2 k2
X k+1
(4.2.16) U (u, Pn ) = 2
− 2 .
n n n
k=0
'Epetai ìti
n−1
X (k + 1)2 k2
k+1 k
U (u, Pn ) − L(u, Pn ) = − −
n n n2 n2
k=0
n−1
1 X (k + 1)2 k2
= − 2
n n2 n
k=0
1
= → 0.
n
Apì to Je¸rhma 4.2.2 sumperaÐnoume ìti h u eÐnai Riemann oloklhr¸simh. Af -
noume san skhsh na deÐxete ìti
2
(4.2.17) lim L(u, Pn ) = lim U (u, Pn ) = .
n→∞ n→∞ 3
H sugkekrimènh epilog diamerÐsewn pou kname èqei to pleonèkthma ìti mporeÐte
eÔkola na gryete ta L(u, Pn ) kai U (u, Pn ) se kleist morf . Apì thn (4.2.17)
èpetai ìti
Z 1
√ 2
(4.2.18) x dx = .
0 3
1 an x rhtìc
g(x) =
0 an x rrhtoc
den eÐnai Riemann oloklhr¸simh. 'Estw P = {0 = x0 < x1 < · · · < xk < xk+1 <
· · · < xn = 1} tuqoÔsa diamèrish tou [0, 1]. UpologÐzoume to ktw kai to nw
jroisma thc g wc proc thn P . Gia kje k = 0, 1, . . . , n − 1 uprqoun rhtìc qk
kai rrhtoc αk sto (xk , xk+1 ). AfoÔ g(qk ) = 1, g(αk ) = 0 kai 0 ≤ g(x) ≤ 1 sto
[xk , xk+1 ], sumperaÐnoume ìti mk = 0 kai Mk = 1. Sunep¸c,
n−1
X n−1
X
(4.2.19) L(g, P ) = mk (xk+1 − xk ) = 0 · (xk+1 − xk ) = 0
k=0 k=0
kai
n−1
X n−1
X
(4.2.20) U (g, P ) = Mk (xk+1 − xk ) = 1 · (xk+1 − xk ) = 1.
k=0 k=0
x an x rhtìc
h(x) =
0 an x rrhtoc
den eÐnai Riemann oloklhr¸simh. 'Estw P = {0 = x0 < x1 < · · · < xk < xk+1 <
· · · < xn = 1} tuqoÔsa diamèrish tou [0, 1]. Gia kje k = 0, 1, . . . , n − 1 uprqei
rrhtoc αk sto (xk , xk+1 ). AfoÔ h(αk ) = 0 kai 0 ≤ h(x) ≤ 1 sto [xk , xk+1 ],
sumperaÐnoume ìti mk = 0. Sunep¸c,
(4.2.22) L(h, P ) = 0.
EpÐshc, uprqei rhtìc qk > (xk + xk+1 )/2 sto (xk , xk+1 ), ra Mk ≥ h(qk ) >
(xk + xk+1 )/2. 'Epetai ìti
n−1 n−1
X xk + xk+1 1X 2
U (h, P ) > (xk+1 − xk ) = (xk+1 − x2k )
2 2
k=0 k=0
x2n − x20 1
= = .
2 2
AfoÔ
1
(4.2.23) U (h, P ) − L(h, P ) >
2
gia kje diamèrish P tou [0, 1], to krit rio tou Riemann den ikanopoieÐtai (prte
ε = 1/3). 'Ara, h h den eÐnai Riemann oloklhr¸simh.
an x ∈
/Q x=0
0
w(x) = 1
q an x = pq , p, q ∈ N, MKD(p, q) = 1
eÐnai Riemann oloklhr¸simh. EÔkola elègqoume ìti L(w, P ) = 0 gia kje diamèrish
P tou [0, 1].
'Estw ε > 0. ParathroÔme ìti to sÔnolo A = {x ∈ [0, 1] : w(x) ≥ ε} eÐnai
peperasmèno. [Prgmati, an w(x) ≥ ε tìte x = p/q kai w(x) = 1/q ≥ ε dhlad
q ≤ 1/ε. Oi rhtoÐ tou [0, 1] pou grfontai san angwga klsmata me paronomast
to polÔ Ðso me [1/ε] eÐnai peperasmènoi to pl joc (èna nw frgma gia to pl joc
touc eÐnai o arijmìc 1 + 2 + · · · + [1/ε] exhg ste giatÐ)].
'Estw z1 < z2 < · · · < zN mÐa arÐjmhsh twn stoiqeÐwn tou A. MporoÔme
na broÔme xèna upodiast mata [ai , bi ] tou [0, 1] pou èqoun m kh bi − ai < ε/N kai
ikanopoioÔn ta ex c: a1 > 0, ai < zi < bi an i < N kai aN < zN ≤ bN (parathr ste
ìti an ε ≤ 1 tìte zN = 1 opìte prèpei na epilèxoume bN = 1). An jewr soume th
diamèrish
èqoume
Jètoume
k(b − a)
(4.3.4) xk = a + , k = 0, 1, . . . , n.
n
Tìte, afoÔ h f eÐnai aÔxousa èqoume
n−1 n−1
X X b−a
U (f, Pn ) = Mk (xk+1 − xk ) = f (xk+1 )
n
k=0 k=0
b−a
= · (f (x1 ) + · · · + f (xn )) ,
n
64 · Olokl rwma Riemann
en¸
n−1 n−1
X X b−a
L(f, Pn ) = mk (xk+1 − xk ) = f (xk )
n
k=0 k=0
b−a
= · (f (x0 ) + · · · + f (xn−1 )) .
n
'Ara,
Apìdeixh. 'Estw ε > 0. H f eÐnai suneq c sto kleistì disthma [a, b], ra eÐnai
omoiìmorfa suneq c. MporoÔme loipìn na broÔme δ > 0 me thn ex c idiìthta:
b−a
(4.3.6) < δ.
n
OrÐzoume
k(b − a)
(4.3.8) xk = a + , k = 0, 1, . . . , n.
n
'Estw k = 0, 1, . . . , n − 1. H f eÐnai suneq c sto kleistì disthma [xk , xk+1 ], ra
paÐrnei mègisth kai elqisth tim se autì. Uprqoun dhlad yk0 , yk00 ∈ [xk , xk+1 ]
¸ste
'Epetai ìti
n−1
X
U (f, Pn ) − L(f, Pn ) = (Mk − mk )(xk+1 − xk )
k=0
n−1
X ε
< (xk+1 − xk )
b−a
k=0
ε
(b − a) = ε.
=
b−a
Apì to Je¸rhma 4.2.1, h f eÐnai Riemann oloklhr¸simh. 2
Z b
(4.4.1) f (x)dx = c(b − a).
a
Apìdeixh: 'Estw P = {a = x0 < x1 < · · · < xn = b} mia diamèrish tou [a, b]. Gia
kje k = 0, 1, . . . , n − 1 èqoume mk = Mk = c. 'Ara,
n−1
X
(4.4.2) L(f, P ) = U (f, P ) = c(xk+1 − xk ) = c(b − a).
k=0
'Epetai ìti
Z b Z b
(4.4.3) f (x)dx = c(b − a) = f (x)dx.
a a
'Ara,
Z b
(4.4.4) f (x)dx = c(b − a). 2
a
Je¸rhma 4.4.2. 'Estw f, g : [a, b] → R oloklhr¸simec sunart seic. Tìte, h f +g
eÐnai oloklhr¸simh kai
Z b Z b Z b
(4.4.5) [f (x) + g(x)]dx = f (x)dx + g(x)dx.
a a a
Apìdeixh . 'Estw P = {a = x0 < x1 < · · · < xn = b} diamèrish tou [a, b]. Gia kje
k = 0, 1, . . . , n − 1 orÐzoume
mk = inf{(f + g)(x) : xk ≤ x ≤ xk+1 }
Mk = sup{(f + g)(x) : xk ≤ x ≤ xk+1 }
m0k = inf{f (x) : xk ≤ x ≤ xk+1 }
Mk0 = sup{f (x) : xk ≤ x ≤ xk+1 }
m00k = inf{g(x) : xk ≤ x ≤ xk+1 }
Mk00 = sup{g(x) : xk ≤ x ≤ xk+1 }.
66 · Olokl rwma Riemann
Gia kje x ∈ [xk , xk+1 ] èqoume m0k + m00k ≤ f (x) + g(x). 'Ara,
OmoÐwc, gia kje x ∈ [xk , xk+1 ] èqoume Mk0 + Mk00 ≥ f (x) + g(x). 'Ara,
'Epetai ìti
'Omwc,
Z b Z b
(4.4.12) (f + g)(x)dx ≤ (f + g)(x)dx.
a a
'Ara,
Z b Z b Z b Z b
(4.4.13) (f + g)(x)dx = f (x)dx + g(x)dx = (f + g)(x)dx.
a a a a
'Epetai to Je¸rhma. 2
4.4 Idiìthtes tou oloklhr¸matos Riemann · 67
Z b Z b
(4.4.14) (tf )(x)dx = t f (x)dx.
a a
kai
'Ara,
'Epetai ìti
Z b Z b Z b Z b
(4.4.19) (tf )(x)dx = t f (x)dx kai (tf )(x)dx = t f (x)dx.
a a a a
An t < 0, h mình allag sto prohgoÔmeno epiqeÐrhma eÐnai ìti t¸ra mk = tMk0 kai
Mk = tm0k . Sumplhr¸ste thn apìdeixh mìnoi sac.
Tèloc, an t = 0 èqoume tf ≡ 0. 'Ara,
Z b Z b
(4.4.22) tf = 0 = 0 · f. 2
a a
Apì ta Jewr mata 4.4.2 kai 4.4.3 prokÔptei mesa h {grammikìthta tou oloklhr¸-
matoc}.
Je¸rhma 4.4.4 (grammikìthta tou oloklhr¸matoc). An f, g : [a, b] → R eÐnai
[a, b] kai
Z b Z b Z b
(4.4.23) (tf + sg)(x)dx = t f (x)dx + s g(x)dx. 2
a a a
68 · Olokl rwma Riemann
Je¸rhma 4.4.5. 'Estw f : [a, b] → R fragmènh sunrthsh kai èstw c ∈ (a, b).
H f eÐnai oloklhr¸simh sto [a, b] an kai mìno an eÐnai oloklhr¸simh sta [a, c]kai
Z b Z c Z b
(4.4.24) f (x)dx = f (x)dx + f (x)dx.
a a c
Apìdeixh . Upojètoume pr¸ta ìti h f eÐnai oloklhr¸simh sta [a, c] kai [c, b]. 'Estw
ε > 0. Uprqoun diamerÐseic P1 tou [a, c] kai P2 tou [c, b] ¸ste
Z c
ε
(4.4.25) L(f, P1 ) ≤ f (x)dx ≤ U (f, P1 ) kai U (f, P1 ) − L(f, P1 ) <
a 2
kai
Z b
ε
(4.4.26) L(f, P2 ) ≤ f (x)dx ≤ U (f, P2 ) kai U (f, P2 ) − L(f, P2 ) < .
c 2
Epomènwc,
!
Z
b Z c Z b
(4.4.30)
f (x)dx − f (x)dx + f (x)dx ≤ U (f, Pε ) − L(f, Pε ) < ε,
a a c
AntÐstrofa: upojètoume ìti h f eÐnai oloklhr¸simh sto [a, b] kai jewroÔme ε > 0.
Uprqei diamèrish P tou [a, b] ¸ste
An c ∈
/ P jètoume P 0 = P ∪ {c}, opìte pli èqoume
AfoÔ
èpetai ìti
AfoÔ to ε > 0 tan tuqìn, to krit rio tou Riemann deÐqnei ìti h f eÐnai oloklhr¸simh
sta [a, c] kai [c, b]. T¸ra, apì to pr¸to mèroc thc apìdeixhc paÐrnoume thn isìthta
Z b Z c Z b
(4.4.37) f (x)dx = f (x)dx + f (x)dx. 2
a a c
Z b
(4.4.38) m(b − a) ≤ f (x)dx ≤ M (b − a).
a
ShmeÐwsh . O arijmìc
Z b
1
(4.4.39) f (x)dx
b−a a
Z b
(4.4.41) f (x)dx ≥ 0.
a
Z b Z b
(4.4.42) f (x)dx ≥ g(x)dx.
a a
70 · Olokl rwma Riemann
OrÐzoume
I = {0 ≤ k ≤ n − 1 : Mk (f ) − mk (f ) < δ}
J = {0 ≤ k ≤ n − 1 : Mk (f ) − mk (f ) ≥ δ}.
ParathroÔme ta ex c:
(i) An k ∈ I , tìte gia kje x, x0 ∈ [xk , xk+1 ] èqoume |f (x) − f (x0 )| ≤ Mk (f ) −
mk (f ) < δ . PaÐrnontac ξ = f (x) kai η = f (x0 ), èqoume ξ, η ∈ [m, M ] kai |ξ −η| < δ .
'Ara,
|(φ ◦ f )(x) − (φ ◦ f )(x0 )| = |φ(ξ) − φ(η)| < ε1 .
AfoÔ ta x, x0 tan tuqìnta sto [xk , xk+1 ], sumperaÐnoume ìti Mk (φ◦f )−mk (φ◦f ) ≤
ε1 (exhg ste giatÐ). 'Epetai ìti
X X
(4.4.44) (Mk (φ ◦ f ) − mk (φ ◦ f ))(xk+1 − xk ) ≤ ε (xk+1 − xk ) ≤ (b − a)ε1 .
k∈I k∈I
ra
X
(4.4.46) (xk+1 − xk ) < δ < ε1 .
k∈J
EpÐshc,
Z
b Z
b
(4.4.49)
f (x)dx ≤ |f (x)|dx.
a a
Apìdeixh . Ta (a) kai (b) eÐnai mesec sunèpeiec tou Jewr matoc 4.4.8. Gia to (g)
gryte
(f + g)2 − (f − g)2
(4.4.50) fg =
4
kai qrhsimopoi ste to (b) se sunduasmì me to gegonìc ìti oi f + g, f − g eÐnai
oloklhr¸simec. 2
Mia sÔmbash. Wc t¸ra orÐsame to a f (x)dx mìno sthn perÐptwsh a < b (douleÔame
Rb
sto kleistì disthma [a, b]). Gia praktikoÔc lìgouc epekteÐnoume ton orismì kai
sthn perÐptwsh a ≥ b wc ex c:
Ra
(a) an a = b, jètoume a f = 0 (gia kje f ).
(b) an a > b kai h f : [b, a] → R eÐnai oloklhr¸simh, orÐzoume
Z b Z a
(4.4.51) f (x)dx = − f (x)dx.
a b
72 · Olokl rwma Riemann
Se aut thn perÐptwsh lème ìti o I(f ) eÐnai to (R)-olokl rwma thc f sto [a, b].
Sumbolismìc . Sun jwc grfoume Ξ gia thn epilog shmeÐwn {ξ0 , ξ1 , . . . , ξn−1 } kai
(f, P, Ξ) gia to jroisma
P
n−1
X
(4.5.1) f (ξk )(xk+1 − xk ).
k=0
ìtan to pltoc thc P teÐnei sto mhdèn kai ta ξk epilègontai aujaÐreta sta upodi-
ast mata pou orÐzei h P . Epeid den èqoume sunant sei tètoiou eÐdouc {ìria} wc
t¸ra, katafeÔgoume ston {eyilontikì orismì}.
Skopìc aut c thc paragrfou eÐnai h apìdeixh thc isodunamÐac twn dÔo orism¸n
oloklhrwsimìthtac:
Je¸rhma 4.5.2. 'Estw f : [a, b] → R fragmènh sunrthsh. H f eÐnai oloklhr¸simh
kai
n−1
X ε ε
(4.5.6) U (f, P ) < f (ξk00 )(xk+1 − xk ) + < I(f ) + .
4 2
k=0
'Epetai ìti
Dhlad ,
Z b
(4.5.10) f (x)dx = I(f ).
a
Dhlad ,
X Z b
ε
0
(4.5.13) (f, P , Ξ) − f (x)dx < .
a 2
Zhtme na deÐxoume to Ðdio prgma gia tuqoÔsa diamèrish P1 me pltoc mikrìtero
apì δ (h duskolÐa eÐnai ìti mia tètoia diamèrish den èqei kanèna lìgo na eÐnai eklèp-
tunsh thc P ).
'Estw P1 = {a = y0 < y1 < · · · < ym = b} mia tètoia diamèrish tou [a, b]. Ja
{prosjèsoume} sthn P1 èna-èna ìla ta shmeÐa xk thc P ta opoÐa den an koun sthn
P1 (aut eÐnai to polÔ n − 1).
Ac poÔme ìti èna tètoio xk brÐsketai anmesa sta diadoqik shmeÐa yl < yl+1 thc
P1 . JewroÔme thn P2 = P1 ∪ {xk } kai tuqoÔsa epilog Ξ(1) = {ξ0 , ξ1 , . . . , ξm−1 }
me ξl ∈ [yl , yl+1 ], l = 0, 1, . . . , m − 1. Epilègoume dÔo shmeÐa ξl0 ∈ [yl , xk ] kai ξl00 ∈
[xk , yl+1 ] kai jewroÔme thn epilog shmeÐwn Ξ(2) = {ξ0 , ξ1 , . . . , ξl−1 , ξl0 , ξl00 , . . . , ξm−1 }
pou antistoiqeÐ sthn P2 . 'Eqoume
X X
(1) (2) 0
(f, P 1 , Ξ ) − (f, P 2 , Ξ ) = |f (ξl )(yl+1 − yl ) − f (ξl )(xk − yl )
−f (ξl00 )(yl+1 − xk )|
≤ 3M max |yl+1 − yl | < 3M δ
l
ε
= .
2n
Antikajist¸ntac th dosmènh (P1 , Ξ(1) ) me ìlo kai leptìterec diamerÐseic (Pk , Ξ(k) )
pou prokÔptoun me thn prosj kh shmeÐwn thc P , met apì n to polÔ b mata
ftnoume se mia diamèrish P0 kai mia epilog shmeÐwn Ξ(0) me tic ex c idiìthtec:
(a) h P0 eÐnai koin eklèptunsh twn P kai P1 , kai èqei pltoc mikrìtero apì δ .
(b) afoÔ h P0 eÐnai eklèptunsh thc P , ìpwc sthn (4.5.13) èqoume
X Z b
(0)
ε
(4.5.14)
(f, P 0 , Ξ ) − f (x)dx< .
2
a
(g) afoÔ kname to polÔ n b mata gia na ftsoume sthn P0 kai afoÔ se kje b ma
ta ajroÐsmata apeÐqan to polÔ 2n ε
, èqoume
X
(1)
X
(0)
ε ε
(f, P1 , Ξ ) − (f, P0 , Ξ ) < n = .
2n 2
Dhlad , gia thn tuqoÔsa diamèrish P1 pltouc < δ kai gia thn tuqoÔsa epilog
Ξ(1) shmeÐwn apì ta upodiast mata thc P1 , èqoume
X Z b X X
(1) (1) (0)
(f, P 1 , Ξ ) − f (x)dx
<
(f, P 1 , Ξ ) − (f, P 0 , Ξ )
a
X Z b
(f, P0 , Ξ(0) ) −
+ f (x)dx
a
ε ε
< + = ε.
2 2
'Epetai ìti h f eÐnai oloklhr¸simh me ton orismì tou Riemann, kaj¸c kai ìti oi
Rb
I(f ) kai a f (x)dx eÐnai Ðsoi. 2
4.6 Ask seis · 75
4.6 Ask seic
Omda A'. Erwt seic katanìhshc
6. An h f eÐnai fragmènh kai an L(f, P ) = U (f, P ) gia kje diamèrish P tou [a, b],
tìte h f eÐnai stajer .
Omda B'
9. 'Estw f : [0, 1] → R fragmènh sunrthsh me thn idiìthta: gia kje 0 < b ≤ 1
h f eÐnai oloklhr¸simh sto disthma [b, 1]. DeÐxte ìti h f eÐnai oloklhr¸simh sto
[0, 1].
13. Exetste an oi paraktw sunart seic eÐnai oloklhr¸simec sto [0, 2] kai up-
ologÐste to olokl rwma touc (an uprqei):
(a) f (x) = x + [x].
76 · Olokl rwma Riemann
(b) f (x) = 1 an x = 1
k gia kpoion k ∈ N, kai f (x) = 0 alli¸c.
14. 'Estw f : [a, b] → R suneq c sunrthsh me f (x) ≥ 0 gia kje x ∈ [a, b]. DeÐxte
ìti Z b
f (x)dx = 0
a
16. 'Estw f : [a, b] → R suneq c sunrthsh me thn idiìthta: gia kje suneq
sunrthsh g : [a, b] → R isqÔei
Z b
f (x)g(x)dx = 0.
a
17. 'Estw f : [a, b] → R suneq c sunrthsh me thn idiìthta: gia kje suneq
sunrthsh g : [a, b] → R pou ikanopoieÐ thn g(a) = g(b) = 0, isqÔei
Z b
f (x)g(x)dx = 0.
a
R1
sugklÐnei sto 0
f (x)dx. [ Upìdeixh: Qrhsimopoi ste ton orismì tou Riemann.]
23. 'Estw
R1
f : [0, 1] → R suneq c sunrthsh. OrÐzoume mia akoloujÐa (an ) jètontac
an = 0 f (xn )dx. DeÐxte ìti an → f (0).
gia kje n ∈ N.
Omda G'
26. 'Estw f : [a, b] → R gnhsÐwc aÔxousa kai suneq c sunrthsh. DeÐxte ìti
Z b Z f (b)
f (x)dx = bf (b) − af (a) − f −1 (x)dx.
a f (a)
27. 'Estw f : [0, +∞) → [0, +∞) gnhsÐwc aÔxousa, suneq c kai epÐ sunrthsh me
f (0) = 0. DeÐxte ìti gia kje a, b > 0
Z a Z b
ab ≤ f (x)dx + f −1 (x)dx
0 0
28. 'Estw f : [a, b] → R suneq c sunrthsh me thn ex c idiìthta: uprqei M > 0
¸ste Z x
|f (x)| ≤ M |f (t)|dt
a
gia kje x ∈ [a, b]. DeÐxte ìti f (x) = 0 gia kje x ∈ [a, b].
78 · Olokl rwma Riemann
29. 'Estw a ∈ R. DeÐxte ìti den uprqei jetik suneq c sunrthsh f : [0, 1] → R
¸ste Z 1 Z 1 Z 1
f (x)dx = 1, xf (x)dx = a kai x2 f (x)dx = a2 .
0 0 0
31. 'Estw f : [a, b] → R oloklhr¸simh sunrthsh. Skopìc aut c thc skhshc eÐnai
na deÐxoume ìti h f èqei poll shmeÐa sunèqeiac.
(a) Uprqei diamèrish P tou [a, b] ¸ste U (f, P ) − L(f, P ) < b − a (exhg ste giatÐ).
DeÐxte ìti uprqoun a1 < b1 sto [a, b] ¸ste b1 − a1 < 1 kai
33. 'Estw f, g, h : [a, b] → R treÐc sunart seic pou ikanopoioÔn thn f (x) ≤ g(x) ≤
h(x) gia kje x ∈ [a, b]. Upojètoume ìti oi f, h eÐnai oloklhr¸simec kai
Z b Z b
f (x)dx = h(x)dx = I.
a a
(b) DeÐxte ìti h f eÐnai oloklhr¸simh an kai mìno an gia kje ε > 0 mporoÔme na
broÔme suneqeÐc sunart seic gε , hε : [a, b] → R me gε ≤ f ≤ hε kai
Z b Z b
hε (x)dx − gε (x)dx < ε.
a a
Keflaio 5
sto [a, b] an h pargwgoc f 0 (x) uprqei gia kje x ∈ (a, b) kai, epiplèon, uprqoun
oi pleurikèc pargwgoi
Z b
1
(5.1.1) f (x)dx
b−a a
thc f sto [a, b]. An h f upotejeÐ suneq c, tìte uprqei ξ ∈ [a, b] me thn idiìthta
Z b
1
(5.1.2) f (ξ) = f (x)dx.
b−a a
Z b Z b
(5.1.3) f (x)g(x)dx = f (ξ) g(x)dx.
a a
82 · To jemeli¸des je¸rhma tou ApeirostikoÔ LogismoÔ
Apìdeixh . Oi f kai g eÐnai oloklhr¸simec, ra h f · g eÐnai oloklhr¸simh sto [a, b].
H f eÐnai suneq c sto [a, b], ra paÐrnei elqisth kai mègisth tim . 'Estw
AfoÔ h f eÐnai suneq c, to Je¸rhma Endimeshc Tim c deÐqnei ìti uprqei ξ ∈ [a, b]
¸ste
Rb
f (x)g(x)dx
(5.1.8) f (ξ) = a R b .
a
g(x)dx
'Epetai to sumpèrasma. 2
Pìrisma 5.1.2. 'Estw f : [a, b] → R suneq c sunrthsh. Uprqei ξ ∈ [a, b] ¸ste
Z b
(5.1.9) f (x)dx = f (ξ)(b − a).
a
Z x
(5.2.1) F (x) = f (t)dt.
a
≤ |f (t)|dt ≤ M |x − y|.
x
'Estw ε > 0. H f eÐnai suneq c sto x0 , ra uprqei 0 < δ < δ1 ¸ste an |x − x0 | < δ
tìte |f (x) − f (x0 )| < ε.
'Estw 0 < |h| < δ .
(a) An 0 < h < δ , tìte
Z x0 +h
F (x0 + h) − F (x) 1
− f (x0 ) =
[f (t) − f (x0 )]dt
h h x0
1 x0 +h
Z
≤ |f (t) − f (x0 )|dt
h x0
1 x0 +h
Z
1
≤ εdt = · hε = ε.
h x0 h
84 · To jemeli¸des je¸rhma tou ApeirostikoÔ LogismoÔ
Z b
(5.2.4) f (x)dx = f (ξ)(b − a).
a
Apìdeixh. Efarmìzoume
Rx to je¸rhma mèshc tim c tou diaforikoÔ logismoÔ gia th
sunrthsh F (x) = a f (t) dt sto [a, b]. 2
Ac upojèsoume t¸ra ìti f : [a, b] → R eÐnai mia suneq c sunrthsh. Mia parag-
wgÐsimh sunrthsh G : [a, b] → R lègetai pargousa thc f ( antipargwgoc
thc f ) an G0 (x) = f (x) gia kje x ∈ [a, b]. SÔmfwna me to Je¸rhma 5.2.4, h
sunrthsh Z x
F (x) = f (t)dt
a
eÐnai pargousa thc f . An G eÐnai mia llh pargousa thc f , tìte G0 (x) − F 0 (x) =
f (x) − f (x) = 0 gia kje x ∈ [a, b], ra h G − F eÐnai stajer sto [a, b] (apl
sunèpeia tou jewr matoc mèshc tim c). Dhlad , uprqei c ∈ R ¸ste
(5.2.5) G(x) − F (x) = c
gia kje x ∈ [a, b]. AfoÔ F (a) = 0, paÐrnoume c = G(a). Dhlad ,
Z x
(5.2.6) f (t)dt = G(x) − G(a)
a
alli¸c
Z x
(5.2.7) G(x) = G(a) + f (t)dt
a
thc f, tìte
Z x
(5.2.8) G(x) = F (x) + G(a) = f (t)dt + G(a)
a
Z b
f (x)dx = G(b) − G(a). 2
a
ShmeÐwsh: Den eÐnai swstì ìti gia kje paragwgÐsimh sunrthsh G : [a, b] → R
isqÔei h isìthta
Z b
(5.2.9) G(b) − G(a) = G0 (x)dx.
a
ApeirostikoÔ LogismoÔ .
Z b
(5.2.10) G0 (x)dx = G(b) − G(a).
a
Apìdeixh . 'Estw P = {a = x0 < x1 < · · · < xn = b} mia diamèrish tou [a, b]. Efar-
mìzontac to Je¸rhma Mèshc Tim c sto [xk , xk+1 ], k = 0, 1, . . . , n − 1, brÐskoume
ξk ∈ (xk , xk+1 ) me thn idiìthta
tìte
(5.2.13) mk ≤ G0 (ξk ) ≤ Mk ,
ra
n−1
X
(5.2.14) L(G0 , P ) ≤ G0 (ξk )(xk+1 − xk ) ≤ U (G0 , P ).
k=0
86 · To jemeli¸des je¸rhma tou ApeirostikoÔ LogismoÔ
Dhlad ,
n−1
X
(5.2.15) L(G0 , P ) ≤ (G(xk+1 ) − G(xk )) = G(b) − G(a) ≤ U (G0 , P ).
k=0
AfoÔ h P tan tuqoÔsa kai h G0 eÐnai oloklhr¸simh sto [a, b], paÐrnontac supremum
wc proc P sthn arister anisìthta kai infimum wc proc P sthn dexi anisìthta
thc (5.2.15), sumperaÐnoume ìti
Z b Z b
(5.2.16) G0 (x)dx ≤ G(b) − G(a) ≤ G0 (x)dx,
a a
Z x Z x
(5.3.2) f g 0 = (f g)(x) − (f g)(a) − f 0 g.
a a
Eidikìtera,
Z b Z b
(5.3.3) f (x)g 0 (x)dx = [f (x)g(x)]ba − f 0 (x)g(x)dx.
a a
Z b Z ξ Z b
(5.3.6) f (x)g(x)dx = g(a) f (x)dx + g(b) f (x)dx.
a a ξ
5.3 Mèjodoi olokl rwshs · 87
Rx
Apìdeixh . JewroÔme to aìristo olokl rwma F (x) = a f (t)dt thc f sto [a, b].
Tìte, to zhtoÔmeno paÐrnei thn ex c morf : uprqei ξ ∈ [a, b] ¸ste
Z b
(5.3.7) F 0 (x)g(x)dx = g(a)F (ξ) + g(b)(F (b) − F (ξ)).
a
Z b Z φ(b)
(5.3.11) f (φ(t))φ0 (t) dt = f (s) ds.
a φ(a)
Apìdeixh . H φ eÐnai suneq c, ra to I = φ([a, b]) eÐnai kleistì disthma. H f eÐnai
suneq c sto I , ra eÐnai oloklhr¸simh sto I . OrÐzoume F : I → R me
Z x
(5.3.12) F (x) = f (s) ds
φ(a)
(parathr ste ìti to φ(a) den eÐnai aparaÐthta kro tou I , dhlad h F den eÐnai
aparaÐthta to aìristo olokl rwma thc f sto I ). AfoÔ h f eÐnai suneq c sto
I , to pr¸to jemeli¸dec je¸rhma tou ApeirostikoÔ LogismoÔ deÐqnei ìti h F eÐnai
paragwgÐsimh sto I kai F 0 = f . 'Epetai ìti
Z b Z b
(5.3.13) f (φ(t))φ0 (t) dt = F 0 (φ(t))φ0 (t) dt.
a a
ParathroÔme ìti
(5.3.14) (F 0 ◦ φ) · φ0 = (F ◦ φ)0 .
88 · To jemeli¸des je¸rhma tou ApeirostikoÔ LogismoÔ
H (F 0 ◦ φ) · φ0 eÐnai oloklhr¸simh sto [a, b], ra h (F ◦ φ)0 eÐnai oloklhr¸simh sto
[a, b]. Apì to deÔtero jemeli¸dec je¸rhma tou ApeirostikoÔ LogismoÔ paÐrnoume
Z b Z b Z b
(5.3.15) (f ◦ φ) · φ0 = (F 0 ◦ φ) · φ0 = (F ◦ φ)0 = (F ◦ φ)(b) − (F ◦ φ)(a).
a a a
AfoÔ
Z φ(b) Z φ(a) Z φ(b)
(5.3.16) (F ◦ φ)(b) − (F ◦ φ)(a) = f− f= f,
φ(a) φ(a) φ(a)
Z b Z ψ(b)
(5.3.17) f (ψ(t)) dt = f (s)(ψ −1 )0 (s) ds.
a ψ(a)
Apìdeixh . H ψ 0 eÐnai suneq c kai den mhdenÐzetai sto [a, b], ra eÐnai pantoÔ jetik
pantoÔ arnhtik sto [a, b]. Sunep¸c, h ψ eÐnai gnhsÐwc monìtonh sto [a, b]. An,
qwrÐc periorismì thc genikìthtac, upojèsoume ìti h ψ eÐnai gnhsÐwc aÔxousa tìte
orÐzetai h antÐstrofh sunrthsh ψ −1 : I → R thc ψ sto I = ψ([a, b]) = [ψ(a), ψ(b)].
Efarmìzoume to pr¸to je¸rhma antikatstashc gia thn f · (ψ −1 )0 (parathr ste ìti
h (ψ −1 )0 eÐnai suneq c sto I ). 'Eqoume
Z ψ(b) Z b
f · (ψ −1 )0 = [(f · (ψ −1 )0 ) ◦ ψ]ψ 0
ψ(a) a
Z b
= (f ◦ ψ) · [(ψ −1 )0 ◦ ψ]ψ 0
a
Z b
= (f ◦ ψ) · (ψ −1 ◦ ψ)0
a
Z b
= f ◦ ψ.
a
kai eÐnai pragmatikìc arijmìc, tìte lème ìti h f eÐnai oloklhr¸simh sto [a, b) kai
orÐzoume
Z b Z x
f (t) dt = lim f (t) dt.
a x→b− a
Rb
An to {ìrio} sthn (5.4.1) eÐnai ±∞ tìte lème ìti to a f (t) dt apoklÐnei sto ±∞.
Entel¸c anloga orÐzetai to genikeumèno olokl rwma miac sunrthshc f : (a, b] →
R (ìpou a ∈ R a = −∞) pou eÐnai oloklhr¸simh sto [x, b] gia kje a < x < b, na
eÐnai to Z Z b b
f (t) dt = lim+ f (t) dt,
a x→a x
an to teleutaÐo ìrio uprqei.
ParadeÐgmata
(a) JewroÔme th sunrthsh f : [1, ∞) → R me f (x) = x12 . Gia kje x > 1 èqoume
Z x
1 1 1
2
dt = − |x1 = 1 − .
1 t t x
Sunep¸c, Z ∞ Z x
1
f (t) dt = lim f (t) dt = lim 1− = 1.
1 x→∞ 1 x→∞ x
(b) JewroÔme th sunrthsh f : [1, ∞) → R me f (x) = x1 . Gia kje x > 1 èqoume
Z x
1
dt = ln t |x1 = ln x − ln 1 = ln x.
1 t
Sunep¸c, Z ∞ Z x
f (t) dt = lim f (t) dt = lim ln x = +∞.
1 x→∞ 1 x→∞
Sunep¸c,
Z 1 Z x
f (t) dt = lim+ f (t) dt = lim (−1 − x ln x + x) = −1.
0 x→0 1 x→∞
(e) JewroÔme th sunrthsh f : [0, ∞) → R me f (x) = sin x. Gia kje x > 0 èqoume
Z x
sin t dt = − cos t |x0 = cos x − 1.
0
R∞
AfoÔ to ìrio lim (cos x − 1) den uprqei, to genikeumèno olokl rwma 0
sin t dt
x→∞
den paÐrnei kpoia tim .
'Omoia,
Z 0
f (t) dt = π/2.
−∞
Sunep¸c,
Z ∞ Z 0 Z ∞
1 1 1 π π
dt = dt + dt = + = π.
−∞ t2 + 1 −∞ t2 + 1 0 t2 + 1 2 2
5.4 Genikeumèna oloklhr¸mata · 91
mh
R∞ arnhtik¸n ìrwn a
k=1 k sugklÐnei an kai mìno an to genikeumèno olokl rwma
1
f (t) dt uprqei.
Apìdeixh. Apì to gegonìc ìti h f eÐnai fjÐnousa prokÔptei mesa ìti h f eÐnai
oloklhr¸simh se kje disthma [k, k + 1] kai
Z k+1
ak+1 = f (k + 1) ≤ f (t) dt ≤ f (k) = ak
k
P∞
gia kje k ∈ N. An upojèsoume ìti h seir k=1 ak sugklÐnei, tìte gia kje x > 1
èqoume
Z x Z [x]+1 [x] Z k+1 [x] ∞
X X X
f (t) dt ≤ f (t) dt = f (t) dt ≤ ak ≤ ak .
1 1 k=1 k k=1 k=1
'Epetai ìti to Z ∞ Z x
f (t) dt = lim f (t) dt
1 x→∞ 1
R∞
uprqei. AntÐstrofa, an to 1
f (t) dt uprqei, gia kje n ∈ N èqoume
n−1
X Z k+1
sn = f (1) + f (2) + · · · + f (n) ≤ f (1) + f (t) dt
k=1 k
Z n Z ∞
= f (1) + f (t) dt ≤ f (1) + f (t) dt.
1 1
P∞
AfoÔ h akoloujÐa (sn ) twn merik¸n ajroismtwn thc k=1 ak eÐnai nw fragmènh,
h seir sugklÐnei. 2.
ParadeÐgmata
92 · To jemeli¸des je¸rhma tou ApeirostikoÔ LogismoÔ
P∞
(a) H seir 1
k=2 k ln k apoklÐnei diìti
Z ∞ Z x Z ln x
1 1 dy
dt = lim dt = lim = lim (ln(ln x) − ln(ln 2)) = +∞.
2 t ln t x→∞ 2 t ln t x→∞ ln 2 y x→∞
P∞
(b) H seir 1
k=2 k(ln k)2 sugklÐnei diìti
Z ∞ Z x Z ln x
1 1 dy 1 1 1
dt = lim dt = lim = lim − = .
2 t(ln t)2 x→∞ 2 t(ln t)2 x→∞ ln 2 y2 x→∞ ln 2 ln x ln 2
5.5 Ask seic
Omda A'
1. 'Estw f : [a, b] → R oloklhr¸simh sunrthsh. DeÐxte ìti uprqei s ∈ [a, b] ¸ste
Z s Z b
f (t)dt = f (t)dt.
a s
MporoÔme pnta na epilègoume èna tètoio s sto anoiktì disthma (a, b)?
gia kje x ∈ [0, 1]. DeÐxte ìti f (x) = 0 gia kje x ∈ [0, 1].
5. 'Estw f, h : [0, +∞) → [0, +∞). Upojètoume ìti h h eÐnai suneq c kai h f eÐnai
paragwgÐsimh. OrÐzoume
Z f (x)
F (x) = h(t)dt.
0
11. 'Estw f : [0, +∞) → [0, +∞) gnhsÐwc aÔxousa, suneq¸c paragwgÐsimh sunrthsh
me f (0) = 0. DeÐxte ìti, gia kje x > 0,
Z x Z f (x)
f (t) dt + f −1 (t) dt = xf (x).
0 0
Omda B'
12. 'Estw f : [0, 1] → R suneq¸c paragwgÐsimh sunrthsh me f (0) = 0. DeÐxte ìti
gia kje x ∈ [0, 1] isqÔei
Z 1 1/2
|f (x)| ≤ |f 0 (t)|2 dt .
0
13. 'Estw f : [0, +∞) → R suneq c sunrthsh me f (x) 6= 0 gia kje x > 0, h opoÐa
ikanopoieÐ thn Z x
f (x)2 = 2 f (t)dt
0
gia kje x ≥ 0. DeÐxte ìti f (x) = x gia kje x ≥ 0.
14. 'Estw f : [a, b] → R suneq¸c paragwgÐsimh sunrthsh. DeÐxte ìti
Z b Z b
lim f (x) cos(nx)dx = 0 kai lim f (x) sin(nx)dx = 0.
n→∞ a n→∞ a
94 · To jemeli¸des je¸rhma tou ApeirostikoÔ LogismoÔ
16. 'Estw f : [0, +∞) → R suneq¸c paragwgÐsimh sunrthsh. DeÐxte ìti uprqoun
suneqeÐc, aÔxousec kai jetikèc sunart seic g, h : [0, +∞) → R ¸ste f = g − h.
Keflaio 6
Teqnikèc olokl rwshc
Se autì to Keflaio perigrfoume, qwrÐc idiaÐterh austhrìthta, tic basikèc mejìdouc
upologismoÔ oloklhrwmtwn. DÐnetai mia sunrthsh f kai jèloume na broÔme mia
antipargwgo thc f , dhlad mia sunrthsh F me thn idiìthta F 0 = f . Tìte,
Z
f (x)dx = F (x) + c.
ParadeÐgmata
(a) Gia ton upologismì tou Z
arctan x
dx
1 + x2
jètoume u = arctan x. Tìte, du = dx
1+x2 kai anagìmaste sto
u2
Z
u du = + c.
2
'Epetai ìti
(arctan x)2
Z
arctan x
2
dx = + c.
1+x 2
(b) Gia ton upologismì tou
Z Z
sin x
tan x dx = dx
cos x
jètoume u = cos x. Tìte, du = − sin x dx kai anagìmaste sto
Z
1
− du = − ln |u| + c.
u
'Epetai ìti Z
tan x dx = − ln | cos x| + c.
'Epetai ìti √
√
Z
cos( x)
√ dx = 2 sin( x) + c.
x
ParadeÐgmata
(a) Gia ton upologismì tou Z
cos2 x dx
2
1 cos 2x cos2 2x
4 1 + cos 2x 1 cos 2x 1 + cos 4x
cos x = = + + = + + .
2 4 2 4 4 2 8
an ènac apì touc ekjètec m, n eÐnai perittìc kai o lloc rtioc. Gia pardeigma, an
m = 3 kai n = 4, grfoume
Z Z
cos3 x sin4 x dx = (1 − sin2 x) sin4 x cos x dx
An to olokl rwma dexi upologÐzetai eukolìtera, jètontac ìpou t thn φ−1 (x) up-
ologÐzoume to olokl rwma arister.
ParadeÐgmata: trigwnometrikèc antikatastseic
√
(a) Se oloklhr¸mata pou perièqoun thn a2 − x2 jètoume x = a sin t. Tìte,
p
a2 − x2 = a cos t kai dx = a cos t dt.
√
an jèsoume x = 3 sin t, tìte dx = 3 cos t dt kai 9 − x2 = 3 cos t, kai anagìmaste
sto Z Z
3 cos t dt 1 dt 1
= = − cot t + c.
9 sin2 t(3 cos t) 9 sin2 t 9
Tìte, apì thn p √
cos t 1 − sin2 t 9 − x2
cot t = = = ,
sin t sin t x
paÐrnoume √
9 − x2
Z
dx
√ =− + c.
2
x 9−x 2 9x
√
(b) Se oloklhr¸mata pou perièqoun thn x2 − a2 jètoume x = a/ cos t. Tìte,
p a sin t
x2 − a2 = a tan t kai dx = dt.
cos2 t
Gia pardeigma, gia ton upologismì tou
Z √ 2
x −4
dx,
x
√
an jèsoume x = cos t ,
2
tìte dx = 2 sin t
cos2 t dt = 2 tan t
cos t dt kai x2 − 4 = 2 tan t, kai
anagìmaste sto
Z Z
2 tan t 2 tan t
dt = 2 tan2 t dt = 2 tan t − 2t + c.
2/ cos t cos t
√
AfoÔ t = arctan x2 −4
2 , paÐrnoume
Z √ √
x2 − 4 p x2 − 4
dx = x2 − 4 − 2 arctan + c.
x 2
6.2 Olokl rwsh kat mèrh · 99
√
(g) Se oloklhr¸mata pou perièqoun thn x2 + a2 jètoume x = a tan t. Tìte,
p a a
x2 + a2 = kai dx = dt.
cos t cos2 t
Gia pardeigma, gia ton upologismì tou
Z √ 2
x +1
dx,
x4
√
an jèsoume x = tan t, tìte dx = cos12 t dt kai x2 + 1 = cos 1
t , kai anagìmaste sto
Z Z
1 1 1 cos t 2
dt = dt = − + c.
cos t tan4 t cos2 t sin4 t 3 sin3 t
AfoÔ t = arctan x, blèpoume ìti sin t = tan t cos t = √ x
x2 +1
kai telik paÐrnoume
Z √
x2 + 1 (x2 + 1)3/2
dx = − + c.
x4 3x3
kai prokÔptei mesa apì thn (f g)0 = f g 0 + f 0 g , an oloklhr¸soume ta dÔo mèlh thc.
Suqn, eÐnai eukolìtero na upologÐsoume to olokl rwma sto dexiì mèloc.
ParadeÐgmata
(a) Gia ton upologismì tou x log x dx grfoume
R
x2 log x 1 x2 log x x2
Z Z Z
1
x log x dx = (x2 )0 log x dx = − x dx = − + c.
2 2 2 2 4
Z Z Z
x cos x dx = x(sin x)0 dx = x sin x − sin x dx = x sin x + cos x + c.
Z Z Z
x x 0
I = e sin x dx = (e ) sin x dx = e sin x − ex cos x dx
x
Z Z
= ex sin x − (ex )0 cos x dx = ex sin x − ex cos x + ex (cos x)0 dx
Z
= e (sin x − cos x) − ex sin x dx = ex (sin x − cos x) − I.
x
'Epetai ìti
ex (sin x − cos x)
Z
ex sin x dx = + c.
2
100 · Teqnikès olokl rwshs
(d) Gia ton upologismì tou x sin2 x dx qrhsimopoi¸ntac thn tautìthta sin2 x =
R
1−cos(2x)
2 grfoume
Z Z Z
2 x cos(2x)
x sin x dx = dx − x dx.
2 2
√ √ √
Z Z Z
0 x 1
log(x+ x) dx = (x) log(x+ x) dx = x log(x+ x)− √ 1+ √ dx.
x+ x 2 x
√
Katìpin, efarmìzoume thn antikatstash u = x.
Tìte,
Sunep¸c, gia ton upologismì tou f (x) dx mporoÔme t¸ra na upologÐsoume qwrist
R
xn + an−1 xn−1 + · · · + a1 x + a0
(6.3.5) f (x) = ,
(x − α1 )r1 · · · (x − αk )rk (x2 + β1 x + γ1 )s1 · · · (x2 + βl x + γl )sl
kai thn {analÔoume se apl klsmata}: uprqoun suntelestèc Ajt , Bit , Γit ¸ste
k ≥ 2 tìte
Z
1 1
(6.3.6) k
dx = − + c,
(x − α) (k − 1)(x − α)k−1
kai an k = 1 tìte
Z
1
(6.3.7) dx = ln |x − α| + c.
x−α
oloklhr¸mata
Z Z
2x + b 1
(6.3.8) dx kai dx.
(x2 + bx + γ)k (x2 + bx + γ)k
1 y 2k − 1
(6.3.10) Ik+1 = 2 k
+ Ik .
2k (y + 1) 2k
Gia thn apìdeixh thc (6.3.10) qrhsimopoioÔme olokl rwsh kat mèrh. Grfoume
y2
Z Z Z
dx 1 y
Ik = = (y)0 dy = + 2k dy
(y 2 + 1)k 2
(y + 1)k 2
(y + 1) k (y + 1)k+1
2
y2 + 1 − 1
Z
y
= + 2k dy
(y 2 + 1)k (y 2 + 1)k+1
Z Z
y 1 1
= + 2k dy − 2k dy
(y 2 + 1)k (y 2 + 1)k (y 2 + 1)k+1
y
= + 2kIk − 2kIk+1 .
(y 2 + 1)k
3x2 + 6 3x2 + 6
Z Z
dx = dx,
x + x2 − 2x
3 x(x − 1)(x + 2)
zhtme a, b, c ∈ R ¸ste
3x2 + 6 a b c
= + + .
x(x − 1)(x + 2) x x−1 x+2
Grfoume
a + b + c = 3, a + 2b − c = 0, −2a = 6.
3x2 + 6
Z Z Z Z
dx dx dx
dx = −3 +3 +3
x(x − 1)(x + 2) x x−1 x+2
= −3 ln |x| + 3 ln |x − 1| + 3 ln |x + 2| + c.
6.3 Olokl rwsh rht¸n sunart sewn · 103
Z Z Z
1 dx 1 x+1 x
= − 2
dx − dx
2 x−1 2 x +1 (x + 1)2
2
(x2 + 1)0
Z Z Z Z
1 dx 1 2x 1 dx 1
= − 2
dx − 2
− dx
2 x−1 4 x +1 2 x +1 2 (x2 + 1)2
1 1 1 1 1
= ln |x − 1| − ln |x2 + 1| − arctan x + + c.
2 4 2 2 x2 + 1
104 · Teqnikès olokl rwshs
cos2 x
2 − sin2 x
2 1 − tan2 x
2 1 − u2
cos x = = x =
cos2 x
2 + sin2 x
2
1 + tan2 2
1 + u2
kai
x x x x 2 tan x2 2u
sin x = 2 sin cos = 2 tan cos2 = = .
2 2 2 2 1 + tan2 x2 1 + u2
1+tan2 x
EpÐshc, du
dx = 1
2 cos2 x = 2
2
, dhlad
2
2du
dx = .
1 + u2
'Etsi, anagìmaste sto olokl rwma
1 − u2
Z
2u 2
R 2
, 2
du.
1+u 1+u 1 + u2
2
Dedomènou ìti h sunrthsh F (u) = R 1−u 1+u 2 , 2u
1+u 2 1+u2 eÐnai rht sunrthsh tou
2
l rwma
Z Z
1 2 1
2 arctan u 2u 1 + u2 du = 4 arctan u du
1 + 1+u 2 (1 + u)2
Z 0
1
= 4 arctan u − du
1+u
Z
arctan u 1
= −4 +4 2
du.
1+u (1 + u )(1 + u)
To teleutaÐo olokl rwma upologÐzetai me anlush se apl klsmata.
gia kpoia rht sunrthsh R1 (u, v), to opoÐo upologÐzetai me thn antikatstash
thc prohgoÔmenhc upoparagrfou (rht sunrthsh twn cos t kai sin t).
EÐnai ìmwc protimìtero na qrhsimopoi soume thn ex c allag metablht c:
p
u = x + x2 − 1.
Tìte,
u2 + 1 p u2 − 1 u2 − 1
x= , x2 − 1 = , dx = du.
2u 2u 2u2
Anagìmaste ètsi sto rhtì olokl rwma
2
u + 1 u2 − 1 u2 − 1
Z
R , du
2u 2u 2u2
to opoÐo upologÐzetai me anlush se apl klsmata.
106 · Teqnikès olokl rwshs
√
(b) Gia to olokl rwma R(x, x2 + 1) √ dx, mia idèa eÐnai na qrhsimopoi soume thn
R
gia kpoia rht sunrthsh R1 (u, v), to opoÐo upologÐzetai me thn antikatstash
thc prohgoÔmenhc upoparagrfou (rht sunrthsh twn cos t kai sin t).
EÐnai ìmwc protimìtero na qrhsimopoi soume thn ex c allag metablht c:
p
u = x + x2 + 1.
Tìte,
u2 − 1 p u2 + 1 u2 + 1
x= , x2 − 1 = , dx = du.
2u 2u 2u2
Anagìmaste ètsi sto rhtì olokl rwma
2
u − 1 u2 + 1 u2 + 1
Z
R , du
2u 2u 2u2
2
u2 −1
jètoume x2 − 1 = (x − u)2 . IsodÔnama, x = u2u +1
. Tìte, dx = 2u2 du kai
2
x − u = 2u , opìte anagìmaste ston upologismì tou
1−u
−(u2 − 1)2
Z
du.
4u3
u2 − 1 p u2 + 1 u2 + 1
x= , x2 − 1 = , dx = du.
2u 2u 2u2
Anagìmaste ètsi sto olokl rwma
Z
2
du
u2 −1
to opoÐo upologÐzetai me anlush se apl klsmata.
6.5 Ask seis · 107
6.5 Ask seic
Omda A'
1. UpologÐste ta akìlouja oloklhr¸mata:
2x2 + x + 1 3x2 + 3x + 1
Z Z Z
2x
dx , dx , dx.
x2 + 2x + 2 (x + 3)(x − 1)2 x3 + 2x2 + 2x + 1
√
Z Z Z
1 x+4
log(x + x) dx , √ dx , dx
x 1 − x2 (x2 + 1)(x − 1)
cos3 x
Z Z Z
x dx
dx , dx , .
1 + sin x sin2 x (x2 + 2x + 2)2
6. UpologÐste ta oloklhr¸mata
Z Z
1
sin(log x) dx , √ log(1 − x) dx.
x x
7. UpologÐste ta oloklhr¸mata
xex
Z Z
x arctan x
dx , dx.
(1 + x2 )2 (1 + x)2
108 · Teqnikès olokl rwshs
8. UpologÐste ta oloklhr¸mata
ex
Z Z
log(tan x)
dx , dx.
1 + e2x cos2 x
9. UpologÐste ta oloklhr¸mata
π Z π4
tan3 x
Z
x 4
2
dx , dx
0 cos x −π 4
cos3 x
Z 5 p Z π4
x log 1 + x2 dx , x tan2 x dx.
0 0
Omda B'
11. UpologÐste ta oloklhr¸mata
Z Z Z Z
1 + sin x 1 x 1
dx , dx , dx , √ dx
1 − cos x sin x (1 + x2 )2 x 1 − x2
Z Z Z Z p
1 x
dx , x arctan x dx , √ dx , x2 − 1 dx.
(1 + x2 )2 x2 + 1
Je¸rhma Taylor
7.1 Je¸rhma Taylor
Orismìc 7.1.1. 'Estw f : [a, b] → R kai èstw x0 ∈ [a, b]. Upojètoume ìti h f eÐnai
n forèc paragwgÐsimh sto x0 . To polu¸numo Taylor txhc n thc f sto x0
eÐnai to polu¸numo Tn,f,x0 : R → R pou orÐzetai wc ex c:
n
X f (k) (x0 )
(7.1.1) Tn,f,x0 (x) = (x − x0 )k ,
k!
k=0
dhlad ,
(7.1.2)
f 00 (x0 ) f (n) (x0 )
Tn,f,x0 (x) = f (x0 ) + f 0 (x0 )(x − x0 ) + (x − x0 )2 + · · · + (x − x0 )n .
2 n!
To upìloipo Taylor txhc n thc f sto x0 eÐnai h sunrthsh Rn,f,x0 : [a, b] → R
pou orÐzetai wc ex c:
kai eÐnai to monadikì polu¸numo bajmoÔ to polÔ Ðsou me n pou èqei aut thn idiìthta
(exhg ste giatÐ).
Parat rhsh 7.1.3. 'Estw f : [a, b] → R kai èstw x0 ∈ [a, b]. Upojètoume ìti
h f eÐnai n − 1 forèc paragwgÐsimh sto [a, b] kai n forèc paragwgÐsimh sto x0 .
Parathr ste ìti
n
0
X f (k) (x0 )
(7.1.4) Tn,f,x (x) = (x − x0 )k−1
0
(k − 1)!
k=1
kai
n−1
X f (s+1) (x0 )
(7.1.5) Tn−1,f 0 ,x0 (x) = (x − x0 )s .
s=0
s!
'Epetai ìti
0
(7.1.7) Rn,f,x 0
= Rn−1,f 0 ,x0 .
Prìtash 7.1.4. 'Estw f : [a, b] → R kai èstw x0 ∈ [a, b] . Upojètoume ìti h f eÐnai
n−1 forèc paragwgÐsimh sto [a, b] n kai forèc paragwgÐsimh sto x0 . Tìte,
Rn,f,x0 (x)
(7.1.8) lim = 0.
x→x0 (x − x0 )n
Apìdeixh. Me epagwg wc proc n. Gia n = 1 èqoume
ra
R1,f,x0 (x) f (x) − f (x0 )
(7.1.9) = − f 0 (x0 ) → 0
x − x0 x − x0
ìtan x → x0 , apì ton orismì thc parag¸gou sto shmeÐo x0 .
Upojètoume ìti h prìtash isqÔei gia n = m kai gia kje sunrthsh pou
ikanopoieÐ tic upojèseic. 'Estw f : [a, b] → R, m forèc paragwgÐsimh sto [a, b]
kai m + 1 forèc paragwgÐsimh sto x0 . Tìte,
kai
0
Rm+1,f,x 0
(x) Rm,f 0 ,x0 (x)
(7.1.11) lim 0 = lim =0
x→x0 [(x − x0 )m+1 ] x→x0 (m + 1)(x − x0 )m
apì thn epagwgik upìjesh gia thn f 0 . Efarmìzontac ton kanìna l’Hospital oloklhr¸noume
to epagwgikì b ma. 2
7.1 Je¸rhma Taylor · 113
L mma 7.1.5. 'Estw p polu¸numo bajmoÔ to polÔ Ðsou me n to opoÐo ikanopoieÐ thn
p(x)
(7.1.12) lim = 0.
x→x0 (x − x0 )n
Tìte, p≡0 .
p(x)
(7.1.13) p(x0 ) = lim p(x) = lim (x − x0 )n = 0,
x→x0 x→x0 (x − x0 )n
p1 (x) p(x)
(7.1.15) lim = lim = 0.
x→x0 (x − x0 )n−1 x→x0 (x − x0 )n
f (x) − T (x)
(7.1.16) lim = 0.
x→x0 (x − x0 )n
Apìdeixh. H Prìtash 7.1.4 deÐqnei ìti to Tn,f,x0 ikanopoieÐ thn (7.1.16). Gia th
monadikìthta arkeÐ na parathr sete ìti an dÔo polu¸numa T1 , T2 bajmoÔ to polÔ
Ðsou me n ikanopoioÔn thn (7.1.16), tìte to polu¸numo p := T1 − T2 ikanopoieÐ thn
(7.1.12). Apì to L mma 7.1.5 sumperaÐnoume ìti T1 ≡ T2 . 2
Parat rhsh 7.1.7. To Je¸rhma 7.1.6 mac dÐnei ènan èmmeso trìpo gia na brÐsk-
oume to polu¸numo Taylor txhc n miac sunrthshc f se kpoio shmeÐo x0 . ArkeÐ
na broÔme èna polu¸numo bajmoÔ to polÔ Ðsou me n to opoÐo ikanopoieÐ thn (7.1.16).
(i) H sunrthsh f (x) = 1−x
1
eÐnai peirec forèc paragwgÐsimh sto (−1, 1) kai èqoume
dei ìti
1
= 1 + x + x2 + · · · + xn + · · · gia kje |x| < 1.
1−x
Ja deÐxoume ìti, gia kje n,
ParathroÔme ìti
1 1 − xn+1 xn+1
f (x) − Tn (x) = − = .
1−x 1−x 1−x
114 · Je¸rhma Taylor
'Ara,
f (x) − Tn (x) x
lim n
= lim = 0,
x→0 x x→0 1 − x
ParathroÔme ìti
'Ara,
f (x) − T2n (x) (−1)n+1 x
lim = lim = 0,
x→0 x2n+1 x→0 1 + x2
kai (profan¸c)
f (x) − T2n (x) (−1)n+1 x2
lim 2n
= lim = 0,
x→0 x x→0 1 + x2
opìte to zhtoÔmeno prokÔptei apì to Je¸rhma 7.1.6.
(i) Morf Cauchy tou upoloÐpou Taylor: Uprqei ξ metaxÔ twn x0 kai x ¸ste
f (n+1) (ξ)
(7.1.17) Rn,f,x0 (x) = (x − ξ)n (x − x0 ).
n!
(ii) Morf Lagrange tou upoloÐpou Taylor: Uprqei ξ metaxÔ twn x0 kai x
¸ste
f (n+1) (ξ)
(7.1.18) Rn,f,x0 (x) = (x − x0 )n+1 .
(n + 1)!
sunrthsh, tìte
Z x
1
(7.1.19) Rn,f,x0 (x) = f (n+1) (t)(x − t)n dt.
n! x0
7.1 Je¸rhma Taylor · 115
eξ
(7.2.2) Rn (x) := Rn,f,0 (x) = xn+1
(n + 1)!
gia kpoio ξ metaxÔ twn 0 kai x. Gia na ektim soume to upìloipo diakrÐnoume dÔo
peript¸seic.
• An x > 0 tìte
eξ ex xn+1
|Rn (x)| = xn+1 ≤ .
(n + 1)! (n + 1)!
• An x < 0, tìte ξ < 0 kai eξ < 1, ra
eξ |x|n+1
|Rn (x)| = |x|n+1 ≤ .
(n + 1)! (n + 1)!
Se kje perÐptwsh,
e|x| |x|n+1
(7.2.3) |Rn (x)| ≤ .
(n + 1)!
e|x| |x|n+1
'Estw x 6= 0. Efarmìzontac to krit rio tou lìgou gia thn akoloujÐa an := (n+1)!
blèpoume ìti
an+1 |x|
= → 0,
an n+2
ra
lim |Rn (x)| = 0.
n→∞
Sunep¸c,
∞
X xk
(7.2.4) ex = lim Tn (x) =
n→∞ k!
k=0
gia kje x ∈ R.
|x|2n+1
(7.2.7) |R2n (x)| ≤ .
(2n + 1)!
|x|2n+1
Efarmìzontac to krit rio tou lìgou gia thn akoloujÐa an := (2n+1)! blèpoume ìti
Sunep¸c,
∞
X (−1)k x2k
(7.2.8) cos x = lim T2n (x) =
n→∞ (2k)!
k=0
gia kje x ∈ R.
|x|2n+2
(7.2.11) |R2n+1 (x)| ≤ .
(2n + 2)!
|x|2n+2
Efarmìzontac to krit rio tou lìgou gia thn akoloujÐa an := (2n+2)! blèpoume ìti
Sunep¸c,
∞
X (−1)k x2k+1
(7.2.12) sin x = lim T2n+1 (x) =
n→∞ (2k + 1)!
k=0
gia kje x ∈ R.
118 · Je¸rhma Taylor
'Estw x > −1. Qrhsimopoi¸ntac thn oloklhrwtik morf tou upoloÐpou paÐrnoume
Z x
(x − t)n
(7.2.14) Rn (x) := Rn,f,0 (x) = (−1)n n+1
dt.
0 (1 + t)
Jètoume u = 1+t .
x−t
Tìte, to u metablletai apì x wc 0 kai dt
1+t = −du
1+u (elègxte to).
Sunep¸c,
0
−un
Z
(7.2.15) Rn (x) = du.
x 1+u
DiakrÐnoume dÔo peript¸seic:
• An −1 < x < 0 tìte
0 |x|
|u|n 1 |x|n+1
Z Z
1
|Rn (x)| ≤ du ≤ un du = .
x 1+u 1+x 0 1+x n+1
• An 0 < x ≤ 1 tìte
x x
un |x|n+1
Z Z
|Rn (x)| = du ≤ un du = .
0 1+u 0 (n + 1)
Se kje perÐptwsh,
lim |Rn (x)| = 0.
n→∞
Sunep¸c,
∞
X (−1)k−1 xk
(7.2.16) ln(1 + x) = lim Tn (x) =
n→∞ k
k=1
x2 x3 xn
(7.2.20) ln(1 + x) − x − + + · · · + (−1)n−1
2 3 n
èqoume
x
tn
Z
(7.2.21) Fn (x) = (−1)n dt .
0 1+t
|x|n+1
1
(7.2.22) |Fn (x)| ≤ max 1,
x+1 n+1
Fn (x)
gia x ∈ (−1, 1]. Parathr ste epÐshc ìti lim = 0, to opoÐo apodeiknÔei ìti
x→0 xn
Fn (x) = Rn,f,0 (x).
n
'Otan |x| > 1 h seir apoklÐnei (afoÔ h akoloujÐa xn den teÐnei sto 0) kai gia
x = −1 epÐshc apoklÐnei (armonik seir).
Sunep¸c,
n
X a
(7.2.24) Tn (x) := Tn,f,0 (x) = xk
k
k=0
ìpou
a a(a − 1) · · · (a − k + 1)
(7.2.25) = .
k k!
a
a
X a
(7.2.26) (1 + x) = xk .
k
k=0
120 · Je¸rhma Taylor
Gia na deÐxoume ìti lim Rn (x) = 0 ìtan |x| < 1, parathroÔme pr¸ta ìti
n→∞
x − ξ
(7.2.27) 1 + ξ ≤ |x|
ìtan |x| < 1.
Prgmati, an 0 ≤ ξ ≤ x èqoume
x − ξ x − ξ x
(7.2.28) 1 + ξ = 1 + ξ ≤ 1 + ξ ≤ x = |x|.
'Epetai ìti
a(a − 1) . . . (a − n) x − ξ n
a−1
|Rn (x)| =
(1 + ξ) x
n! 1+ξ
a(a − 1) . . . (a − n) n
x (1 + ξ)a−1 x
≤
n!
a(a − 1) . . . (a − n) n
≤ x M (x)
n!
ìpou M (x) = |x| max(1, (1 + x)a−1 ) (skhsh), ra arkeÐ na deÐxoume ìti
a(a − 1) . . . (a − n) n
yn ≡ x → 0
n!
kaj¸c n → ∞. 'Eqoume
a(a − 1) . . . (a − n)(a − (n + 1)) n! xn+1 a − n + 1
yn+1
= = x.
yn a(a − 1) . . . (a − n) (n + 1)! xn n + 1
ìtan n → ∞, ra yn → 0. DeÐxame ìti an |x| < 1 tìte lim Rn (x) = 0. 'Ara,
n→∞
∞
a
X a k
(7.2.32) (1 + x) = x
n=0
k
1 2 4 6 n 2n (−1)n+1 t2n+2
(7.2.33) = 1 − t + t − t + · · · + (−1) t +
1 + t2 1 + t2
opìte
x x
x3 2n+1
t2n+2
Z Z
1 n x
(7.2.34) dt = x − + · · · + (−1) + (−1)n+1 dt.
0 1 + t2 3 2n + 1 0 1 + t2
An orÐsoume
x3 x2n+1
(7.2.35) pn (x) = x − + · · · + (−1)n
3 2n + 1
èqoume
x Z |x|
t2n+2 |x|2n+3
Z
2n+2
(7.2.36) |f (x) − pn (x)| = dt ≤ t dt ≤
0 1 + t2 0 2n + 3
∞
X x2n+1 x3 x5
(7.2.37) arctan x = (−1)n =x− + + ···
n=0
2n + 1 3 5
opoÐa sugklÐnei, prokÔptei apì to (−R, R) me thn prosj kh (Ðswc) tou R tou −R
twn ±R. Sthn perÐptwsh pou R = +∞, h dunamoseir sugklÐnei se kje x ∈ R.
Sthn perÐptwsh pou R = 0, h dunamoseir sugklÐnei mìno sto shmeÐo x = 0.
H epìmenh Prìtash dÐnei ènan {tÔpo} gia thn aktÐna sÔgklishc.
∞
Prìtash 7.3.1. ak xk
P
'Estw mia dunamoseir me suntelestèc ak . H aktÐna
k=0
sÔgklis c thc dÐnetai apì thn
1
R= .
lim sup |ak |1/k
∞
. DeÐqnoume pr¸ta ìti an |x| lim sup |ak | < 1, tìte h seir
p
ak xk
k
P
Apìdeixh
k→∞ k=1
sugklÐnei apolÔtwc. Prgmati, an jewr soume s > 0 me |x| lim sup k |ak | < s < 1,
p
tìte apì ton qarakthrismì tou lim sup, uprqei N ∈ N ¸ste |ak xk | ≤ sk gia kje
k ≥ N , kai to sumpèrasma èpetai apì to krit rio sÔgkrishc.
∞
Sth sunèqeia deÐqnoume ìti an |x| lim sup k |ak | > 1, tìte h seir ak apok-
p P
k→∞ k=1
lÐnei. Prgmati, an jewr soume s > 0 me |x| lim sup k |ak | > s > 1, tìte apì ton
p
qarakthrismì tou lim sup, uprqoun peiroi deÐktec k1 < k2 < · · · < kn < kn+1 <
· · · ¸ste |akn xkn | ≥ skn > 1 gia kje n ∈ N. 'Ara, ak xk 6→ 0 kai efarmìzetai to
krit rio apìklishc.
Sunduzontac ta parapnw blèpoume ìti to disthma sÔgklishc thc dunamo-
seirc eÐnai anagkastik to (−R, R), ìpou R = lim sup1|ak |1/k . 2
∞
X
f (x) = ak xk
k=0
sunrthsh f : (−R, R) → R me
∞
X
f (x) = ak xk .
k=0
7.3 Sunart seis parastsimes se dunamoseir · 123
Tìte, h f eÐnai peirec forèc paragwgÐsimh: gia kje k≥0 kai gia kje |x| < R
isqÔei
∞
X
(k)
f (x) = n(n − 1) · · · (n − k + 1)an xn−k .
n=k
EpÐshc,
f (n) (0)
an = , n = 0, 1, 2, . . .
n!
kai, gia kje |x| < R , h f eÐnai oloklhr¸simh sto [0, x] kai
Z x ∞
X an n+1
f (t) dt = x .
0 n=0
n +1
AfoÔ |x| < R, uprqei δ > 0 ¸ste |x| + δ < R. 'Epetai (exhg ste giatÐ) ìti
∞
X
|an |(|x| + δ)n < +∞.
n=0
P∞
Qrhsimopoi¸ntac thn Prìtash 7.3.1 Pblèpoume ìti h dunamoseir n=1 nan xn−1
∞
èqei thn Ðdia aktÐna sÔgklishc me thn n=0 an xn (exhg ste giatÐ). Efarmìzontac
loipìn ton Ðdio sullogismì gia thn f sth jèsh thc f , blèpoume ìti
0
∞
X
(2)
f (x) = n(n − 1)an xn−2 .
n=2
SuneqÐzontac me ton Ðdio trìpo, apodeiknÔoume ìti h f eÐnai peirec forèc parag-
wgÐsimh kai ìti gia kje k ≥ 0 kai gia kje |x| < R isqÔei
∞
X
(k)
(2) f (x) = n(n − 1) · · · (n − k + 1)an xn−k .
n=k
∞
X ∞
X
ak xk = bk xk
k=0 k=0
ak = bk gia kje k = 0, 1, 2, . . . .
Apìdeixh. Apì to Je¸rhma 7.3.3, gia th sunrthsh f : (−R, R) → R me
∞
X ∞
X
f (x) = ak xk = bk xk
k=0 k=0
èqoume
f (k) (0) = k!ak = k!bk
gia kje k ≥ 0. Sunep¸c, ak = bk gia kje k ≥ 0. 2
7.4 Ask seis · 125
7.4 Ask seic
Pr¸th Omda
1. 'Estw p(x) = a0 + a1 x + · · · + an xn polu¸numo bajmoÔ n kai èstw a ∈ R. DeÐxte
ìti uprqoun b0 , b1 , · · · , bn ∈ R ¸ste
DeÐxte ìti
p(k) (a)
bk = , k = 0, 1, . . . , n.
k!
2. Gryte kajèna apì ta paraktw polu¸numa sth morf b0 + b1 (x − 3) + · · · +
bn (x − 3)n :
3. Gia kje mÐa apì tic paraktw sunart seic, na brejeÐ to polu¸numo Taylor Tn,f,a
pou upodeiknÔetai.
gia kje x ∈ R.
11. BreÐte proseggistik tim , me sflma mikrìtero tou 10−6 , gia kajènan apì
touc arijmoÔc
1
sin 1, sin 2, sin , e, e2 .
2
b−x x−a
(8.1.2) x= a+ b.
b−a b−a
Apìdeixh . EÔkola elègqoume ìti, gia kje t ∈ [0, 1] isqÔei
dhlad
b−x x−a
(8.1.5) x= a+ b.
b−a b−a
Parathr¸ntac ìti t := (x − a)/(b − a) ∈ [0, 1] kai 1 − t = (b − x)/(b − a), blèpoume
ìti
gia kje a, b ∈ I kai gia kje t ∈ R me 0 < t < 1 (parathr ste ìti, afoÔ to I eÐnai
disthma, to L mma 8.1.1 deÐqnei ìti to shmeÐo (1 − t)a + tb ∈ [a, b] ⊆ I , dhlad h
f orÐzetai kal se autì). H gewmetrik shmasÐa tou orismoÔ eÐnai h ex c: h qord
pou èqei san kra ta shmeÐa (a, f (a)) kai (b, f (b)) den eÐnai poujen ktw apì to
grfhma thc f .
(b) H f lègetai gnhsÐwc an eÐnai kurt kai èqoume gn sia anisìthta sthn
kurt
(8.1.7) gia kje a < b sto I kai gia kje 0 < t < 1.
(g) H f : I → R lègetai koÐlh (antÐstoiqa, gnhsÐwc koÐlh) an h −f eÐnai kurt
(antÐstoiqa, gnhsÐwc kurt ).
b−x x−a
(8.1.8) f (x) ≤ f (a) + f (b).
b−a b−a
Parathr ste ìti to dexiì mèloc aut c thc anisìthtac isoÔtai me
f (b) − f (a)
(8.1.9) f (a) + (x − a).
b−a
(b) An a, b ∈ I kai an t, s > 0 me t + s = 1, tìte
Prìtash 8.2.1 (to l mma twn tri¸n qord¸n). 'Estw f : (a, b) → R kurt
to opoÐo apodeiknÔei thn arister anisìthta sthn (8.2.1). Xekin¸ntac pli apì thn
(8.2.2), grfoume
z−x x−z z−x
(8.2.4) f (x) − f (z) ≤ f (y) + f (z) = − [f (z) − f (y)],
z−y z−y z−y
ap ìpou prokÔptei h dexi anisìthta sthn (8.2.1). 2
Ja qrhsimopoi soume epÐshc thn ex c apl sunèpeia tou l mmatoc twn tri¸n qord¸n.
L mma 8.2.2. 'Estw f : (a, b) → R kurt sunrthsh. An y < x < z < w sto
(a, b)
, tìte
0 f (x + h) − f (x) 0 f (x + h) − f (x)
(8.2.8) f− (x) = lim− kai f+ (x) = lim .
h→0 h h→0+ h
Apìdeixh . Ja deÐxoume ìti uprqei h dexi pleurik pargwgoc f+ 0
(x) (me ton
Ðdio trìpo douleÔoume gia thn arister pleurik pargwgo f− (x)). JewroÔme th
0
0 0 0 0
f−,f+ eÐnai aÔxousec sto (a, b) kai f− ≤ f+ sto (a, b) .
Apìdeixh . 'Estw x < y sto (a, b). Gia arket mikrì jetikì h èqoume x ± h, y ± h ∈
(a, b) kai x + h < y − h. Apì thn Prìtash 8.2.1 kai apì to L mma 8.2.2 blèpoume
ìti
(8.2.13)
f (x) − f (x − h) f (x + h) − f (x) f (y) − f (y − h) f (y + h) − f (y)
≤ ≤ ≤ .
h h h h
PaÐrnontac ìria kaj¸c h → 0+ , sumperaÐnoume ìti
0 0 0 0
(8.2.14) f− (x) ≤ f+ (x) ≤ f− (y) ≤ f+ (y).
Oi anisìthtec f− 0 0
(x) ≤ f− (y) kai f+
0 0
(x) ≤ f+ (y) deÐqnoun ìti oi f−
0
, f+0
eÐnai aÔx-
ousec sto (a, b). H arister anisìthta sthn (8.2.14) deÐqnei ìti f− ≤ f+ sto (a, b).
0 0
2
H Ôparxh twn pleurik¸n parag¸gwn exasfalÐzei ìti kje kurt sunrthsh f : I →
R eÐnai suneq c sto eswterikì tou I :
Apìdeixh . 'Estw x ∈ (a, b). Tìte, gia mikr h > 0 èqoume x + h, x − h ∈ (a, b) kai
f (x + h) − f (x) 0
(8.2.15) f (x + h) = f (x) + · h → f (x) + f+ (x) · 0 = f (x)
h
ìtan h → 0+ , en¸, teleÐwc anloga,
f (x − h) − f (x) 0
(8.2.16) f (x − h) = f (x) + · (−h) → f (x) + f− (x) · 0 = f (x)
−h
tou graf matoc thc f sto (x, f (x)) kai eÐpame ìti h f eÐnai kurt sto (a, b) an gia
kje x ∈ (a, b) kai gia kje y ∈ (a, b) èqoume
Dhlad , an to grfhma {(y, f (y)) : a < y < b} brÐsketai pnw apì kje efaptomèn-
h.
To epìmeno je¸rhma deÐqnei ìti, an perioristoÔme sthn klsh twn paragwgÐsimwn
sunart sewn, oi {dÔo orismoÐ} sumfwnoÔn.
8.3 ParagwgÐsimes kurtès sunart seis · 131
isodÔnama:
An x > y , efarmìzontac to je¸rhma mèshc tim c sto [y, x], brÐskoume ξ ∈ (y, x)
¸ste f (y) = f (x) + f 0 (ξ)(y − x). AfoÔ ξ < x kai h f 0 eÐnai aÔxousa, èqoume
f 0 (ξ) ≤ f 0 (x). AfoÔ y − x < 0, èpetai pli ìti
Tèloc, upojètoume ìti h (8.3.3) isqÔei gia kje x, y ∈ (a, b) kai ja deÐxoume ìti h f
eÐnai kurt . 'Estw x < y sto (a, b) kai èstw 0 < t < 1. Jètoume z = (1 − t)x + ty .
Efarmìzontac thn upìjesh gia ta zeugria x, z kai y, z , paÐrnoume
'Ara,
(1 − t)f (x) + tf (y) ≥ (1 − t)f (z) + tf (z) + f 0 (z)[(1 − t)(x − z) + t(y − z)]
= f (z) + f 0 (z)[(1 − t)x + ty − z]
= f (z).
Sthn perÐptwsh pou h f eÐnai dÔo forèc paragwgÐsimh sto (a, b), h isodunamÐa
twn (a) kai (b) sto Je¸rhma 8.3.1 dÐnei ènan aplì qarakthrismì thc kurtìthtac
mèsw thc deÔterhc parag¸gou.
Apìdeixh . H f 0 eÐnai aÔxousa an kai mìno an f 00 ≥ 0 sto (a, b). 'Omwc, sto Je¸rhma
8.3.1 eÐdame ìti h f 0 eÐnai aÔxousa an kai mìno an h f eÐnai kurt . 2
132 · Kurtès kai koÐles sunart seis
m
An x1 , . . . , xm ∈ I kai t1 , . . . , t m ≥ 0 me t1 + · · · + tm = 1 i=1 ti xi ∈ I
, tìte kai
dhlad , t1 x1 + · · · + tm xm ∈ I .
Ja deÐxoume thn (8.4.1) me epagwg wc proc m. Gia m = 1 den èqoume tÐpota
na deÐxoume, en¸ gia m = 2 h (8.4.1) ikanopoieÐtai apì ton orismì thc kurt c
sunrthshc.
Gia to epagwgikì b ma upojètoume ìti m ≥ 2, x1 , . . . , xm , xm+1 ∈ I kai
t1 , . . . , tm , tm+1 ≥ 0 me t1 +· · ·+tm +tm+1 = 1. MporoÔme na upojèsoume ìti kpoioc
ti < 1 (alli¸c, h anisìthta isqÔei tetrimmèna). QwrÐc periorismì thc genikìthtac
upojètoume ìti tm+1 < 1. Jètoume t = t1 + · · · + tm = 1 − tm+1 > 0. AfoÔ
x1 , . . . , xm ∈ I kai tt1 + · · · + tmt = 1, h epagwgik upìjesh mac dÐnei
t1 tm
(8.4.3) x= x1 + · · · + xm ∈ I
t t
kai
t1 tm
(8.4.4) tf (x) = tf x1 + · · · + xm ≤ t1 f (x1 ) + · · · + tm f (xm ).
t t
n
Y n
X
(8.4.6) xri i ≤ ri xi .
i=1 i=1
8.4 Anisìthta tou Jensen · 133
Apìdeixh . H sunrthsh x 7→ ln x eÐnai koÐlh sto (0, +∞). AfoÔ ri > 0 kai r1 +
· · · + rn = 1, h anisìthta tou Jensen (gia thn kurt sunrthsh − ln) deÐqnei ìti
(8.4.7) r1 ln x1 + · · · + rn ln xn ≤ ln(r1 x1 + · · · + rn xn ).
Dhlad ,
(8.4.10) xt y s ≤ tx + sy.
H (8.4.10) emfanÐzetai polÔ suqn sthn ex c morf : an x, y > 0 kai p, q > 1 me
1 1
p + q =1 , tìte
xp yq
(8.4.11) xy ≤ +
p q
Prgmati, arkeÐ na proume touc xp , y q sth jèsh twn x, y kai touc p1 , 1q sth jèsh
twn t, s. Oi p kai q lègontai suzugeÐc ekjètec . Qrhsimopoi¸ntac aut thn anisìthta
mporoÔme na deÐxoume thn klasik anisìthta tou Hölder: p, q 'Estw suzugeÐc
ekjètec. An a1 , . . . , an
kai b1 , . . . , b neÐnai jetikoÐ pragmatikoÐ arijmoÐ, tìte
n n
!1/p n !1/q
X X p
X q
(8.4.12) ai bi ≤ ai bi .
i=1 i=1 i=1
Pn 1/p Pn 1/q
Apìdeixh . Jètoume A = ( i=1 api ) , B = ( i=1 bqi ) kai xi = ai /A, yi = bi /B .
Tìte, h zhtoÔmenh anisìthta (8.4.12) paÐrnei th morf
n
X
(8.4.13) xi yi ≤ 1.
i=1
ParathroÔme ìti
n n n n
X 1 X p X 1 X q
(8.4.15) xpi = a = 1 kai yiq = b = 1.
i=1
Ap i=1 i i=1
B q i=1 i
134 · Kurtès kai koÐles sunart seis
'Ara,
n
X 1 1
(8.4.16) xi yi ≤ · 1 + · 1 = 1.
i=1
p q
'Epetai h (8.4.12). 2.
Epilègontac p = q = 2 paÐrnoume thn anisìthta Cauchy-Schwarz: an a1 , . . . , an
kaib1 , . . . , b n
eÐnai jetikoÐ pragmatikoÐ arijmoÐ, tìte
n n
!1/2 n
!1/2
X X X
(8.4.17) ai bi ≤ a2i b2i .
i=1 i=1 i=1
8.5 Ask seic
Omda A'
1. 'Estw f, fn : I → R. Upojètoume ìti kje fn eÐnai kurt sunrthsh kai ìti
fn (x) → f (x) gia kje x ∈ I . DeÐxte ìti h f eÐnai kurt .
5. 'Estw f : [a, b] → R kurt sunrthsh. DeÐxte me èna pardeigma ìti h f den eÐnai
anagkastik sunrthsh Lipschitz se olìklhro to [a, b], akìma kai an upojèsoume
ìti h f eÐnai fragmènh. EpÐshc, deÐxte ìti h f den eÐnai anagkastik suneq c sto
[a, b].
8. DeÐxte ìti kje kurt sunrthsh orismènh se fragmèno disthma eÐnai ktw
fragmènh.
8.5 Ask seis · 135
Omda B'
10. DeÐxte ìti an h f : (0, +∞) → R eÐnai kurt kai x1 , . . . , xm , y1 , . . . , ym > 0,
tìte m
y1 + · · · + ym X yi
(x1 + · · · + xm )f ≤ xi f .
x1 + · · · + xm i=1
xi
DeÐxte ìti h f (x) = (1+xp )1/p eÐnai kurt sto (0, +∞) ìtan p ≥ 1, kai sumpernate
ìti
m
X
1/p
((x1 + · · · + xm )p + (y1 + · · · + ym )p ) ≤ (xpi + yip )1/p .
i=1
11. DeÐxte ìti h sunrthsh − sin x eÐnai kurt sto [0, π]. Qrhsimopoi¸ntac to
deÐxte ìti h mègisth perÐmetroc n-g¸nou pou eggrfetai sto monadiaÐo kÔklo eÐnai
2n sin(π/n).
Omda G'
13. 'Estw f : I → R jetik koÐlh sunrthsh. DeÐxte ìti h 1/f eÐnai kurt .
14. 'Estw f : [0, 2π] → R kurt sunrthsh. DeÐxte ìti gia kje k ≥ 1,
Z 2π
1
f (x) cos kxdx ≥ 0.
π 0
15. 'Estw f : (a, b) → R suneq c sunrthsh. DeÐxte ìti h f eÐnai kurt an kai mìno
an Z h
1
f (x) ≤ f (x + t)dt
2h −h
gia kje disthma [x − h, x + h] ⊂ (a, b).
16. 'Estw f : (a, b) → R kurt sunrthsh kai c ∈ (a, b). DeÐxte ìti h f eÐnai
paragwgÐsimh sto c an kai mìno an
f (c + h) + f (c − h) − 2f (c)
lim = 0.
h→0+ h