You are on page 1of 40

1 Eisagwg 

Sto biblo autì ja asqolhjoÔme me dÔo edh dunamik¸n susthmˆtwn. To pr¸-


to enai ta sust mata diaforik¸n exis¸sewn pr¸th tˆxh en¸ to deÔtero
enai oi apeikonsei . Pr¸ta ja exetˆsoume sti diaforikè exis¸sei ta
shmea isorropa kai thn eustˆjeiˆ tou . H eustˆjeia twn perissotèrwn
eid¸n shmewn isorropa (twn uperbolik¸n shmewn) kajorzetai apì to gram-
mikopoihmèno sÔsthma, to opoo ja melet soume kai ja broÔme ti lÔsei tou.
Sth sunèqeia ja sundèsoume ti lÔsei tou grammikopoihmènou sust mato
me autè tou arqikoÔ, mh grammikoÔ sust mato apì to opoo pro lje, me th
bo jeia twn jewrhmˆtwn Hartman – Grobman kai eustajoÔ pollaplìth-
ta . Ja doÔme ìti, sthn perptwsh twn mh uperbolik¸n shmewn isorropa ,
to grammikopoihmèno sÔsthma den mpore na d¸sei plhrofore gia ta fainìm-
ena gÔrw apì autˆ ta shmea kai aut  enai h perptwsh ìpou parousiˆzontai
oi diaklad¸sei (bifurcations). Ja melet soume tèssera edh diaklad¸sewn
(diaklˆdwsh sˆgmato kìmbou, upokrsimh diaklˆdwsh, diaklˆdwsh diqˆla
kai diaklˆdwsh Hopf). Ja melet soume en suntoma ta antstoiqa fainìmena
sta stajerˆ shmea twn apeikonsewn, dhlad  ta shmea, ta antstoiqa twn
shmewn isorropa , sthn perptwsh twn uperbolik¸n shmewn me th bo jeia
th grammikopohsh kai sthn perptwsh twn mh uperbolik¸n shmewn me th
jewra diaklad¸sewn.
To deÔtero mèro tou biblou enai afierwmèno sto qˆo . Ja d¸soume ton
orismì tou qaotikoÔ anallowtou sunìlou kai sti dÔo peript¸sei dunamik¸n
susthmˆtwn. Ja melet soume dÔo monodiˆstate apeikonsei pou emfanzoun
qˆo , thn apeikìnish Renyi kai th logistik  apeikìnish. Sthn apeikìnish
Renyi ja eisˆgoume thn ènnoia th sumbolik  dunamik  kai th metatì-
pish Bernoulli kai me th bo jeiˆ tou ja apodexoume thn Ôparxh qˆou
sthn apeikìnish aut . Sth logistik  apeikìnish ja melet soume kai ˆl-
la fainìmena, ìpw to diplasiasmì periìdou. Ja melet soume epsh mia
didiˆstath qaotik  apeikìnish, to pètalo tou Smale. Qrhsimopoi¸nta sum-
bolik  dunamik , ja dexoume ìti to anallowto sÔnolì th enai qaotikì kai
epiplèon sÔnolo Cantor. To pètalo tou Smale emfanzetai ìtan upˆrqoun
oi legìmene omoklinikè kai eteroklinikè troqiè sta dunamikˆ sust mata,
sthn perptwsh pou mia astaj  kai mia eustaj  pollaplìthta tèmnontai
egkˆrsia. Ja qrhsimopoi soume to omoklinikì je¸rhma Mel’nikov gia na
entopsoume thn Ôparxh egkˆrsia tom  , h opoa ma egguˆtai thn Ôparxh
petˆlou tou Smale kai sunep¸ qaotik  dunamik  sthn perioq  sagmatikoÔ
shmeou sta Qamiltonianˆ kai ˆlla dunamikˆ sust mata.
Autì to biblo, me bˆsh thn parapˆnw Ôlh, dnei mia genik  episkìphsh th
jewra twn dunamik¸n susthmˆtwn, en¸ embajÔnei perissìtero se orismèna

1
jèmata th jewra aut  . Gia peraitèrw melèth twn dunamik¸n susthmˆtwn
protenontai ta bibla pou brskontai sth bibliografa.

2 Sust mata diaforik¸n exis¸sewn pr¸th tˆ-


xh
2.1 Autìnoma kai mh autìnoma sus t mata

Ja asqolhjoÔme me sust mata diaforik¸n exis¸sewn pr¸th tˆxh , th mor-



ẋi = fi (xj , t), i, j = 1, . . . , n. (1)
Ta xi mpore na enai suntetagmène ston Eukledeio q¸ro Rn h mpore na enai
suntetagmène pˆnw se mia aujareth n diastath epifˆneia M . Epsh , an ta
fi exart¸ntai ˆmesa apì to qrìno, tìte to sÔsthma lègetai mh autìnomo.
Antjeta an oi exis¸sei (1) enai th morf 

ẋi = fi (xj ), (2)

dhlad  an to sÔsthma den exartˆtai ˆmesa apì to qrìno, tìte onomˆzetai


autìnomo.
LÔsh tou parapˆnw sust mato (1) enai h oikogèneia twn kampÔlwn, se
parametrik  morf  me parˆmetro to qrìno,

xi = xi (t; xj 0 , t0 ). (3)

H parapˆnw lÔsh parousiˆzetai grafikˆ sto q¸ro katastˆsewn tou sust -


mato , o opoo enai h n diˆstath epifˆneia M kai o qrìno t ∈ R, dhlad 
o q¸ro M × R. Parathreste ìti h lÔsh exartˆtai apì ti n + 1 arqikè
sunj ke xj 0 , t0 kai apì thn parˆmetro t. Katˆ to 19o ai¸na anaptÔqjhkan
jewr mata gia sust mata sun jwn diaforik¸n exis¸sewn, ta opoa eggu¸ntai
ìti, an ta fi (xj , t) enai paragwgsime sunart sei twn xj kai tou qrìnou, tìte
apì kˆje shmeo tou q¸rou katastˆsewn (xj , t) pernˆei ma kai mìno ma lÔsh
tou sust mato diaforik¸n exis¸sewn (1), dhlad  se kˆje arqik  sunj kh
(xj 0 , t0 ) antistoiqe ma kai mìno ma lÔsh. H lÔsh (3), gia sugkekrimène
arqikè sunj ke (xj 0 , t0 ), paristˆnei mia kampÔlh sto q¸ro katastˆsewn
M × R, pou onomˆzetai troqiˆ. Lìgw th parapˆnw monadikìthta th lÔsh ,
oi troqiè ston q¸ro katastˆsewn den tèmnontai metaxÔ tou , oÔte kai ma
troqiˆ tèmnei ton eautì th . Tètoia jewr mata Ôparxh kai monadikìthta
th lÔsh apodeqjhkan apì tou Cauchy, Picard k.a.

2
Gia ta autìnoma sust mata th morf  (2) èqoume th lÔsh

xi (t) = xi (t − t0 ; xj 0 ) (4)

O q¸ro katastˆsewn se aut  thn perptwsh enai h n diˆstath epifˆneia


M . To gegonì ìti ta xi exart¸ntai apì to t0 mìno mès tou sumplègmato
t − t0 shmanei ìti, an gia thn dia arqik  sunj kh xj 0 jewr soume kˆpoio di-
aforetikì t′0 , tìte h kampÔlh pou paristˆnei mia sugkekrimènh lÔsh paramènh
h dia me aut  pou antistoiqe sto t0 , apl¸ pernˆ apì ta diˆfora shmea xi se
diaforetikì qrìno. Kai gia ta autìnoma sust mata upˆrqoun ta antstoiqa
jewr mata Ôparxh kai monadikìthta th lÔsh . Se aut  thn perptwsh, an
ta fi (xj ) enai paragwgsime sunart sei twn xj kai epiplèon upˆrqei èna
toulˆqiston i ∈ {1, . . . , n}, tètoio ¸ste fi (xj ) 6= 0, tìte apì kˆje shmeo xj
pernˆ monadik  lÔsh twn (4).
Ta shmea gia ta opoa isqÔei fi (xj ) = 0 gia kˆje i = 1, . . . , n onomˆzontai
shmea isorropa . Gia autˆ ta shmea isqÔei ìti ẋi = 0 kai an jewr soume
ìti apoteloÔn arqikè sunj ke gia th lÔsh xj = xj 0 , tìte xi (t) = xi 0 kai h
lÔsh paramènei gia pˆnta sto dio shmeo th M .

2.2 Shmea isorropa kai grammikopohsh

'Estw ìti
fi (xj ) = 0 ∀ i = 1, . . . , n. (5)
Oi exis¸sei (5) apoteloÔn algebrikì sÔsthma n exis¸sewn w pro ti
n metablhtè xj kai epidèqontai kˆpoie lÔsei . 'Estw epsh ìti x∗ =
{x∗1 , x∗2 , . . . , x∗n } enai mia tètoia lÔsh. To shmeo x∗ ∈ M enai èna shmeo
isorropa kai, an jewrhje w arqik  sunj kh, h troqiˆ tou apoteletai
mìno apì autì to shmeo, dhlad  h troqiˆ paramènei sto shmeo autì gia kˆje
qronik  stigm  t.
Sth sunèqeia ja jewr soume mikrè diataraqè gÔrw apì to shmeo isor-
ropa , dhlad 
xi = x∗i + ξi . (6)
Ja anptÔxoume to dex mèlo th (4) se seirˆ Taylor kai ja krat soume
tou grammikoÔ ìrou w pro ta ξi . O skopì kai h qrhsimìthta aut 
th mejìdou ja fane afoÔ pr¸ta mil soume gia ti lÔsei tou grammikoÔ
sust mato , gia ta uperbolikˆ shmea isorropa kai ta jewr mata Hartman
– Grobman kai eustajoÔ pollaplìthta .
Antikajist¸nta ti (6) sto sÔsthma (4) kai anptÔssonta w pro ti
diataraqè ξi , afoÔ pˆroume upìyh ìti sto shmeo isorropa x∗ isqÔoun oi

3
(5), parnoume
ξ˙ = Aξ + O(ξ 2 ) (7)
ìpou o A enai o pnaka me stoiqea

∂fi
Aij = .
∂xj x∗

O pnaka autì paristˆnetai epsh w A = Df . AfoÔ o pnaka A enai


upologismèno sto shmeo isorropa , ja enai stajerì pnaka .
To prosarthmèno grammikì sÔsthma   to sÔsthma twn exis¸sewn metabol¸n
sto shmeo isorropa x∗ enai to grammikì sÔsthma me stajeroÔ sunte-
lestè
ξ̇ = Aξ (8)
pou parnoume apì ti (7) paraleponta tou ìrou an¸terh tˆxh . Parakˆtw
ja melet soume ti lÔsei grammik¸n susthmˆtwn th morf  (8).

2.3 Grammikˆ sus t mata me s tajeroÔ sunteles tè .

Ja melet soume sust mata th morf  (8),

ẋ = Ax (9)

ìpou o pnaka A èqei stajerˆ stoiqea kai x ∈ Rn .


Prin anafèroume poia enai h lÔsh tou parapˆnw sust mato , prèpei na
orsoume thn ekjetik  sunˆrthsh pnaka

1 2 X 1
eA = I + A + A + ... = Ak (10)
2! k!
k=0

