Systém iterovaných funkcí - Historie editací

Sysop: Nahrazení textu „“ textem „\)“

2022-08-14T14:53:50Z

Nahrazení textu „</math>“ textem „\)</big>“

← Starší verze		Verze z 14. 8. 2022, 14:53
Řádka 6:		Řádka 6:
	Definujme systém iterovaných funkcí jako množinu konečně mnoha kontrakcí na [[Úplný metrický prostor\|úplném metrickém prostoru]]. Tedy		Definujme systém iterovaných funkcí jako množinu konečně mnoha kontrakcí na [[Úplný metrický prostor\|úplném metrickém prostoru]]. Tedy

-	: <big>\(\{f_i: X \to X \| i = 1,2,...,N \}, N \in \mathbb{N}</~~math~~>	+	: <big>$\{f_i: X \to X \| i = 1,2,...,N \}, N \in \mathbb{N}$</big>

	je systém iterovaných funkcí, pokud ''f<sub>i</sub>'' jsou kontrakce na úplném metrickém prostoru ''X''.		je systém iterovaných funkcí, pokud ''f<sub>i</sub>'' jsou kontrakce na úplném metrickém prostoru ''X''.

	== Vlastnosti ==		== Vlastnosti ==
-	Lze ukázat<ref>[http://wwwmaths.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf Hutchinson, John E. (1981). "Fractals and self similarity".] Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055 (PDF)</ref>, že na prostoru <big>\(\mathbb{R}^n</~~math~~> existuje pro každý systém iterovaných funkcí právě jedna množina ''S'', která je vůči němu invariantní, tj.	+	Lze ukázat<ref>[http://wwwmaths.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf Hutchinson, John E. (1981). "Fractals and self similarity".] Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055 (PDF)</ref>, že na prostoru <big>$\mathbb{R}^n$</big> existuje pro každý systém iterovaných funkcí právě jedna množina ''S'', která je vůči němu invariantní, tj.

-	: <big>\(S = \bigcup_{i=1}^{N} f_i (S).</~~math~~>	+	: <big>$S = \bigcup_{i=1}^{N} f_i (S).$</big>

	Tedy množina ''S'' je pevným bodem operátoru		Tedy množina ''S'' je pevným bodem operátoru

-	: <big>\(H(A) = \bigcup_{i=1}^{N} f_i (A).</~~math~~>	+	: <big>$H(A) = \bigcup_{i=1}^{N} f_i (A).$</big>

	Z [[Banachova věta o pevném bodě\|Banachovy věty o pevném bodě]] pak vyplývá jednoznačnost (a kompaktnost) množiny S. Tato věta nám také dává metodu konstrukce množiny ''S''; plyne z ní totiž, že		Z [[Banachova věta o pevném bodě\|Banachovy věty o pevném bodě]] pak vyplývá jednoznačnost (a kompaktnost) množiny S. Tato věta nám také dává metodu konstrukce množiny ''S''; plyne z ní totiž, že

-	: <big>\(\lim_{n \to \infty} H^{\circ n}(A) = S</~~math~~>	+	: <big>$\lim_{n \to \infty} H^{\circ n}(A) = S$</big>

	pro všechny neprázdné (a kompaktní) množiny ''A'' z ''X''. To znamená, že můžeme postupovat takto: začneme s neprázdnou množinou ''A<sub>0</sub>''. Na tu aplikujeme postupně všechny funkce ze systému. Sjednocení takto vzniklých obrazů označíme ''A<sub>1</sub>'', a s ním provedeme znova totéž. Čím déle budeme tento postup opakovat (iterovat), tím lepší bude množina ''A<sub>n</sub>'' aproximací množiny ''S''.		pro všechny neprázdné (a kompaktní) množiny ''A'' z ''X''. To znamená, že můžeme postupovat takto: začneme s neprázdnou množinou ''A<sub>0</sub>''. Na tu aplikujeme postupně všechny funkce ze systému. Sjednocení takto vzniklých obrazů označíme ''A<sub>1</sub>'', a s ním provedeme znova totéž. Čím déle budeme tento postup opakovat (iterovat), tím lepší bude množina ''A<sub>n</sub>'' aproximací množiny ''S''.

Sysop: Nahrazení textu „ $“ textem „$ \(“

2022-08-14T14:50:14Z

Nahrazení textu „<math>“ textem „<big>\(“

← Starší verze		Verze z 14. 8. 2022, 14:50
Řádka 6:		Řádka 6:
	Definujme systém iterovaných funkcí jako množinu konečně mnoha kontrakcí na [[Úplný metrický prostor\|úplném metrickém prostoru]]. Tedy		Definujme systém iterovaných funkcí jako množinu konečně mnoha kontrakcí na [[Úplný metrický prostor\|úplném metrickém prostoru]]. Tedy

-	: <~~math~~>\{f_i: X \to X \| i = 1,2,...,N \}, N \in \mathbb{N}</math>	+	: <big>\(\{f_i: X \to X \| i = 1,2,...,N \}, N \in \mathbb{N}</math>

	je systém iterovaných funkcí, pokud ''f<sub>i</sub>'' jsou kontrakce na úplném metrickém prostoru ''X''.		je systém iterovaných funkcí, pokud ''f<sub>i</sub>'' jsou kontrakce na úplném metrickém prostoru ''X''.

	== Vlastnosti ==		== Vlastnosti ==
-	Lze ukázat<ref>[http://wwwmaths.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf Hutchinson, John E. (1981). "Fractals and self similarity".] Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055 (PDF)</ref>, že na prostoru <~~math~~>\mathbb{R}^n</math> existuje pro každý systém iterovaných funkcí právě jedna množina ''S'', která je vůči němu invariantní, tj.	+	Lze ukázat<ref>[http://wwwmaths.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf Hutchinson, John E. (1981). "Fractals and self similarity".] Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055 (PDF)</ref>, že na prostoru <big>\(\mathbb{R}^n</math> existuje pro každý systém iterovaných funkcí právě jedna množina ''S'', která je vůči němu invariantní, tj.

-	: <~~math~~>S = \bigcup_{i=1}^{N} f_i (S).</math>	+	: <big>\(S = \bigcup_{i=1}^{N} f_i (S).</math>

	Tedy množina ''S'' je pevným bodem operátoru		Tedy množina ''S'' je pevným bodem operátoru

-	: <~~math~~>H(A) = \bigcup_{i=1}^{N} f_i (A).</math>	+	: <big>\(H(A) = \bigcup_{i=1}^{N} f_i (A).</math>

	Z [[Banachova věta o pevném bodě\|Banachovy věty o pevném bodě]] pak vyplývá jednoznačnost (a kompaktnost) množiny S. Tato věta nám také dává metodu konstrukce množiny ''S''; plyne z ní totiž, že		Z [[Banachova věta o pevném bodě\|Banachovy věty o pevném bodě]] pak vyplývá jednoznačnost (a kompaktnost) množiny S. Tato věta nám také dává metodu konstrukce množiny ''S''; plyne z ní totiž, že

-	: <~~math~~>\lim_{n \to \infty} H^{\circ n}(A) = S</math>	+	: <big>\(\lim_{n \to \infty} H^{\circ n}(A) = S</math>

	pro všechny neprázdné (a kompaktní) množiny ''A'' z ''X''. To znamená, že můžeme postupovat takto: začneme s neprázdnou množinou ''A<sub>0</sub>''. Na tu aplikujeme postupně všechny funkce ze systému. Sjednocení takto vzniklých obrazů označíme ''A<sub>1</sub>'', a s ním provedeme znova totéž. Čím déle budeme tento postup opakovat (iterovat), tím lepší bude množina ''A<sub>n</sub>'' aproximací množiny ''S''.		pro všechny neprázdné (a kompaktní) množiny ''A'' z ''X''. To znamená, že můžeme postupovat takto: začneme s neprázdnou množinou ''A<sub>0</sub>''. Na tu aplikujeme postupně všechny funkce ze systému. Sjednocení takto vzniklých obrazů označíme ''A<sub>1</sub>'', a s ním provedeme znova totéž. Čím déle budeme tento postup opakovat (iterovat), tím lepší bude množina ''A<sub>n</sub>'' aproximací množiny ''S''.

Sysop: + Nový článek

2015-09-10T09:03:50Z

+ Nový článek

← Starší verze		Verze z 10. 9. 2015, 09:03
Řádka 1:		Řádka 1:
-	{{~~Wikipedia~~-cs\|~~Systém~~ iterovaných funkcí\|~~700~~}}	+	[[Soubor:Sierpinski.gif\|thumb\|220px\|Sierpinského trojúhelník zkonstruovaný pomocí IFS]]
-		+	'''Systém iterovaných funkcí''' (anglicky ''iterated function system'' nebo ''IFS'') je jednou z metod konstrukce [[Fraktál\|fraktálů]]. Takto vzniklé fraktály jsou sjednocením několika kopií sebe sama, z nichž každá je transformovaná jinou funkcí ze systému. Tyto funkce jsou [[Kontrakce (matematika)\|kontrahující]], tj. obraz při této funkci je "menší" než jeho vzor. Celý fraktál je tedy složen z menších kopií sebe sama, které jsou také složeny z menších kopií sebe sama, atd. Je tedy [[Soběpodobnost\|soběpodobný]].
		+
		+	== Definice ==
		+
		+	Definujme systém iterovaných funkcí jako množinu konečně mnoha kontrakcí na [[Úplný metrický prostor\|úplném metrickém prostoru]]. Tedy
		+
		+	: <math>\{f_i: X \to X \| i = 1,2,...,N \}, N \in \mathbb{N}</math>
		+
		+	je systém iterovaných funkcí, pokud ''f<sub>i</sub>'' jsou kontrakce na úplném metrickém prostoru ''X''.
		+
		+	== Vlastnosti ==
		+	Lze ukázat<ref>[http://wwwmaths.anu.edu.au/~john/Assets/Research%20Papers/fractals_self-similarity.pdf Hutchinson, John E. (1981). "Fractals and self similarity".] Indiana Univ. Math. J. 30 (5): 713–747. doi:10.1512/iumj.1981.30.30055 (PDF)</ref>, že na prostoru <math>\mathbb{R}^n</math> existuje pro každý systém iterovaných funkcí právě jedna množina ''S'', která je vůči němu invariantní, tj.
		+
		+	: <math>S = \bigcup_{i=1}^{N} f_i (S).</math>
		+
		+	Tedy množina ''S'' je pevným bodem operátoru
		+
		+	: <math>H(A) = \bigcup_{i=1}^{N} f_i (A).</math>
		+
		+	Z [[Banachova věta o pevném bodě\|Banachovy věty o pevném bodě]] pak vyplývá jednoznačnost (a kompaktnost) množiny S. Tato věta nám také dává metodu konstrukce množiny ''S''; plyne z ní totiž, že
		+
		+	: <math>\lim_{n \to \infty} H^{\circ n}(A) = S</math>
		+
		+	pro všechny neprázdné (a kompaktní) množiny ''A'' z ''X''. To znamená, že můžeme postupovat takto: začneme s neprázdnou množinou ''A<sub>0</sub>''. Na tu aplikujeme postupně všechny funkce ze systému. Sjednocení takto vzniklých obrazů označíme ''A<sub>1</sub>'', a s ním provedeme znova totéž. Čím déle budeme tento postup opakovat (iterovat), tím lepší bude množina ''A<sub>n</sub>'' aproximací množiny ''S''.
		+
		+	== Konstrukce ==
		+
		+	Za ''f<sub>i</sub>'' se často volí lineární nebo afinní transformace, tj. složení rotace, změny měřítka a v případě afinních transformací i posunutí. Tyto transformace se dají snadno znázornit ve 2D. Obecně ale postačí jakákoliv kontrakce, jako např. [[projektivní transformace]], nebo i Möbiovy transformace komplexní proměnné.
		+
		+	Při konstrukci fraktálu lze použít výše nastíněný postup. Jinou metodou je tzv. ''chaos game''. Při ''chaos game'' se zvolí počáteční bod (či obecně množina bodů nebo geometrický útvar), na který se iterativně aplikují náhodně vybrané funkce ze systému. Tím získáme množinu bodů z ''S''.
		+
		+	Nevýhodou těchto konstrukcí je, že jsou globální - konstruují body z celého fraktálu. Při vykreslování malého výřezu fraktálu jich tedy většina padne mimo vykreslovanou oblast.
		+
		+	Podle definice systému iterovaných funkcí musí být všechny funkce kontrakcemi, ale prakticky stačí, i když je celý systém kontrahující jen v průměru.
		+
		+	== Příklady ==
		+	<gallery>
		+	Soubor:Barnsleys_fern.png\|Barnsleyho kapraď
		+	Soubor:Chaos_game.png\|Fraktál vykreslený za pomocí chaos game
		+	Soubor:Ifs2.gif\|Ukázka konstrukce fraktálu
		+	Soubor:Ifs.gif\|Tatáž ukázka se znázorněním předchozích kroků
		+	</gallery>
		+
		+	== Literatura ==
		+	* {{Citace monografie \| jméno = Heinz-Otto \| příjmení = Peitgen \| jméno2 = Hartmut \| příjmení2 = Jürgens \| jméno3 = Dietmar \| příjmení3 = Saupe \| titul = Chaos and Fractals \| vydavatel = Springer-Verlag \| místo = New York \| rok = 2004 \| isbn = 0-387-20229-3 \| jazyk = anglicky }}
		+
		+	== Související články ==
		+	* [[Fraktál]]
		+	* [[L-systém]]
		+	== Reference ==
		+	<references/>
		+
		+
		+	{{Článek z Wikipedie}}
	[[Kategorie:Fraktály\| ]]		[[Kategorie:Fraktály\| ]]
	[[Kategorie:Geometrie]]		[[Kategorie:Geometrie]]
	[[Kategorie:Teorie chaosu]]		[[Kategorie:Teorie chaosu]]
	[[Kategorie:Geometrické útvary]]		[[Kategorie:Geometrické útvary]]

Sysop: 1 revizi

2013-10-30T20:17:30Z

1 revizi

← Starší verze

Verze z 30. 10. 2013, 20:17

Sysop: 1 revizi

2012-10-25T10:49:05Z

1 revizi

Nová stránka

{{Wikipedia-cs|Systém iterovaných funkcí|700}}

[[Kategorie:Fraktály| ]]
[[Kategorie:Geometrie]]
[[Kategorie:Teorie chaosu]]
[[Kategorie:Geometrické útvary]]

Systém iterovaných funkcí - Historie editací

Sysop: Nahrazení textu „“ textem „\)“

Sysop: Nahrazení textu „“ textem „\(“

Sysop: + Nový článek

Sysop: 1 revizi

Sysop: 1 revizi

Sysop: Nahrazení textu „ $“ textem „$ \(“