Fraktale zrób to sam -...

130
Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu Fraktale – zrób to sam Jędrzej Garnek θβιc Ze 2014, Poznań 9-11 maja 2014 r.

Transcript of Fraktale zrób to sam -...

Page 1: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Fraktale – zrób to sam

Jędrzej Garnek

θβ`ιcZe 2014,Poznań 9-11 maja 2014 r.

Page 2: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Definicja (nieformalna)

Fraktal – zbiór o skomplikowanej strukturze, który można

podzielić na mniejsze kawałki, podobne do całości (jest

samopodobny).

Uwagi:

(1) brak jednoznacznej definicji,

(2) „skomplikowana struktura”: jego wymiar Hausdorffa jest

większy niż jego wymiar topologiczny,

Page 3: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Definicja (nieformalna)

Fraktal – zbiór o skomplikowanej strukturze, który można

podzielić na mniejsze kawałki, podobne do całości (jest

samopodobny).

Uwagi:

(1) brak jednoznacznej definicji,

(2) „skomplikowana struktura”: jego wymiar Hausdorffa jest

większy niż jego wymiar topologiczny,

Page 4: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Definicja (nieformalna)

Fraktal – zbiór o skomplikowanej strukturze, który można

podzielić na mniejsze kawałki, podobne do całości (jest

samopodobny).

Uwagi:

(1) brak jednoznacznej definicji,

(2) „skomplikowana struktura”: jego wymiar Hausdorffa jest

większy niż jego wymiar topologiczny,

Page 5: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Przykłady

Trójkąt Sierpińskiego

Page 6: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Przykłady

Dywan Sierpińskiego

Page 7: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Przykłady

Śnieżynka Kocha

Page 8: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Przykłady

Paproć Barnsley’a

Page 9: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Przykłady

Zbiór Mandelbrota

Page 10: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Przykłady

Zbiór Julii

Page 11: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

PROBLEMY

PROBLEMY:

(1) jak generować fraktale ?

(2) jak „przechowywać” fraktale w pamięci np.

komputera?

(3) czy można wygenerować fraktal podobny do z

góry zadanej figury?

Page 12: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

PROBLEMY

PROBLEMY:(1) jak generować fraktale ?

(2) jak „przechowywać” fraktale w pamięci np.

komputera?

(3) czy można wygenerować fraktal podobny do z

góry zadanej figury?

Page 13: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

PROBLEMY

PROBLEMY:(1) jak generować fraktale ?

(2) jak „przechowywać” fraktale w pamięci np.

komputera?

(3) czy można wygenerować fraktal podobny do z

góry zadanej figury?

Page 14: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

PROBLEMY

PROBLEMY:(1) jak generować fraktale ?

(2) jak „przechowywać” fraktale w pamięci np.

komputera?

(3) czy można wygenerować fraktal podobny do z

góry zadanej figury?

Page 15: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T1 =

Page 16: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T2 =

Page 17: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T3 =

Page 18: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T4 =

Page 19: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T5 =

Page 20: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

T =⋂∞n=1 Tn

jest złożony z trzech swoich kopii, jednokładnych do niego

w skali 1/2.

Page 21: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

T =⋂∞n=1 Tn

jest złożony z trzech swoich kopii, jednokładnych do niego

w skali 1/2.

Page 22: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

jeżeli punkt P ma współrzędne barycentryczne:

(0.u1u2u3. . . , 0.v1v2v3. . . , 0.w1w2w3. . . ), to

P ∈ T ⇔ ∀i ui + vi + wi = 1

ma nieprzeliczalnie wiele elementów,

ma miarę Lebesgue’a w R2 równą 0.

Page 23: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

jeżeli punkt P ma współrzędne barycentryczne:

(0.u1u2u3. . . , 0.v1v2v3. . . , 0.w1w2w3. . . ), to

P ∈ T ⇔ ∀i ui + vi + wi = 1

ma nieprzeliczalnie wiele elementów,

ma miarę Lebesgue’a w R2 równą 0.

Page 24: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

jeżeli punkt P ma współrzędne barycentryczne:

(0.u1u2u3. . . , 0.v1v2v3. . . , 0.w1w2w3. . . ), to

P ∈ T ⇔ ∀i ui + vi + wi = 1

ma nieprzeliczalnie wiele elementów,

ma miarę Lebesgue’a w R2 równą 0.

Page 25: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

jeżeli punkt P ma współrzędne barycentryczne:

(0.u1u2u3. . . , 0.v1v2v3. . . , 0.w1w2w3. . . ), to

P ∈ T ⇔ ∀i ui + vi + wi = 1

ma nieprzeliczalnie wiele elementów,

ma miarę Lebesgue’a w R2 równą 0.

Page 26: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Trójkąt Sierpińskiego i jego własności

jeżeli punkt P ma współrzędne barycentryczne:

(0.u1u2u3. . . , 0.v1v2v3. . . , 0.w1w2w3. . . ), to

P ∈ T ⇔ ∀i ui + vi + wi = 1

ma nieprzeliczalnie wiele elementów,

ma miarę Lebesgue’a w R2 równą 0.

Page 27: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Jak dokładnie przebiegała konstrukcja?

Page 28: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Jak dokładnie przebiegała konstrukcja?

Page 29: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Jak dokładnie przebiegała konstrukcja?f1(x , y) = (x/2, y/2) –

jednokładność o środku w A i skali 12 ,

Page 30: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Jak dokładnie przebiegała konstrukcja?f2(x , y) = ((x + 1)/2, y/2) –

jednokładność o środku w B i skali 12 ,

Page 31: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Jak dokładnie przebiegała konstrukcja?f3(x , y) = (2x+14 , 2y+

√3

4 ) –

jednokładność o środku w C i skali 12 ,

Page 32: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Jak dokładnie przebiegała konstrukcja?F (A) = f1(A) ∪ f2(A) ∪ f3(A) dla A ⊂ R2

Page 33: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 34: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 35: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 36: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 37: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 38: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 39: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 40: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 41: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 42: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 43: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 44: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 45: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 46: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 47: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 48: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 49: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 50: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 51: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 52: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 53: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 54: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 55: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 56: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 57: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 58: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 59: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 60: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 61: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 62: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 63: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 64: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 65: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 66: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 67: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 68: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 69: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 70: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 71: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 72: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 73: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 74: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 75: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T =

f1(T ) ∪ f2(T ) ∪ f3(T ) = F (T )

Page 76: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

T = f1(T ) ∪ f2(T ) ∪ f3(T ) = F (T )

Page 77: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Banacha o kontrakcji

Definicja

Niech (X , d) będzie przestrzenią metryczną. Funkcję

f : X → X nazywamy kontrakcją o skali c < 1, jeżeli:

∀x ,y∈X d(f (x), f (y)) ¬ c · d(x , y)

Twierdzenie Banacha o kontrakcji

Niech (X , d) będzie przestrzenią metryczną zupełną, zaś f –

kontrakcją o skali c < 1. Wtedy:

f ma dokładnie jeden punkt stały x0 ∈ X (tzn. taki

punkt, że f (x0) = x0),

dla dowolnego x ∈ X ciąg iteracji:

x , f (x), f (f (x)), f (f (f (x))), . . . dąży do x0.

Page 78: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Banacha o kontrakcji

Definicja

Niech (X , d) będzie przestrzenią metryczną. Funkcję

f : X → X nazywamy kontrakcją o skali c < 1, jeżeli:

∀x ,y∈X d(f (x), f (y)) ¬ c · d(x , y)

Twierdzenie Banacha o kontrakcji

Niech (X , d) będzie przestrzenią metryczną zupełną, zaś f –

kontrakcją o skali c < 1. Wtedy:

f ma dokładnie jeden punkt stały x0 ∈ X (tzn. taki

punkt, że f (x0) = x0),

dla dowolnego x ∈ X ciąg iteracji:

x , f (x), f (f (x)), f (f (f (x))), . . . dąży do x0.

Page 79: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Banacha o kontrakcji

Definicja

Niech (X , d) będzie przestrzenią metryczną. Funkcję

f : X → X nazywamy kontrakcją o skali c < 1, jeżeli:

∀x ,y∈X d(f (x), f (y)) ¬ c · d(x , y)

Twierdzenie Banacha o kontrakcji

Niech (X , d) będzie przestrzenią metryczną zupełną, zaś f –

kontrakcją o skali c < 1. Wtedy:

f ma dokładnie jeden punkt stały x0 ∈ X (tzn. taki

punkt, że f (x0) = x0),

dla dowolnego x ∈ X ciąg iteracji:

x , f (x), f (f (x)), f (f (f (x))), . . . dąży do x0.

Page 80: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Banacha o kontrakcji

Definicja

Niech (X , d) będzie przestrzenią metryczną. Funkcję

f : X → X nazywamy kontrakcją o skali c < 1, jeżeli:

∀x ,y∈X d(f (x), f (y)) ¬ c · d(x , y)

Twierdzenie Banacha o kontrakcji

Niech (X , d) będzie przestrzenią metryczną zupełną, zaś f –

kontrakcją o skali c < 1. Wtedy:

f ma dokładnie jeden punkt stały x0 ∈ X (tzn. taki

punkt, że f (x0) = x0),

dla dowolnego x ∈ X ciąg iteracji:

x , f (x), f (f (x)), f (f (f (x))), . . . dąży do x0.

Page 81: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Definicja

ε – otoczenie zbioru A ⊂ Rn:K (A, ε) := {z ∈ Rn : ‖z − a‖ ¬ ε}

Page 82: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Definicja

ε – otoczenie zbioru A ⊂ Rn:K (A, ε) := {z ∈ Rn : ‖z − a‖ ¬ ε}

Page 83: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Definicja

ε – otoczenie zbioru A ⊂ Rn:K (A, ε) := {z ∈ Rn : ‖z − a‖ ¬ ε}

Page 84: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Nasza przestrzeń metryczna:

X =

{A ⊂ Rn : A – niepusty, domknięty i ograniczony

}

„Odległość” między zbiorami – metryka Hausdorffa:

dH(A,B) = inf{ε : A ⊂ K (B , ε) oraz B ⊂ K (A, ε)}

(Równoważnie:

dH(A,B) ¬ ε ⇔ A ⊂ K (B , ε) oraz B ⊂ K (A, ε))

Page 85: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Nasza przestrzeń metryczna:

X =

{A ⊂ Rn : A – niepusty, domknięty i ograniczony

}

„Odległość” między zbiorami – metryka Hausdorffa:

dH(A,B) = inf{ε : A ⊂ K (B , ε) oraz B ⊂ K (A, ε)}

(Równoważnie:

dH(A,B) ¬ ε ⇔ A ⊂ K (B , ε) oraz B ⊂ K (A, ε))

Page 86: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

TwierdzeniePrzestrzeń metryczna (X (Rn), dH) jest zupełna.

Dowód.Niech (Ai)i ⊂ X (Rn) będzie ciągiem Cauchy’ego w metryce

Hausdorffa. Aby pokazać, że ma on granicę, wystarczy

pokazać, że pewien jego podciąg ma granicę.

Wybierzmy taki podciąg (Bn)n = (Ain)n ciągu (Ai)i , że

dH(Bn,Bn+1) < 2−n i zdefiniujmy:

H := {x ∈ Rn : x jest granicą pewnego ciągu xn ∈ Bn,

spełniającego ‖xn − xn+1‖ < 2−n}

Page 87: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

TwierdzeniePrzestrzeń metryczna (X (Rn), dH) jest zupełna.

Dowód.Niech (Ai)i ⊂ X (Rn) będzie ciągiem Cauchy’ego w metryce

Hausdorffa. Aby pokazać, że ma on granicę, wystarczy

pokazać, że pewien jego podciąg ma granicę.

Wybierzmy taki podciąg (Bn)n = (Ain)n ciągu (Ai)i , że

dH(Bn,Bn+1) < 2−n i zdefiniujmy:

H := {x ∈ Rn : x jest granicą pewnego ciągu xn ∈ Bn,

spełniającego ‖xn − xn+1‖ < 2−n}

Page 88: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

TwierdzeniePrzestrzeń metryczna (X (Rn), dH) jest zupełna.

Dowód.Niech (Ai)i ⊂ X (Rn) będzie ciągiem Cauchy’ego w metryce

Hausdorffa. Aby pokazać, że ma on granicę, wystarczy

pokazać, że pewien jego podciąg ma granicę.

Wybierzmy taki podciąg (Bn)n = (Ain)n ciągu (Ai)i , że

dH(Bn,Bn+1) < 2−n i zdefiniujmy:

H := {x ∈ Rn : x jest granicą pewnego ciągu xn ∈ Bn,

spełniającego ‖xn − xn+1‖ < 2−n}

Page 89: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

TwierdzeniePrzestrzeń metryczna (X (Rn), dH) jest zupełna.

Dowód.Niech (Ai)i ⊂ X (Rn) będzie ciągiem Cauchy’ego w metryce

Hausdorffa. Aby pokazać, że ma on granicę, wystarczy

pokazać, że pewien jego podciąg ma granicę.

Wybierzmy taki podciąg (Bn)n = (Ain)n ciągu (Ai)i , że

dH(Bn,Bn+1) < 2−n i zdefiniujmy:

H := {x ∈ Rn : x jest granicą pewnego ciągu xn ∈ Bn,

spełniającego ‖xn − xn+1‖ < 2−n}

Page 90: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

oraz G = H . Pokażemy, że G ∈ X (Rn) oraz limn→∞ Bn = G .

Krok I: zbiór H jest niepusty:

Skostruujemy ciąg (xn) zbieżny do elementu z H

indukcyjnie – wybierzmy dowolne x1 ∈ B1. Zauważmy, że

dH(Bn,Bn+1) < 2−n, więc Bn ⊂ K (Bn+1, 2−n) – mając

więc wybrane xn ∈ Bn, możemy wybrać xn+1 ∈ Bn+1 takie,

że ‖xn − xn+1‖ ¬ 2−n. Ciąg (xn) jest ciągiem Cauchy’ego:

‖xn − xn+m‖ ¬ ‖xn − xn+1‖+ ‖xn+1 − xn+2‖+ . . .+

+‖xn+m−1−xn+m‖ ¬ 2−n+. . .+2−(n+m−1) < 2−n+1 (∗)

Page 91: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

oraz G = H . Pokażemy, że G ∈ X (Rn) oraz limn→∞ Bn = G .

Krok I: zbiór H jest niepusty:

Skostruujemy ciąg (xn) zbieżny do elementu z H

indukcyjnie – wybierzmy dowolne x1 ∈ B1. Zauważmy, że

dH(Bn,Bn+1) < 2−n, więc Bn ⊂ K (Bn+1, 2−n) – mając

więc wybrane xn ∈ Bn, możemy wybrać xn+1 ∈ Bn+1 takie,

że ‖xn − xn+1‖ ¬ 2−n. Ciąg (xn) jest ciągiem Cauchy’ego:

‖xn − xn+m‖ ¬ ‖xn − xn+1‖+ ‖xn+1 − xn+2‖+ . . .+

+‖xn+m−1−xn+m‖ ¬ 2−n+. . .+2−(n+m−1) < 2−n+1 (∗)

Page 92: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

oraz G = H . Pokażemy, że G ∈ X (Rn) oraz limn→∞ Bn = G .

Krok I: zbiór H jest niepusty:Skostruujemy ciąg (xn) zbieżny do elementu z H

indukcyjnie – wybierzmy dowolne x1 ∈ B1.

Zauważmy, że

dH(Bn,Bn+1) < 2−n, więc Bn ⊂ K (Bn+1, 2−n) – mając

więc wybrane xn ∈ Bn, możemy wybrać xn+1 ∈ Bn+1 takie,

że ‖xn − xn+1‖ ¬ 2−n. Ciąg (xn) jest ciągiem Cauchy’ego:

‖xn − xn+m‖ ¬ ‖xn − xn+1‖+ ‖xn+1 − xn+2‖+ . . .+

+‖xn+m−1−xn+m‖ ¬ 2−n+. . .+2−(n+m−1) < 2−n+1 (∗)

Page 93: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

oraz G = H . Pokażemy, że G ∈ X (Rn) oraz limn→∞ Bn = G .

Krok I: zbiór H jest niepusty:Skostruujemy ciąg (xn) zbieżny do elementu z H

indukcyjnie – wybierzmy dowolne x1 ∈ B1. Zauważmy, że

dH(Bn,Bn+1) < 2−n, więc Bn ⊂ K (Bn+1, 2−n) – mając

więc wybrane xn ∈ Bn, możemy wybrać xn+1 ∈ Bn+1 takie,

że ‖xn − xn+1‖ ¬ 2−n.

Ciąg (xn) jest ciągiem Cauchy’ego:

‖xn − xn+m‖ ¬ ‖xn − xn+1‖+ ‖xn+1 − xn+2‖+ . . .+

+‖xn+m−1−xn+m‖ ¬ 2−n+. . .+2−(n+m−1) < 2−n+1 (∗)

Page 94: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

oraz G = H . Pokażemy, że G ∈ X (Rn) oraz limn→∞ Bn = G .

Krok I: zbiór H jest niepusty:Skostruujemy ciąg (xn) zbieżny do elementu z H

indukcyjnie – wybierzmy dowolne x1 ∈ B1. Zauważmy, że

dH(Bn,Bn+1) < 2−n, więc Bn ⊂ K (Bn+1, 2−n) – mając

więc wybrane xn ∈ Bn, możemy wybrać xn+1 ∈ Bn+1 takie,

że ‖xn − xn+1‖ ¬ 2−n. Ciąg (xn) jest ciągiem Cauchy’ego:

‖xn − xn+m‖ ¬ ‖xn − xn+1‖+ ‖xn+1 − xn+2‖+ . . .+

+‖xn+m−1−xn+m‖ ¬ 2−n+. . .+2−(n+m−1) < 2−n+1 (∗)

Page 95: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

jest więc zbieżny do pewnego elementu x ∈ H . Stąd H 6= ∅.

Krok II: zbiór H jest ograniczony.jeżeli x ∈ H , x = lim xn, ‖xn − xn+1‖ ¬ 2−n, to

‖x1 − xn‖ ¬ 1, więc ‖x1 − x‖ ¬ 1 – stąd H ⊂ K (B1, 1).

Krok I + Krok II

⇒ zbiór G = H jest niepusty i ograniczony (bo taki

jest zbiór H)

⇒ G ∈ X (Rn)

Page 96: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

jest więc zbieżny do pewnego elementu x ∈ H . Stąd H 6= ∅.

Krok II: zbiór H jest ograniczony.jeżeli x ∈ H , x = lim xn, ‖xn − xn+1‖ ¬ 2−n, to

‖x1 − xn‖ ¬ 1, więc ‖x1 − x‖ ¬ 1 – stąd H ⊂ K (B1, 1).

Krok I + Krok II

⇒ zbiór G = H jest niepusty i ograniczony (bo taki

jest zbiór H)

⇒ G ∈ X (Rn)

Page 97: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

jest więc zbieżny do pewnego elementu x ∈ H . Stąd H 6= ∅.

Krok II: zbiór H jest ograniczony.jeżeli x ∈ H , x = lim xn, ‖xn − xn+1‖ ¬ 2−n, to

‖x1 − xn‖ ¬ 1, więc ‖x1 − x‖ ¬ 1 – stąd H ⊂ K (B1, 1).

Krok I + Krok II

⇒ zbiór G = H jest niepusty i ograniczony (bo taki

jest zbiór H)

⇒ G ∈ X (Rn)

Page 98: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

jest więc zbieżny do pewnego elementu x ∈ H . Stąd H 6= ∅.

Krok II: zbiór H jest ograniczony.jeżeli x ∈ H , x = lim xn, ‖xn − xn+1‖ ¬ 2−n, to

‖x1 − xn‖ ¬ 1, więc ‖x1 − x‖ ¬ 1 – stąd H ⊂ K (B1, 1).

Krok I + Krok II⇒ zbiór G = H jest niepusty i ograniczony (bo taki

jest zbiór H)

⇒ G ∈ X (Rn)

Page 99: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

jest więc zbieżny do pewnego elementu x ∈ H . Stąd H 6= ∅.

Krok II: zbiór H jest ograniczony.jeżeli x ∈ H , x = lim xn, ‖xn − xn+1‖ ¬ 2−n, to

‖x1 − xn‖ ¬ 1, więc ‖x1 − x‖ ¬ 1 – stąd H ⊂ K (B1, 1).

Krok I + Krok II⇒ zbiór G = H jest niepusty i ograniczony (bo taki

jest zbiór H)

⇒ G ∈ X (Rn)

Page 100: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Krok III: G jest granicą ciągu (Bn)n:

Niech ε > 0. Wybierzmy N takie, że ε > 2−N . Pokażemy,że dla n > N jest dH(G ,Bn) < ε, czyli:

(1) G ⊂ K (Bn, ε),(2) Bn ⊂ K (G , ε),

ad. (1): jeżeli x ∈ H, x = limn→∞ xn, to‖xn − xm‖ < 2−n+1, więc ‖xn − x‖ < 2−n+1 < ε orazH ⊂ K (Bn, ε), a stąd G ⊂ K (Bn, ε).

Page 101: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Krok III: G jest granicą ciągu (Bn)n:

Niech ε > 0. Wybierzmy N takie, że ε > 2−N . Pokażemy,że dla n > N jest dH(G ,Bn) < ε, czyli:

(1) G ⊂ K (Bn, ε),(2) Bn ⊂ K (G , ε),

ad. (1): jeżeli x ∈ H, x = limn→∞ xn, to‖xn − xm‖ < 2−n+1, więc ‖xn − x‖ < 2−n+1 < ε orazH ⊂ K (Bn, ε), a stąd G ⊂ K (Bn, ε).

Page 102: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Krok III: G jest granicą ciągu (Bn)n:Niech ε > 0. Wybierzmy N takie, że ε > 2−N . Pokażemy,że dla n > N jest dH(G ,Bn) < ε, czyli:

(1) G ⊂ K (Bn, ε),

(2) Bn ⊂ K (G , ε),

ad. (1): jeżeli x ∈ H, x = limn→∞ xn, to‖xn − xm‖ < 2−n+1, więc ‖xn − x‖ < 2−n+1 < ε orazH ⊂ K (Bn, ε), a stąd G ⊂ K (Bn, ε).

Page 103: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Krok III: G jest granicą ciągu (Bn)n:Niech ε > 0. Wybierzmy N takie, że ε > 2−N . Pokażemy,że dla n > N jest dH(G ,Bn) < ε, czyli:

(1) G ⊂ K (Bn, ε),(2) Bn ⊂ K (G , ε),

ad. (1): jeżeli x ∈ H, x = limn→∞ xn, to‖xn − xm‖ < 2−n+1, więc ‖xn − x‖ < 2−n+1 < ε orazH ⊂ K (Bn, ε), a stąd G ⊂ K (Bn, ε).

Page 104: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

ad. (2): dla dowolnego y ∈ An można tak wybrać ciąg

xm ∈ Bm spełniający ‖xm − xm+1‖ ¬ 2−m, że xn = y .

Niech x = limm→∞ xm ∈ H . Wtedy

‖y − x‖ = ‖xm − x‖ = limm→∞

‖xm − xn‖(∗)¬ 2−n+1 < ε

więc y ∈ K (G , ε) – stąd Bn ⊂ K (G , ε).

Stąd G = limn→∞ Bn ∈ X (Rn).

Page 105: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Hutchinsona–Barnsley’a

Jeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn) jest

również kontrakcją o skali c .

Dowód.Niech A,B ∈ X (Rn), d := dH(A,B).Wykażemy najpierw, że fi(A) ⊂ K (fi(B), cd).

Istotnie, jeżeli x ∈ A, to istnieje y ∈ B takie, że ‖x − y‖ ¬ d .

Wtedy ‖fi(x)− fi(y)‖ ¬ c‖x − y‖ ¬ cd , więc

fi(x) ∈ K (fi(B), cd), co daje inkluzję.

Page 106: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Hutchinsona–Barnsley’a

Jeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn) jest

również kontrakcją o skali c .

Dowód.Niech A,B ∈ X (Rn), d := dH(A,B).Wykażemy najpierw, że fi(A) ⊂ K (fi(B), cd).

Istotnie, jeżeli x ∈ A, to istnieje y ∈ B takie, że ‖x − y‖ ¬ d .

Wtedy ‖fi(x)− fi(y)‖ ¬ c‖x − y‖ ¬ cd , więc

fi(x) ∈ K (fi(B), cd), co daje inkluzję.

Page 107: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie Hutchinsona–Barnsley’a

Jeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn) jest

również kontrakcją o skali c .

Dowód.Niech A,B ∈ X (Rn), d := dH(A,B).Wykażemy najpierw, że fi(A) ⊂ K (fi(B), cd).Istotnie, jeżeli x ∈ A, to istnieje y ∈ B takie, że ‖x − y‖ ¬ d .

Wtedy ‖fi(x)− fi(y)‖ ¬ c‖x − y‖ ¬ cd , więc

fi(x) ∈ K (fi(B), cd), co daje inkluzję.

Page 108: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Stąd:

F (A) =k⋃i=1

fi(A) ⊂k⋃i=1

K (fi(B), cd)

= K (k⋃i=1

fi(B), cd) = K (F (B), cd)

i analogicznie F (B) ⊂ K (F (A), cd).To oznacza, że dH(F (A),F (B)) ¬ c · d = c · dH(A,B), więc F

jest kontrakcją o skali c .

Page 109: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Stąd:

F (A) =k⋃i=1

fi(A) ⊂k⋃i=1

K (fi(B), cd)

= K (k⋃i=1

fi(B), cd) = K (F (B), cd)

i analogicznie F (B) ⊂ K (F (A), cd).To oznacza, że dH(F (A),F (B)) ¬ c · d = c · dH(A,B), więc F

jest kontrakcją o skali c .

Page 110: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Stąd:

F (A) =k⋃i=1

fi(A) ⊂k⋃i=1

K (fi(B), cd)

= K (k⋃i=1

fi(B), cd) = K (F (B), cd)

i analogicznie F (B) ⊂ K (F (A), cd).

To oznacza, że dH(F (A),F (B)) ¬ c · d = c · dH(A,B), więc F

jest kontrakcją o skali c .

Page 111: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Stąd:

F (A) =k⋃i=1

fi(A) ⊂k⋃i=1

K (fi(B), cd)

= K (k⋃i=1

fi(B), cd) = K (F (B), cd)

i analogicznie F (B) ⊂ K (F (A), cd).To oznacza, że dH(F (A),F (B)) ¬ c · d = c · dH(A,B), więc F

jest kontrakcją o skali c .

Page 112: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn)

(tzw. atraktor –

jest to nasz fraktal) oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.

Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 113: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn) (tzw. atraktor –jest to nasz fraktal)

oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.

Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 114: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn) (tzw. atraktor –jest to nasz fraktal) oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.

Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 115: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn) (tzw. atraktor –jest to nasz fraktal) oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.

Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 116: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn) (tzw. atraktor –jest to nasz fraktal) oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 117: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn) (tzw. atraktor –jest to nasz fraktal) oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 118: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

WniosekJeżeli f1, . . . , fk : Rn → Rn są kontrakcjami o skali c < 1, to

odwzorowanie

F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn)

ma dokładnie jeden punkt stały Y ∈ X (Rn) (tzw. atraktor –jest to nasz fraktal) oraz dla dowolnego zbioru A ciąg

A,F (A),F (F (A)), . . . dąży do Y .

Dowód.Zupełność X (Rn) +

Twierdzenie Hutchinsona–Barnleya +

Twierdzenie Banacha o punkcie stałym.

Page 119: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Uwagi:

(1) twierdzenie Hutchinsona-Barnleya jest prawdziwe dla

dowolnej przestrzenii zupełnej X – wtedy definiujemy:

X (X ) := {A ⊂ X : A – zwarty}

– pokazuje się, że (X , dH) jest zupełne.

(2) twierdzenie to oznacza, że „proste” fraktale (złożone ze

skończonej liczby swoich kopii) możemy utożsamiać z

układem kontrakcji fi : Rn → Rn.

Page 120: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Uwagi:

(1) twierdzenie Hutchinsona-Barnleya jest prawdziwe dla

dowolnej przestrzenii zupełnej X – wtedy definiujemy:

X (X ) := {A ⊂ X : A – zwarty}

– pokazuje się, że (X , dH) jest zupełne.

(2) twierdzenie to oznacza, że „proste” fraktale (złożone ze

skończonej liczby swoich kopii) możemy utożsamiać z

układem kontrakcji fi : Rn → Rn.

Page 121: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Uwagi:

(1) twierdzenie Hutchinsona-Barnleya jest prawdziwe dla

dowolnej przestrzenii zupełnej X – wtedy definiujemy:

X (X ) := {A ⊂ X : A – zwarty}

– pokazuje się, że (X , dH) jest zupełne.

(2) twierdzenie to oznacza, że „proste” fraktale (złożone ze

skończonej liczby swoich kopii) możemy utożsamiać z

układem kontrakcji fi : Rn → Rn.

Page 122: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 123: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 124: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie o kolażuNiech f1, . . . , fk : Rn → Rn będą kontrakcjami o skali c < 1,

zaś F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn).Niech A0 będzie punktem stałym F . Wtedy dla dowolnego

A ∈ X (Rn) mamy:

dH(A,A0) ¬1

1− cdH(A,F (A))

Intuicyjnie: jeżeli F (A) ≈ A, to A ≈ A0.

Page 125: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Twierdzenie o kolażuNiech f1, . . . , fk : Rn → Rn będą kontrakcjami o skali c < 1,

zaś F (A) = f1(A) ∪ f2(A) ∪ . . . ∪ fk(A) : X (Rn)→ X (Rn).Niech A0 będzie punktem stałym F . Wtedy dla dowolnego

A ∈ X (Rn) mamy:

dH(A,A0) ¬1

1− cdH(A,F (A))

Intuicyjnie: jeżeli F (A) ≈ A, to A ≈ A0.

Page 126: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Dowód.

dH(A,A0) = dH(A, limn→∞F (n)(A)) = lim

n→∞dH(A,F (n)(A))

¬ limn→∞

n∑i=1

dH(F (i−1)(A),F (i)(A)) ¬ limn→∞

n∑i=1

c idH(A, f (A)) =

= (1 + c + c2 + . . .) dH(A, f (A)) = (1− c)−1dH(A, f (A))

Page 127: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Dowód.

dH(A,A0) = dH(A, limn→∞F (n)(A)) = lim

n→∞dH(A,F (n)(A))

¬ limn→∞

n∑i=1

dH(F (i−1)(A),F (i)(A)) ¬ limn→∞

n∑i=1

c idH(A, f (A)) =

= (1 + c + c2 + . . .) dH(A, f (A)) = (1− c)−1dH(A, f (A))

Page 128: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Dowód.

dH(A,A0) = dH(A, limn→∞F (n)(A)) = lim

n→∞dH(A,F (n)(A))

¬ limn→∞

n∑i=1

dH(F (i−1)(A),F (i)(A)) ¬ limn→∞

n∑i=1

c idH(A, f (A)) =

= (1 + c + c2 + . . .) dH(A, f (A)) = (1− c)−1dH(A, f (A))

Page 129: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu

Page 130: Fraktale zrób to sam - oblicze.wmi.amu.edu.ploblicze.wmi.amu.edu.pl/wp-uploads/2014/05/fraktale.pdf · FraktaleTrójkąt SierpińskiegoTwierdzenie Banacha o kontrakcjiTwierdzenie

Fraktale Trójkąt Sierpińskiego Twierdzenie Banacha o kontrakcji Twierdzenie o kolażu