ìpou A0 = I. ApodeiknÔetai ìti, an to mètro tou pnaka A enai fragmèno,


tìte h parapˆnw seirˆ sugklnei. Idiìthte th ekjetik  sunˆrthsh enai oi
parakˆtw:

• Metasqhmatismì omoiìthta

(11)
−1
ePAP = PAP−1

• IsqÔei ìti
eA+B = eA eB (12)
an kai mìno an oi pnake A kai B antimetatjentai, dhlad  an AB = BA

4
• Me th bo jeia tou anaptÔgmato (10), apodeiknÔetai ìti

d At
e = AeAt (13)
dt

T¸ra mporoÔme na poÔme ìti h genik  lÔsh th (9) enai h

x(t) = eAt x0 (14)

ìpou x0 = (x10 , x20 , . . . , xn0 ) enai h arqik  sunj kh gia t = 0, dhlad  x(0) =
x0 .
Me bˆsh thn idiìthta (13) enai polÔ eÔklolo na apodexoume ìti h (14)
enai h lÔsh th (9). Pragmatikˆ, èqoume

d d
ẋ = (eAt x0 ) = (eAt )x0 = AeAt x0 = Ax.
dt dt
To z thma ìmw enai ìti den xèroume thn analutik  èkfrash th ekjetik 
sunˆrthsh pnaka. H morf  th exartˆtai apì ti idiotimè tou pnaka A pou
brsketai ston ekjèth.
Apì th grammik  ˆlgebra gnwrzoume ìti gia ta idiodianÔsmata tou pnaka
A isqÔei ìti
Ax = λx, λ ∈ C ⇒ (A − λI)x = 0. (15)
Ikan  kai anagkaa sunj kh gia na èqei to grammikì sÔsthma (15) lÔsh x 6= 0
enai h orzousa twn suntelest¸n tou na isoÔtai me mhdèn,

|A − λI| = 0. (16)

H parapˆnw sqèsh dnei mia algebrik  exswsh, poluwnumik  n bajmoÔ an o


A enai n × n pnaka kai, sÔmfwna me th ˆlgebra, èqei n rze , kˆje mia apì
ti opoe enai pragmatik    migadik . Oi migadikè rze emfanzontai anˆ
suzug  zeÔgh, mia kai o pnaka A enai pragmatikì , dhlad  an upˆrqei mia
migadik  rza, tìte upˆrqei kai h suzug  th . Ja xeqwrsoume loipìn ti
parakˆtw peript¸sei :

• Idiotimè pragmatikè me grammikˆ anexˆrthta idiodianÔsmata


An oi idiotimè tou pnaka A enai diaforetikè metaxÔ tou , tìte ta idio-
dianÔsmata enai diaforetikˆ kai grammikˆ anexˆrthta. An ìmw kˆpoia
idiotim  enai pollapl  me pollaplìthta k (algebrik  pollaplìthta),
upojètoume ìti antistoiqoÔn se aut  k grammikˆ anexˆrthta idiodianÔs-
mata (gewmetrik  pollaplìthta). An loipìn h exswsh (16) èqei n

5
pragmatikè rze , tìte ta antstoiqa idiodianÔsmata enai pragmatikˆ
kai brskontai apì th sqèsh

(A − λI)x = 0

ìpou èqoume antikatast sei to λ me thn antstoiqh idiotim . Apì thn


parapˆnw sqèsh brskoume to idiodiˆnusma th λ, an aut  enai apl ,  
ta k grammikˆ anexˆrthta idiodianÔsmata, an h rza ena pollaplìthta
k. Sqhmatzoume ton n × n pnaka P pou èqei w st le ta n grammikˆ
anexˆrthta idiodianÔsmata pou antistoiqoÔn se ìle ti idiotimè tou
A. Tìte isqÔei ìti |P| =6 0, mia kai oi st le tou pnaka autoÔ enai
grammikˆ anexˆrthte , sunep¸ upˆrqei o pnaka P−1 kai epiplèon o
metasqhmatismì omoiìthta

P−1 AP = D (17)

diagwnopoie ton pnaka, dhlad 


 
λ1 0 . . . 0
 0 λ2 . . . 0 
D=  .
 = diag (λ1 , λ2 , . . . , λn )
. ... . 
0 0 . . . λn

en¸ A = PDP−1 . 'Omw to ekjetikì diag¸niou pnaka enai apl¸


 λ1 t 
e 0 ... 0
 0 e λ2 t ... 0 
eDt = 
 .
,
. ... . 
0 0 . . . eλn t

opìte h lÔsh (14) se aut  thn perptwsh grˆfetai w


−1 t
x(t) = eAt x0 = ePDP x0 = PeDt P−1 x0

   
eλ1 t 0 ... 0
 0 eλ2 t ... 0 
x(t) = P 
 .
 P−1 x0 (18)
. ... . 
0 0 . . . eλn t

6
• Idiotimè suzuge migadikè me grammikˆ anexˆrthta idiodianÔsmata
An oi idiotimè enì pnaka enai migadikè , tìte upˆrqoun ta migadikˆ
suzug  zeÔgh idiotim¸n αk ± iβk , afoÔ o pnaka enai pragmatikì .
Epiplèon, ta antstoiqa idiodianÔsmata enai ta migadikˆ suzug  zeÔgh
uk ± ivk . An qrhsimopoi soume w pnaka P ton pnaka pou èqei st le

P = (v1 , u1 , v2 , u2 , . . . , vk , uk , . . .) ,

tìte o metasqhmatismì omoiìthta tou A, dhlad  o pnaka P−1 AP,


gnetai
 
α1 −β1 0 0 ...
 β1 α1 0 0 ... 
 
D = P−1 AP =   0 0 α 2 −β 2 ... 

 0 0 β2 α2 ... 
... ... ... ... ...
   
αk −βk
D = diag .
βk αk
'Omw h ekjetik  sunˆrthsh kˆje block th morf 
 
αk −βk
t
βk αk

enai     
αk −βk αk t cos βk − sin βk
exp t =e .
βk αk sin βk cos βk

Autì apodeiknÔetai w ex  : IsqÔei ìti


 2  
α −β 2 (α2 − β 2 ) −2αβ
t = t2 .
β α 2αβ (α2 − β 2 )

'Omw α2 − β 2 = Re (α + iβ)2 kai 2αβ = Im (α + iβ)2 , ètsi ¸ste


 2  
α −β 2 Re (α + iβ)2 −Im (α + iβ)2
t = t2 .
β α Im (α + iβ)2 Re (α + iβ)2

Epagwgikˆ apodeiknÔetai ìti


 n  
α −β Re (α + iβ)n −Im (α + iβ)n
tn = tn .
β α Im (α + iβ)n Re (α + iβ)n

7
Epomènw h seirˆ tou ekjetikoÔ gia autì to block grˆfetai
 ∞ ∞

X 1 X 1
 Re (α + iβ)n tn − Im (α + iβ)n tn 
 n=0 n! n=0
n! 
 
 =
 ∞ ∞

 X 1 X 1 
 Im (α + iβ)n tn Re (α + iβ)n tn 
n=0
n! n=0
n!
 
Re e(α+iβ)t −Im e(α+iβ)t
=
Im e(α+iβ)t Re e(α+iβ)t

 , qrhsimopoi¸nta ton tÔpo tou Moivre,


 αt 
e cos βt −eαt sin βt
eαt sin βt eαt cos βt

kai h lÔsh tou sust mato ìtan o A èqei migadikè idiotimè grˆfetai


w
x = eAt x0 = e(PDP )t x0 = PeDt P−1 x0
−1

    
αt cos βt − sin βt
x = P diag e P−1 x0 .
sin βt cos βt
An loipìn o pnaka A èqei k pragmatikè idiotimè λi , i = 1, k me
k grammikˆ anexˆrthta idiodianÔsmta kai m zeÔgh suzug¸n migadik¸n
idiotim¸n αj ±iβj , j = 1, m me m zeÔgh suzug¸n migadik¸n kai grammikˆ
anexˆrthtwn idiodianusmˆtwn, tìte h lÔsh grˆfetai w ex 
  
λi t αj t cos βj t − sin βj t
x = P diag e , e P−1 x0 ,
sin βj t cos βj t

ìpou katˆ m ko th diagwnou tou pnaka th parapˆnw èkfrash up-


ˆrqoun k stoiqea th morf  eλi t kai m blocks th morf 
 
αj t cos βj t − sin βj t
e .
sin βj t cos βj t

Parathr ste ìti prèpei na isqÔei h sqèsh k+2m = n, ìpou n h diˆstash


tou q¸rou katastˆsewn.

8
3 Jewra diaklad¸sewn
JewroÔme mia oikogèneia dunamik¸n susthmˆtwn me parˆmetro to µ,

ẋi = fi (xj , µ), i, j = 1, . . . , n. (19)

A upojèsoume ìti gia µ = 0 to dunamikì sÔsthma

ẋi = fi (xj , 0)

èqei èna shmeo isorropa x∗ = {x∗1 , x∗2 , . . . , x∗n }. To er¸thma enai an, kaj¸
allˆzei h parˆmetro µ, to shmeo isorropa pou upˆrqei gia µ = 0 diathretai
kai se ˆlla mèlh th oikogèneia dunamik¸n suthmˆtwn (19) gia µ 6= 0.
Upˆrqei èna je¸rhma, to je¸rhma peplegmènwn sunart sewn (implicit
function theorem), to opoo lèei ìti ìtan èna sÔnolo sunart sewn fi (xj , µ)
mhdenzetai gia kˆpoia tim  µ = µ0 , dhlad 

fi (x∗j , 0) = 0,

ìpw sumbanei sto shmeo isorropa x∗ gia µ = 0, kai epiplèon o pnaka



∂fi
∂xj x∗

den èqei mhdenikè idiotimè ( , isodÔnama, h orzousa tou pnaka den enai
mhdèn) tìte h lÔsh aut  suneqzetai me monadikì trìpo w pro µ. Dhlad 
upˆrqei kampÔlh xi = xi (µ) gÔrw apì to µ = 0, sto anoiktì diˆsthma µ ∈
(−µ0 , µ0 ) tim¸n tou µ, tètoia ¸ste

fi (xj (µ), µ) = 0.

Autì shmanei ìti to shmeo isorropa suneqzei na upˆrqei gia kˆpoie suneqe
timè tou µ se ìla ta mèlh th oikogèneia (19) gÔrw apì to µ = 0 kai enai
monadikì.
Ta uperbolikˆ shmea isorropia , sta opoa isqÔei ìti

Re(λi ) 6= 0 ∀ i = 1, . . . , n

èqoun profan¸ orzousa diˆforh tou mhdenì , kai epomènw suneqzontai me


monadikì trìpo. Epiplèon kai ta shmea isorropa pou èqoun Re(λi ) = 0 gia
kˆpoio i allˆ isqÔei ìti Im(λi ) 6= 0, suneqzontai me monadikì trìpo. Tètoia
perptwsh enai to kèntro ston R2 . 'Omw h eustˆjeiˆ tou mpore na allˆxei
drastikˆ kai na dhmiourghje apì autì èna oriakì kÔklo , ìpw ja doÔme

