V sobotu 2. listopadu proběhla mohutná oslava naší plnoletosti !!
Multimediaexpo.cz je již 18 let na českém internetu !!

Mandelbrotova množina

Z Multimediaexpo.cz

(Rozdíly mezi verzemi)
(+ Nový článek...)
m (Nahrazení textu „</math>“ textem „\)</big>“)
 
(Nejsou zobrazeny 3 mezilehlé verze.)
Řádka 1: Řádka 1:
-
{{Wikipedia-cs|Mandelbrotova množina|700}}
+
[[Soubor:Big Mandelbrot set.jpg|thumb|250px|Mandelbrotova množina (Gigantické&nbsp;zobrazení)]]
 +
'''Mandelbrotova množina''' je množina bodů [[komplexní rovina|komplexní roviny]], které jsou odvozeny od [[rekurze|rekurzivních]] procesů s [[komplexní číslo|komplexními čísly]] patřícími této množině a jejímu okolí. Mandelbrotova množina je jeden z nejznámějších [[fraktál]]ů, přesněji řečeno fraktálem je její okraj. K jejímu určení se používá [[zobrazení (matematika)|zobrazení]], které každému komplexnímu číslu&nbsp;<big>\(c\)</big> přiřazuje určitou [[posloupnost]] komplexních čísel&nbsp;<big>\(z_n\)</big>. Tato posloupnost je určena následujícím rekurzivním předpisem:
 +
:<big>\(z_0=0,\quad z_{n+1} = z_n^2 + c\)</big>.
 +
Madelbrodova množina je pak definována jako množina komplexních čísel&nbsp;<big>\(c\)</big>, pro která je posloupnost <big>\(z_0, z_1, z_2, \dots\)</big>&nbsp; [[omezená množina|omezená]], tj. že splňuje následující podmínku:
 +
:Existuje [[reálné číslo]] <big>\(m\)</big> takové, že pro všechna&nbsp;<big>\(n\)</big> je &nbsp;<big>\(|z_n|\le m\)</big>.
 +
Lze dokázat, že překročí-li [[absolutní hodnota]] některého členu posloupnosti&nbsp;<big>\(z_n\)</big> hodnotu&nbsp;2, pak tato poslupnost není omezená (jde do [[nekonečno|nekonečna]]). Odtud je zřejmé, že lze ve výše uvedené definici položit <big>\(m = 2\)</big>, aniž by tím došlo ke změně jejího významu.
 +
 +
== Vlastnosti ==
 +
[[Soubor:Mandelpart2.jpg|thumb|220px|Část Mandelbrotovy množiny]]
 +
[[Soubor:Mandelbrot-Menge farbig.png|thumb|220px|Mandelbrotova množina; barva bodů v jejím okolí odpovídá pořadí členu posloupnosti&nbsp;''z<sub>n</sub>'', u něhož je poprvé zjištěno, že tato posloupnost jde do nekonečna.]]
 +
* Celá množina leží uvnitř kruhu se středem v nule a poloměrem 2.
 +
* Množina je [[souvislá množina|souvislá]] (jak dokázali roku 1982 [[Adrien Douady]] a [[John H. Hubbard]]), je dokonce [[jednoduše souvislá množina|jednoduše souvislá]]. Předpokládá se, že je také [[obloukově souvislá množina|obloukově souvislá]], ale není to dokázáno.
 +
* [[Hausdorffova dimenze]] [[hranice množiny]] je 2, jedná se tedy o fraktál.
 +
