Professional Documents
Culture Documents
(Δημήτρης Μπετσάκος) Εισαγω
(Δημήτρης Μπετσάκος) Εισαγω
Mroc A
Dhmtrioc Mpetskoc
Tmma Majhmatikn
Aristotleio Panepistmio Jessalonkhc
Jessalonkh 2009
ii
iii
iv
Perieqmena
Prlogoc
vii
Pragmatiko arijmo . . . . . . . . . .
Arijmsima kai uperarijmsima snola
Upakoloujec . . . . . . . . . . . . . .
Akoloujec Cauchy . . . . . . . . . . .
Oriako arijmo akoloujac . . . . . .
Askseic . . . . . . . . . . . . . . . . .
Shmeiseic . . . . . . . . . . . . . . . .
Sgklish seirn . . . . . . . . . . . .
Kritria sgklishc seirn . . . . . . .
Anadiatxeic seirn . . . . . . . . . .
Parastseic arijmn . . . . . . . . . .
To snolo kai h sunrthsh to Cantor
Askseic . . . . . . . . . . . . . . . . .
Shmeiseic . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
7
9
12
13
20
26
27
27
29
34
38
42
45
51
53
53
55
56
64
66
71
81
4 Akoloujec sunartsewn
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
4.9
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 83
. 84
. 86
. 90
. 93
. 94
. 96
. 98
. 104
Eisagwgik . . . . . . . . . . . . . . . . . . . . .
To kritrio to Weierstrass . . . . . . . . . . . .
Ta kritria twn Abel kai Dirichlet . . . . . . .
Dunamoseirc . . . . . . . . . . . . . . . . . . . .
Mi suneqc, poujen paragwgsimh sunrthsh
Mi qwroplhrwtik kamplh . . . . . . . . . . .
Askseic . . . . . . . . . . . . . . . . . . . . . . .
Shmeiseic . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Seirc sunartsewn
5.1
5.2
5.3
5.4
5.5
5.6
5.7
5.8
83
vi
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
105
107
110
115
116
118
119
127
129
129
134
137
139
144
Prlogoc
To biblo aut enai na didaktik egqeirdio eisagwgik sthn Pragmatik
Anlush. Apeujnetai kurwc se foithtc pou qoun dh meletsei tic basikc
nnoiec to Diaforiko kai Oloklhrwtiko Logismo. To krio proapaitomeno enai h kal katanhsh to Logismo mic pragmatikc metablhtc
(akoloujec, ria, sunqeia, paraggish, oloklrwsh). Qreizontai epshc
ta entelc basik stoiqea Topologac kai Logismo polln metablhtn.
To biblo periqei xi keflaia. Sto tloc kje kefalaou uprqei meglh
poikila asksewn. Pollc ap autc prorqontai ap ta bibla pou paratjentai sth Bibliografa kai mlista ap th sullog asksewn [3]. Se kje
keflaio, met tic askseic akoloujon Shmeiseic. Autc qoun istorik
kai bibliografik qaraktra. O krioc skopc touc enai na dsoun knhtro
ston anagnsth na yxei se bibla kai rjra gia jmata pou sumplhrnoun
aut pou uprqoun sto parn biblo. Stic shmeiseic uprqei mia plhjra
anaforn; ta kria mwc bohjmat mac kat th suggraf to biblou tan ta pol kal bibla tc Bibliografac. Oi pargrafoi me astersko ()
mporon na paraleifjon se prth angnwsh. Oi askseic me enai pi
dskolec ap tic uploipec.
Meglo mroc to biblou prorqetai ap tic didaktikc shmeiseic pou
qrhsimopoi ta teleutaa qrnia sto Tmma Majhmatikn to A.P.J.. Jlw
kai ap ed na euqaristsw louc touc foithtc kai sunadlfouc pou me tic
parathrseic kai tic diorjseic touc bojhsan sthn beltwsh twn arqikn
shmeisewn.
To biblo enai afierwmno stouc gonec mou touc opoouc euqarist tso
gia thn agph mou gia ta Majhmatik so kai gia th suneq touc strixh
sth majhmatik mou porea.
vii
viii
Keflaio 1
Pardeigma 1.1.3 To N qei elqisto kai min N = 1. Kje mh ken uposnolo to N qei elqisto.
To snolo twn pragmatikn arijmn ikanopoie to paraktw axwma:
Axwma thc plhrthtac: 'Estw E na mh ken, nw fragmno uposnolo to R. To snolo twn nw fragmtwn to E qei elqisto.
Orismc 1.1.4 An E enai na mh keno, nw fragmno snolo, to elqisto
Apdeixh.
Jewrome to snolo E = {x : x E}. To E enai nw fragmno;
stw S = sup(E). Ja dexoume ti to S enai ktw frgma to E . 'Estw
x E . Tte x E . Epeid S = sup(E), isqei x S . 'Ara x S ,
dhlad to S enai ktw frgma to E . Tloc apodeiknoume ti to S enai
to mgisto ktw frgma to E . 'Estw a na ktw frgma tou E . Tte to
a enai nw frgma to E . Epeid S = sup(E), isqei S a, dhlad
a S .
ktw frgma tou (pou uprqei lgw tc Prtashc 1.1.5) onomzetai infimum ktw prac to E kai sumbolzetai me inf E . An to E enai mh
ken all den enai ktw fragmno, orzoume inf E = . Epshc orzoume
inf = +.
Apdeixh.
(a) 'Estw ti to N enai nw fragmno. Tte S := sup N R. O arijmc
S 1 den enai nw frgma to N; ra uprqei m N ttoioc ste S 1 < m,
dhlad S < m + 1 N. 'Atopo.
(b) Ac upojsoume ti h prtash enai yeudc, dhlad nx y gia kje n N.
Tte o arijmc y/x enai nw frgma to N, prgma pou rqetai se antjesh
me to (a).
(
(1.1)
S = sup E
x E, x S,
> 0, a E ttoio ste a > S .
{an }
n=1 E kai {bn }n=1 E ttoiec ste
lim an = sup E
kai
lim bn = inf E.
Apdeixh.
Prta exetzoume thn perptwsh pou to E den enai ktw fragmno. Tte
gia kje n N, uprqei bn E me bn n. 'Ara bn = inf E .
Upojtoume tra ti to E enai ktw fragmno. 'Estw s := inf E R.
Efarmzoume thn Prtash 1.1.11(b) gia = n1 , n N kai brskoume arijmoc
bn E me bn < s + n1 . Epeid s = inf E kai bn E , qoume s bn . 'Ara
s bn < s +
1
, n N.
n
Epomnwc limn bn = s.
H apdeixh gia to sup E enai parmoia.
Apdeixh.
(a) Efarmzontac thn Prtash 1.1.8 gia x = ba kai y = 1, brskoume n N
me n(b a) > 1, dhlad nb na > 1. Epeid oi arijmo na, nb qoun diafor
megalterh to 1, ja uprqei m Z me na < m < nb, dhlad a < m/n < b.
'Ara gia to rht arijm q := m/n isqei q (a, b). Gia na
brome rrhto
sto (a, b) efarmzoume thn Prtash 1.1.8 gia x = (b a) 2 kai y = 1 kai
ergazmaste pwc parapnw.
(b) Efarmzontac to (a) gia b = a + n1 , n N, brskoume mi akolouja
rhtn {qn } me a < qn < a + n1 . Profanc qn a.
(g) H apdeixh enai parmoia me to (b).
xE
xE
1
,
1 + x2
x R.
H f qei mgisto sto 0. 'Ara supR f (x) = maxR f (x) = f (0) = 1. Epeid
f (x) > 0, x R kai limx f (x) = 0, isqei inf E f (x) = 0. H f den qei
elqisto.
x [3, 3]
x3
,
3
isqei
sup
x[3, 3]
f (x) =
kai
inf f (x) =
x[3, 3]
max f (x)
x[3, 3]
= f (3) = 6
2
min f (x) = f (1) = .
3
x[3, 3]
'Ara
inf
x(0,)
x0+
(1.3)
Apdeixh.
Gia kje x E , isqei
lim an = + = sup an .
Apdeixh.
Isqei an an+1 bn+1 bn gia kje n N. Epomnwc, lgw kai to
Jewrmatoc 1.1.20, uprqoun ta ria
a := lim an = sup an R
n
kai
b := lim bn = inf bn R,
n
n=1 n
6
Apdeixh.
'Estw y f (A). Tte to snolo f 1 ({y}) enai mh ken. Epilgoume na
stoiqeo tou x kai orzoume g(y) := x. 'Etsi orzetai mia 1 1 sunrthsh
g : f (A) A. 'Estw A1 := g(f (A)) A. H g enai 1 1 sunrthsh to
f (A) ep to A1 . 'Ara f (A) A1 .
f : Z N me
(
2n, an n 1,
f (n) =
2n + 1, an n 0.
Aj = {aj1 , aj2 , . . . }, j = 1, 2, . . .
Jewrome to snolo X := {(j, i) N N : aji
j=1 Aj }. Orzoume
arijmsimo. 'Omwc
Q=
o
[ nm
:mZ .
n
nN
[0, 1] = {x1 , x2 , . . . }
mi arjmhs tou. Qwrzoume to [0, 1] se tra kleist diastmata sou mkouc:
lo diti h sunrthsh
xa
ba
apeikonzei amfimontima to (a, b) ep to (0, 1).
f (x) =
1.3 Upakoloujec
Orismc 1.3.1 Mi akolouja {bk }
k=1 onomzetai upakolouja tc akoloujac {an }
n=1 an uprqoun fusiko arijmo n1 < n2 < < nk < . . . ttoioi
ste bk = ank gia kje k N.
1
1
} kai { 2n
} enai lec upakolouGia pardeigma, oi akoloujec { n12 }, { n!
jec thc { n1 }. H akolouja {a1 , a2 , a4 , a8 , a16 , . . . } kai oi akoloujec {a2n },
{a2n1 } enai upakoloujec thc {an }.
Jerhma 1.3.3 (Bolzano-Weierstrass) Kje fragmnh akolouja pragmatikn arijmn qei upakolouja pou sugklnei se na pragmatik arijm.
Apdeixh.
'Estw {an } mi fragmnh akolouja. Tte uprqoun arijmo m1 , M1 R
ttoioi ste
m1 an M1 , n N.
Jtoume I1 = [m1 , M1 ]. Diairome to I1 se do isomkh kleist diastmata
m1 + M1
m1 ,
2
kai
m1 + M1
, M1 .
2
I1 I2 I3 Ij . . .
kai parathrome ti h akolouja twn mhkn touc tenei sto 0 kai ti to Ij
periqei peirouc rouc thc {an }.
Ap thc arq tou kibwtismo (Jerhma 1.1.21), uprqei manadik `
1
1
nk := min n nk1 + 1 : an ` , ` +
.
k
k
Tte |ank `| < k1 , k N. 'Ara
lim ank = `.
10
{an }
n=1 = {1, 1, 2, 1, 1, 2, 1, 1, 2, . . . }
qei mi upakolouja, thn {a3n2 }, pou sugklnei sto 1, mi llh upakolouja
pou sugklnei sto 1, kai mi trth upakolouja pou sugklnei sto 2.
Mi akolouja pou den enai fragmnh, asfalc den sugklnei. 'Omwc
mpore na qei upakolouja pou sugklnei. Gia pardeigma h akolouja
(
n, n perittc,
an = 1
n , n rtioc.
den enai fragmnh, all h upakolouja twn rtiwn rwn thc sugklnei sto
0.
Prtash 1.3.5 (a) An mi akolouja den enai nw fragmnh, tte qei up-
Apdeixh.
Ja apodexoume to (a); h apdeixh to (b) enai parmoia. 'Estw loipn ti
h akolouja {an } den enai nw fragmnh. 'Ara o arijmc 1 den enai nw
frgma thc. Ja qei loipn rouc megalterouc to 1. Jtoume
lim ank = +.
11
m, n no , |an am | < .
m, n no , |an am | < 1.
Aut sunepgetai ti eidiktera
n N, |an | M.
Apdeixh.
'Estw > 0. Tte uprqoun ko , k1 N ttoioi ste
k ko , |ank `| <
kai
m, n k1 , |am an | < .
2
Jtoume k2 = max{ko , k1 }. 'Estw k k2 . Tte nk k k2 ko . 'Ara
|ank `| < 2 . Epshc nk , k k2 k1 . Epomnwc |ank ak | < 2 .
Telik loipn, an k k2 , tte
|ak `| |ak ank | + |ank `| < + =
2 2
to opoo shmanei ti limk ak = `.
12
Apdeixh.
Upojtoume prta ti h akolouja {an } sugklnei sto l R. 'Estw > 0.
Uprqei no N ttoio ste
n no , |an `| < .
2
'Estw m, n no . Tte
+ = .
2 2
1 1
1
+ + +
2 3
n
|a2n an | =
1
1
1
1
1
+
+ +
n
= .
2n 2n 1
n+1
2n
2
kje upakolouja thc sugklnei sto `. 'Ara h akolouja qei mno nan oriak
arijm, to `.
1
< `k a.
k
14
n1 = min{n N : an (a 1, a]},
n2 = min{n > n1 : an (a 1/2, a]}
kai epagwgik
Qrh sto jerhma pou mlic apodexame mporome tra na dsoume ton
akloujo orism.
1
2n
lim sup an = 2,
lim inf an = 2.
lim sup qn = +,
lim inf qn = .
x < an }
x + < an }
an < x + }
an < x }
Apdeixh.
Ja apodexoume mno to (i). H apdeixh twn (ii), (iii) kai (iv) enai anlogh.
Gi thn apdeixh to (i) jtoume a = lim sup an .
Upjtoume prta ti x a kai parnoume tuqao > 0. Uprqei upakolouja {ank } me ank a. 'Ara uprqei ko N ttoioc ste gia kje
k ko ,
ank > a x .
'Epetai ti to snolo {n N : x < an } enai peiro.
Antistrfwc, upojtoume ti gia kje > 0 to {n N : x < an } enai
peiro, dhlad peiroi roi thc akoloujac enai megalteroi ap to x. 'Ara
uprqei mi upakolouja {ank } me ank > x, k N. To Jerhma BolzanoWeierstrass sunepgetai ti uprqei upakolouja tc {ank } pou sugklnei se
na arijm `. Tte isqei x ` a. Epeid to enai tuqaoc jetikc
arijmc, petai ti x a.
Apdeixh.
(g) (a): H {an } enai upakolouja to eauto thc. 'Ara an `.
(a) (g): 'Estw ti an ` kai stw > 0. Jewrome mi upakolouja
{ank } tc {an }. Epeid an `, ja uprqei no N ttoio ste |an `| <
gia kje n no . An k no , tte nk k no . 'Ara |ank `| < . 'Ara
ank `.
(g) (b): Epeid to lim sup an enai oriakc arijmc tc {an }, ja uprqei upakolouja {ank } me ank lim sup an . Lgw to (g), ja qoume
lim sup an = `. Paromowc lim inf an = `.
(b) (a): Parathrome prta ti epeid to lim sup an kai to lim inf an enai
pragmatiko arijmo, h akolouja {an } enai fragmnh. 'Estw > 0. Ap to
Jerhma 1.5.12, sumperanoume ti to snolo
{n N : an > ` + } {n N : an < ` }
enai peperasmno. Epomnwc uprqei no N ttoio ste gia kje n no ,
isqei ` < an < ` + . Aut shmanei ti an `.
lim bn .
(ii) Jtoume cn = inf{ak : k n}. Tte lim inf an = sup{cn : n N} =
lim cn .
Apdeixh.
H {bn } enai fjnousa akolouja. 'Ara bn inf bn := b. Prpei na dexoume
ti lim sup an = b.
Uprqei upakolouja {ank } thc {an } me ank lim sup an . 'Omwc ank
bnk kai bnk b. 'Ara
lim sup an = lim ank lim bnk = b.
Gia thn antstrofh anisthta ja efarmsoume to (i) to Jewrmatoc
1.5.12. 'Estw > 0. Epeid bn b, uprqei no N ttoioc ste
(1.4)
bn > b , n no .
Eidiktera
an+1
an+1
lim inf n an lim sup n an lim sup
.
an
an
Apdeixh.
Ja apodexoume mno thn prth anisthta; h trth apodeiknetai me parmoio
trpo kai h mesaa enai profanc. 'Estw
an+1
.
a := lim inf
an
Profanc a 0. An a = 0, tte h anisthta enai profanc. Upojtoume
loipn ti a > 0; (to a mpore na enai kai ). Parnoume arijm b me
0 < b < a. Uprqei N N ttoio ste
ak+1
> b, k N.
ak
18
an
> bnN .
aN
p
n a > b n bN a . 'Ara
n
N
n
n
an lim inf b bN aN = b.
lim inf
lim inf
an+1
n
an a = lim inf
.
n
an+1
=
an
kai
n
an =
'Ara
lim inf
kai
lim sup
1, n perittc,
2n , n rtioc.
2n+1 , n perittc,
1
n rtioc.
2n ,
n perittc,
n rtioc.
1,
2,
an+1
= 0,
an
n
an = 2
lim inf
lim sup
n
an = 1
an+1
= +.
an
1
an+1
= lim 1 +
= 1.
lim
an
n
Sumperanoume ti lim n n = 1.
19
nn
.
n!
an+1
1 n
lim
= lim 1 +
= e.
an
n
Sumperanoume ti
n
lim
= e.
n
n!
1.6 Askseic
1.6.1 Dexte ti kje mh ken uposnolo to N qei elqisto.
Updeixh: Epagwg.
1.6.2 'Estw E na fragmno uposnolo to R me do toulqiston shmea. Dexte
ti:
(a) < inf E < sup E < +.
(b) An to A enai mh ken uposnolo to E , dexte ti
inf E inf A sup A sup E.
ti
sup(A) = inf A,
inf(A) = sup A.
= {x + y : x A, y B},
= {x y : x A, y B},
= {xy : x A, y B}.
Dexte ti
1.6.5 Gi A, B R, dexte ti
sup(A B) = max{sup A, sup B} kai inf(A B) = min{inf A, inf B}.
20
2.
3
2(1)
+ (1)
2+
:nN ,
n
n1
2n
cos
:nN .
n+1
3
n(n+1)
2
n+1
1.6.13 Brete to sup A kai to inf A pou A enai to snolo twn arijmn to (0, 1)
oi opooi qoun dekadik parstash po qei mno ta yhfa 0 kai 1. Brete epshc
ta max A kai min A efson uprqoun.
1.6.14 Brete ta sup A, inf A kai ta max A, min A (efson uprqoun), pou
A=
nm
n
o
: m, n N, m < 2n .
1.6.15 Upologste ta
sup{x R : x2 + x + 1 > 0},
inf{x + x1 : x > 0},
1
21
A =
B
m 4n
+
: m, n N ,
n
m
mn
,
:
m
Z,
n
N
4m2 + n2
m
: m, n N ,
m+n
m
: m Z, n N ,
|m| + n
mn
: m, n N .
1+m+n
jmsimo.
snolo lwn twn uposunlwn to A. Dexte ti kanna snolo den enai isodnamo
me to dunamosnol tou.
1.6.30 Dexte ti an mi akolouja {an } sugklnei sto ` R, tte kje upakolouja thc sugklnei sto `.
1.6.31 'Estw {an } mi akolouja. Dexte ti an ` an kai mno an oi upakoloujec {a2k } kai {a2k1 } sugklnoun sto ` R. (` R {+, }).
1.6.32 Dexte ti h akolouja
an =
arctan 1 arctan 2
arctan n
+
+ +
2
2
2
2n
enai Cauchy.
kai
ti
23
1.6.39 Apodexte to Jerhma 1.5.14 qwrc thn upjesh ti h {an } enai fragmnh.
1.6.40 Dexte ti mi akolouja {an } sugklnei (se arijm se na ap ta )
an kai mno an lim sup an = lim inf an .
1.6.41 Brete to antero kai to kattero
rio twn paraktw akoloujin:
n
(a) {2(1)n +
1
n! },
(b) {3 +
(1)
n
}.
1.6.42 Brete to snolo twn oriakn arijmn gia kajemi ap tic paraktw
akoloujec.
p
n
4(1)n + 2,
an =
(1 (1)n )2n + 1
bn =
,
2n + 3
(1 + cos n) log(3n) + log n
cn =
,
log(2n)
n n
.
dn =
cos
3
1.6.43 Upologste ta lim sup kai lim inf gia kajemi ap tic paraktw akoloujec:
an
bn
=
=
cn
dn
en
(1)n n,
n
n(1) n ,
n
,
1 + n sin
n2
1
n
1+
(1)n + sin
,
n
4
p
n
1 + 2n(1)n .
1.6.44 Gia mi akolouja {an }, oi upakoloujec {a2k }, {a2k+1 }, kai {a3k } sugklnoun. Dexte ti h {an } sugklnei.
1.6.45 'Estw {an } fragmnh akolouja kai stw x R. Dexte ti lim sup an = x
an kai mno an gia kje > 0, peiroi roi thc akoloujac enai megalteroi ap
x kai peperasmnou pljouc roi enai megalteroi ap x + . Diatupste kai
apodexte anlogh prtash gia to kattero rio.
1.6.46 An to limn an uprqei (wc pragmatikc arijmc), dexte ti h akolouja
{an } enai fragmnh kai isqei inf n an limn an sup an .
24
a1 + a2 + + an
.
n
1.6.55 ?
Dexte ti an kje upakolouja {ank } mic akoloujac {an } qei upakolouja {ankj } sugklnousa sto `, tte an `.
1.6.57 ? Dnetai mi akolouja {an } pou qei thn idithta an+1 an 0. Upoj-
1.6.60 O arijmc x R enai oriakc arijmc thc akoloujac {an } an kai mno
an gia kje > 0 kai gia kje m N, uprqei n m ttoio ste |an x| < .
1.7 Shmeiseic
Mi pi plrhc eisagwg stouc pragmatikoc arijmoc mpore na breje sta bibla
[1], [4], [5], [9]. H kataskeu to R me tic tomc Dedekind uprqei sta bibla [4] kai
[7].
Ta arijmsima kai uperarijmsima snola eisqjhkan ap ton jemeliwt thc
Jewrac Sunlwn, G.Cantor. Perisstera sqetik jewrmata uprqoun sta bibla
[2], [8], kajc kai sto biblo [A.N.Kolmogorov and S.V.Fomin, Introductory Real
Analysis, Dover, 1975].
Oi nnoiec thc akoloujac kai thc upakoloujac pazoun pol shmantik rlo
se louc touc kldouc thc Anlushc. Gia perisstera paradegmata kai askseic parapmpoume sta [7], [9]. O R.M.Dudley [Real Analysis and Probability,
Wadsworth, 1989] shmeinei ti apdeixh to Jewrmatoc Bolzano-Weierstrass de
brjhke sta grapt to Bolzano. Sta bibla Topologac o anagnsthc mpore na
bre genikterec diatupseic to Jewrmatoc auto; gia pardeigma: Kje akolouja se na sumpag metrik qro qei sugklnousa upakolouja.
26
Keflaio 2
sn = a1 + a2 + + an .
H akolouja
{sn } onomzetai akolouja twn meriknPajroismtwn tc
P
seirc
a
n=1 n . An sn s R, tte lme ti h seir
n=1 an sugklnei
ston arijm s kai grfoume
s=
an .
n=1
O arijmc s onomzetai
P jroisma thc seirc. An sn + sn ,
tte lme ti h seir
n=1 an sugklnei sto + sto kai grfoume
an = +
n=1
P
mi seir
n=1 an sugklnei, tte ekola apodeiknetai ti lim an = 0. To
antstrofo den isqei. Efarmzontac to kritrio Cauchy (Jerhma 1.4.4)
sthn akolouja {sn } prokptei mesa to akloujo jerhma.
n=1 an
m
X
ak < , m n no .
k=n+1
sugklnei
an kai mno an h akolouja twn merikn ajroismtwn {sn } enai fragmnh.
n=1 an
Pardeigma
2.1.4 (H gewmetrik seir) Gi x R jewrome th seir
P
n
n=0 x ;
dhlad an = xn , n = 0, 1, . . . . Isqei
(1 x)
n
X
k=0
xk =
n
X
k=0
'Ara
(
2
sn = 1 + x + x + + x =
1xn+1
1x ,
n + 1,
x 6= 1,
x = 1.
X
1
xn =
, 1 < x < 1.
1x
n=0
Orismc
2.1.5 Lme ti mi seir
P
n=1 |an |
sugklnei.
n=1 an
Apdeixh.
Jtoume
S(x) :=
f,
x [m, )
kai
sn =
n
X
f (k),
n m.
k=m
f = lim S(x),
x
m
P
n=m f (n) sugklnei
sumperanoume
ti h seir
R
oloklrwma m f (x) dx sugklnei.
1
, x [1, )
xp
P 1
sto kritrio to oloklhrmatoc ekola brskoume ti h h seir
n=1 np
sugklnei an kai mno an p > 1. To apotlesma aut prokptei kai ap to
kritrio sumpknwshc to Cauchy (bl. 'Askhsh 2.6.23).
29
1
,
x log x(log log x)p
x [3, ),
log log n
f (x) dx =
3
log log 3
1
du.
up
X
n=3
1
n log n(log log n)p
P
Jerhma 2.2.4 (Kritrio sgkrishc) Dnontai oi seirc
n=1 an kai
P
b
me
b
>
0,
n
N
.
n
n
n=1
(a) An uprqoun
M > 0 kai no N ttoia steP
gia kje n no , |an | M bn
P
kai an h seir n=1 bn sugklnei, tte h seir
n=1 an sugklnei apoltwc.
(b) An uprqoun
>
0
kai
n
N
ttoia
ste
0
an bn , n no kai an
o
P
P
h seir n=1 an apoklnei, tte h seir n=1 bn apoklnei.
Apdeixh.
Jewrome ta merik ajrosmata
qn =
n
X
k=no
ak ,
sn =
n
X
|ak |,
k=no
tn =
n
X
bk , n N, n no .
k=no
P
(a) Ap thn upjesh isqei sn M tn , n no . An h seir
n=1 bn
sugklnei, tte h akolouja {tn } enai fragmnh. 'Ara kai h {sn } P
enai fragmnh. H {sn } enai kai axousa; ra
Epomnwc h seir
n=no |an |
Psugklnei.
sugklnei.
P Profanc kai h seir n=1 |an | sugklnei, to opoo shmanei ti
h seir
n sugklnei apoltwc.
n=1 aP
(b) An h seir
n=1 an apoklnei, tte h {qn } den enai nw fragmnh. Ap
thn upjesh, 0 an bn , n no ; ra kai h {tn } den enai nw fragmnh,
ra ote kai sugklnousa.
30
X
cos nx
n=1
n2
P
1
kai h seir
n=1 n2
n2
kai
X
sin nx
n=1
n2
x R, diti
1
n2
kai
sin nx
1
2 2,
n
n
n N, x R,
sugklnei.
Apdeixh.
(a) Efson lim sup abnn R, mporome na brome M R ttoio ste lim sup abnn <
M . Tte (bl. Jerhma 1.5.12) uprqei no N ttoio ste
an
< M, n no .
bn
P
P
Ap to kritrio sgkrishc, an h
n=1 an sugkn=1 bn sugklnei, tte h
lnei.
(b) Efson lim inf abnn > 0, mporome na brome > 0 ttoio ste 0 < <
lim inf abnn . Tte (bl. Jerhma 1.5.12) uprqei no N ttoio ste
an
> , n no .
bn
P
P
Ap to kritrio sgkrishc, an h
n=1 bn apoklnei, tte h
n=1 an apoklnei.
31
X
n=1
n+1
2n2 5
n+1
an = 2
2n 5
kai
Epeid
an
1
lim
=
bn
2
h seir
n=1 an
kai
bn =
1
n3/2
X
1
< ,
3/2
n
n=1
sugklnei.
X
n=1
n+1
2n 5
1
n+1
kai bn = .
an =
2n 5
n
Jerhma 2.2.9
p (Kritrio tc rzac) Dnetai h seir
n
(a) An lim sup p
|an | < 1, h seir sugklnei apoltwc.
n
(b) An lim sup |an | > 1, h seir apoklnei.
n=1 an .
Apdeixh. p
p
(a) An lim sup n |an | < 1, mporome na dialxoume b ttoio ste lim sup n |an | <
b < 1. Ap to Jerhma 1.5.12, uprqei no N ttoio ste
p
n
|an | < b, n no .
P n
'Ara |an | < bn , Pn no . H seir
n=1 b sugklnei. Ap to kritrio
n=1 an apoklnei.
32
(a) An
n=1 an .
n+1
lim sup
< 1,
an
n+1
lim inf
> 1,
an
h seir apoklnei.
Apdeixh.
Ap thn Prtash 1.5.15 qoume
a
p
p
n+1
n+1
lim inf
lim inf n |an | lim sup n |an | lim sup
.
an
an
'Etsi to kritrio to lgou enai mesh sunpeia to krithrou thc rzac.
1
2k
kai a2k =
1
,
3k
k N. 'Ara
2k
= 0,
k 3k
r
1
2k 1
lim
= ,
k
k
3
3
r
1
2k1 1
= lim
= ,
k
k
2
2
k
3
= lim k+1 = +.
k 2
an+1
=
an
lim inf n an =
lim inf
lim sup
n
an
lim sup
an+1
an
lim
ekolo sthn efarmog tou. 'Omwc to kritrio thc rzac enai isqurtero:
pote to kritrio to lgou dnei sgklish, tte kai to kritrio thc rzac
dnei sgklish; pote to kritrio thc rzac den odhge se sumprasma, ote
to kritrio to lgou odhge se sumprasma; (bl. apdeixh to krithrou to
lgou). Tloc, uprqoun periptseic pou to kritrio tou lgou den odhge
se sumprasma , en to kritrio thc rzac dnei sgklish; bl. Pardeigma
2.2.11.
33
(1)n+1 an
n=1
sugklnei.
Apdeixh.
Parathrome ti gia n N,
s2n = a1 a2 + a3 a2n
= a1 [(a2 a3 ) + + (a2n2 a2n1 ) + a2n ]
a1 ,
dhlad h {s2n } enai nw fragmnh. Jtoume s := lim s2n . Tte
bn = ak(n) , n N.
An h {bn }
n=1 enai anaditaxh
P tc {n }n=1 tte h seir
anaditaxh thc seirc n=1 an
34
n=1 bn
onomzetai
1 1 1 1 1 1 1 1 1
1, , , , , , , , , , . . .
2 4 3 6 8 5 10 12 7
enai kai oi do anadiatxeic thc akoloujac { n1 }.
1 1 1 1
+ + +...
2 3 4 5
1 1 1 1 1 1
+ + + ...
2 4 3 6 8 5
1
1
1 1
1
1
1
1
3n = (1 ) + ( ) + + (
)
2
4
3 6
8
2n 1 4n 2
4n
1
1
1 1 1 1
+ + +
=
2 4 6 8
4n 2 4n
1
1 1 1
1
1
=
1 + + +
2
2 3 4
2n 1 2n
1
=
s2n .
2
'Ara lim 3n = 21 lim s2n = 12 s.
Me parmoio trpo apodeiknetai ti
1
lim 3n1 = lim 3n2 = lim 3n = s.
2
Sunepc (giat?) h seir (2.1) sugklnei kai mlista to jroism thc enai
1
2 s 6= s.
35
sugklnei apoltwc, tte lec oi anadiatxeic thc sugklnoun ston dio arijm.
n=1 an
Apdeixh.
P
P
'Estw sn ta merik ajrosmata thc seirc
n=1 an kai stw
n=1 ak(n) mi
anaditax thc me merik ajrosmata n .
PmAp to kritrio to Cauchy uprqei no N ttoio ste gia m > n no ,
k=n+1 |ak | < . Parnoume rio gia m kai prokptei
(2.2)
|ak | < ,
n no .
k=n+1
Efson h {sn } sugklnei, kai h {n } ja sugklnei kai mlista sto dio rio.
X
bn = s.
n=1
36
Apdeixh.
'Estw s R. Upojtoume ti sP 0. H perptwsh s < 0 antimetwpzetai me
parmoio trpo. Epeid h seir
n=1 an den sugklnei apoltwc, h akolouja
{an } qei peirouc jetikoc kai peirouc arnhtikoc rouc. 'Estw {pn } h
akolouja twn jetikn rwn kai stw {qn } h akolouja
Ptwn arnhtikn rwn
thc {an } me th seir pou emfanzontai. Epeid h seir
n=1 an sugklnei kai
oi {pn }, {qn } enai upakoloujec thc {an }, qoume
(2.3)
lim pn = lim qn = 0.
Ja apodexoume tra ti
(2.4)
pn = .
n=1
P
Ac upojsoume antijtwc ti
n=1 pn = p < . Diakrnoume do periptseic:
P
Perptwsh 1:
n=1 qn = q R.
'Estw > 0. Uprqei no N ttoio ste
pk <
k=no +1
kai
k=no +1
|qk | < .
2
|ak |
|ak |
pk +
Ap to kritrio sgklishc
to Cauchy, h seir
P
Perptwsh 2:
q
=
.
n=1 n
'Estw M > 0. Tte uprqei N N ttoio ste
n N,
n
X
n=1 |an |
qk < M p.
k=1
|qk | < .
k=no +1
k=no +1
k=n1 +1
sugklnei. 'Atopo.
X
(2.5)
qn = .
n=1
P
Kataskeuzoume tra thn anaditaxh
n=1 bn wc exc: Xekinome me
ton ro p1 kai prosjtoume tsouc rouc thc {pn } souc apaitontai gia na
xepersoume ton arijm s. Sth sunqeia prosjtoume tsouc (arnhtikoc)
rouc thc {qn } souc apaitontai ste to jroisma na gnei mikrtero to
s. Aut mporome na to petqoume lgw tn (2.4) kai (2.5). Met prosjtoume rouc thc {pn } ste na xanaxepersoume to s. 'Ustera prosjtoume
pli rouc thc {qn } ste to jroisma
P na xanagnei mikrtero to s k.o.k..
'Etsi dhmiourgome mia anaditaxh n=1 bn me merik ajrosmata n . Enai
profanc ti
|n s| max{pnk , |qnm |},
pou {pnk }, {qnm } enai upakoloujec twn {pn }, {qn } antistoqwc. Lgw
thc (2.3), isqei lim n = s.
{kn }
n=1 isqei 0 kn p 1, tte h seir
X
kn
n=1
pn
Apdeixh.
Epeid o genikc roc thc seirc enai mh arnhtikc, arke na dexoume ti o
arijmc 1 enai nw frgma thc akoloujac twn merikn ajroismtwn. Prgmati
N
N
X
X
1
kn X p 1
(p 1)
= 1.
n
n
p
p
pn
n=1
n=1
n=1
X
kn
x=
,
pn
n=1
k1 k2
+ 2 < x.
p
p
Tte isqei 0 k2 p 1 kai
k1 k2
k1 k2 + 1
+ 2 <x
+
.
p
p
p
p2
Suneqzontac tsi prokptei mia akolouja akerawn {kn } ttoia ste 0
kn p 1 kai
(2.6)
kn
k1 k2
kn + 1
k1 k2
+ 2 + + n < x
+ 2 + +
, n N.
p
p
p
p
p
pn
Epomnwc
(2.7)
0<x
n
X
kj
j=1
pj
39
1
, n N.
pn
X
kn
x=
n=1
pn
x=
X
an
n=1
X
bn
=
n
p
pn
n=1
a1 a2
am
a1 a2
am + 1
+ 2 + + m < x
+ 2 + +
.
p
p
p
p
p
pm
kai
(2.11)
b1
b2
b2
bm
b1
bm + 1
+ 2 + + m < x
+ 2 + +
.
p
p
p
p
p
pm
'Ara
x>
a1 a2
b2
am
b1
bm + 1
+ 2 + + m
+ 2 + +
x.
p
p
p
p
p
pm
'Atopo.
x=
X
kn
n=1
pn
X
5
4
9
1
=
=
+
,
2
10
10
10n
n=2
x=
k1 k2
kn
+ 2 + ... n,
p
p
p
x=
k1 k2
kn
+ 2 + ... n,
p
p
p
b = 0.b1 b2 . . . ,
41
pou
(
3, an akk 6= 3,
bk =
5, an akk = 3.
1
2
1 2
,
= 0,
,1 .
I1 = I0 \
3 3
3
3
Afairome ap ta diastmata [0, 13 ] kai [ 23 , 1] to mesao touc anoikt disthma
kai prokptei to snolo
2 3
6 7
8
1
,
,
,1 .
I2 = 0,
9
9 9
9 9
9
Suneqzontac aut th diadikasa prokptei mi akolouja kleistn sunlwn
In , n = 0, 1, 2, . . . ttoia ste
(a) I0 I1 I2 . . . .
(b) To In enai nwsh 2n kleistn diasthmtwn mkouc 31n to kajna.
In .
n=1
Jerhma 2.5.3 To snolo [0, 1]\C enai nwsh arijmsimou pljouc, xnwn
an do, anoiktn diasthmtwn sunoliko mkouc 1.
Apdeixh.
Jtoume Jn = In1 \ In , n = 1, 2, . . . , dhlad to Jn enai to snolo po
afairome ap to In1 ste na prokyei to In . To Jn enai nwsh 2n1
xnwn an do, anoiktn mesawn diasthmtwn. Kajna ap aut qei mkoc
1
3n . 'Etsi isqei
[0, 1] \ In = J1 J2 Jn .
'Ara
[0, 1] \ C = [0, 1] \
!
In
n=1
([0, 1] \ In )
n=1
(J1 J2 Jn ) =
n=1
Jn .
n=1
X
2n1
1 X 2 n1 1 1
=
= 1.
=
3n
3
3
3 1 32
n=1
n=1
Meletome tra tic triadikc parastseic twn stoiqewn to C . Brskoume prta tic triadikc parastseic twn akrawn shmewn to I1 = [0, 13 ]
[ 32 , 1].
0
1
3
2
3
1
= 0.3 000 . . .
= 0.3 1 = 0.3 0222 . . .
= 0.3 2 = 0.3 1222 . . .
= 1.3 00 = 0.3 222 . . .
43
Jerhma 2.5.4 'Enac arijmc x [0, 1] ankei sto snolo C an kai mno
k1 k2
...
2 2
Geniktera h f parnei thn dia tim sta kra kje mesaou anoikto diastmatoc pou afairetai kat thn kataskeu to C . Prgmati, ta afairomena
diastmata enai thc morfc
am
a1
0111 . . .
f (0.3 a1 a2 . . . am 1) = f (0.3 a1 a2 . . . am 0222 . . . ) = 0.2 . . .
2
2
a1
am
= 0.2 . . .
1
2
2
= f (0.3 a1 a2 . . . am 2).
Epektenoume tra thn f sto [0, 1]: 'Estw x [0, 1] \ C . Tte to x
ankei se na ap ta afairomena mesaa diastmata (a, b). 'Opwc edame
f (a) = f (b). Jtoume f (x) := f (a) = f (b).
2.6 Askseic
2.6.1 Dexte ti an h seir
P
n=1
1
.
n(n
+ 1)
n=1
P
c R. Dexte ti oi seirc
X
n=1
can = c
X
n=1
n=1
an ,
can kai
n=1 (an
(an + bn ) =
n=1
X
n=1
an +
bn .
n=1
(1)n
n=2 n log n ,
(b)
(2)n n2
n=1 (n+2)! ,
(g)
n=1
(1)n log n
.
n
2.6.8 Brete do akoloujec jetikn arijmn {an } kai {bn } ttoiec ste
p
2.6.9 Brete do akoloujec jetikn arijmn {an } kai {bn } ttoiec ste
bn+1
an+1
= lim sup
=1
an
bn
P
P
kai h n=1 an sugklnei en h n=1 bn apoklnei.
lim sup
kai oi seirc
a2n ,
n=1
an
,
1
+
an
n=1
a2n
,
1 + a2n
n=1
P
n=1
an sugklnei, tte
X
an
n
n=1
an an+1 ,
n=1
sugklnoun.
n2
n2 + 1
,
n2 + n + 1
n=1
X
1
1
log 1 +
,
n
n
n=1
X
1
log cos
.
n
n=1
n(n+1)
X
n
,
(b)
n+1
n=1
X
1
n+1
log
(e)
,
n1
n
n=2
46
(c)
( n n 1)2 ,
n=1
(f)
1
,
(log n)log n
n=2
lnei.
P
n=1
2.6.15 Dnetai
P h seir jetikn rwn
kai h seir
n=1
n=1
an < .
P
n=1
nan apok-
(a)
(b)
(1)n
n=2
(log n)a
,
n
(1)n sin
(c)
n=1
nn
,
an2
n=1
(d)
(e)
(1)n
n=1
a R,
a
,
n
a R,
a R,
a 6= 0,
(log n)log n
,
na
a > 0.
(1)n
n=1
(log n)a
,
nb
n=1
(1)n
(log n)log n
.
nb
X
n=1
(1)n+1
a1 + a2 + + an
.
n
47
(1)n+1 an
n=1
sugklnei. Dexte epiplon ti, an sn enai ta merik ajrosmata thc seirc kai s to
jroism thc, tte
|s sn | an+1 , n N.
1 1
1
+ + + log n.
2 3
n
2.6.22 (sunqeia thc 'Askhshc 2.6.21). 'Estw hn ta merik ajrosmata thc seirc
(1)n1
n
X
(1)n1
= log 2.
n
n=1
n=1
1
n=1 n .
to Cauchy) Upojtoume ti a1 a2 a3
2.6.23 (Kritrio sumpknwshc
P
0. Tte h seir n=1 an sugklnei an kai mno an h seir
k=0
sugklnei.
P
n=1
an ,
n=1 bn
bn+1
an+1
,
an
bn
Dexte ti an h
n=1 bn
48
n no .
P
n=1
an sugklnei.
X
an
n=1
apoklnei.
(b) H seir
sn
X
an
s2
n=1 n
sugklnei.
f 0 (n)
kai
n=1
X
f 0 (n)
f (n)
n=1
n
X
Z
f (k) kai In =
k=1
f (x) dx.
1
Dexte ti h akolouja {Sn In } enai fjnousa kai to ri thc ankei sto disthma
[0, f (1)].
2.6.28 Dexte ti an mi seir sugklnei apoltwc, tte kje anaditax thc sugklnei apoltwc.
2.6.29 Anadiatssoume peperasmnou pljouc rouc mic seirc. Exetste ti
sumbanei me th sgklish thn apklish thc anaditaxhc.
2.6.30 Apodexte thn akloujh genkeush tou Jewrmatoc 2.3.5: 'Estw
n=1 an
mi seir po sugklnei
all
den
sugklnei
apoltwc.
An
+
, tte
P
uprqei anaditaxh n=1 a0n me merik ajrosmata {s0n } ttoia ste
p-adik parstash.
49
m
pn
to R).
1
4
2.7 Shmeiseic
Uprqei mi plhjra krithrwn sgklishc kai apklishc seirn. Poll ap aut
uprqoun sto [5, Kef. 7] kai sto biblo [K.Knopp, Theory and Application of
Infinite Series]. Gia th sqetik nnoia to apeiroginomnou, parapmpoume sta [3],
[5]. Perisstera gia anadiatxeic seirn uprqoun sta [1] kai [5]. To [5] periqei
epshc perissterec leptomreiec gia tic parastseic arijmn.
To snolo to Cantor enai na ap ta shmantiktera snola sthn Pragmatik
Anlush. Prwtoemfansthke to 1875 se mi ergasa to H.Smith en o Cantor
to melthse lgo argtera, to 1883; bl. [2, sel. 35]. Perisstera gi to snolo
to Cantor kai lla snola to diou tpou uprqoun sta bibla [2], [5] kai sta
rjra [W.A.Coppel, An interesting Cantor set. Amer. Math. Monthly 90 (1983),
456-460] kai [J.F.Randolph, Distances between points of the Cantor set. Amer.
Math. Monthly 47 (1940), 549-551]. Gia th sunrthsh to Cantor parapmpoume
sta rjra [D.R.Chalice, A characterization of the Cantor function. Amer. Math.
Monthly 98 (1991), 255-258], [E.Hille and J.D.Tamarkin, Remarks on a known
example of a monotone continuous function. Amer. Math. Monthly 36 (1929),
255-264], [O.Dovgoshey, O.Martio, M.Vuorinen, The Cantor function, Expo. Math.
24 (2006), 1-37].
51
52
Keflaio 3
Diforec klseic
sunartsewn
3.1 Omoimorfa suneqec sunartseic
Orismc 3.1.1 'Estw A R. Mi sunrthsh f : A R onomzetai
1 0 en
n n + 1
1
f 1 f
= 1, n N.
n
n+1
'Ara uprqei > 0 ( = 1) ttoio ste gia kje > 0 mporome na brome
zegoc shmewn x, y (0, 1) (jtoume x = 1/n, y = 1/(n + 1) gia arket
53
Apdeixh.
'Estw > 0. Lgw sunqeiac, gia kje x K , uprqei x > 0 ttoio ste:
an y K kai |y x| < x , tte |f (x) f (y)| < . Isqei
[
x
x
x ,x +
.
K
2
2
xK
m
[
xj
x j
,x +
.
K
xj
2
2
j=1
Jtoume
1
min{x1 , x2 , . . . , xm }.
2
Parnoume tra x, y K me |x y| < . Tte |x xj | < xj /2 gia kpoio
j {1, 2, . . . , m}. Epomnwc
=
|y xj | |x y| + |x xj | < +
xj
xj .
2
'Ara
Orismc 3.1.5 'Estw A R. Mi sunrthsh f : A R onomzetai Lipschitz sto E A an uprqei K > 0 ttoio ste
(3.3)
x, y E,
x, x [0, ), enai omoimorfa
suneqc sto [0, ). Aut prokptei ekola ap thn anisthta
p
| x y| |x y|, x, y 0.
K > 0 ttoio ste |f (x)| K |x| gia kje x 0, dhlad h sunrthsh x/x
(a, b), tte ta pleurik ria f (c+) kai f (c) uprqoun kai isqei f (c)
f (c) f (c+).
Apdeixh.
Upojtoume ti h f enai axousa; (allic ergazmaste me thn f ). O
arijmc f (c) enai nw frgma to sunlou {f (t) : t (a, c)}. Jtoume
s = sup{f (t) : t (a, c)} kai qoume s f (c).
'Estw > 0. Uprqei xo (a, c) ttoio ste s < f (xo ) s. An
xo < x < c, lgw monotonac,
t(c,b)
55
Apdeixh.
Upojtoume ti h f enai axousa; (allic ergazmaste me thn f ). Ap
to Jerhma 3.2.2, gia kje c (a, b), ta pleurik ria f (c) kai f (c+)
uprqoun kai isqei f (c) f (c) f (c+). Epomnwc an h f qei asunqeia
sto c, tte aut enai ete apaleyimh ete asunqeia lmatoc. H perptwsh
tc apaleyimhc asunqeiac apokleetai, diti an f (c) = f (c+) tte to rio
limxc f (x) uprqei kai enai so me f (c), dhlad h f enai suneqc sto c.
'Ara h f qei asunqeia lmatoc sto c.
An h f qei asunqeia sta shmea c, d me c < d, tte ta diastmata
(f (c), f (c+)), (f (d), f (d+)) enai mh ken kai xna, ra to kajna periqei
na rht. 'Etsi mporome na orsoume mia 1-1 sunarthsh ap to snolo
twn shmewn asunqeiac thc f sto Q. Aut sunepgetai ti to snolo twn
shmewn asunqeiac thc f enai to pol arijmsimo.
Apdeixh.
Upojtoume ti h f enai axousa. An h f qei asunqeia sto shmeo xo
[a, b], tte qei asunqeia lmatoc. 'Ara to disthma (f (xo ), f (xo +)) den
periqetai sto snolo timn thc f an kai enai uposnolo tou [c, d]. 'Atopo,
diti h f enai ep.
enai mi diamrish to [a, b], h kmansh thc f pou antistoiqe sth diamrish
P enai o arijmc
n
X
V (f, P ) =
|f (tk ) f (tk1 )|.
k=1
V (f, P ) =
k6=j+1
k6=j+1
= V (f, Q).
Suneqzontac epagwgik mporome na apodexoume ti an P Q, tte V (f, P )
V (f, Q).
H P = {a, b} enai h mikrterh diamrish tou [a, b]. An Q enai mi opoiadpote llh, ap ta parapnw sumperanoume ti
(3.4)
Orismc 3.3.2 H olik kmansh thc f sto [a, b] enai o epektetamnoc jetikc
arijmc
n
X
[f (tk ) f (tk1 )] = f (b) f (a).
k=1
Apdeixh.
'Estw x [a, b]. Jewrome th diamrish P = {a, x, b}. Tte
1
x
gia x 6= 0 kai
f (0) = 0 den enai sunrthsh fragmnhc kmanshc diti den enai fragmnh.
V (f + g, P ) =
=
n
X
k=1
n
X
k=1
n
X
|f (tk ) f (tk1 )| +
k=1
n
X
|g(tk ) g(tk1 )|
k=1
Q := (P {c}) [a, c]
kai
H Q enai diamrish tou [a, c] kai h R enai diamrish tou [c, b]. 'Ara
f enai fjnousa sto [2, 0] kai axousa sto [0, 1]. 'Ara
1
0
V2
f = V2
f + V01 f = f (2) f (0) + f (1) f (0) = 3
V (f, P ) =
n
X
|f (tk )f (tk1 )| =
k=1
n
X
|f (k )|(tk tk1 ) M
k=1
k=1
59
Pardeigma 3.3.9
(
0,
x=0
f (x) =
1
2
x sin x , x (0, 1/].
Me qrsh to orismo tc paraggou, ekola apodeiknetai ti h f enai
paragwgsimh sto 0 kai f 0 (0) = 0. 'Etsi h f enai paragwgsimh sto [0, 1/]
kai x (0, 1/],
Pardeigma 3.3.10
(
f (x) =
0,
1,
x [0, 1]
x (1, 2].
Pardeigma 3.3.11
(
x,
x [0, 1]
f (x) =
x, x (1, 2].
H f enai axousa sto [0, 1] kai fjnousa sto [1, 2]. 'Ara
Pardeigma 3.3.12
(
x,
x [0, 1]
f (x) =
x 2,
x (1, 2].
Koitntac th grafik parstash tc f manteoume ti V02 f = 4. Ja dexoume
ti h eikasa aut enai alhjc. 'Estw 0 < < 1/2. Jewrome th diamrish
P = {0, 1, 1 + , 2} to [0, 2]. Isqei
vf (x) = Vax f,
x [a, b],
me th smbash Vaa f = 0.
Pardeigma 3.3.14 Ja brome th sunrthsh olikc kmanshc thc sunrthshc f (x) = cos x, x [, ]. 'Estw x [, 0]. Tte
x
V
f = f (x) f () = cos x + 1.
Gia x [0, ],
x
0
V
f = V
f + V0x f = f (0) f () + f (0) f (x) = 3 cos x.
(
vf (x) =
cos x + 1, x [, 0],
3 cos x, x [0, ].
Apdeixh.
'Estw x < y sto [a, b]. Ap thn Prtash 3.3.6(st),
Apdeixh.
An f BV [a, b], tte f = vf (vf f ) kai lgw to Jewrmatoc 3.3.15 oi
sunartseic vf kai vf f enai axousec.
Antistrfwc, upojtoume ti f = f1 f2 , pou f1 , f2 axousec sunartseic. Tte f1 , f2 BV [a, b] (bl. Pardeigma 3.3.3). 'Ara f BV [a, b] lgw
thc Prtashc 3.3.6(g).
Prisma 3.3.17 Kje sunrthsh f fragmnhc kmanshc qei to pol arijmsimou pljouc asunqeiec. Kje asunqeia tc f enai ete apaleyimh
ete asunqeia lmatoc.
opoa den enai fragmnhc kmanshc epeid den enai fragmnh. Ja dome tra
mi fragmnh sunrthsh pou den enai fragmnhc kmanshc. H sunrthsh
f : [0, 1] R orzetai wc exc: enai suneqc, ikanopoie tic isthtec f (0) = 0,
f (1/n) = (1)n /n gia n N, kai se kajna ap ta diastmata [1/(n +
1), 1/n] h grafik thc parstash enai na eujgrammo tmma. Jewrome thn
akolouja twn diamersewn
1
1
1
, . . . , , 1 , n N.
Pn = 0, ,
n n1
2
Tte
V (f, Pn ) =
=
n
1 X (1)k
(1)k1
+
k k1
n
k=2
X
n
n
1 X 1
1
1
+
+
>
.
n
k k1
k
k=2
62
k=1
f (x) =
x sin(1/x), x (0, 1]
0,
x = 0.
V (f, P )
n
X
k=1
4
.
(2k + 1)
4
, tan
(2k + 1)
n .
'Ara f
/ BV [0, 1].
L(F, P ) =
n
X
k=1
kF (tk )F (tk1 )k =
n p
X
k=1
Apdeixh.
'Estw P = {a = t0 < t1 < < tn = b} mi diamrish tou [a, b]. Gia kje
k {1, 2, . . . , n}, isqei
p
|x(tk ) x(tk1 )|
(x(tk ) x(tk1 ))2 + (y(tk ) y(tk1 ))2
|y(tk ) y(tk1 )|
p
(x(tk ) x(tk1 ))2 + (y(tk ) y(tk1 ))2
(3.6)
3.4
tte
j=1
n
X
j=1
Prtash 3.4.2 Kje sunrthsh Lipschitz sto [a, b] enai apluta suneqc
sto [a, b].
Apdeixh.
'Estw f sunrthsh Lipschitz sto [a, b] me stajer K . Jewrome xna upodiastmata (a1 , b1 ), (a2 , b2 ), . . . , (an , bn ) to [a, b]. Tte
n
X
|f (bj ) f (aj )|
j=1
n
X
K (bj aj ).
j=1
Pn
Pn
j=1 |f (bj )
Apdeixh.
Ja apodexoume mno tn teleutao isqurism, oi uploipoi afnontai gia
skhsh. H |f | wc suneqc sto [a, b] qei mgisto Mf 0 kai paromowc h |g|
qei mgisto Mg sto [a, b]. H |g| wc suneqc kai poujen mhdenik sto [a, b]
qei elqisto m > 0.
'Estw > 0. Epeid oi f, g enai apluta suneqec, gia aut to uprqoun
katllhla f kai g smfwna me ton orism 3.4.1. Jtoume = min{f , g }.
Jewrome xna an do diastmata (a1 , b1 ), (a2 , b2 ), . . . , (an , bn ) msa sto
[a, b] me
n
X
(bj aj ) < .
j=1
Tte
n
X
f (bj ) f (aj )
g(bj ) g(aj )
j=1
n
X
f (bj )g(aj ) g(aj )f (aj ) + g(aj )f (aj ) f (aj )g(bj )|
g(bj )g(aj )
j=1
n
X
|g(aj )| |f (bj ) f (aj )| + |f (aj )| |g(bj ) g(aj )|
j=1
Epomnwc h
|g(bj )g(aj )|
Mg + Mf
.
m2
f
g
Jerhma 3.4.4 Kje apluta suneqc sunrthsh sto [a, b] enai sunrthsh
fragmnhc kmanshc.
Apdeixh.
'Estw f mi apluta suneqc sunrthsh sto [a, b]. Gia = 1 dialgoume
> 0 smfwna me ton orism 3.4.1.
'Estw P = {a = t0 < t1 < < tm = b} mi diamrish to [a, b] me
tj tj1 < gia kje j = 1, 2, . . . , m. Ja dexoume ti h f enai fragmnhc
kmanshc se kajna ap ta diastmata [tj1 , tj ]. Jewrome tuqaa diamrish
j
Pj = {tj1 = 0j < 1j < < m
= tj }
j
to diastmatoc [tj1 , tj ]. Ta diastmata thc Pj , wc uposnola twn diasthmtwn thc P qoun la mkoc mikrtero to . 'Ara
V (f, Pj ) =
mj
X
j
|f (ij ) f (i1
)| < 1.
i=1
t
j
'Ara f BV [tj1 , tj ] kai mlista Vtj1
f 1. Lgw thc Prtashc 3.3.6(st)
qoume f BV [a, b] kai mlista
3.5
Kurtc sunartseic
f (x)
bx
xa
f (b) f (a)
f (a) +
f (b) =
(x a) + f (a),
ba
ba
ba
H eujea pou pern ap ta shmea (a, f (a)) kai (b, f (b)) qei exswsh
f (b) f (a)
(x a) + f (a).
ba
'Ara h f enai kurt sto I an kai mno an gia kje zegoc shmewn a, b I ,
a < b, to eujgrammo tmma pou ennei ta shmea (a, f (a)) kai (b, f (b)) enai
pnw ap to grfhma thc f sto [a, b].
Mi llh sunpeia thc (3.8) enai h anisthta
y=
(3.9)
mati, an a < b kai x [a, b], tte h (3.8) enai isodnamh me thn
x2 (b + a)x + ab 0
h opoa enai alhjc.
(b) H sunrthsh g(x) = |x| enai kurt sto R; h (3.7) epalhjetai ekola:
g((1 t)a + tb) = |(1 t)a + tb| (1 t)|a| + t|b| = (1 t)g(a) + tg(b).
(g) Mi sunrthsh : R R thc morfc (x) = ax + b, pou a, b enai
pragmatikc stajerc onomzetai afinik. Enai ekolo na de kanec ti
kje afinik sunrthsh ikanopoie thn (3.7) me isthta. 'Ara kje afinik
sunrthsh enai kai kurt kai kolh.
f (b) f (a)
f (c) f (a)
f (c) f (b)
.
ba
ca
cb
Apdeixh.
Ap thn profan isthta
b=
cb
ba
a+
c
ca
ca
f (b)
cb
ba
f (a) +
f (c)
ca
ca
Jumzoume tra touc orismoc thc aristerc kai thc dexic paraggou
mic sunrthshc.
67
f (x + h) f (x)
h0
h
f0 (x) := lim
f (x + h) f (x)
h0+
h
Jerhma 3.5.6 Dnetai kurt sunrthsh f sto anoikt disthma I . Isqoun ta aklouja:
(a) H f qei dexi kai arister pargwgo se kje x I .
0 enai axousec sunartseic sto I .
(b) Oi f+0 kai f
0 f 0 sto I .
(g) f
+
(d) H f enai paragwgsimh se la ektc ap to pol arijmhsmou pljouc
shmea to I .
(e) An [a, b] I , h f enai sunrthsh Lipschitz sto [a, b]. Epiplon, an
M := max{|f+0 (a)|, |f0 (b)|}, tte
|f (x) f (y)| M |x y|,
gia kje x, y [a, b].
(st) H f enai suneqc sto I .
Apdeixh.
Stajeropoiome x I . Ap to Lmma 3.5.4, h sunrthsh
(h) :=
f (x + h) f (x)
h
h0+
f+0 (a)
f (c) f (b)
f (b) f (a)
lim
= f+0 (b).
cb+
ba
cb
68
f0 (a)
Epomnwc
=
axousa sunrthsh
sumperanoume ti h f den enai paragwgsimh mno se peperasmnou arijmhsmou pljouc shmea to I . 'Etsi apodeqjhke kai to (d).
Jewrome tra kleist disthma [a, b] I kai shmea a x < y b.
Tte
f (x) f (y)
f0 (y) f0 (b) M
xy
kai h (e) prokptei mesa. Tloc h (st) enai profanc sunpeia thc (e).
'Eqontac sto mual mac th gewmetrik ermhnea thc kurtthtac (bl. Paratrhsh
3.5.2), enai elogo na eiksoume ti to grfhma mic kurtc sunrthshc
brsketai pnw ap kje efaptmenh eujea tou. Bbaia mi kurt sunrthsh
den enai panto paragwgsimh kai epomnwc to grfhm thc den qei efaptmenh eujea se kje shmeo tou. 'Omwc, qrh sto Jerhma 3.5.6, h f
0 f 0 . 'Etsi se na shmeo c sqei pleurikc paraggouc kai mlista f
+
to opoo h f den enai paragwgsimh mporome na jewrsoume eujeec klshc
[f0 (c), f+0 (c)]. To paraktw jerhma eggutai ti lec autc oi eujeec
enai ktw ap to grfhma thc f .
f (x) f (c)
f+0 (c)
xc
kai gia x < c,
f (x) f (c)
f0 (c) .
xc
H (3.13) enai mesh sunpeia twn parapnw anisottwn.
69
Jerhma 3.5.8 (Anisthta Jensen) Dnetai kurt sunrthsh f sto anoikt disthma I . Upojtoume ti ta shmea x1 x2 xn ankoun sto I
kai arijmo p1 , p2 , . . . , pn (0, ) ikanopoion thn isthta
n
X
pj = 1.
j=1
Tte
(3.14)
n
X
pj xj
j=1
n
X
pj f (xj ).
j=1
H isthta isqei sthn (3.14) an kai mno an h f enai afinik sto disthma
[x1 , xn ].
Apdeixh.
Jtoume
c = p1 x1 + p2 x2 + + pn xn .
Enai ekolo na dome ti c [x1 , xn ]; ra c I . Efarmzoume to Jerhma
3.5.7 gia x = xj kai prokptei
(3.15)
j = 1, 2, . . . , n.
Jerhma 3.5.9 (Anisthta Jensen gia oloklhrmata Riemann) 'Estw f mi sunrthsh oloklhrsimh kat Riemann sto [a, b]. An m f (x)
M , x [a, b] kai h enai suneqc kai kurt sto [m, M ], tte
(3.16)
1
ba
f
a
ba
70
( f ).
a
Apdeixh.
Ap to Jerhma 3.5.8,
n
! X
n
X1
ba
1
ba
f a+k
f a+k
.
n
n
n
n
k=1
k=1
Apdeixh.
An h f enai kurt sto I , tte, lgw to Jewrmatoc 3.5.6(b), h f 0 enai
axousa sto I .
Antistrfwc, upojtoume ti h f 0 enai axousa sto I . 'Estw ti h f den
enai kurt sto I . Tte, lgw tc (3.8), uprqei trida shmewn a < x < b
sto I ttoia ste
f (x) >
xa
bx
f (a) +
f (b).
ba
ba
f (x) f (a)
f (b) f (x)
>
.
xa
bx
'Ap to Jerhma Mshc Timc uprqoun shmea (a, x) kai (x, b)
ttoia ste f 0 () > f 0 (). 'Atopo, diti h f 0 enai axousa.
3.6 Askseic
Omoimorfa suneqec sunartseic
3.6.1 Exetste poic ap tic akloujec sunartseic enai omoimorfa suneqec
sto (0, 1).
(a) f (x) = ex ,
(b) f (x) = e1/x ,
(g) f (x) = e1/x ,
(d) f (x) = log x.
71
(a) f (x) = x,
(b) f (x) = sin x,
(g) f (x) = sin(sin x).
3.6.9 'Estw E R na snolo pou enai fragmno all qi sumpagc. Brete
suneq sunrthsh f : E R pou den enai omoimorfa suneqc.
3.6.10 Brete fragmnh kai suneq sunrthsh f : R R pou den enai omoimorfa
suneqc.
f (x) f (a)
, x R \ {a}.
xa
x, y R.
(a) Dexte ti kje sunrthsh Lipschitz txhc , pou > 1, enai stajer.
(b) Dexte ti kje sunrthsh Lipschitz txhc , pou 1, enai omoimorfa
suneqc.
mno an 0 1.
Updeixh: An 0 < 1, h x enai Lipschitz txhc. Eidllwc,
an gia pardeigma
= 2, tte qrhsimopoiste th sgklish limn ( n + 1 n) = 0.
73
> 0 ttoio ste (x1 , x2 X kai d(x1 , x2 ) < ) (f (x1 ), f (x2 )) < .
enai omoimorfa suneqc. (H skhsh propojtei gnsh twn qrwn l1 kai l2 . Bl.
[2], [5])
Montonec sunartseic
3.6.28 Dnontai sunartseic f kai g pou enai axousec sto E .
(a) Dexte ti h f + g enai axousa.
(b) An mi ap tic f kai g enai gnhswc axousa, tte kai h f + g enai gnhswc
axousa.
(g) An f, g 0, tte h f g enai axousa.
(d) An f, g 0, tte h f g enai fjnousa.
(e) An f (x) 6= 0 gia kje x E kai h f qei stajer prshmo sto E , tte h 1/f
enai fjnousa sto E .
3.6.29 Brete axousec sunartseic f, g ttoiec ste h f g na enai fjnousa.
3.6.30 Dnontai montonh sunrthsh f sto E kai montonh sunrthsh g sto A me
f (E) A.
(a) An oi f, g qoun to dio edoc monotonac, dexte ti h g f enai axousa.
(b) An oi f, g qoun antjeta edh monotonac, dexte ti h g f enai fjnousa.
3.6.31 Dexte ti an h f enai gnhswc axousa sto A, tte h f 1 enai gnhswc
74
|f 0 (t)| dt.
x [0, 1)
x,
f (x) = 3,
x=1
x 2, x (1, 2].
x [0, ),
x [, 2],
BV [a, b].
|f 0 (t)| dt.
76
BV [a, b].
3.6.56 Dexte ti an h f enai suneqc sto [a, b] kai |f | BV [a, b], tte f
BV [a, b].
(
x sin(x ), x (0, 1]
f (x) =
0,
x = 0.
Dexte ti:
(a) An 0 < < , tte h f enai apluta suneqc sto [0, 1].
(b) An 0 < , tte h f den enai apluta suneqc sto [0, 1].
77
x2 | sin(1/x)|, x (0, 1]
0,
x = 0.
3.6.64 Dexte ti an h f : [a, b] [c, d] enai apluta suneqc sto [a, b] kai h
g : [c, d] R enai Lipschitz, tte h g f enai apluta suneqc sto [a, b].
3.6.65 Dexte ti an h f : [a, b] [c, d] enai apluta suneqc kai montonh sto
[a, b] kai h g : [c, d] R enai apluta suneqc sto [c, d], tte h g f enai apluta
suneqc sto [a, b].
3.6.66 (a) Dexte ti h sunrthsh to Cantor den enai apluta suneqc sto [0, 1].
(b) Swst Ljoc? AC[a, b] = C[a, b] BV [a, b].
Kurtc sunartseic
3.6.67 Dexte ti an oi f, g enai kurtc sto disthma I , tte kai h f + g enai
kurt sto I .
3.6.68 Dexte ti an c 0 kai h sunrthsh f enai kurt sto disthma I , tte kai
h cf enai kurt sto I .
3.6.69 Brete ta diastmata sta opoa enai kurt kajemi ap tic paraktw
sunartseic:
(a) f (x) = xx , x > 0.
(b) f (x) = (log x)2 , x > 0.
(g) f (x) = (1 + x + x2 )1 .
(d) f (x) = x3 x2 x.
78
3.6.70 Mi sunrthsh enai kai kurt kai kolh sto disthma I . Dexte ti enai
afinik sto I .
3.6.71 'Estw f mi kurt sunrthsh sto anoikt disthma I . Dexte ti ete h
f enai montonh sto I ete uprqei xo I ttoio ste h f enai fjnousa sto
I (, xo ] kai axousa sto I [xo , ).
3.6.72 (a) Dexte ti an oi f, g enai kurtc sto disthma I , tte kai h max{f, g}
enai kurt sto I .
(b) 'Estw F na mh ken snolo kurtn sunartsewn sto disthma I . Upojtoume
ti gia kje x I ,
s(x) := sup{f (x) : f F} < .
Dexte ti h s enai kurt sto I .
1
p
xy
1
q
xp
yq
+ .
p
q
n
Y
j=1
p
xj j
n
X
pj xj .
j=1
79
x+y
.
2
n
n
Y
Y
sin xk
sin x
sin xk (sin x)n ,
.
xk
x
k=1
k=1
kai
f (1 + h) f (1)
= .
h0
h
lim
x+y
f (x) + f (y)
f
.
2
2
Dexte ti h f enai kurt sto I .
Updeixh: H (3.7) isqei gia ta t thc morfc t = m/2n .
80
3.6.91 (a) Dexte ti h sunrthsh f (u) = u log u enai kurt sto [0, ).
(b) Dnontai jetiko arijmo x, y, a, b me bx 6= ay . Dexte ti
(x + y) log
x+y
x
y
< x log + y log .
a+b
a
b
3.6.92 Dexte ti an h sunrthsh f enai kurt sto [a, b], tte h f enai fragmnh
kmanshc sto [a, b].
3.6.93 Dexte ti an h f enai kurt se na diasthma, tte qei to polu do diastmata monotonac.
3.6.94 'Estw kurt sunrthsh f : (a, b) R me a < b .
(a) Dexte ti ete h f enai montonh sto (a, b), ete qei elqisto se na shmeo
c (a, b).
(b) Dexte ti ta ria limxa+ f (x), limxb f (x) uprqoun (dhl. ankoun sto
R {, }).
(g) Dexte ti an epiplon h f enai fragmnh, tte enai kai omoimorfa suneqc
sto (a, b).
3.6.95 Dnontai pragmatiko arijmo a1 , b1 , a2 , b2 R ttoioi ste
a2 + b2 a1 + b1
kai
0 a1 a2 b2 < b1 .
3.7 Shmeiseic
Oi sunartseic Lipschitz meletjhkan ap ton Rudolph Lipschitz to 1876. Qrhsimopoiontai sth jewra twn diaforikn exissewn.
81
82
Keflaio 4
Akoloujec sunartsewn
4.1 H nnoia thc akoloujac sunartsewn
Orismc 4.1.1 Akolouja sunartsewn enai mia sunrthsh me pedo
orismo to N kai pedo timn to snolo twn pragmatikn sunartsewn. Sumbolzoume mia akolouja sunartsewn me {fn }
n=1 .
Jewrome mia akolouja sunartsewn {fn }
n=1 pou enai lec orismnec
s' na snolo E R. Gia kje x E , prokptei mia akolouja pragmatikn
arijmn {fn (x)}
n=1 .
x n
, x R, n N.
n
Gia stajeropoihmno n N, h fn enai mia pragmatik sunrthsh. Gia
pardeigma h f1 enai h sunrthsh me tpo f1 (x) = 1 + x, x R, en h
f2 qei tpo f2 (x) = 1 + x2 /4. Gia stajeropoihmno x R, h {fn (x)}
n=1
enai mia akolouja pragmatikn arijmn; p.q. fn (0) = {1, 1, 1, . . . }, fn (1) =
{1 + n1n }
n=1 .
1
, x R, n N.
n
ttoio ste
|fn (x)| M, x E, n N.
sugklnei sto 0). H {gn }n=1 den enai omoimorfa fragmnh. Prgmati isqei
1
1
limx0+ nx
= +; ra den mpore na uprqei M > 0 ttoio ste | nx
|
M, x R \ {0}, n N.
f
Ap ton orism tou orou pragmatikc akoloujac prokptei ti fn
sto E an kai mno an
x
R, isqei fn f sto R, pou f (x) = e .
84
'Ara h {fn }
n=1 den sugklnei shmeiak sto R.
1
lim fn (x) = lim f (x) +
= f (x).
n
n
n
f sto E .
'Ara fn
n
Pardeigma 4.2.5 Jewrome thn akolouja {fn }
n=1 me fn (x) = x , x
(1)n
n , x
lim supn fn (x) = x,
.
2
86
Apdeixh.
o f sto E kai |f (x) f (x)| d (f , f ), isqei
'Estw x E . Epeid fn
n
E n
limn |fn (x) f (x)| = 0. 'Ara limn fn (x) = f (x).
To Jerhma 4.3.6 odhge sthn exc mjodo gia na brskoume to omoimorfo rio mic akoloujac sunartsewn {fn } (efson bbaia h akolouja sugklnei omoimorfa): Prta brskoume to shmeiak rio pou enai mia
sunrthsh f . Lgw tou jewrmatoc, an h {fn } sugklnei omoimorfa, ja
sugklnei omoimorfa proc thn f . Upologzoume ( ektimome), loipn, thn
pragmatik akolouja d(fn , f ) kai exetzoume an sugklnei sto 0. Gia ton upologism ( thn ektmhsh) tc d(fn , f ) suqn enai qrsimec diforec mjodoi
tou Diaforiko Logismo.
x
, x R.
1 + nx2
lim fn (x) = 0.
x
.
1 + nx2
fn0 (x) =
1 nx2
.
(1 + nx2 )2
'Ara h |fn | qei mgisto so me 1/(2 n), dhlad d(fn , f ) = 1/(2 n). H
o f
akolouja aut tenei sto 0 tan n . Sumperanoume loipn ti fn
sto R.
1
nx ,
2n
, x (0, ).
nx + 3
x(0,)
nx2
6
= +, n N.
+ 3x
x[a,)
nx2
6
6
0, tan n .
2
+ 3x
na + 3a
0 dE (fn , f ) an 0.
o f sto E .
'Ara fn
o f
1
n
0.
o f sto E kai g
o g sto E kai c , c R,
Jerhma 4.3.12 (a) An fn
n
1 2
o c f + c g sto E .
tte c1 fn + c2 gn
1
2
o f g
(b) An epiplon oi {fn }, {gn } enai omoimorfa fragmnec, tte fn gn
sto E .
Apdeixh.
(a) 'Estw > 0. Lgw thc omoimorfhc sgklishc, uprqei no N ttoio
ste
Tte x E, n no , isqei
+ |c2 |
= .
2|c1 |
2|c2 |
o c f + c g sto E .
'Ara c1 fn + c2 gn
1
2
2M
, x E, n no .
2M
Tte x E, n no , isqei
<
M +M
= .
2M
2M
H upjesh sto (b) ti oi {fn }, {gn } enai omoimorfa fragmnec den mpore
na paraleifje. Aut fanetai ap to epmeno pardeigma.
2x
1
2 2
+ 2 = +.
d(fn , f ) = sup
n
xR n
To akloujo jerhma mac bohj na apofassoume (sunjwc se apodexeic jewrhmtwn) an mia akolouja sugklnei omoimorfa qwrc na gnwrzoume
th sunrthsh rio.
89
(4.1)
Apdeixh.
'Estw > 0. Upojtoume ti h {fn } sugklnei omoimorfa sto E . 'Estw f
h sunrthsh-rio. Tte uprqei no N ttoio ste
< , x E, n no ,
2
o f sto E .
dhlad fn
1
nx ,
1
n,
2
n,
x [0, 1),
x [1, 2].
Gia kje n N kai kje x [0, 2], isqei 0 fn (x) 2/n. 'Ara h
akolouja sunartsewn {fn } sugklnei omoimorfa sto [0, 2] proc th mhdenik sunrthsh. H sunrthsh-rio enai suneqc parlo pou lec oi sunartseic fn enai asuneqec.
To akloujo enai na merik antstrofo tou Jewrmatoc 4.4.1.
Apdeixh.
Upojtoume ti h {fn } enai shmeiak fjnousa; an enai shmeiak axousa, h
apdeixh enai parmoia. Jewrome thn akolouja sunartsewn gn = fn f
pou enai fjnousa kai sugklnei shmeiak sto K proc th mhdenik sunrthsh.
Arke na dexoume ti h sgklish enai omoimorfh.
'Estw > 0. An x K , tte 0 gn (x) & 0. 'Ara uprqei nx N ttoio
ste
0 gnx (x) < .
Epeid h gnx enai suneqc sto x, uprqei perioq (x) tou x tsi ste
(4.2)
t (x) K.
H akolouja sunartsewn {gn } enai shmeiak fjnousa; ra, lgw thc (4.2),
(4.3)
0 gn (t) < , t K, n no ,
x2
, x R.
n
f
H {fn } enai shmeiak fjnousa akolouja suneqn sunartsewn kai fn
sto R, pou f h mhdenik sunrthsh. H sgklish den enai omoimorfh sto
R, diti
dR (fn , f ) = +, n N.
1
= 1, n N.
d[0,2] (fn , f ) = fn
n
n x
x n
dhlad
n x
x n
Apdeixh.
'Estw > 0. Ja dexoume prta ti h akolouja {an } enai akolouja
Cauchy. Epeid h {fn } sugklnei omoimorfa sto E , uprqei no N ttoio ste
Ap thn upjesh (b), gia n, m N, uprqei > 0 ttoio ste gia kje
x E me 0 < |x | < ,
kai
|an a| < , n n1 .
3
Ap thn upjesh (b), uprqei n2 N ttoio ste
Z
(4.5)
lim
n a
fn (x) dx =
a n
f sto R, pou
Pardeigma 4.6.1 'Estw fn (x) = n(0,1/n] (x). Isqei fn
R1
0
fn = 1 6= 0 =
R1
0
f.
o f .
To akloujo jerhma lei ti h isthta (4.5) isqei tan fn
Jerhma 4.6.2 Dnetai mi akolouja sunartsewn {fn } pou enai lec suneqec
o f sto [a, b], tte h f enai oloklhrsimh sto
sto disthma [a, b]. An fn
[a, b] kai isqei
Z
(4.6)
lim
fn =
n a
f.
a
Apdeixh.
Ap to Jerhma 4.4.1 h f enai suneqc, ra kai oloklhrsimh sto [a, b].
Epshc isqei
Z b
Z b Z b
0
fn
f
|fn f | (b a) d(fn , f ).
a
fn (x) =
Z
lim
n 1
2n
dx =
nx + 3
Z
1
To rio
2
dx = 2(log 2 log 1) = 2 log 2.
x
Z
lim
n 0
2n
dx
nx + 3
den mpore na breje me ton dio trpo. Gia na to brome upologzoume prta
to oloklrwma kai met parnoume rio gia n :
Z
lim
n 0
2n
dx = lim [2 log(nx+3)]10 = lim 2[log(n+3)log 3] = +.
n
n
nx + 3
95
lim f 0
n n
(4.7)
= [ lim fn ]0 ?
n
sin nx
n ,
nx
, x R.
1 + n2 x2
fn0 (x) =
n n3 x2
, x R.
(1 + n2 x2 )2
sin(nx)
, x R.
n1/2
Isqei |fn (x)| n1/2 gia la ta n kai la ta x. 'Ara h {fn } sugklnei omoimorfa sto R proc th mhdenik sunrthsh f . H akolouja twn paraggwn
enai h
fn0 (x) = n1/2 cos(nx), x R.
Ja dexoume ti gia kje x R, h akolouja arijmn {fn0 (x)} den enai
fragmnh; epomnwc ote kai sugklnousa. Stajeropoiome x R.
An n N kai | cos(nx)| 1/2, tte |fn0 (x)| n1/2 /2.
An n N kai | cos(nx)| < 1/2, tte | cos(2nx)| = |2 cos2 (nx) 1| > 1/2. 'Ara
0
|f2n
(x)| = (2n)1/2 | cos(2nx)|
(2n)1/2
.
2
Sumperanoume ti to snolo {n N : |fn0 (x)| n1/2 /2} enai peiro. Epomnwc h {fn0 (x)} den enai fragmnh. Telik loipn h akolouja {fn }
apoteletai ap paragwgsimec sunartseic kai enai omoimorfa sugklnousa,
en h akolouja twn paraggwn {fn0 } den sugklnei gia kanna x R.
To jerhma pou akolouje deqnei ti ktw ap isqurc pro
upojseic, h
(4.7) isqei:
Apdeixh.
Prta ja dexoume ti h akolouja {fn } sugklnei shmeiak sto [a, b] prc mia
sunrthsh f . 'Estw C = limn fn (xo ) kai stw g(x) = limn fn0 (x), x
o g sto [a, b]. Ap to Jemelidec
[a, b]. Ap upjesh tou jewrmatoc, fn0
Jerhma to Logismo prokptei ti
Z x
(4.8)
fn (x) = fn (xo ) +
fn0 , x [a, b].
xo
xo
Rx
f sto [a, b].
Orzoume f (x) = C + xo g, x [a, b]. H (4.9) shmanei ti fn
Epshc ap to Jemelidec Jerhma to Logismo prokptei ti f 0 = g kai
o f 0 sto [a, b].
epmnwc fn0
o f sto [a, b]: Gi x [a, b],
Mnei na dexoume ti fn
Z x
4.8 Askseic
4.8.1 Apodexte to Jerhma 4.2.6.
4.8.2 Exetste th sgklish (shmeiak kai omoimorfh) thc akoloujac sunartsewn fn (x) = x2n /(1 + x2n ), x R, n N.
4.8.3 Dexte ti sto Pardeigma 4.2.2 h sgklish enai omoimorfh se kje kleist
disthma [a, b] all den enai omoimorfh sto R. Exetste epshc th sgklish thc
akoloujac twn paraggwn.
98
(a) An fn
f sto E kai kajema ap tic sunartseic fn enai fjnousa sto E tte
kai h f enai fjnousa sto E .
(b) An fn
f sto E kai kajema ap tic sunartseic fn enai gnhswc fjnousa
sto E tte kai h f enai gnhswc fjnousa sto E .
o
(g) An fn
f sto E kai kajema ap tic sunartseic fn enai fragmnh sto E tte
h akolouja sunartsewn {fn } enai omoimorfa fragmnh sto E .
o
(d) An oi sunartseic fn enai suneqec sto R kai fn
f se kje kleist disthma
[a, b], tte kai h f enai suneqc sto R.
o
(e) An oi sunartseic fn enai suneqec sto [0, 1] kai fn
f sto [0, 1], tte
Z
n
11/n
lim
fn =
0
f.
0
o
o
(st) An fn
f se kje disthma [a, b], tte fn
f sto R.
lim
fn 6= 0.
0
o
ti fn
f sto R.
99
me
(
fn (x) =
n2 x,
1
(n+1)x1 ,
x [0, n1 ),
x [ n1 , 1].
fn (x) =
x
n,
1
n,
an n rtioc,
an n perittc,
1
,
1 + (nx 1)2
x2
fn (x) = 2
,
x + (nx 1)2
fn (x) = xn (1 x),
fn (x) = nxn (1 x),
fn (x) = n3 xn (1 x)4 ,
nx2
fn (x) =
,
1 + nx
1
fn (x) =
.
1 + xn
fn (x) =
2x
fn (x) = arctan 2
, A = R,
x + n3
x2
fn (x) = n log 1 +
, A = R,
n
1 + xn
, A = (0, ),
fn (x) = n log
nx
p
2n
fn (x) =
1 + x2n , A = R,
n
fn (x) = n( x 1), A = [1, a], a > 1.
[nf (x)]
, x [a, b].
n
o
Dexte ti fn
f sto [a, b].
100
morfa sto [0, a], a > 0. Exetste an h {fn } sugklnei omoimorfa sto R.
fn (x) =
f (x + 1/n) f (x)
, x R.
1/n
o
Dexte ti fn
f 0 sto R. Dexte me antipardeigma ti h upjesh tc omoimorfhc
sunqeiac enai aparathth.
parmetroc. Dexte ti gia kje tim to p, h {fn } sugklnei shmeiak sto [0, 1]
proc kpoia sunrthsh f . Gia poic timc to p h sgklish enai omoimorfh? Gia
R1
R1
poic timc to p isqei limn 0 fn = 0 f ?
1
1+n2 x2 ,
x
1+nx2 ,
1
nen2 x2
x R, n N.
(a) Dexte ti h {fn } sugklnei omoimorfa sto R proc mia sunrthsh f .
(b) Dexte ti h {fn0 } sugklnei shmeiak sto R proc mia sunrthsh g .
(g) Dexte ti f 0 (x) = g(x) gia kje x 6= 0 all f 0 (0) 6= g(0).
o
(d) Gia poi disthmata [a, b] isqei fn0
g sto [a, b]?
, x R, n N.
(a) Dexte ti h {fn } sugklnei omoimorfa sto R proc mia sunrthsh f .
(b) Dexte ti h {fn0 } sugklnei shmeiak sto R proc th sunrthsh f 0 .
(g) Dexte ti h sgklish thc {fn0 } den enai omoimorfh se kje disthma pou
periqei to 0.
(d) Dexte ti h sgklish thc {fn0 } enai omoimorfh se kje kist disthma pou
den periqei to 0.
morfa proc thn ex se kje kleist disthma. Dexte epshc ti h sgklish den enai
omoimorfh sto R.
101
o
g fn
g f sto E.
sto E . An x E kai {xn } enai mia akolouja sto E ttoia ste limn xn = x,
dexte ti limn fn (xn ) = f (x).
(To apotlesma aut mpore na qrhsimopoihje gia na apodexoume ti mia akolouja
sunartsewn den sugklnei omoimorfa).
4.8.32 ? 'Estw ti h fn : [a, b] R ikanopoie thn anisthta |fn (x)| 1 gia kje
102
4.8.34 Dnontai sunartseic {fn } kai f pou enai oloklhrsimec (kat Riemann)
sto disthma [a, b]. Upojtoume ti uprqei M > 0 ttoio ste |fn (x)| M kai
o
|f (x)| M , gi kje x [a, b]. An gia kje > 0, fn
f sto [a + , b ], tte
isqei
Z b
Z b
lim
fn =
f.
n
4.8.35 ? ('Orio diplc akoloujac) Dnetai mia dipl akolouja, dhlad mia sunrthsh
uprqei, dexte ti to dipl rio limm,n f (m, n) epshc uprqei, kai isqei
m n
m,n
x,
fn+1 (x) =
x + fn (x).
Dexte ti:
(a) 0 = fn (0) < fn (x) < fn+1 (x) < 1 + x, n N, x > 0.
(b) H {fn } sugklnei omoimorfa sto [a, b] gia 0 < a < b < all den sugklnei
omoimorfa sto [0, 1].
(Updeixh: Epagwg kai Dini).
4.8.37 ? (a) Brete mia akolouja sunartsewn fn : [0, 1] R ttoia ste: (i)
Gia kje x [0, 1], h pragmatik akolouja {fn (x)} den sugklnei, kai (ii) isqei
R1
limn 0 fn = 0.
(b) Brete mia akolouja suneqn sunartsewn fn : [0, 1] R ttoia ste: (i)
Gia kje x [0, 1], h pragmatik akolouja {fn (x)} den sugklnei, kai (ii) isqei
R1
limn 0 fn = 0.
(g) Brete mia akolouja sunartsewn fn : [0, 1] R ttoia ste: (i) Gia kje
R1
x [0, 1], h pragmatik akolouja {fn (x)} den sugklnei, kai (ii) isqei 0 fn = 1
gia kje n N.
o
uposnolo D tou E . An fn
f sto E kai fn
f sto D, dexte ti h f enai
suneqc sto E .
103
4.9 Shmeiseic
H omoimorfh sgklish prwtoemfansthke sta msa to 19ou aina (bl. [2, sel.160]).
O Karl Weierstrass kai oi majhtc tou antilfjhkan grgora th jemelidh shmasa thc kai anptuxan me austhrthta th sqetik jewra. Bl. epshc kai to rjro
[G.H.Hardy, Sir George Stokes and the concept of uniform convergence, Proc. Cambridge Philosophical Soc. 19 (1918), 148-156].
O orismc thc omoimorfhc sgklishc me qrsh thc apstashc d(fn , f ) uprqei
sto [10].
Asfalc to pi qrsimo apotlesma gia thn omoimorfh sgklish enai to
jerhma gia thn enallag oloklrwshc kai orou (bl. Jerhma 4.6.2 kai 'Askhsh
4.8.34). Uprqei na isqurtero apotlesma to opoo apodeqjhke ap ton Arzel`a
to 1885.
Jerhma 4.9.1 Dnetai mi akolouja sunartsewn {fn } pou enai lec oloklhrsimec
|fn (x)| M,
tte
n N, x [a, b],
Z
lim
fn =
a
f.
a
104
Keflaio 5
Seirc sunartsewn
5.1 Eisagwgik
Orismc 5.1.1 Dnetai mi akolouja sunartsewn {fn }
n=1 pou enai lec
s=
fn .
n=1
o s sto E , tte lme ti h seir sunartsewn
An sn
omoimorfa sto E proc th sunrthsh s kai grfoume
o
s=
n=1 fn
sugklnei
fn .
n=1
H
{sn } onomzetai akolouja twn merikn ajroismtwn thc seirc
Pakolouja
f
.
n
n=1
1 xn
.
1x
1
1x ,
dhlad
1 X n1
=
x
.
1x
n=1
d(1,1) (sn , s) =
|x|n
= +.
x(1,1) |1 x|
sup
Jerhma 5.1.3 An s=
n=1 fn sto E , tte s=
n=1 fn .
Jerhma 5.1.4
P (Kritrio Cauchy gia omoimorfh sgklish) H seir
sunartsewn
n=1 fn sugklnei omoimorfa proc kpoia sunrthsh sto E
an kai mno an gia kje > 0, uprqei no N ttoio ste
(5.1)
n+p
fk (x) < , n no , p N, x E.
k=n+1
Apdeixh.
'Estw
merikn ajroismtwn tc seirc sunartsewn
P {sn } h akoloujaPtwn
n no , p N, x E,
'Omwc
fn (x)
k=n+1
Jerhma
5.1.5 An oi sunartseic fn , n N, enai suneqec sto xo E kai
P
n=1 fn
o
s=
Apdeixh.
To jerhma prokptei mesa ap to Jerhma 4.4.1.
Jerhma 5.1.6
P An oi sunartseic fn , n N, enai suneqec sto disthma
o
[a, b] kai s=
n=1 fn
s=
a
Z
X
n=1 a
fn .
Apdeixh.
'Estw {sn } h akolouja twn merikn ajroismtwn tc seirc sunartsewn
P
o
n=1 fn . Ap thn upjesh, sn s sto [a, b]. Epeid lec oi fn enai suneqec
sto [a, b], kai h sn = f1 + + fn ja enai suneqc sto [a, b] gia kje
n N. Lgw to Jewrmatoc 4.4.1, h s enai suneqc sto [a, b], (ra kai
oloklhrsimh). Tra to Jerhma 4.6.2 kai h grammikthta to oloklhrmatoc dnoun
!
Z b
Z b
Z b X
Z b
n Z b
n
X
X
fk .
fk =
fk = lim
s = lim
sn = lim
a
n a
n a
k=1
k=1
k=1
|fn (x)| Mn , x E, n N.
P
P
An h seir (arijmn)
n=1 Mn sugklnei, tte h seir sunartsewn
n=1 fn
sugklnei omoimorfa sto E .
Apdeixh.
'Estw > 0. Lgw thc upjeshc, isqei
n+p
n+p
n+p
X
X
X
(5.2)
fk (x)
|fn (x)|
Mk , x E, n N, p N.
k=n+1
Epeid h seir
k=n+1
n=1 Mn
n+p
X
(5.3)
k=n+1
Mk < , n no , p N.
k=n+1
n+p
fk (x) < , x E, n no , p N.
k=n+1
n=1 fn
X
sin(nx)
n=1
n3
Isqei
sin(nx)
1
n3 n3 , n N, x R.
P 1
Epshc h seir arijmn
n=1 n3 sugklnei. Ap to kritrio to Weierstrass sumperanoume ti h seir (5.5) sugklnei omoimorfa sto R proc mi
sunrthsh s.
108
X
cos(nx)
(5.6)
n=1
n2
X
cos(nx)
s0 (x) =
, x [a, b].
n2
n=1
1
.
n
1
1
x<
.
2m + 1
2m 1
P
'Etsi gia n 6= m, fn (x) = 0. 'Ara h seir arijmn
n=1 fn (x) qei mno na
mh mhdenik ro kai epomnwc sugklnei. Sunepc h dojesa seir sunartsewn sugklnei shmeiak sto [0, 1] proc mi sunrthsh s. 'Estw {sn } h
akolouja twn merikn ajroismtwn. Isqei
d[0,1] (sn , s) =
(5.7)
x[0,1]
x[0,1]
x[0,1]
109
1
2(n + 1)
1
0.
n+1
5.3
Sthn pargrafo aut ja apodexoume do akmh kritria omoimorfhc sgklishc gia seirc sunartsewn. Ja qreiastome to akloujo lmma pou
ofeletai ston Abel.
sn = a1 + a2 + + an gia n N
kai
s0 = 0.
An n, m N kai m n, tte
n
X
ak bk =
k=m
n1
X
k=m
Apdeixh.
n
X
ak bk =
k=m
n
X
k=m
n
X
k=m
n
X
sk bk
sk bk
sk bk+1 =
sk1 bk
k=m
k=m
n1
X
n
X
n1
X
k=m
k=m1
apdeixh enai parmoia). Lgw thc upjeshc (g), uprqei M > 0 ttoio
ste
(5.8)
|gn (x)| M, n N, x E.
(5.9)
1
,
4M
n N,
x E.
n1
fk (x)gk (x) =
sk (x)(gk (x) gk+1 (x)) + sn (x)gn (x) sm1 (x)gm (x)
k=m
k=m
n1
=
sk (x)(gk (x) gk+1 (x)) + sn (x)gn (x) sm1 (x)gm (x)
k=m
n1
X
|sk (x)|(gk (x) gk+1 (x)) + |sn (x)|gn (x) + |sm1 (x)|gm (x)
k=m
4M = .
4M
Ap to kritrio to Cauchy
Pgia omoimorfh sgklish (Jerhma 1.4.3) prokptei
Apdeixh.
'Estw > 0. Upojtoume ti h {gn } enai fjnousa; (an enai axousa, h
apdeixh enai parmoia). Lgw kai thc upjeshc (g), uprqei N N ttoio
ste
(5.10)
1
, n N,
2M
111
x E.
|sn (x)| M, n N, x E.
n
X
n1
fk (x)gk (x) =
sk (x)(gk (x) gk+1 (x)) + sn (x)gn (x) sm1 (x)gm (x)
k=m
k=m
n1
X
|sk (x)|(gk (x) gk+1 (x)) + |sn (x)|gn (x) + |sm1 (x)|gm (x)
k=m
n1
X
!
(gk (x) gk+1 (x)) + gn (x) + gm (x)
k=m
= 2M gm (x) 2M
= .
2M
Ap to kritrio to Cauchy
Pgia omoimorfh sgklish (Jerhma 1.4.3) prokptei
ti h seir sunartsewn n fn gn sugklnei omoimorfa sto E .
Ta kritria
P sunartsewn
P twn Abel kai Dirichlet efarmzontai se seirc
f
g
.
Fusik,
kje
seir
sunartsewn
thc morfc
n
n
n Fn mpore na
n
grafe me polloc trpouc sthn parapnw morf. Gia na efarmsoume loipn
ta kritria me epituqa, prpei na knoume thn katllhlh paragontopohsh
Fn = fn gn . Ja dome tra merik paradegmata efarmogc twn krithrwn.
X
(1)n
, x [0, ).
n2 x + n
n=1
(1)n
1
n2 x + n an2 , x [a, ), n N.
'Etsi to kritrio to Weierstrass dnei ti h seir sugklnei omoimorfa sto
[a, ). Epeid to a enai tuqaoc jetikc arijmc sumperanoume ti h seir
sugklnei shmeiak sto (0, ). H seir sugklnei kai gia x = 0.
112
(1)n
1
, gn (x) =
, x [0, ), n N.
n
nx + 1
P (1)n
H seir
arijmn
sugklnei. 'Ara h seir twn stajern sunartn=1
n
P
sewn
n fn sugklnei omoimorfa sto [0, ). Epshc h {gn } enai fjnousa kai omoimorfa fragmnh akolouja sunartsewn sto [0, ). 'Etsi to
kritrio to Abel efarmzetai kai dnei thn omoimorfh sgklish thc arqikc
seirc sto [0, ).
fn (x) =
h(x) =
X
(1)n
, x [0, ).
n2 x + n
n=1
X
X
(1)n
(1)n
=
lim
h(x)
=
h(0)
=
.
lim
x0+
n2 x + n x0+
n
n=0
n=0
bn xn , x [1, 1 ],
n=0
X xn+1 1
2
2
.
xk =
x1
|x 1|
k=0
Pardeigma 5.3.6 'Estw {bn } mia fjnousa akolouja pragmatikn arijmn me lim bn = 0. Jewrome thn seir sunartsewn
bn cos(nx),
x [, 2 ],
n=1
113
x
x
x
sin kx
2 cos(kx) sin = sin kx +
2
2
2
apodeiknetai ekola ti gia x (0, 2),
Epomnwc gia x [, 2 ],
1
1
.
sin(x/2)
sin(/2)
X
xn
n=1
= log(1 x),
x (1, 1).
X
(1)n1
(5.13)
n=1
= log 2.
n=0 an
an xn
n=0
lim
x1
X
n=0
114
X
n=0
an .
n n n
n an bn , pou
an , bn R.
5.4 Dunamoseirc
Oi dunamoseirc enai mi shmantik kathgora seirn sunartsewn.
xo R, h seir sunartsewn
kntro xo kai suntelestc ak .
k=0 ak (x
xo )k onomzetai dunamoseir me
p
k
R = lim sup |ak |
.
k
lim sup
k
q
p
|x xo |
k
|ak (x xo )k | = |x xo | lim sup k |ak | =
< 1.
R
k
lim sup
k
q
|x xo |
k
|ak (x xo )k | =
> 1.
R
115
p
1
1
>
= lim sup k |ak |.
r
R
k
'Ara uprqei no N ttoioc ste
p
k
1
|ak | , k no .
r
Epomnwc
|x xo |k
|ak (x xo | |
rk
max{|a|, |b|}
r
k
, k no .
P max{|a|,|b|} k
k=0
sugklnei.
k
k=1 ak (x xo )
sugk
p
k
R = lim sup |ak |
.
k
P
k
onomzetai aktna sgklishc thc dunamoseirc
k=0 ak (xxo ) kai to disthma (R, R) onomzetai disthma sgklishc thc dunamoseirc.
Lgw tou Jewrmatoc 5.4.2, kje dunamoseir orzei mi sunrthsh sto
disthma sgklisc thc.
5.5
Apdeixh.
Jewrome th sunrthsh
(5.14)
(x) = |x|,
x [1, 1].
(x + 2) = (x), x R.
Orzoume
(5.17)
f (x) =
n
X
3
n=0
(4n x), x R.
Lgw to Jewrmatoc 5.2.1, h parapnw seir sunartsewn sugklnei omoimorfa sto R kai epmnwc h f enai kal orismnh kai suneqc sto R.
'Estw x R. Ja dexoume tra ti h f den enai paragwgsimh sto x.
Arke na brome mi akolouja m 0 ttoia ste h akolouja
f (x + m ) f (x)
m
na m sugklnei, tan m .
Jewrome thn akolouja
(5.18)
m =
1 1
, m N,
2 4m
pou to prshmo epilgetai tsi ste kannac akraioc na mhn enai anmesa
sto 4m x kai sto 4m (x + m ). Aut mporome na to petqoume diti 4m |m | =
1
2.
Orzoume
(5.19)
sn,m =
kai parathrome ti
(a) sn,m = 0 tan n > m
perptwsh),
(4n (x + m )) (4n x)
m
(o 4m m enai rtioc akraioc se aut thn
117
m n
m1
X
f (x + m ) f (x) X
3
1
=
s
3n = (3m + 1).
n,m
m
4
2
n=0
n=0
5.6
Mi qwroplhrwtik kamplh
t [0, 31 ] [ 53 , 2],
0,
3t 1,
t [ 31 , 23 ],
(t) =
1,
t [ 32 , 34 ],
3t + 5, t [ 4 , 5 ].
3 3
(t + 2) = (t).
H enai suneqc sto R, periodik me perodo 2, qei mgisto 1 kai elqisto
0. Sqediste th grafik thc parstash.
Jewrome tic sunartseic
x(t) =
X
(32n2 t)
n=1
2n
y(t) =
X
(32n1 t)
n=1
2n
a = 0.2 a1 a2 . . . ,
118
b = 0.2 b1 b2 . . .
n
n=1 3
(5.20)
k = 0, 1, 2, . . .
Isqei
X
2cn
3n
n=1
=2
X
X
cn
cn
+
2
nk
nk
3
3
n=1
n=k+1
= (rtioc arijmc) + dk ,
pou
dk = 2
cn
n=k+1
3nk
=2
X
cn+k
n=1
3n
(32n2 c) = c2n1 = an
kai
(32n1 c) = c2n = bn .
'Ara x(c) = a kai y(c) = b, dhlad F (c) = (a, b). Epomnwc h kamplh F
enai qwroplhrwtik.
5.7 Askseic
5.7.1 Brete to megaltero snolo sto opoo oi paraktw seirc sunartsewn
sugklnoun shmeiak.
1
,
1
+
xn
n=1
n1
X
x2
,
1 x 2n
n=1
X
2n + xn
,
1 + 3n xn
n=1
xn
,
1 + xn
n=1
x
X
log n
n=2
X
n=1
119
xlog n ,
xn1
,
(1 xn )(1 xn+1 )
n=1
X
n=0
sin2 (2
p
n2 + x2 ).
5.7.2 Meletste tic paraktw seirc sunartsewn wc proc thn omoimorfh sgklish sto snolo A.
(a)
(b)
(c)
(d)
(e)
(f)
(g)
n=1
arctan(n2 (1 + x2 )) ,
log(1 + nx)
,
nxn
n=1
X
n=1
n2 x2 en
|x|
A = [2, ),
A = R,
x2 (1 x2 )n1 ,
A = [1, 1],
n=1
n2
(xn + xn ),
n!
n=1
X
n=1
2n sin
1
,
3n x
log 1 +
n=2
A = R,
A = (0, ),
x2
n log2 n
x
((n
1)x
+
1)(nx + 1)
n=1
sugklnei shmeiak sto [0, ) kai brete th sunrthsh-rio.
X
xn sin(nx)
,
n!
n=0
X
n=0
xn ,
n2n xn ,
n=1
X
n=1
X
x sin(n2 x)
n2
n=1
120
logn (x + 1),
X
n=1
|x|
seirc n=1 hfn na sunepgetai thn omoimorfh sgklish tc seirc n=1 fn sto
A?
ti an h
5.7.7 Dexte P
sunrthsh kai
moimorfa sto A.
Updeixh: Cauchy-Schwarz.
n=1
X
2n (3x 1)n
.
n
n=1
Brete to megaltero snolo sto opoo aut sugklnei apoltwc kai to megaltero
snolo sto opoo sugklnei shmeiak. Dexte ti sugklnei omoimorfa sto disthma
[1/6, 1/3].
X
1 x+1
.
n
x
n=1
Brete to megaltero snolo sto opoo aut sugklnei apoltwc kai to megaltero
snolo sto opoo sugklnei shmeiak. Dexte ti sugklnei omoimorfa sto disthma
[2, 1].
1
.
1
+
n2 x2
n=1
Brete ta snola sta opoa sugklnei shmeiak kai omoimorfa. Exetste an h
sunrthsh-rio enai suneqc kai fragmnh.
x2 + n
n2
(1)n
n=1
5.7.14 An oi seirc
sunartsewn
n=1
an kai
n=1 bn
n=1
2x
.
1 + n3 x2
n=1
X
n=1
n (1
x
+ nx2 )
sugklnei omoimorfa se kje disthma [a, b]. Enai h sgklish omoimorfh sto R?
sgklish omoimorfh?
(b) Dexte ti
P
n=1
2X
nenx dx =
1 n=1
e
.
e2 1
122
sth sunqeia epektenoume grammik sta diastmata [0, 1/9], [1/9, 2/9], [2/9, 1/3],
[1/3, 2/3], [2/3, 7/9], [7/9, 8/9], [8/9, 1].
Suneqzontac aut th diadikasa kataskeuzoume ma akolouja sunartsewn {fn }.
(a) Dexte ti
1
kfn+1 fn k n+1 .
2
(b) Dexte ti h seir sunartsewn
f1 +
(fn+1 fn )
n=1
X
(1)n
nx
n=1
sugklnei omoimorfa sto [a, ) gia kje a > 0. Dexte epshc ti h parapnw
seir sugklnei shmeiak all qi omoimorfa sto (0, ).
h seir sunartsewn
an sugklnei. Dexte ti
X
an
x
n
n=1
X
X
an
=
an .
x0+
nx
n=1
n=1
lim
X
(1)n
, x [0, 1].
nenx
n=1
snolo A.
(a)
(b)
(c)
(1)n+1
n=1
xn
,
n
sin(nx)
,
n
n=1
A = [0, 1],
A = [, 2 ], 0 < < ,
X
sin(n2 x) sin(nx)
,
n + x2
n=1
A = R,
(d)
enx
,
(1)n+1
n + x2
n=1
(e)
X
(1)n+1
arctan(nx),
n + x2
n=1
(f)
X
(1)n+1 cos(x/n)
,
n + cos x
n=2
(g)
X
(1)[ n]
p
,
n(n + x)
n=1
A = [0, ),
A = R,
A = [a, a], a > 0,
A = [0, ).
5.7.23 Upojtoume
Pti oi sunartseic fn , n N enai lec suneqec sto snolo
A kai ti h seir n=1 fn sugklnei omoimorfa sto A. Dexte ti an to xo A
enai shmeo sussreushc to A, tte
lim
xxo
fn (x) =
n=1
fn (xo ).
n=1
5.7.24 Efarmste thn prohgomenh skhsh gia na apodexete tic paraktw istht-
ec:
(a)
X
(1)n+1 n
x = log 2,
x1
n
n=1
(b)
X
(1)n+1
= log 2,
x1
nx
n=1
(c)
(d)
(e)
lim
lim
lim
x1
lim
x0+
(xn xn+1 ) = 1,
n=1
n=1
1
2n nx
= 1,
2
x2
=
.
2
2
x
1+n x
6
n=1
lim
124
5.7.25 ? Dnontai akoloujec sunartsewn {fn } kai {gn } orismnec sto snolo
Dexte ti oi seirc
bn cos(n) kai
n=0
n bn
= .
bn sin(n)
n=0
sugklnoun all
P den sugklnoun apoltwc gia kje 6= k, (k Z).
Updeixh: An n bn | cos(n)| < , tte
X
1X
bn (1 + cos(2n)) =
bn cos2 (n) < .
2 n
n
lnei.
5.7.28 Dexte ti
P
n=1
P
n=1
nan apok-
X
log(n + 1) log n
< .
(log n)2
n=2
n=1
n=1 fn
|fn | na mn sug-
(a) Oi sunartseic
Plec montonec sto [a, b].
P fn , n N enai
(b) Oi seirc n=1 |fn (a)| kai n=1
P|fn (b)| sugklnoun.
Dexte ti h seir sunartsewn n=1 fn sugklnei apluta kai omoimorfa sto
[a, b].
1
n=1 n2 +x2
P
n=1
P
n=1
R.
cos(nx)
n2 +1
125
sin(nx2 )
n3 +1
P
n=1
X
1
x
n
n=1
X
n=1
n3 x n ,
X
2n n
x ,
n!
n=1
X
(x 1)2n
,
2n n3
n=1
X
2n n
x ,
n2
n=1
n
n
+
1
n=1
2x + 1
x
X
n=1
f (x) =
n(tan x) ,
2n xn ,
n=1
2n xn! ,
n=1
X
(n!)2
(x1)n ,
(2n)!
n=1
n2
X
1
.
arctan
x
n=1
n=1
Jewrome th sunrthsh
X
n4n n
x (1x)n ,
n
3
n=1
(2+(1)n )n xn ,
P
k=0
ak (x xo )k , x (xo R, xo + R).
k=0
f 0 (x) =
k=1
(g) An [a, b] (xo R, xo +R), dexte ti h f enai oloklhrsimh kata Riemann sto
[a, b] kai mlista to oloklrwm thc upologzetai me oloklrwsh thc dunamoseirc
ro proc ro, dhlad
f=
a
ak
(b xo )k+1 (a xo )k+1 .
k+1
k=0
P
(k)
126
ak (x xo )k me aktna sgklishc
(xo ) = k!ak .
k=0
5.7.39 Oi dunamoseirc
an xn ,
5.7.40 H dunamoseir
n=1
n=1 bn x
an xn qei aktna sgklishc R me 0 < R < . Upologste thn aktna sgklishc twn paraktw dunamoseirn.
2n an xn ,
n=1
n=1
nn an xn ,
n=1
X
nn n
x ,
n!
n=1
a2n xn .
n=1
x2n+1
(2n + 1)!!
n=1
kai dexte ti to jroism thc f ikanopoie thn exswsh f 0 (x) = 1 + xf (x), x
(R, R).
X
x3n
(3n)!
n=1
sugklnei shmeiak sto R kai ti to jroism thc f ikanopoie thn exswsh f 00 (x) +
f 0 (x) + f (x) = ex , x R.
5.8 Shmeiseic
To kritrio to Weierstrass gia th sgklish seirn anafretai suqn wc Weierstrass M-test. Dnei ektc thc omoimorfhc kai apluth sgklish thc seirc. Gia
seirc sunartsewn pou den sugklnoun apoltwc qrhsimopoiontai sunjwc ta
kritria twn Abel kai Dirichlet. Ta kritria aut ofelontai kurwc ston idiofu
Norbhg majhmatik N.Abel. O tpoc thc jroishc kat mrh anakalfjhke ap
ton Abel to 1826. Gia thn parousash twn krithrwn twn Abel kai Dirichlet kai tic
efarmogc touc qrhsimopoisame kurwc ta bibla [5] kai [10]. Sta [1], [10] uprqoun
perisstera gia th jewra twn dunamoseirn.
127
k=1
128
Keflaio 6
x2
, x [0, 1], n N.
x2 + (1 nx)2
Tte |fn (x)| 1 ki epomnwc h {fn } enai omoimorfa fragmnh sto [0, 1].
0 sto [0, 1]. 'Omwc f (1/n) = 1, n N. 'Ara kami upakolouEpshc fn
n
ja thc {fn } den sugklnei omoimorfa sto [0, 1].
To pardeigma aut deqnei ti qreizetai kpoia epiplon upjesh po
na exasfalzei thn parxh omoimorfa sugklnousac upakoloujac.
R ttoia ste
|f (x)| (x), x E, f F.
H F onomzetai omoimorfa fragmnh sto E an uprqei M > 0 ttoio
ste
|f (x)| M, x E, f F.
n
Pardeigma 6.1.4 'Estw F = {fn }
n=1 , pou fn (x) = x , x [0, 1]. Pro-
fanc h F enai omoimorfa fragmnh sto [0, 1]. H F den enai isosuneqc
sto [0, 1]. Prgmati, stw x [0, 1). Dialgoume n arkontwc meglo ste
xn < 1/2. Tte |fn (1) fn (x)| = 1 xn > 1/2, dhlad den isqei h (6.1).
H F enai isosuneqc sto [0, a] gia opoiodpote a me 0 < a < 1. Aut
apodeiknetai wc exc: Gi x, y [0, a] kai n N,
(6.2) |fn (x) fn (y)| = |xn y n |
= |x y| |y n1 + y n2 x + + yxn2 + xn1 |
|x y|nan1 .
'Omwc limn nan1 = 0. 'Ara uprqei M > 0 ttoio ste nan1
M, n N. Jtoume = /M kai h (6.2) sunepgetai ti an |x y| < ,
tte
S1
S2
S3
. . . . . . . . . . . . . . . . . . . . . . . . . . . ..
pou qoun tic idithtec:
(a) H Sn enai upakolouja thc Sn1 , n = 2, 3, . . . .
(b) Gia kje n N, h akolouja {fn,k (xn )}
k=1 enai sugklnousa.
Jewrome tra th diagnia akolouja {fn,n }
n=1 . Gia opoiodpote m
N, h akolouja {fn,n }n=m enai upakolouja thc Sm ; lgw tou (b), aut
To jerhma po akolouje enai to shmantiktero jerhma gia thn isosunqeia. Sundei thn nnoia aut me thn omoimorfh sgklish. Sthn apdeix
tou qreizetai to akloujo topologik apotlesma. Jumzoume prta ti na
uposnolo E enc sunlou K enai pukn sto K an E = K ; gia pardeigma,
to Q enai pukn sto R.
131
Apdeixh.
'Estw k N. Profanc isqei
[
1
1
K
x ,x +
.
k
k
xK
nk
[
1 (k) 1
(k)
K
x j , xj +
.
k
k
j=1
'Estw
E=
(k)
(k)
{x1 , x2 , . . . , x(k)
nk }.
k=1
f F, |f (pj )| Mj , j = 1, 2, . . . , m.
132
f F, |f (x)| |f (pj )| + 1 M + 1.
'Ara h F enai omoimorfa fragmnh sto K .
(b) 'Estw {fn }
n=1 mi akolouja to F kai stw E na to pol arijmsimo, pukn uposnolo to K (h parxh ttoiou E exasfalzetai ap to
Lmma 6.1.7). Ap to Jerhma 6.1.6 prokptei ti h {fn } qei mi upakolouja {fnk }
k=1 ttoia ste h {fnk (x)} enai sugklnousa gia kje x E .
Ja dexoume ti h {fnk } sugklnei omoimorfa sto K . Gia na aplopoisoume touc sumbolismoc jtoume fnk = gk . 'Estw > 0. Lgw isosunqeiac
uprqei > 0 ttoio ste
(6.5)
H {gk (x)} enai sugklnousa (ra kai Cauchy) gia kje x E , ra kai gia
x = xj , j = 1, 2, . . . , N . Epomnwc uprqoun fusiko kj , j = 1, 2, . . . , N
ttoioi ste
|gk (x) gl (x)| |gk (x) gk (xj )| + |gk (xj ) gl (xj )| + |gl (xj ) gl (x)| < 3.
Lgw tou krithrou Cauchy gia omoimorfh sgklish (Jerhma 4.3.14), h
{gk } sugklnei omoimorfa sto K .
133
Kn (t) dt +
Kn (t) dt < .
'Estw
(6.9)
(
Kn (t) =
(1t2 )n
,
cn
an
1 t 1,
an t < 1 t > 1.
0,
Z
cn =
(1 t2 )n dt.
Z
cn = 2
Z
2 n
(1 t ) dt = 2
0
Z
2
(1 + t)n (1 t)n dt
0
1
2
.
(1 t)n dt =
n+1
134
Z 1
(n + 1)(1 2 )n dt (n + 1)(1 2 )n .
'Estw
(6.10)
n
2 2
pn (t) = en t /2 .
2
R
2
Apdeixh to lmmatoc: Jtoume g(M ) = M eu du, M 0. Grfontac
R u2
R M u2
g(M ) = 0 e
du 0 e
du, parathrome ti h g enai paragwgsimh
kai to Jemelidec Jerhma to Logismo dnei
2
g 0 (M ) = eM , M > 0.
'Etsi o kannac to LHospital dnei
R u2
2
e
du
g(M )
eM
lim M M 2
= lim M 2 = lim
2 = 0.
M
M e
M 2M eM
e
'Ara uprqei Mo > 0 ttoio ste gia M Mo ,
Z
2
2
eu du eM .
M
135
eu du
eM 2
|f (t)| dt <
|g(t)| dt < .
o f se kje
'Estw Kn mi akolouja Dirac. Jtoume fn = Kn f . Tte fn
kleist disthma to R.
Apdeixh.
Lgw thc (D3),
f (x) = f (x)
Kn (t) dt =
136
x R.
'Ara
Z
(6.11)
fn (x) f (x) =
Kn (t) [f (x t) f (x)] dt
x R.
|f (x t) f (x)| < .
Kn +
.
2M
Kn <
Z
(6.13)
Kn (t) |f (x t) f (x)| dt 2M
Kn (t) dt < .
Kn =
Kn
Kn = , x [a, b].
Dexame loipn ti gia kje x [a, b] kai kje n no , |fn (x) f (x)| < 2.
o f sto [a, b].
'Ara fn
suneqc sto [a, b]. Uprqei mi akolouja poluwnmwn {pn } ttoia ste
o f sto [a, b].
pn
Apdeixh.
Z
pn (x) =
Kn (x t)f (t) dt =
Z
aj =
Tloc apodeiknoume to jerhma qwrc kami epiprsjeth upjesh. Jewrome th sunrthsh : [a, b] [0, 1] me
(x) =
Jtoume
xa
.
ba
y [0, 1].
H g enai suneqc sto [0, 1]. Lgw autn pou apodexame mqri tra, uprqei
o g sto [0, 1]. Jtoume
akolouja poluwnmwn {rn } me rn
xa
.
pn (x) = rn (x) = rn
ba
H {pn } enai akolouja poluwnmwn kai epiplon
o
pn = rn
g=f
Pardeigma 6.3.2 'Estw f : [a, b] R mi suneqc sunrthsh. Upojtoume ti gia kje n = 0, 1, 2, . . . , isqei
Z
(6.14)
xn f (x) dx = 0.
Rb
n a
Rb
a
f 2 = 0. Epeid h f
6.4 Askseic
6.4.1 'Estw E na m ken uposnolo to R. Dexte ti o B(E) me t nrma kk
enai normikc qroc.
o
6.4.2 Dexte ti fn f sto qro B(E) an kai mno an fn
f sto E .
qroc.
140
6.4.17 'Estw K sumpagc uposnolo to R. An {fn } enai mi omoimorfa sugklnousa akolouja sto C(K), dexte ti to snolo {fn : n N} enai omoimorfa
fragmno kai isosuneqc.
6.4.18 'Estw K sumpagc uposnolo to R. An F enai mia isosuneqc oikogneia
sto K kai h akolouja {fn } F sugklnei shmeiak sto K , dexte ti h {fn }
sugklnei omoimorfa sto K .
6.4.19 'Estw K sumpagc uposnolo to R. An h akolouja {fn } C(K) enai
fjnousa kai sugklnei shmeiak sto K prc th mhdenik sunrthsh, dexte ti to
snolo {fn : n N} enai isosuneqc.
6.4.20 Qrhsimopoiste tic Askseic 6.4.16-6.4.19 gia na dsete mi na apdeixh
tou krithrou tou Dini (Jerhma 4.4.4).
6.4.21 Dnontai na sumpagc uposnolo K to R kai mi akolouja {fn }
C(K). An to snolo {fn : n N} enai isosuneqc sto K , dexte ti to snolo
{x K : {fn (x)} sugklnei} enai kleist uposnolo tou K .
6.4.22 Gia mi akolouja paragwgsimwn sunartsewn fn : [a, b] R isqei
|f 0 (x)| 1, x [a, b], n N.
An h {fn } enai shmeiak fragmnh, dexte ti h {fn } qei upakolouja pou sugklnei
omoimorfa sto [a, b].
6.4.23 Dnetai mi akolouja sunartsewn {fn } pou enai suneqec sto [a, b] kai
paragwgsimec sto (a, b). Upojtoume ti h {fn0 } enai omoimorfa fragmnh sto
(a, b) kai h {fn } sugklnei shmeiak sto [a, b]. Dexte ti h {fn } sugklnei omoimorfa sto [a, b].
6.4.24 Dnontai arijmo K kai me 0 < K < kai 0 < 1. Dexte ti to
snolo
{f Lip(K, ) : f (0) = 0}
enai sumpagc uposnolo to C[0, 1].
Z
Fn (x) =
141
Rb
(a) An f C[a, b] kai g(x) = a f (t)K(x, t) dt, dexte ti g C[a, b].
(b) Orzoume ton telest T : C[a, b] C[a, b] me thn isthta
Z b
T f (x) =
f (t)K(x, t) dt.
a
6.4.30 'Estw F (x, y) mia sunrthsh suneqc sto [0, 1] [0, 1]. Gi y [0, 1],
orzoume th sunrthsh Fy : [0, 1] R me Fy (x) = F (x, y). Dexte ti to snolo
twn sunartsewn {Fy : y [0, 1]} enai isosuneqc sto [0, 1].
6.4.31 Dexte ti ktw ap tic upojseic to Orismo 6.2.4, to genikeumno olok-
lrwma
f (t) g(x t) dt
n
,
(1 + n2 t2 )
142
t R, n N,
[
C[a, b] =
Pn .
n=1
6.4.42 ? Dexte
ti uprqei akolouja poluwnmwn {pn } ttoia ste pn
0 sto
R
[0, 1] all
1
0
pn (x) dx 3.
143
6.5 Shmeiseic
H nnoia thc isosunqeiac mpore na oriste kai gia oikogneiec pragmatikn migadikn sunartsewn pou enai orismnec se na metrik qro (X, ): H F onomzetai isosuneqc sto X an an gia kje > 0, uprqei > 0 ttoio ste
144
Bibliografa
[1] T. Apostol, Mathematical Analysis. Second Edition. Addison-Wesley
Publ. 1974.
[2] N. L. Carothers, Real Analysis. Cambridge Univ. Press 2000.
[3] W. J. Kaczor, M.T. Nowak, Problems in Mathematical Analysis I, II,
III. American Mathematical Society 2000.
[4] W. Rudin, Principles of Mathematical Analysis. Third Edition.
McGraw-Hill 1976.
[5] K. Stromberg, An Introduction to Classical Real Analysis. Wadsworth
1981.
[6] R. L. Wheeden and A. Zygmund, Measure and Integral. Marcel Dekker
1977.
[7] Ap. Giannpouloc, Eisagwg sthn Anlush I. Diajsimo sthn istoselda
http://eudoxos.math.uoa.gr/ apgiannop
[8] P. Xenikkhc, Pragmatik Anlush. Deterh 'Ekdosh. Ekd. Zth 1999.
[9] M. Papadhmhtrkhc, Eisagwg sthn Anlush. Diajsimo sthn istoselda
http://www.math.uoc.gr/ papadim/
[10] M. Papadhmhtrkhc, Eisagwg sthn Anlush II. Diajsimo sthn istoselda
http://www.math.uoc.gr/ papadim/
145
Euretrio
jroish kat mrh 110
jroisma seirc 27
akolouja Cauchy 12
akolouja merikn ajroismtwn 27, 105
akolouja sunartsewn 83
axousa 84
omoimorfa fragmnh 84
fjnousa 84
fragmnh 84
Dirac 134
Landau 134, 137
akraa shmea 43
aktna sgklishc 116
anaditaxh seirc 34
anisthta Jensen 70
nw frgma 1
nw prac (supremum) 2
nw fragmno snolo 1
antero rio akoloujac (limsup) 15
algebrikc arijmc 22
algrijmoc Eukledh 41
axwma plhrthtac 2
apeiroginmeno 51
apluth sgklish 28
apstash sunartsewn 86
arister pargwgoc 67
arq kibwtismo 6
arqimdeia idithta 3
gewmetrik seir 28
dexi pargwgoc 67
disthma sgklishc 116
dipl akolouja 103
dunamoseir 115, 126
dunamosnolo 23
elqisto 1
enallssousa seir 34, 115
enallssousa armonik seir 35
Jerhma
jemelidec to Logismo 82
kuriarqomenhc sgklishc 104
oriak to Abel 114
paraggishc to Lebesgue 82
Arzel`
a-Ascoli 132, 144
Bolzano-Weierstrass 10, 26
Cantor 23
Riemann 36
Weierstrass 137
isodnama snola 7
isosunqeia 130
kamplh
eppedh 118, 63
eujugrammsimh 64
qwroplhrwtik 118, 128
ktw prac (infimum) 2
ktw frgma 1
ktw fragmno snolo 1
kattero rio akoloujac (liminf) 15
kritrio
enallassousn seirn 34, 115
lgou 33
oloklhrmatoc 29
oriakc sgkrishc 31
rzac 32
sgkrishc 30
sumpknwshc 48
Abel 110, 115, 127
Cauchy 90, 106
Dini 91, 102, 103, 121, 141
Dirichlet 111, 115, 127
Weierstrass 108, 127
kmansh sunrthshc 57
mgisto 1
mkoc kamplhc 63
146
to pol arijmsimo 7
tpou Cantor 50
uperarijmsimo 7
fragmno 1
Cantor 42, 51, 56
oikogneia sunartsewn
isosuneqc 130
omoimorfa fragmnh 130
shmeiak fragmnh 130
olik kmansh sunrthshc 57
oloklrwma Riemann-Stieljes 82
omoimorfh prosggish 99
omoimorfh sgklish 86
oriakc arijmc akoloujac 13, 15,
26
147
148