9
parakˆtw. Antjeta, shmea isorropa gia ta opoa isqÔei ìti Re(λi ) 6= 0
∀ i ìqi mìno suneqzontai me monadikì trìpo, allˆ epiplèon kai h eustˆ-
jeiˆ tou diathretai, kaj¸ o qarakt ra twn idiotim¸n (an dhlad  isqÔei
ìti Re(λi ) < 0   antjeta Re(λi ) > 0) diathretai gia mia anoikt  perioq 
tim¸n th paramètrou µ gÔrw apì to mhdèn kai epsh to mh grammikì kai to
antstoiqo grammikopoihmèno sÔsthma enai topologikˆ suzug .
Shmea isorropa loipìn twn opown o pnaka A tou grammikopoihmènou
sust mato
ξ̇ = Aξ
èqei mhdenikè idiotimè gia kˆpoia tim  th paramètrou µ = µ0 , mpore na mh
suneqzontai me monadikì trìpo w pro thn parˆmetro µ. Tètoia shmea mpo-
re na exafanzontai   na emfanzontai gia kˆpoia tim  th paramètrou   sth
jèsh tou mpore na emfanzontai dÔo, tra   perissìtera shmea isorropa .
Shemo isorropa gia to opoo upˆrqei i tètoio ¸ste Re(λi ) = 0 (ìpw to
kèntro), mpore na allˆzei eustˆjeia kaj¸ metabˆlletai to µ apì thn tim 
µ = 0 kai na sumbanoun nèa fainìmena, ìpw h emfˆnish oriakoÔ kÔklou.
Ta mh uperbolikˆ shmea isorropa onomˆzontai shmea diaklˆdwsh kai h
morf  twn troqi¸n sto q¸ro katastˆsewn twn mel¸n th oikogèneia pou
antistoiqoÔn se mikrì µ enai telew diaforetik  apì aut  tou mèlou th
oikogèneia gia µ = 0.

3.1 Edh diaklad¸sewn

Ja melet soume kˆpoie monoparametrikè oikogèneie dunamik¸n susthmˆtwn


pou apoteloÔn antipros¸pou genik¸n kathgori¸n susthmˆtwn ta opoa em-
fanzoun aut¸n twn eid¸n diaklad¸sei , sto eppedo R2 .

• Diaklˆdwsh sˆgmato kìmbou


JewroÔme thn oikogèneia twn dunamik¸n susthmˆtwn ston R2

ẋ = µ − x2 ,
ẏ = −y.

Ta shmea isorropa brskontai w ex 



f1 (x, y) = µ − x2 = 0 ⇒x=± µ
f2 (x, y) = −y = 0 ⇒y=0

ˆra gia µ < 0 ta mèlh th oikogèneia den èqoun kanèna shmeo isor-
ropa , gia µ = 0 upˆrqei èna shmeo isorropa , to (x, y) = (0, 0), kai

10
y




    x




< 0


y


x
   





= 0

y



x
    




> 0

Sq ma 1: H diaklˆdwsh sˆgmato kìmbou

11




x 





     




Sq ma 2: To diˆgramma diaklˆdwsh sˆgmato kìmbou


gia µ > 0 upˆrqoun dÔo shmea isorropa , to (x, y) = ( µ, 0) kai to

(x, y) = (− µ, 0).
O pnaka tou grammikopoihmènou sust mato enai gia µ = 0
 
0 0
Df |0 =
0 −1

en¸ gia µ > 0 enai antstoiqa gia ta dÔo shmea isorropa


 √ 
−2 µ 0
Df | µ =

0 −1
kai  √ 
2 µ 0
Df |(− √
µ) = .
0 −1

Gia µ 6= 0, to pr¸to apì ta parapˆnw shmea, afoÔ o pnaka èqei dÔo


pragmatikè , arnhtikè idiotimè , enai eustaj  kìmbo , en¸ to deÔtero,
ìpou o pnaka èqei dÔo pragmatikè eterìshme idiotimè , enai sˆg-
ma. ParathroÔme ìti ta shmea isorropa autˆ enai uperbolikˆ shmea
isorropa kai suneqzontai, kai autˆ kai h eustˆjeiˆ tou , me monadikì

12
trìpo kˆtw apì metabolè tou µ. Antjeta, gia µ = 0 o pnaka tou
grammikopoihmènou sust mato èqei mhdenik  idiotim  kai to shmeo isor-
ropa (x, y) = (0, 0) enai shmeo diaklˆdwsh . H diaklˆdwsh autoÔ tou
edou onomˆzetai diaklˆdwsh sˆgmato kìmbou kai oi troqiè ston
q¸ro katastˆsewn, kaj¸ metabˆlletai to µ, fanontai sto Sq ma 1.
Sto sq ma autì parathroÔme ìti, gia arnhtikè timè tou µ den upˆr-
qoun shmea isorropa , en¸ gia µ = 0 emfanzetai to shmeo isorropa
sto (0, 0) pou enai mh uperbolikì kai apotele to shmeo diaklˆdwsh .
Sto trto sq ma, pou antistoiqe sthn tim  µ = 1, blèpoume èna sˆgma
sto shmeo (−1, 0) kai èna kìmbo sto (1, 0).
To diˆgramma diaklˆdwsh , dhlad  to diˆgramma th suntetagmènh x
twn shmewn isorropa sunart sei th paramètrou µ, dnetai sto Sq ma
2, ìpou me suneq  gramm  paristˆnetai h jèsh tou eustajoÔ shmeou
isorropa (kìmbo ) kai me diakekommènh aut  tou astajoÔ (sˆgma).
Dhlad  h suneq  gramm  enai h grafik  parˆstash th sunˆrthsh
√ √
x = µ kai h diakekommènh th x = − µ.

• Upokrsimh diaklˆdwsh
H antiproswpeutik  oiogèneia susthmˆtwn, sta opoa emfanzetai aut 
h diaklˆdwsh dnetai apì to sÔsthma

ẋ = µx − x2 ,
ẏ = −y.

Ta shmea isorropa tou sust mato autoÔ enai ta

f1 (x, y) = µx − x2 = 0 ⇒ x = 0 kai x = µ
f2 (x, y) = −y = 0 ⇒ y = 0 kai y = 0

ˆra, gia jetikè   arnhtikè timè tou µ, to parapˆnw sÔsthma èqei


dÔo shmea isorropa , ta shmea (x, y) = (0, 0) kai (x, y) = (µ, 0),
ektì ˆpì thn perptwsh µ = 0, gia thn opoa upˆrqei mìno to shmeo
(x, y) = (0, 0).
O pnaka tou grammikopoihmènou sust mato sto shmeo (0, 0) enai
 
µ 0
Df |0 = ,
0 −1

sunep¸ to shmeo sutì gia µ < 0 enai eustaj  kìmbo , en¸ gia µ > 0
enai sˆgma.

13
y




       x






< 0

y




      x






= 0

y




      


 x



> 0

Sq ma 3: H upokrsimh diaklˆdwsh

14


x 



  




Sq ma 4: To diˆgramma th upokrsimh diaklˆdwsh

Sto shmeo (x, y) = (µ, 0), o pnaka enai


 
−µ 0
Df |µ =
0 −1

kai to shmeo autì gia µ < 0 enai sˆgma kai gia µ > 0 enai eustaj 
kìmbo . Gia µ = 0 o pnaka tou grammikopoihmènou sust mato sto
monadikì shmeo isorropa (0, 0) enai o
 
0 0
Df =
0 −1

kai to shmeo isorropa enai mh uperbolikì, afoÔ o pnaka èqei mh-


denik  idiotim . Parathr ste ìti katˆ th diaklˆdwsh pou sumbanei gia
µ = 0 ta dÔo shmea isorropa antallˆssoun thn eustˆjeiˆ tou . Oi
troqiè sto q¸ro katastˆsewn gia thn perptwsh aut  dnontai sto
Sq ma 3 kai to diˆgramma diaklˆdwsh sto Sq ma 4, ìpou pˆli ta eu-
staj  shmea isorropa sqediˆsthkan me suneq  gramm  kai ta astaj 
me diakekommènh.

15
• Diaklˆdwsh diqˆla
H oikogèneia susthmˆtwn pou enai ekprìswpo th diaklˆdwsh diqˆla
(pitchfork) enai h
ẋ = µx − x3 ,
ẏ = −y.
Ta shmea isorropa enai ta

f1 (x, y) = µx − x3 = 0 ⇒ x = 0 kai x = ± µ
f2 (x, y) = −y = 0 ⇒ y = 0 kai y = 0
ˆra, gia µ < 0, to parapˆnw sÔsthma èqei èna mìno shmeo isorropa ,
to (x, y) = (0, 0), en¸ gia µ > 0 upˆrqoun epiplèon ˆlla dÔo shmea, ta
√ √
(x, y) = ( µ, 0) kai (x, y) = (− µ, 0).
H eustˆjeia twn shmewn isorropa brsketai apì ton pnaka tou gram-
mikopoihmènou sust mato , o opoo enai
 
µ − 3x2 0
Df =
0 −1
ìpou antikajistoÔme to x me thn antstoiqh tim  tou shmeou isorropa .
'Etsi, o pnaka autì sto shmeo (x, y) = (0, 0) enai
 
µ 0
Df = ,
0 −1
dhlad  to shmeo autì gia µ < 0 enai eustaj  kìmbo en¸ gia µ > 0
enai sˆgma. Idiatera gia µ = 0 o pnaka gnetai
 
0 0
Df = ,
0 −1
kai to shmeo isorropa enai mh uperbolikì. O pnaka kai sta dÔo

shmea (x, y) = (± µ, 0) enai
 
−2µ 0
Df = ,
0 −1
sunep¸ ta shmea autˆ enai eustaje kìmboi. Sto Sq ma 5 fanontai
oi troqiè sto q¸ro katastˆsewn. Gia µ < 0 to monadikì shmeo (0, 0)
enai eustaj  kìmbo , en¸ gia µ = 0 enai mh uperbolikì shmeo. Gia
th jetik  tim  µ = 1 to shmeo autì ègine sˆgma, en¸ ta shmea (±1, 0)
enai eustaje kìmboi. To diˆgramma diaklˆdwsh dnetai sto Sq ma
6.

16
y


   


x




<0
y




       


 x




=0

y

    x




>0

Sq ma 5: H diaklˆdwsh diqˆla

17


x 



  




Sq ma 6: To diˆgramma th diaklˆdwsh diqˆla

• Diaklˆdwsh Hopf
O teleutao tÔpo diaklˆdwsh pou ja melet soume enai h diaklˆdwsh
Hopf. Aut  h diaklˆdwsh emfanzetai ìtan gia µ = 0 to grammikopoih-
mèno sÔsthma tou shmeou isorropa antistoiqe se kèntro. 'Opw
anafèrame prohgoumènw , èna tètoio shmeo isorropa suneqzetai kai
gia µ 6= 0 me monadikì trìpo, ìmw allˆzei to edo th eustˆjeiˆ tou
kaj¸ pernˆme apì thn tim  µ = 0 kai emfanzetai èna oriakì kÔk-
lo . Oriakì kÔklo onomˆzoume ma periodik  troqiˆ, dhlad  mia kleist 
kampÔlh sto q¸ro katastˆsewn, sthn opoa tenoun ìle oi geitonikè
troqiè tou sust mato . An autì sumbanei kaj¸ t → ∞, o oriakì
kÔklo enai eustaj  , en¸ an sumbanei gia t → −∞, tìte enai asta-
j  .
H oikogèneia susthmˆtwn pou enai ekprìswpo th diaklˆdwsh Hopf
enai h
ẋ = −y + x(µ − x2 − y 2 ),
ẏ = x + y(µ − x2 − y 2 ).
To monadikì shmeo isorropa enai to (0, 0). Pragmatikˆ, pollaplasiˆ-
zonta thn pr¸th exswsh ep −y , th deÔterh ep x kai prosjètonta