* Množina je [[kompaktní množina|kompaktní]], tedy [[uzavřená množina|uzavřená]], tím spíš [[borelovská množina|borelovská]] a lze jí tedy přiřadit [[Lebesgueova míra|Lebesgueovu]] [[míra|míru]], její [[plocha]] je přibližně 1,5065918.<ref>[http://www.mrob.com/pub/muency/areaofthemandelbrotset.html Area of the Mandelbrot Set Robert, P. Munafo, 2003 Oct 21.]</ref>
 +
* Množina sestává ze [[spočetně nekonečný|spočetně]] nekonečného množství podobjektů, podobných [[kardioida|kardioidám]] a kruhům, které se vzájemně dotýkají.
 +
 +
== Výpočet a grafické zobrazení ==
 +
Nejprve se pro každý určený bod komplexní roviny postupně vyčíslují členy posloupnosti&nbsp;<big>\(z_n\)</big> a zjišťuje se, jestli splňují podmínku <big>\(|z_n| \le 2\)</big> (výhodněji její druhou mocninu). V případě, že tato podmínka není splněna, bod nepatří do Mandelbrotovy množiny. Při zobrazování se často podle hodnoty <big>\(n\)</big>, při níž došlo k nesplnění podmínky, zvolí barva, kterou bude bod zobrazen. Pro dosažení dobrého vzhledu se pro blízká „vyřazovací“ <big>\(n\)</big> volí podobné barvy. Pokud po vhodně zvoleném počtu [[iterace|iterací]] zůstává uvedená podmínka splněna, je bod považován za součást Mandelbrotovy množiny (zobrazuje se obvykle černou barvou). Nastavení této hranice ovlivňuje výsledný obrázek: pro příliš malou hodnotu budou některé body chybně označeny jako patřící do množiny, ale velký počet iterací vyžaduje delší čas výpočtu.
 +
 +
Výpočet je možno zrychlit tím, že se rychle detekují body, které do množiny evidentně patří, protože se nacházejí uvnitř hlavních částí množiny – kružnice a kardioidy.
 +
 +
== Historie ==
 +
Množinu jako první definoval v roce 1905 [[Francie|francouzský]] matematik [[Pierre Fatou]], který studoval rekurzivní procesy jako např.
 +
:<big>\(z \mapsto z^2 + c\)</big>.
 +
Pokud se taková operace opakovaně provádí z nějaké počáteční hodnoty <big>\(z_0\)</big>, vznikne tím posloupnost bodů, která se označuje jako orbit bodu <big>\(z_0\)</big> vůči dané [[transformace|transformaci]]. Fatou si uvědomil, že o chování podobných systémů dobře vypovídá studium orbitu bodu <big>\(z_0 = 0\)</big>. Takových systémů existuje nekonečně mnoho (jeden pro každou hodnotu <big>\(c\)</big>). Jelikož Fatou neměl k dispozici počítač, pokusil se vytvořit orbity několika takových funkcí ručně, přičemž nalezl již zmiňovanou hranici&nbsp;2, po překročení které bude orbita zaručeně utíkat do nekonečna.
 +
 +
Ruční výpočty byly pochopitelně velice náročné, takže Fatou nikdy to, co se dnes označuje jako Mandelbrotova množina, na vlastní oči nespatřil. Prvním, kdo tuto množinu nechal vykreslit počítačem, byl [[Benoît Mandelbrot]], podle kterého je také pojmenována.
 +
 +
Mandelbrot tuto množinu a vůbec pojem ''fraktál'' popularizoval ve své knize z roku [[1975]], ''Les Objets Fractals: Forme, Hasard et Dimension''.
 +
 +
== Příbuzné fraktály ==
 +
Při změně počáteční podmínky u definujícího předpisu je výsledkem nesouvislá množina. Takovému znetvoření se anglicky říká ''tilt'' (''naražení, zvrhnutí'').
 +
 +
Mandelbrotova množina má těsný vztah k [[Juliova množina|Juliovým množinám]]; dokonce obsahuje místa, která vzhledem připomínají Juliovy množiny. Každému bodu komplexní roviny odpovídá Juliova množina (s parametrem daným souřadnicemi daného bodu), přičemž bodům uvnitř Mandelbrotovy množiny odpovídají souvislé Juliovy množiny, bodům mimo pak nesouvislé. Vizuálně nejzajímavější Juliovy množiny odpovídají bodům poblíž hranice Mandelbrotovy množiny, neboť bodům hluboko uvnitř odpovídají jednoduché geometrické tvary, bodům daleko vně pak jen několik roztroušených bodů (okolí bodu <big>\(c\)</big> připomíná střed Juliovy množiny s parametrem <big>\(c\)</big>).
 +
 +
== Reference ==
 +
<references />
 +
== Související články ==
 +
* [[Juliova množina]] – podobný princip, ale <big>\(z_0\)</big> je bod komplexní roviny a <big>\(c\)</big> je parametr
 +
== Externí odkazy ==
 +
* [http://kmlinux.fjfi.cvut.cz/~pausp1/html/skola/fraktaly/reserse.htm Petr Pauš: ''Počítačové generování fraktálních množin''] (rešeršní práce)
 +
* [http://www.root.cz/serialy/fraktaly-v-pocitacove-grafice/ Fraktály v počítačové grafice] - rozsáhlý seriál o fraktálech vycházející v elektronickém časopise Root
 +
 +
 +
{{Flickr|Mandelbrot+set}}{{Commons|Mandelbrot set}}{{Článek z Wikipedie}}
[[Kategorie:Fraktály]]
[[Kategorie:Fraktály]]
[[Kategorie:Komplexní analýza]]
[[Kategorie:Komplexní analýza]]

Aktuální verze z 14. 8. 2022, 14:52

Mandelbrotova množina (Gigantické zobrazení)

Mandelbrotova množina je množina bodů komplexní roviny, které jsou odvozeny od rekurzivních procesů s komplexními čísly patřícími této množině a jejímu okolí. Mandelbrotova množina je jeden z nejznámějších fraktálů, přesněji řečeno fraktálem je její okraj. K jejímu určení se používá zobrazení, které každému komplexnímu číslu \(c\) přiřazuje určitou posloupnost komplexních čísel \(z_n\). Tato posloupnost je určena následujícím rekurzivním předpisem:

\(z_0=0,\quad z_{n+1} = z_n^2 + c\).

Madelbrodova množina je pak definována jako množina komplexních čísel \(c\), pro která je posloupnost \(z_0, z_1, z_2, \dots\)  omezená, tj. že splňuje následující podmínku:

Existuje reálné číslo \(m\) takové, že pro všechna \(n\) je  \(|z_n|\le m\).

Lze dokázat, že překročí-li absolutní hodnota některého členu posloupnosti \(z_n\) hodnotu 2, pak tato poslupnost není omezená (jde do nekonečna). Odtud je zřejmé, že lze ve výše uvedené definici položit \(m = 2\), aniž by tím došlo ke změně jejího významu.

Obsah

Vlastnosti

Část Mandelbrotovy množiny
Mandelbrotova množina; barva bodů v jejím okolí odpovídá pořadí členu posloupnosti zn, u něhož je poprvé zjištěno, že tato posloupnost jde do nekonečna.

Výpočet a grafické zobrazení

Nejprve se pro každý určený bod komplexní roviny postupně vyčíslují členy posloupnosti \(z_n\) a zjišťuje se, jestli splňují podmínku \(|z_n| \le 2\) (výhodněji její druhou mocninu). V případě, že tato podmínka není splněna, bod nepatří do Mandelbrotovy množiny. Při zobrazování se často podle hodnoty \(n\), při níž došlo k nesplnění podmínky, zvolí barva, kterou bude bod zobrazen. Pro dosažení dobrého vzhledu se pro blízká „vyřazovací“ \(n\) volí podobné barvy. Pokud po vhodně zvoleném počtu iterací zůstává uvedená podmínka splněna, je bod považován za součást Mandelbrotovy množiny (zobrazuje se obvykle černou barvou). Nastavení této hranice ovlivňuje výsledný obrázek: pro příliš malou hodnotu budou některé body chybně označeny jako patřící do množiny, ale velký počet iterací vyžaduje delší čas výpočtu.

Výpočet je možno zrychlit tím, že se rychle detekují body, které do množiny evidentně patří, protože se nacházejí uvnitř hlavních částí množiny – kružnice a kardioidy.

Historie

Množinu jako první definoval v roce 1905 francouzský matematik Pierre Fatou, který studoval rekurzivní procesy jako např.

\(z \mapsto z^2 + c\).

Pokud se taková operace opakovaně provádí z nějaké počáteční hodnoty \(z_0\), vznikne tím posloupnost bodů, která se označuje jako orbit bodu \(z_0\) vůči dané transformaci. Fatou si uvědomil, že o chování podobných systémů dobře vypovídá studium orbitu bodu \(z_0 = 0\). Takových systémů existuje nekonečně mnoho (jeden pro každou hodnotu \(c\)). Jelikož Fatou neměl k dispozici počítač, pokusil se vytvořit orbity několika takových funkcí ručně, přičemž nalezl již zmiňovanou hranici 2, po překročení které bude orbita zaručeně utíkat do nekonečna.

Ruční výpočty byly pochopitelně velice náročné, takže Fatou nikdy to, co se dnes označuje jako Mandelbrotova množina, na vlastní oči nespatřil. Prvním, kdo tuto množinu nechal vykreslit počítačem, byl Benoît Mandelbrot, podle kterého je také pojmenována.

Mandelbrot tuto množinu a vůbec pojem fraktál popularizoval ve své knize z roku 1975, Les Objets Fractals: Forme, Hasard et Dimension.

Příbuzné fraktály

Při změně počáteční podmínky u definujícího předpisu je výsledkem nesouvislá množina. Takovému znetvoření se anglicky říká tilt (naražení, zvrhnutí).

Mandelbrotova množina má těsný vztah k Juliovým množinám; dokonce obsahuje místa, která vzhledem připomínají Juliovy množiny. Každému bodu komplexní roviny odpovídá Juliova množina (s parametrem daným souřadnicemi daného bodu), přičemž bodům uvnitř Mandelbrotovy množiny odpovídají souvislé Juliovy množiny, bodům mimo pak nesouvislé. Vizuálně nejzajímavější Juliovy množiny odpovídají bodům poblíž hranice Mandelbrotovy množiny, neboť bodům hluboko uvnitř odpovídají jednoduché geometrické tvary, bodům daleko vně pak jen několik roztroušených bodů (okolí bodu \(c\) připomíná střed Juliovy množiny s parametrem \(c\)).

Reference

  1. Area of the Mandelbrot Set Robert, P. Munafo, 2003 Oct 21.

Související články

  • Juliova množina – podobný princip, ale \(z_0\) je bod komplexní roviny a \(c\) je parametr

Externí odkazy


Flickr.com nabízí fotografie, obrázky a videa k tématu
Mandelbrotova množina
Commons nabízí fotografie, obrázky a videa k tématu
Mandelbrot set