18
y




   


x




† 0

y





   
 x


> 0

Sq ma 7: H diaklˆdwsh Hopf

katˆ mèlh, parnoume gia th jèsh isorropa

x2 + y 2 = 0,

me monadik  lÔsh to shmeo (0, 0). 'O pnaka tou grammikopoihmènou


sust mato tou shmeou autoÔ enai
 
µ −1
Df = .
1 µ

Oi idiotimè tou pnaka autoÔ, ìpw gnwrzoume apì th grammik  jewra,


enai µ ± i kai to shmeo isorropa gia µ < 0 enai eustaj  esta, gia

19
µ = 0 enai kèntro, en¸ gia µ > 0 enai astaj  esta. Gia µ 6= 0 to
shmeo isorropa kˆje mèlou th oikogèneia enai uperbolikì kai h
grammik  eustˆjeia diathretai kai sto mh grammikì sÔsthma, sÔmfwna
me to je¸rhma Hartman – Grobman. Antjeta, gia µ = 0 to shmeo
enai mh uperbolikì kai to je¸rhma autì den isqÔei. Sth sugkekrimè-
nh perptwsh, to shmeo isorropa tou mh grammikoÔ sust mato gia
µ = 0 enai eustaj  esta. 'Omw , kaj¸ pernˆme apì to µ = 0 pou
enai to shmeo diaklˆdwsh , dhmiourgetai èna oriakì kÔklo pou u-
pˆrqei gia ìla ta mèlh th oikogèneia gia µ = 0. Autì mpore kane na
to dei eÔkola, an metabe se polikè suntetagmène . Pragmatikˆ, pol-
laplasiˆzonta thn pr¸th exswsh ep x, th deÔterh ep y kai prosjè-
tonta katˆ mèlh, parnoume

xẋ + y ẏ = (x2 + y 2 )(µ − x2 − y 2 ),

 
ṙ = r(µ − r 2 ),
ìpou r 2 = x2 + y 2 . Sunep¸ gia ton kÔklo r 2 = µ isqÔei ṙ = 0 kai
autì apotele anallowto sÔnolo tou sust mato .
Sto Sq ma 7 fanontai oi troqiè sto q¸ro katastˆsewn. Gia µ ≤ 0
to shmeo (0, 0) enai eustaj  esta, en¸ gia µ > 0 to shmeo ègine
astaj  esta kai emfansthke o eustaj  oriakì kÔklo .

20
4 Apeikonsei
Sto kefˆlaio autì ja melet soume monodiˆstate kai didiˆstate apeikonsei
th morf 
xn+1 = f (xn ),
oi opoe orzontai mèsw mia sunˆrthsh

f :R→R

kai epsh th morf 

xn+1 = f1 (xn ), yn+1 = f2 (yn )

pou orzontai mèsw mia sunˆrthsh

f = (f1 , f2 ), f : R2 → R2 .

Parakˆtw ja sumbolzoume to diˆnusma (xn , yn ) w x̄n . Epsh ja apait -


soume h sunˆrthsh f na enai toulˆqisto suneq  .
W montèlo monodiˆstath apeikìnish ja analÔsoume th sumperiforˆ th
logistik  apeikìnish kai w montèlo didiˆstath apeikìnish ja melet -
soume thn apeikìnish Poincaré sust mato dÔo pr¸th tˆxew diaforik¸n
exis¸sewn pou exart¸ntai periodikˆ apì to qrìno.
Jewr¸nta èna shmeo x ∈ R   x̄ ∈ R2 , orzoume w pro ta emprì
troqiˆ tou shmeou autoÔ kˆtw apì thn apeikìnish ta shmea pou apoteloÔn
to parakˆtw sÔnolo

O+ = x, f (x), f 2 (x), . . . , f n (x), . . .

kai antstoiqa gia to x̄. To sÔmbolo f n (x) shmanei n forè efarmog  th


sunˆrthsh f , dhlad 

f n (x) = f (f (. . . (f (x)) . . .) = f ◦ f ◦ f . . . ◦ f (x)


| {z } | {z }
n−forè n−forè

An h sunˆrthsh f enai antistrèyimh, (dhlad  an enai amfimonìtimh kai ep)


tìte ∀x ∈ R (  ∀x̄ ∈ R2 ) upˆrqei monadik  proeikìna th f , f −1 (x) ∈ R
(antstoiqa, f −1 (x̄) ∈ R2 ). Tìte orzoume kai thn pro ta psw troqiˆ th f
w 
O− = x, f −1 (x), f −2 (x), . . . , f −n (x), . . .
kai antstoiqa gia to x̄. To sÔmbolo f −n (x) dhl¸nei thn n forè efarmog 
the antstrofh sunˆrthsh f −1 .

21
Stajerì shmeo th apeikìnish onomˆzetai èna shmeo x0 gia to opoo
isqÔei
f (x0 ) = x0 ,
dhlad  h eikìna tou kˆtw apì thn apeikìnish enai o dio o eautì tou (an-
tstoiqa, f (x̄0 ) = x̄0 ∈ R2 ).
Periodikì shmeo th apeikìnish onomˆzetai èna shmeo x0 gia to opoo
isqÔei
f n (x0 ) = x0 gia kˆpoio n ∈ N
O elˆqisto fusikì n gia ton opoo isqÔei autì onomˆzetai perodo tou
periodikoÔ shmeou.
'Ena stajerì shmeo ma apeikìnish onomˆzetai eustajè ìtan gia kˆje
ε > 0 upˆrqei δ > 0 tètoio ¸ste, ìtan |x − x0 | < δ ⇒ |f n (x) − x0 | < ε gia
kˆje fusikì n. Autì shmanei ìti upˆrqei δ geitoniˆ tou stajeroÔ shmeou
pou kˆje troqiˆ th paramènei ìso kontˆ jèloume sto stajerì shmeo gia
ˆpeiro qrìno. (To sÔmbolo | | shmanei apìluth tim  gia x ∈ R, en¸ shmanei
thn Eukledia metrik  gia x ∈ R2 .) Se èna eustajè stajerì shmeo oi troqiè
ete plhsiˆzoun asumptwtikˆ se autì opìte lègetai asumptwtikˆ eustajè ,
ete paramènoun gÔrw apì autì gia ˆpeire efarmogè th sunˆrthsh . 'Ena
stajerì shmeo pou den enai eustajè onomˆzetai astajè .
H eustˆjeia enì stajeroÔ shmeou mpore na melethje kai me th grammik 
jewra. ProkÔptei ìti an |f ′ (x0 )| < 1 ìpou f ′ (x0 ) sumbolzei thn parˆgwgo
th f sto shmeo x0 tìte to stajerì shmeo enai eustajè . An |f ′ (x0 )| > 1
tìte autì enai astajè (H grammik  jewra den mpore na apofanje gia thn
eustˆjeia   thn astˆjeia tou stajeroÔ shmeou an |f ′ (x)| = 1). Antstoiqa
gia to x̄0 ∈ R2 h eustˆjeia tou stajeroÔ shmeou mpore na kajoriste apì
th grammik  jewra kai sugkekrimèna apì ton Iakwbianì pnaka
 ∂f ∂f

1 1
∂x ∂y
 
J = 
∂f2 ∂f2
∂x ∂y

An oi idiotimè tou J èqoun mètro mikrìtero th monˆda , tìte to stajerì


shmeo enai eustajè . An èstw kai ma idiotim  èqei mètro megalÔtero th
monˆda tìte to stajerì shmeo enai astajè . Ta dia akrib¸ isqÔoun kai
gia periodikˆ shmea peridou n, mìno pou se aut  thn perptwsh de meletˆme
th sunˆrthsh f (x0 ) allˆ thn f n (x0 ).
Epiplèon upˆrqei èna pˆra polÔ qr simo ergaleo gia na melethjoÔn kˆpoie
apeikonsie me th bo jeia ˆllwn apeikonsewn pou èqoun parìmoia sumper-
iforˆ. Parnoume dÔo apeikonsei f : V → V kai g : W → W . 'Estw ìti
upˆrqei ma sunˆrthsh h : V → W h opoa èqei ti parakˆtw idiìthte :

22
• enai 1 − 1 (amfimonìtimh kai ep) ˆra antistrèyimh

• enai suneq  kai h antstrofh th h−1 enai suneq 

• h◦f =g◦h

  me ˆllo trìpo grafikˆ mporoÔme na poÔme ìti to diˆgramma tou sq mato


4 antimetatjetai

Sq ma 8: Oi apeikonsei f kai g enai topologikˆ suzuge

An upˆrqei h h me ti parapˆnw idiìthte tìte lème ìti oi dÔo sunart sei


f kai g enai topologikˆ suzuge . Lìgw th trth idiìthta h h apeikonzei
troqiè th f se troqiè th g. Epiplèon ìti idiìthte èqoun oi troqiè th f
pou sqetzontai me thn apìstash, ti die idiìthte èqoun kai oi troqiè th g,
epeid  h h enai suneq  sunˆrthsh. Idiìthte pou orzontai me th bo jeia th
apìstash kai twn anoiqt¸n kai kleist¸n sunìlwn onomˆzontai topologikè
kai diathroÔntai kˆtw apì th sunèqeia. Oi idiìthte tou qˆou pou
ja orsoume parakˆtw enai topologikè idiìthte .

5 Metrik  topologa
MporoÔme se èna sÔnolo na orsoume thn ènnoia th metrik  , dhlad  thn
ènnoia th apìstash . Aut  enai ma apeikìnish apì èna zeugˆri shmewn tou
sunìlou ston R+ , d : V × V → R+ me ti ex  idiìthte :

• d(x, y) = 0 ⇔ x = y

23
• d(x, y) = d(y, x) (summetrik  idiìthta)

• d(x, z) + d(z, y) ≥ d(x, y) (trigwnik  anisìthta)

Me bˆsh ti tre parapˆnw idiìthte apodeiknÔetai ìti d(x, y) ≥ 0, dhlad 


ìti h eikìna tou d an kei ston R+ .
H pr¸th metrik  pou èqei breje enai h Eukledia metrik  ston Rn , d :
R × Rn → R+ , h opoa orzetai w ex  :
n

p
d(x̄, ȳ) = (x1 − y1 )2 + ... + (xn − yn )2

ìpou x̄ = (x1 , x2 , ..., xn ) kai ȳ = (y1 , y2 , ..., yn ). H parapˆnw sunˆrthsh èqei


ti idiìthte th metrik  .
Me th bo jeia th metrik  mporoÔme na orsoume sfairikè perioqè enì
shmeou x ∈ V . Sfairik  perioq  tou x me aktna ε > 0 onomˆzetai to
sÔnolo B(x, ε) = {y ∈ V : d(x, y) < ε}. 'Ena shmeo x enì sunìlou
A ⊂ V lègetai eswterikì an upˆrqei ε > 0 tètoio ¸ste B(x, ε) ⊂ A. 'Ena
sÔnolo A ⊂ V lègetai anoiktì an kˆje shmeo tou x ∈ A enai eswterikì tou
shmeo. To sumpl rwma K enì anoiktoÔ sunìlou A w pro to sÔnolo V
(K = CA = V \ A) enai kleistì sÔnolo.
'Ena shmeo x enì sunìlou A lègetai memonwmèno shmeo tou A an upˆrqei
ε tètoio ¸ste B(x, ε) ∩ A = {x}. 'Ena anoiktì sÔnolo den èqei memonwmèna
shmea, en¸ èna kleistì sunolo mpore na èqei. 'Ena shmeo x ∈ V lègetai
shmeo suss¸reush tou sunìlou A an ∀ε > 0 ∃B(x, ε) : B(x, ε)\{x}∩A 6=
∅. Autì shmanei ìti se kˆje perioq  enì shmeou suss¸reush tou sunìlou
A, ìso mikr  kai an enai, mporoÔme na broÔme èna ˆllo stoiqeo pou na
an kei sto A. IsodÔnama an broÔme ma akolouja, diaforetik¸n metaxÔ tou
shmewn tou A, h opoa na sugklnei se èna shmeo x, tìte autì enai shmeo
suss¸reush tou sunìlou A. To dio to shmeo suss¸reush mpore na
an kei   na mhn an kei sto sÔnolo. To sÔnolo twn shmewn suss¸reush-
qarakthrzetai me A′ . Kleistìthta enì sunìlou onomˆzetai to sÔnolo
Cl(A) = A ∪ A′ . H kleistìthta enì sunìlou enai kleistì sÔnolo. 'Ena
sÔnolo enai kleistì an kai mìno an perièqei ìla ta shmea suss¸reush tou,
Autì enai èna enallaktikì trìpo gia na blèpoume èna kleistì sÔnolo.
'Ena shmeo x tou sunìlou V onomˆzetai sunoriakì shmeo enì sunìlou A
an ∀ε > 0 B(x, ε)∩ A 6= ∅ kai B(x, ε)∩ CA 6= ∅. 'Ena sunoriakì shmeo èinai
ete shmeo suss¸reush tou A, ete shmeo suss¸reush tou sumplhr¸mato
tou A, ete kai twn dÔo.
H peperasmènh tom  anoikt¸n sunìlwn enai anoiktì sÔnolo kai h ˆpeirh
ènwsh anoikt¸n sunìlwn enai anoiktì sÔnolo. Apì thn ˆllh pleurˆ, h

24
peperasmènh ènwsh kleist¸n sunìlwn enai kleistì sÔnolo kai h ˆpeirh tom 
kleist¸n sunìlwn enai kleistì sÔnolo.
Mia basik  idiìthta pou ja qrhsimopoi soume gia na apodexoume ìti h
logistik  apeikìnish èqei qaotikì anallowto sÔnolo enai to je¸rhma tou
kibwtismoÔ. 'Estw ìti èqoume mia akolouja In = [an , bn ] kleist¸n diasth-
mˆtwn tou R me ti parakˆtw idiìthte

• In+1 ⊂ In ∀n

• limn→∞ |an − bn | = 0

Tìte ∩∞ n=0 In = {x0 }, dhlad  h ˆpeirh tom  tou enai mh ken  kai mˆlista
enai èna kai monadikì stoiqeo tou R.
Tèlo an èqoume èna uposÔnolo A tou V tìte, lìgw th metrik  sto V ,
èqoume metrik  kai sto A, h opoa lème ìti epˆgetai apì to V . H apìstash
shmewn tou A enai dia me thn apìstash tou sto V kai ta anoiktˆ sÔnola
sto A orzontai w : A ∩ B , ìpou B èna tuqao anoiktì sÔnolo tou V .
'Ena sÔnolo A lègetai fragmèno ìtan h apìstash dÔo opoiond pote shme-
wn tou enai pˆnta mikrìterh apì èna stajerì arijmì, dhlad  d(x, y) <
M ∀x, y ∈ A. 'Ena sÔnolo pou enai kleistì kai fragmèno ston Rn enai
sumpagè kai antistrìfw .
'Ena sÔnolo A ⊂ V lègetai puknì sto V ìtan Cl(A) = V , dhlad  ìla ta
shmea tou V pou den an koun sto A enai shmea suss¸reush tou A. 'Ena
qarakthristikì parˆdeigma puknoÔ sunìlou sto R enai to sÔnolo twn rht¸n
arijm¸n Q. Kˆje pragmatikì arijmì , ete enai rhtì , ete enai ˆrrhto
enai shmeo suss¸reush twn rht¸n, dhlˆd  se kˆje geitoniˆ enì arijmoÔ
mporoÔme pˆnta na broÔme èna rhtì.
Idiìthte tom¸n, en¸sewn kai sunart sewn pou ja qreia-
s toÔn parakˆtw

• A ∩ (B ∪ D) = (A ∪ B) ∩ (A ∪ D)

• A ∩ (B ∪ D) = (A ∩ B) ∪ (A ∩ D)

• A ⊂ B ⇒ f (A) ⊂ f (B)

• D ⊂ E ⇒ f −1 (D) ⊂ f −1 (E)

• A ⊂ f −1 (f (A))

• f (f −1 (D)) ⊂ D

• f (A ∩ B) ⊂ f (A) ∩ f (B)

25
• f (A ∪ B) = f (A) ∪ f (B)

• f −1 (D ∩ E) = f −1 (D) ∩ f −1 (E)

• f −1 (D ∪ E) = f −1 (D) ∪ f −1 (E)

An h sunˆrthsh f enai antistrèyimh tìte oi idiìthte (5-7) metatrèpontai


se isìthte . En gènei, ete h sunˆrthsh f : X → Y enai antistrèyimh,
ete ìqi, orzoume w antstrofh eikìna enì sunìlou A ⊂ Y to sÔnolo
f −1 (A) = {x : x ∈ X, f (x) ∈ A}

Ask sei

• Na apodeiqjoÔn oi idiìthte (3-8) mia sunˆrthsh

• Na apodeiqje apì ti trei idiìthte orismoÔ mia metrik  ìti d(x, y) ≥


0.

• Na apodeiqje ìti h eukledia metrik  èqei ti tre idiìthte th metri-


k  .

• Na apodeiqje ìti h kleistìthta enì sunìlou enai kleistì sÔnolo.

• Na apodeiqje ìti x ∈ A′ ⇔ ∃ akolouja xn ∈ A h opoa na tenei sto


x.

• Na apodeiqje me th bo jeia th akolouja anoikt¸n sunìlwn (− n1 , n1 )


tou R ìti h ˆpeirh tom  anoikt¸n sunìlwn den enai pˆnta anoiktì sÔno-
lo.

• Na apodeiqje me th bo jeia th akolouja kleist¸n sunìlwn [ n1 , 1− n1 ]


ìti h ˆpeirh ènwsh kleist¸n sunìlwn den enai pˆnta kleistì sÔnolo.

• Na apodeiqje ìti oi rhto enai pukno sto R.

6 Qaotikì anallowto sÔnolo, qaotikì elku-


st  kai sÔnola Cantor
'Otan èqoume ma apeikìnish sto Rn (h se èna sÔnolo V efodiasmèno me
metrik ) tìte autì pou ma endiafèrei enai oi troqiè kˆje shmeou tou kai
kurw h asumptwtik  tou sumperiforˆ, dhlad  pou pˆei to shmeo Ôstera apì
ˆpeire epanal yei th apeikìnish . An p.q. èqoume èna asumtwtikˆ eustajè

26
stajerì   periodikì shmeo, tìte ìla ta shmea mia anoikt  periq  gÔrw
tou tenoun sto stajerì   peridikì shmeo. Ektì apì stajerˆ   periodikˆ
shmea upˆrqoun kai ˆlla sÔnola pio perploka ta opa èlkoun mia anoikt 
perioq  gÔrw tou . Tètoia sÔnola enai ta qaotikˆ anallowta sÔnola pou
enai kai elktikˆ, dhlad  oi qaotiko elkus tè (chaotic attractors).
Ja orsoume pr¸ta thn ènnoia tou anallowtou sunìlou. 'Ena sÔnolo
S onomˆzetai anallowto sÔnolo mia apeikìnish f eˆn f (S) = S . An h
apeikìnish enai antistrèyimh tìte to anallowto sÔnolo mporèi na oriste
w : S = {x : f n (x) ∈ S ∀ n ∈ Z}, dhlad  oi eikìne kai oi antstrofe
eikìne kˆje shmeou tou S paramènoun gia pˆnta pˆnw sto S .
'Ena sumpagè anallowto sÔnolo onomˆzetai qaotikì ìtan:
• H apeikìnish f èqei èna puknì sÔnolo periodik¸n troqi¸n pˆnw se autì
to sÔnolo.
• H apeikìnish f enai topologikˆ metabatik  pˆnw se autì to sÔnolo
• H apeikìnish f èqei euasjhth exˆrthsh apì ti arqikè sunj ke pˆnw
se autì to sÔnolo
Sqetikˆ prìsfata èqei deiqje ìti h trth idiìthta mpore na deiqje ìtan
isqÔoun oi dÔo pr¸te .
Mia apeikìnish lègetai topologikˆ metabatik  se èna anallowto sÔnolo
S an gia kˆje duˆda anoikt¸n perioq¸n U, V tou sunìlou S upˆrqei kˆpoio
fusikì arijmì n tètoio ¸ste f n (U ) ∩ V 6= ∅. Autì shmanei ìti ìle oi
anoiktè perioqè tou sunìlou S kˆpote ja tmhjoÔn kˆtw apì thn apeikìnish
kai ìla ta shmea tou q¸rou ja èrjoun ìso kontˆ jèloume. Pollè forè autì
anafèretai kai w idiìthta mixing, dhlad  oi anoiktè perioqè tou sunìlou
S anameignÔontai.
Mia apeikìnish f èqei euasjhth exˆrthsh apì ti arqikè sunj ke pˆnw
se èna anallowto sÔnolo S an upˆrqei r > 0 tètoio ¸ste gia kˆje shmeo
x ∈ S kai gia kˆje δ > 0 upˆrqei y ∈ S gia to opoo isqÔei d(x, y) < δ kai
epsh isqÔei ìti
d(f n (x), f n (y)) > r
gia kˆpoio n. Autì shmanei ìti ìso mikr  perioq  kai na jewr soume gÔrw
apì èna tuqao shmeo x tou sunìlou S pˆnta ja broÔme èna ˆllo shmeo
aut  th perioq  tou opoou kˆpoia eikìna kˆtw apì thn apeikìnish f ja
breje se apìstash megalÔterh apì èna stajerì arijmì r apì thn antstoiqh
eikìna tou x metˆ apì peperasmène efarmogè th apeikìnish .
Tèlo ja anafèroume ti idiìthte enì sunìlou Cantor mia kai pollˆ apì
ta qaotikˆ anallowta sÔnola pou enai gnwstˆ enai sÔnola Cantor. 'Ena
sÔnolo S , uposÔnolo enì sunìlou V , enai sÔnolo Cantor sto V an

27
• Enai kleistì sthn topologa tou V .

• Enai poujenˆ puknì sto V .

• Enai tèleio.

'Ena sÔnolo S lègetai poujenˆ puknì sto V an gia kˆje perioq  kˆje
shmeou x ∈ V mpore na breje pˆnta upoperioq  th pou na enai xènh me to S .
'Ena sÔnolo S lègetai tèleio an kˆje shmeo tou x enai shmeo suss¸reush
tou S , dhlad  èna tèleio sÔnolo den èqei memonwmèna shmea.

7 H logistik  apeikìnish
H logistik  apeikìnish èqei dÔo stajerˆ shmea pou brskontai apì th sqèsh
orismoÔ twn stajer¸n shmewn apeikìnish

f (x) = x ⇒ Rx(1 − x) = x.

LÔnonta thn parapˆnw sqèsh w pro x brskoume ta shmea x0 = 0 kai


x1 = R−1 R . H grammik  eustˆjeia twn stajer¸n shmewn dnetai apì thn
apìluth tim  th parag¸gou th sunˆrthsh upologismènh sto antstoiqo
stajerì shmeo. An |f ′ (x)| < 1 sto x0 h sto x1 tìte to shmeo enai grammikˆ
eustajè kai eustajè gia th mh grammik  sunˆrthsh. Eukolˆ upologzetai
ìti |f ′ (x0 )| < 1 gia −1 < R < 1 kai |f ′ (x1 )| < 1 gia 1 < R < 3. Epomènw to
mhdèn enai eustajè stajerì shmeo gia −1 < R < 1 kai gia R > 1 gnetai
astajè en¸ to x1 enai eustajè stajerì shmeo gia 1 < R < 3 kai gia R > 3
gnetai astajè stajerì shmeo. Gia R = 3 emfanzetai èna periodikì shmeo
periìdou dÔo to opoo apotele lÔsh th exswsh orismoÔ enì periodikoÔ
shmeou me perodo dÔo, dhlad 

f (f (x)) = x.

Autì enai eustajè gia kˆpoio diˆsthma tim¸n tou R, dhlad  to (3, R2 ) kai
metˆ gnetai astajè . Gia R = R2 dhmiourgetai èna periodikì shmeo periìdou
22 k.t.l. Genik¸ gia R = Rn dhmiourgetai èna eustajè periodikì shmeo
periìdou 2n to opoo gia R = Rn+1 gnetai astajè kai gia to dio Rn+1
dhmiourgetai èna eustajè periodikì shmeo periìdou 2n+1 . Autì to senˆrio
pou emfanzetai kai sti apeikonsei kai sti diaforikè exis¸sei onomˆze-
tai senˆrio diplasiasmoÔ th periìdou kai odhge se qaotikˆ fainìmena gia
megalÔtere timè th paramètrou prˆgma pou ja melet soume sto epìmeno
kefˆlaio. Gia R = R∞ = 3.5699456... èqoun emfaniste ìla ta periodikˆ

28
shmea periìdou 2n ∀n kai èqoun gnei ìla astaj . 'Ena mètro sÔgklish twn
tim¸n th paramètrou Rn sto R∞ enai o arijmì

Rn − Rn−1
δ = lim
n→∞ Rn+1 − Rn

ton opoo o Feigenbaum br ke arijmhtikˆ ìti enai δ = 4.669202.... O arijmì


δ onomˆsthke kai pagkìsmia stajerˆ giat isqÔei gia mia megˆlh oikogèneia
monodiˆstatwn apeikonsewn pou èqoun èna mègisto. Autè emfanzoun to
senˆrio diplasiasmoÔ periìdou kai èqei breje kai jewrhtikˆ apì tou Feigen-
baum, Coullet, Collet, Eckmann k.a. Parìla autˆ akìma paramènoun anapˆn-
thta erwt mata kai epsh eqoun melethje arijmhtikˆ didiˆstate apeikonsei
pou emfanzoun to senˆrio diplasiasmoÔ periìdou kai den èqoun tou diou
pagkìsmiou arijmoÔ .
Gia R∞ < R < 4 lga prˆgmata èqoun apodeiqje. Upˆrqei to je¸rhma
tou Sharkovskii pou isqÔei genikˆ gia monodiˆstate apeikonsei kai katatˆ-
sei ta periodikˆ shmea me kˆpoia diˆtaxh (diaforetik  aut  twn fusik¸n
arijm¸n). ApodeiknÔei ìti an ma monodiˆstath apeikìnish f (x) èqei peri-
odikˆ shmea periìdou n tìte èqei kai periodikˆ shmea periìdou k ìpou n ⊲ k
(ìpou to ⊲ qrhsimopoietai gia na dhl¸sei to megalÔtero se aut  th diˆtaxh).
To je¸rhma tou Sharkovskii apotele genkeush tou jewr mato twn Lie kai
Yorke ìti se ma monodiˆstath apeikìnish an upˆrqei h perodo tra upˆr-
qoun ìle oi ˆlle perodoi mia kai sth diˆtaxh tou Sharkovskii 3 ⊲ n ∀n.
Epiplèon gia kˆpoie apì autè ti timè R∞ < R < 4 èqei apodeiqje ìti
ta perissìtera shmea x èqoun troqiè pou enai puknè sto diˆsthma [0, 1].
Autì enai isodÔnamo me thn idiìthta th topologik  metabatikìthta pou
enai mia apì ti apait sei gia na upˆrqei qˆo , allˆ den enai isodÔnamh me
qaì parˆ mìno me ergodikìthta.
Gia R = 4 èqoume th logistik  apeikìnish f (x) = 4x(1 − x). An kˆnoume
ton metasqhmatismì x = h(ϕ) = sin2 ϕ tìte parnoume

xn+1 = 4xn (1 − xn ) ⇒ sin2 ϕn+1 = sin2 2ϕn . (20)

Epomènw mia kai h h enai suneq  sunˆrthsh upˆrqei ma hmisuzuga metaxÔ
th apeikìnish Renyi ̺ : S 1 → S 1 , ìpou ̺ enai h parakˆtw apeikìnish

ϕn+1 = 2ϕn mod 1,

kai th logistik  apeikìnish gia R = 4, dhlad 

h ◦ ̺ (ϕ) = f ◦ h(ϕ)

29





I [







     


[

Sq ma 9: H logistikˆ apeikìnish gia R = 4.5

(sqèsh (20) ). Epomènw troqiè th ̺ apeikonzontai se troqiè th f kai oi


topologikè idiìthte th ̺ metafèrontai se die topologikè idiìthte th
f . ApodeiknÔetai me sumbolik  dunamik  ìti to S 1 enai qaotikì anallowto
sÔnolo th apeikìnish tou Renyi, ˆra, exaita th topologik  hmisuzuga
to [0, 1] enai qaotikì analowto sÔnolo th logistik  apeikìnish gia R = 4.

8 To qaotikì anallowto Cantor sÔnolo th


logistik  apeikìnish gia R > 4
Ja melet soume sth sunèqeia ekten¸ th dunamik  twn mel¸n th oikogèneia
th logistik  apeikìnish gia R > 4. 'Otan R > 4 tìte h logistik  apeikìn-
ish pou gia kˆje R èqei mègisto sto x = 1/2 parnei thn tim  se autì to x
f (1/2) = R1/2(1 − 1/2) = R/4 > 1 kai gnetai th morf  pou fanetai sto
sq ma 2.
ParathroÔme ìti gia x ∈ [0, xa ] ∪ [xb , 1] = S1 to f (x) brsketai mèsa
sto diˆsthma [0, 1], en¸ gia x ∈ [0, 1] \ S1 to f (x) gnetai megalÔtero tou 1.
To diˆsthma S1 apoteletai apì thn ènwsh dÔo xènwn metaxÔ tou kleist¸n

30
diasthmˆtwn twn I1 = [0, xa ] kai I2 = [xb , 1]. Epiplèon h logistik  sunˆrthsh
enai monotìnw aÔxousa sto I1 kai monotìnw fjnousa sto diˆsthma I2 .
Amèsw fanetai ìti to S1 mpore an oriste kai w to sÔnolo

S1 = I ∩ f −1 (I) = I1 ∪ I2

Orzoume w S2 to sÔnolo S2 = I ∩ f −1 (I) ∩ f −2 (I) = (I1 ∪ I2 ) ∩ f −1 (S1 ).


IsqÔei ìti

I1 ∩ f −1 (S1 ) = I1 ∩ f −1 (I1 ∪ I2 ) = (I1 ∩ f −1 (I1 )) ∪ (I1 ∩ f −1 (I2 )) = I11 ∪ I12

H teleutaa isìthta isqÔei giat h logistik  sunˆrthsh enai monìtonh sto


I1 , epomènw o periorismì th se autì to diˆsthma enai 1 1 kai h tom 
tou me ti dÔo proeikìne enai dÔo kleistˆ sÔnola xèna metaxÔ tou pou ta
onomˆzoume I11 kai I12 . Brskontai kai ta dÔo mèsa sto I1 kai èqoun ti
parakˆtw idiìthte :

f (I11 ) = I1 kai f (I12 ) = I2


I11 = {x|x ∈ I1 kai f (x) ∈ I1 }
kai
I12 = {x|x ∈ I1 kai f (x) ∈ I2 }
Akrib¸ antstoiqe idiìthte isqÔoun gia thn tom  tou I2 me to sÔnolo
f −1 (S1 ) kai epomènw parnoume telikˆ ìti
[
S2 = Ii0 i1
i0 i1

ìpou i0 , i1 ∈ {1, 2}. Dhlad  to S2 apoteletai apì thn ènwsh 22 xènwn metaxÔ
tou kleist¸n sunìlwn me ti ex  idiìthte

f (Ii0 i1 ) = Ii1

Ii0 i1 = {x|x ∈ Ii0 kai f (x) ∈ Ii1 }


Epagwgikˆ orzoume to sÔnolo Sn w

Sn = ∩nk=0 f −k (I) = I∩f −1 (I)∩nk=2 f −k (I) = (I1 ∪I2 )∩nk=2 f −(k−1) (f −1 (I)) =
n−1 −k n−1 −k
= (I1 ∪ I2 ) ∩k=1 f (I1 ∪ I2 ) = ∩k=0 f (I1 ∪ I2 )
Upojètoume ìti autì apoteletai apì thn ènwsh 2n xènwn metaxÔ tou
kleist¸n sunìlwn
Sn = ∪i0 i1 ...in−1 Ii0 i1 ...in−1

31
me ti ex  idiìthte
f (Ii0 i1 ...in−1 ) = Ii1 ...in−1
Ii0 i1 ...in−1 = {x|f k (x) ∈ Iik }
Ii1 i2 ...in−1 ∩ Sn = Ii1 i2 ...in−1 1 ∪ Ii1 i2 ...in−1 2
Prèpei loipìn na apodexoume ìti kai to Sn+1 èqei ti die idiìthte (qrhsi-
mopoioÔme thn apodeiktik  diadikasa th epagwgh ). Enai fanerì apì ton
orismì twn Sn ìti Sn+1 ⊂ Sn . Epomènw to Sn+1 prokÔptei apì thn tom 
tou me to Sn , dhlad  apì thn tom  tou me kajèna apì ta kleistˆ sÔnola
Ii0 i1 ...in−1 . 'Ara

Ii0 i1 ...in−1 ∩ Sn+1 = Ii0 i1 in−1 ∩ (I1 ∪ I2 ) ∩ f −1 (Sn )

. Mia kai to Ii0 i1 ...in−1 èqei thn pr¸th idiìthta pou anafèrame parapˆnw kai
h logistik  sunˆrthsh enai monìtonh sto Ii0 ìpou i0 ∈ 1, 2 isqÔei Ii0 ∩
f −1 (f (Ii0 i1 ...in−1 )) = Ii0 i1 ...in−1 = f −1 (Ii1 ...in−1 ) ∩ Ii0 . Epomènw

Ii0 i1 ...in−1 ∩ Sn+1 = (I1 ∩ Ii0 i1 in−1 ∩ f −1 (Sn )) ∪ (I2 ∩ Ii0 i1 in−1 ∩ f −1 (Sn ) =

= f −1 (Sn ∩ Ii1 i2 ...in−1 ) ∩ Ii0 = f −1 (Ii1 i2 ...in−1 1 ) ∩ f −1 (Ii1 i2 ...in−1 2 ) ∩ Ii0


= ∪in Ii0 i1 ...in
Oi parapˆnw prˆxei ìqi mìno apodeiknÔoun ìti to Sn+1 apoteletai apì 2n+1
xèna metaxÔ tou kleistˆ diast mata allˆ kai thn teleutaa apì ti tre
idiìthte aut¸n twn kleist¸n sunìlwn. Epiplèon h teleutaa isìthta deqnei
ìti f (Ii0 i1 ...in ) = Ii1 ...in . Tèlo mia kai ìtan x ∈ Ii0 i1 ...in isqÔei h teleutaa
isìthta kai epsh isqÔei ìti f (x) ∈ Ii1 ...in , to Ii0 i1 ...in enai to sÔnolo

Ii0 i1 ...in = {x|x ∈ Ii0 , f (x) ∈ Ii1 ...in } = {x|x ∈ Ii0 , f k (x) ∈ Iik 1 ≤ k ≤ n}

apì to ìti to Ii0 i1 ...in−1 èqei ti idiìthte pou upojèsame.


Orzoume me ton parapˆnw trìpo to analowto sÔnolo

\
S= Sn .
n=0

To sÔnolo autì enai anallowto giat f (S) = f (∩∞ ∞


k=0 Sk ) = f (∩k=1 Sk ) =
∩k=1 f (Sk ) = ∩k=1 Sk−1 == ∩k=0 Sk = S .
∞ ∞ ∞

ApodeiknÔetai epsh ìti ta diast mata Ii0 i1 ...in èqoun m ko λ−n ìpou
λ > 1.

32
Prìtash: To anallowto sÔnolo S enai sÔnolo Cantor.

Apìdeixh: To S enai kleistì sÔnolo, mia kai apoteletai apì thn ˆpeirh
tom  ˆpeirwn kleist¸n sunìlwn. Epiplèon enai olikˆ mh sunektikì. A upo-
jèsoume ìti èqoume dÔo tuqaa shmea a, b tou sunìlou S . Autˆ ja apèqoun
apìstash l. Gia kˆje diˆsthma [a, b] m kou l upˆrqei pˆnta èna diˆsthma th
morf  Ii0 i1 ...in , gia to opoo isqÔei λ−n < l. Epomènw metaxÔ twn dÔo aut¸n
shmewn tou sunìlou S ja upˆrqei pˆnta èna toulˆqiston anoiktì diˆsthma
pou den ja an kei sto S . Tèlo to sÔnolo S enai tèleio. A upojèsoume
ìti èqoume èna stoiqeo p tou S . Autì ja an kei se èna kleistì diˆsthma
Ii0 i1 ...in . Sto epìmeno b ma th logistik  apeikìnish , ja an kei se èna apì
ta diast mata Ii0 i1 ...in 1   Ii0 i1 ...in 2 . Dialègoume èna qn pou sumpptei me è-
na apì ta akraa shmea ekenou apì ta parapˆnw dÔo diast mata sto opoo
den an kei to p. W akrao shmeo sunep¸ to qn an kei sto S , kai epiplèon
qn 6= p. Epanalambˆnonta aut  thn eklog  se kˆje b ma n th apeikìnish ,
sqhmatzoume mia akolouja shmewn qn 6= p gia thn opoa isqÔei

|qn − p| ≤ λ−n .

Epomènw èqoume sqhmatsei mia akolouja shmewn diˆforwn tou p, h opoa


sugklnei sto tuqìn shmeo p ∈ S . 'Ara kˆje shmeo tou S enai oriakì shmeo
tou sunìlou kai sunep¸ to S enai tèleio. Sunep¸ to S enai sÔnolo Cantor.

9 Sumbolik  dunamik 

\
Orzoume w Ii0 i1 ...in... to sÔnolo Ii0 i1 ...in... = Ii0 i1 ...in pou enai h ˆpeirh
n=0
tom  twn kleist¸n diasthmˆtwn Ii0 i1 ...in ta opoa, sÔmfwna me thn kataskeu 
tou to èna enai uposÔnolo tou prohgoÔmenou, dhlad  Ii0 i1 ...in in+1 ⊂ Ii0 i1 ...in .
Epiplèon, apodeiknÔetai ìti to m ko tou mikranei ekjetikˆ, dhlad  L(Ii0 i1 ...in ) =
λn ìpou λ < 1. SÔmfwna me to je¸rhma tou kibwtismoÔ, upˆrqei mìno èna
stoiqeo tou diast mato [0, 1] to opoo an kei sthn ˆpeirh tom  twn Ii0 i1 ...in .
Dhlad  h ˆpeirh tom  den enai ken  kai perièqei mìno èna stoiqeo. Epomènw
upˆrqei ma amfimonìtimh kai ep apeikìnish h metaxÔ tou sunìlou S kai twn
ˆpeirwn akolouji¸n dÔo sumbìlwn. Qarakthrzoume to sÔnolo twn ˆpeir-
wn akolouji¸n dÔo sumbìlwn me Σ, dhlad  Σ = {.i0 i1 ...in ... : ik ∈ {1, 2}}.

33
Orzoume sto sÔnolo Σ th metrik 

X δ(sk , tk )
d(s, t) =
3k
k=0

ìpou s = .s0 s1 ...sk ... kai t = t0 t1 ...tk ... kai δ(sk , tk ) = 0 ìtan sk = tk kai
δ(sk , tk ) = 1 ìtan sk 6= tk . EÔkola apodeiknÔetai ìti to d(s, t) enai metrik .
Epsh orzoume sto sÔnolo Σ ma apeikìnish, h opoa onomˆzetai Bernoulli
shift kai orzetai w ex  : σ(.s0 s1 ...sk ...) = .s1 ...sk ..., h opoa onomˆzetai kai
metatìpish th upodiastol  . ApodeiknÔetai ìti h logistik  apeikìnish sto
S ìpou jewroÔme th sun jh Eukledia metrik  enai topologikˆ suzug  me
to Bernoulli shift sto sÔnolo Σ efodiasmèno me thn parapˆnw metrik . 'Hdh
dexame ìti h h enai 1-1. Ja dexoume epsh ìti enai kai suneq  epomènw
enai èna omoiomorfismì apì to sÔnolo S sto sÔnolo Σ.
Apìdeixh: Gia kˆpoio tuqao ε > 0 upˆrqei pˆnta èna n ∈ N tètoio ¸ste
1
3n < ε. Parnoume dÔo stoiqea x, y ∈ S gia ta opoa isqÔei x, y ∈ Ii0 i1 ...in .
Tìte |x − y| < λn . Epiplèon isqÔei ìti h(x) = .i0 i1 ...in in+1 ... kai h(y) =
.i0 i1 ...in i′n+1 .... 'Ara
∞ ∞
X δ(ik , i′k ) X 1 1 1
d(h(x), h(y)) = ≤ = < ε.
3k 3k 2 3k
k=n+1 k=n+1

'Ara h h enai suneq  . Epiplèon apeikonzei èna kleistì kai fragmèno (sumpagè )
sÔnolo (uposÔnolo tou [0, 1]) se èna kleistì kai fragmèno sÔnolo, mia kai
∞ ∞

X δ(sl , s′ ) l
X 1 1
d(s, s ) = ≤ =
3l 3l 2
l=0 l=0

kai sunep¸ kai h h−1 enai suneq  .


Tèlo ja prèpei na dexoume ìti h ◦ f = σ ◦ h. SÔmfwna me thn pr¸th
idiìthta twn kleist¸n diasthmˆtwn Ii0 i1 ...in h eikìna tou enai to Ii1 i2 ...in kai
epomènw h eikìna th ˆpeirh tom  tou x = Ii0 i1 ...in... enai h Ii1 ...in ... . Efar-
mìzonta se aut  thn h parnoume to stoiqeo tou Σ h(f (x)) = .i1 i2 ...in ....
Gia to deÔtero mèro th isìthta th topologik  suzuga efarmìzonta
thn h sto x parnoume to stoiqeo tou Σ h(x) = .i0 i1 ...in ... kai kˆtw apì thn
apeikìnish σ autì gnetai σ(h(x)) = .i1 ...in .... Epomènw apodexame kai ìti
h(f (x)) = σ(h(x)).

Prìtash: To sÔnolo Σ enai èna qaotikì anallowto sÔnolo th apeikìn-


ish σ .

34
Apìdeixh: H apeikìnish σ èqei èna puknì sÔnolo periodik¸n troqi¸n. Kˆje
stoiqeo s tou sunìlou pou apoteletai apì èna epanalambanìmeno block n
sumbìlwn s = .s0 s1 ...sn−1 s0 s1 ...sn−1 enai mia periodik  troqiˆ periìdou n.
Prˆgmati σ n (s) = .s0 s1 ...sn−1 s0 .... Epiplèon osod pote kontˆ se èna tuqao
stoiqeo tou Σ mporoÔme na broÔme mia tètoia periodik  troqiˆ. A upojè-
soume ìti èqoume èna tuqao stoiqeo tou Σ to t = .t0 t1 ...tn ... kai èna tuqao ε
ìso mikrì jèloume. Pˆnta upˆrqei èna k tètoio wste 1/3k < ε. Dialègoume
ma periodik  troqiˆ tètoia ¸ste na sumfwnei sta pr¸ta k yhfa me to t,
dhlad  na enai t′ = .t0 t1 ...tk t0 t1 ...tk .... Aut  h periodik  troqiˆ brsketai ε
kontˆ sto t. Autì sumbanei giat
∞ ∞
X δ(tl , t′l ) X 1 1 1
d(t, t′ ) = ≤ = ≤ε
3l 3l 2 3k
l=k+1 l=k+1

Epsh h apeikìnish σ enai topologikˆ metabatik . Parnoume dÔo tuqae


sfairikè perioqè me kèntra ta stoiqea s = .s0 s1 ...sn ... kai s′ = .s′0 s′1 ...s′n ...
kai aktne ε kai δ antstoiqa.Upˆrqoun pˆnta dÔo fusiko n kai k tètoioi ¸ste
1/3n < ε kai 1/3k < δ. Apì thn ε sfairik  perioq  tou s dialègoume èna
stoiqeo s′′ = .s0 s1 ...sn s′0 s′1 ...s′k .... Autì brsketai sthn ε sfairik  perioq 
tou s B(s, ε) = {s′′ ∈ Σ : d(s, s′′ ) < ε} giat
∞ ∞
X δ(sl , s′′l ) X 1 1 1
d(s, s′′ ) = l
≤ l
= ≤ ε.
3 3 2 3n
l=n+1 l=n+1

To s̄σ n (s′′ ) = .s′0 s′1 ...s′k ... brsketai sth δ perioq  tou s′ , epeid 
∞ ∞

X δ(s′l , s̄l ) X 1 1 1
d(s , s̄) = ≤ = ≤ δ.
3l 3l 2 3n
l=k+1 l=k+1

Epomènw upˆrqei stoiqeo tou B(s, ε) (to s′′ ) tou opoou h n + 1 eikìna
brsketai mèsa sto B(s′ , δ) kai h apeikìnish σ enai topologikˆ metabatik .
Tèlo h apeikìnish σ èqei euasjhth exˆrthsh apì ti arqikè sunj ke .
JewroÔme èna tuqao shmeo s = .s0 s1 s2 . . . sn sn+1 . . . kai èna ε > 0 ìso mikrì
epijumoÔme. Upˆrqei pˆnta èna n tètoio ¸ste 1/3n < ε. Apì th sfairik 
perioq  B(s, ε) dialègoume to stoiqeo tou Σ, s′ = .s0 s1 s2 . . . sn s′n+1 . . . gia
to opoo isqÔei s′n+1 6= sn+1 . To s′ brsketai sth sfairik  perioq  tou s giat
∞ ∞
X δ(sl , s′l ) X 1 1 1
d(s, s′ ) = l
≤ l
= ≤ ε.
3 3 2 3n
l=n+1 l=n+1

35
Metˆ apì n+1 efarmogè th apeikìnish , eqoume ìti σ n+1 (s) = s̄ = .sn+1 . . .
kai σ n+1 (s′ ) = s̃′ = .s′n+1 . . .. 'Ara isqÔei ìti

X δ(s̄l , s̃′ )
d(σ n+1 (s), σ n+1 (s′ )) = l
≥ 1.
3l
l=0

'Ara upˆrqei r = 1 tètoio ¸ste, gia tuqao s upˆrqei perioq  tou, ìso mikr 
epijumoÔme, pou perièqei èna toulˆqisto shmeo s′ to opoo metˆ apì n + 1
efarmogè th apeikìnish apomakrÔnetai se apìstash megalÔterh tou r .

10 Fractals (Morfoklasmatikˆ SÔnola)


Ja melet soume analutikè sunart sei sto migadikì eppedo C w dunamikˆ
sust mata th morf  zn+1 = f (zn ). H troqiˆ enì shmeou orzetai ìpw
kai sthn pragmatik  perptwsh w to sÔnolo

{z0 , f (z0 ), f 2 (z0 ), . . . , f n (z0 ), . . .}

ìpou
f n (z0 ) = f ◦ f ◦ . . . f (z0 )
| {z }
n−forè

Stajerì shmeo, ìpw kai sthn pragmatik  perptwsh, enai to shmeo z = a


gia to opoo isqÔei
f (a) = a.
Ta dia isqÔoun kai gia ta periodikˆ shmea th f . 'Ena shmeo z0 enai periodikì
shmeo periìdou n an isqÔei ìti

f n (z0 ) = z0

kai n enai o mikrìtero fusikì arijmì gia ton opoo isqÔei h parapˆnw
sqèsh.
'Estw èna stajerì shmeo a = f (a). An |f ′ (a)| < 1 tìte upˆrqei anoikt 
perioq  aktna r , |z0 − a| < r , gia thn opoa isqÔei

lim f n (z0 ) = a.
n→∞

Autì apodeiknÔetai w ex  . Upˆrqei èna pragmatikì arijmì β , mikrìtero


th monˆda , tètoio ¸ste |f ′ (a)| < β . Mia kai to f ′ (a) enai to ìrio th
sunˆrthsh
f (z0 ) − f (a)
,
z−a

36
upˆrqei anoikt  perioq  tou a, |z0 − a| < r tètoia ¸ste

f (z0 ) − f (a)
− f (a) < β − |f ′ (a)|

z−a

mia kai o β − |f ′ (a)| enai èna arijmì megalÔtero tou mhdenì .


Qrhsimopoi¸nta ti sqèsei

|x| − |y| ≤ ||x| − |y|| ≤ |x − y|

èqoume
f (z0 ) − f (a)
− |f ′ (a)| < β − |f ′ (a)|
z0 − a
 
f (z0 ) − f (a)
z0 − a < β

kai epomènw
|f (z0 ) − f (a)| < β|z0 − a|
gia kˆje z0 tètoio ¸ste |z0 − a| < r . Sunep¸

|f (z0 ) − a| < βr < r,

afoÔ f (a) = a. 'Ara


2
f (z0 ) − a < β |f (z0 ) − a| < β 2 |z0 − a|,

kai epagwgikˆ
|f n (z0 ) − a| < β n |z0 − a|.
AfoÔ β < 1, h akolouja sto dex mèlo th parapˆnw anisìthta tenei sto
mhdèn kai epomènw
lim (f n (z0 ) − a) = 0
n→∞

 
lim f n (z0 ) = a.
n→∞

'Ena tètoio stajerì shmeo a me f ′ (a) < 1 enai eustajè stajerì shmeo.
To sÔnolo n o
B = z|z ∈ C : lim f n (z) = a .
n→∞

onomˆzetai perioq  èlxh tou eustajoÔ stajeroÔ shmeou.

37
'Ena aplì parˆdeigma perioq  èlxh dnetai apì thn apeikìnish f (z) = z 2 .
To z = 0 enai stajerì shmeo, afoÔ z 2 = z , kai mˆlista eustajè , afoÔ

f ′ (z)|z=0 = 2z|z=0 = 0 < 1.

Gia ìla ta shmea pou brskontai mèsa ston anoiktì dsko |z| < 1 isqÔei ìti
n
|f n (z)| = |z|2 ,

ˆra
lim f n (z) = 0.
n→∞

'Omw gia |z| ≥ 1 isqÔei ìti


n
|f n (z)| = |z|2 ≥ 1,

ˆra h perioq  èlxh enai o anoiktì dsko |z| < 1. Gia |z| = 1 èqoume
n
|f n (z)| = 1 gia kˆje n kai gia |z| > 1, |f n (z)| = |z|2 → ∞.
Ja asqolhjoÔme t¸ra genikˆ me ti apeikonsei th morf  f (z) = z 2 + c
ìpou c migadikì arijmì . Ja apodexoume ìti mporoÔme na diakrnoume dÔo
perioqè tou migadikoÔ epipèdou. H ma enai to sÔnolo twn arqik¸n sun-
jhk¸n twn opown oi troqiè paramènoun pˆnta se mia fragmènh perioq  tou
migadikoÔ epipèdou, dhlad  enai shmea twn opown h troqiˆ enai fragmènh,
en¸ h ˆllh enai to sÔnolo twn shmewn pou h troqiˆ tou phganei sto ˆpeiro.
To sÔnoro twn dÔo aut¸n perioq¸n enai en gènei èna fractal.

Je¸rhma: Orzoume
r
1 1
rc = + + |c| > 1 .
2 4
Tìte gia |z0 | > rc isqÔei ìti f n (z0 ) → ∞ kaj¸ n → ∞.

Apìdeixh: Apì thn trigwnik  anisothta isqÔei ìti

|z 2 + c| ≥ |z|2 − |c|.

O pragmatikì arijmì rc enai rza th exswsh x2 − |c| = x, dhlad  isqÔei


ìti rc2 − |c| = rc . 'Estw èna shmeo |z0 | > rc . Tìte |z0 | ≥ rc + ε ìpou ε èna
mh mhdenikì jetikì pragmatikì arijmì . Tìte isqÔei ìti

|z02 | − |c| ≥ (1 + ε)|z0 |.

38
Pragmatikˆ,

|z0 |2 − |c| |c| |c|


= |z0 | − ≥ (rc + ε) − =
|z0 | |z0 | rc + ε

(rc + ε)2 − |c| r 2 + 2rc ε + ε2 − |c|


= = c =
rc + ε rc + ε
(rc2 − |c|) + 2rc ε + ε2 rc + rc ε + rc ε + ε2
= = ≥
rc + ε rc + ε
rc + rc ε + ε + ε2
≥ = 1 + ε,
rc + ε
ìpou lˆbame upìyh ìti rc > 1. Epomènw

|f (z0 )| ≥ |z02 | − |c| ≥ (1 + ε)|z0 |

kai epagwgikˆ
|f n (z0 )| ≥ (1 + ε)n |z0 |.
Mia kai isqÔei ìti 1 + ε > 1, h akolouja (1 + ε)n tenei sto ˆpeiro kai katˆ
sunèpeia |f n (z0 )| → ∞.
'Opw anafèrame, orzoume to sÔnolo

Ec = {z0 ∈ C |f n (z0 ) → ∞ kaj¸ n → ∞ } ,

dhlad  to sÔnolo Ec apoteletai apì ìla ta shmea tou migadikoÔ epipèdou,


twn opown h troqiˆ phganei sto ˆpeiro. SÔmfwna me thn prohgoÔmen-
h apìdeixh, ta shmea gia opoa isqÔei ìti |z0 | < rc apoteloÔn uposÔnolo
tou Ec . To sumpl rwma tou Ec enai to sÔnolo Kc , dhlad  to sÔnolo pou
apoteletai apì shmea twn opown h troqiˆ paramènei fragmènh.
Ja apodexoume sth sunèqeia ti parakˆtw idiìthte gia ta sÔnola Ec kai
Kc :

• (a) {z0 ∈ C | |z0 | > rc } ⊂ Ec , Kc ⊆ {z0 ∈ C | |z0 | ≤ rc }.

• (b) To Ec enai anoiktì kai to Kc kleistì sÔnolo.

• (g) Ec 6= C, Kc 6= ∅.

• (d) Ta sÔnola Ec kai Kc enai anallowta kˆtw apì th drˆsh th


sunˆsthsh f = z 2 + c.

• (e) Ta Ec kai Kc enai summetrikˆ kˆtw apì strof  gÔrw apì to 0.

39
• (z) To Ec enai sunektikì kai to Kc enai aplˆ sunektikì.

A orsoume pr¸ta ti ènnoie tou sunektikoÔ kai tou aplˆ sunektikoÔ


sunìlou. 'Ena sÔnolo lègetai sunektikì an den mporoÔn na brejoÔn dÔo
anoiktè perioqè tou A kai B , gia ti opoe na isqÔei

A ∪ B = X kai A ∩ B = ∅.

Dhlad  èna sunektikì sÔnolo den mpore na apoteletai apì dÔo xèna metaxÔ
tou anoiktˆ sÔnola. 'Ena sÔnolo X lègetai aplˆ sunektikì an opoiad pote
kleist  kampÔlh tou sunìlou mpore na surriknwje me suneq  trìpo se
shmeo, an konta pˆnta katˆ th diˆrkeia th paramìrfwsh sto sÔnolo X .
An to sÔnolo X èqei trÔpe , autì den enai dunatì kai to X den enai aplˆ
sunektikì. 'Ena sunektikì sÔnolo mpore na mhn enai aplˆ sunektikì.

40

You might also like