Himpunan Mandelbrot

**Himpunan Mandelbrot** () adalah sebuah himpunan dua dimensi yang didefinisikan pada bidang kompleks, terdiri dari bilangan kompleks c sedemikian sehingga fungsi f_c(z)=z^2+c tidak menjauh menuju tak hingga ketika diiterasikan mulai dari z=0. Dengan kata lain, barisan f_c(0), f_c(f_c(0)), dan seterusnya, tetap terbatas dalam nilai mutlak.

Himpunan ini pertama kali didefinisikan dan digambar oleh Robert W. Brooks dan Peter Matelski pada tahun 1978, sebagai bagian dari kajian mengenai kelompok Kleinian. Kemudian, pada tahun 1980, Benoit Mandelbrot memperoleh visualisasi berkualitas tinggi atas himpunan ini ketika ia bekerja di Thomas J. Watson Research Center milik IBM di Yorktown Heights, New York.  

Citra himpunan Mandelbrot menyingkap sebuah batas yang teramat rumit dan tak berujung, di mana detail yang semakin halus dan berulang tersingkap seiring pembesaran diperbesar tanpa batas. Secara matematis, batas himpunan Mandelbrot merupakan sebuah kurva fraktal. Bentuk rincian berulang ini bergantung pada wilayah batas yang sedang diamati.

Citra himpunan Mandelbrot dapat dibuat dengan mengambil sampel bilangan kompleks dan menguji, untuk setiap titik c, apakah barisan f_c(0), f_c(f_c(0)),\dotsc menjauh ke tak hingga atau tetap terbatas. Dengan memperlakukan bagian bilangan real dan bilangan imajiner dari c sebagai koordinat gambar pada bidang kompleks, setiap piksel kemudian dapat diberi warna sesuai dengan seberapa cepat barisan |f_c(0)|, |f_c(f_c(0))|,\dotsc melampaui suatu ambang batas tertentu (ambang ini harus minimal 2, karena −2 adalah bilangan kompleks dengan magnitudo terbesar di dalam himpunan, tetapi selain itu nilai ambang dapat dipilih secara bebas). Jika c dijaga tetap dan nilai awal z yang diubah, maka diperoleh himpunan Julia yang bersesuaian dengan titik c.

Himpunan Mandelbrot dikenal luas, bahkan di luar ranah matematika, karena memperlihatkan struktur fraktal yang amat rumit dan indah ketika divisualisasikan dan diperbesar, meski didefinisikan dengan aturan yang relatif sederhana. Himpunan ini kerap disebut sebagai contoh dari keindahan matematika.

## Sejarah

Himpunan Mandelbrot berawal dari dinamika kompleks, bidang yang pertama kali diselidiki oleh matematikawan Prancis Pierre Fatou dan Gaston Julia pada awal abad ke 20. Fraktal ini pertama kali didefinisikan dan digambar pada tahun 1978 oleh Robert W. Brooks dan Peter Matelski sebagai bagian dari studi kelompok Kleinian.. Pada tanggal 1 Maret 1980, di IBM Pusat Penelitian Thomas J. Watson di Yorktown Heights, New York, Benoit Mandelbrot pertama kali melihat visualisasi.

Mandelbrot mempelajari parameter space dari polinomial kuadrat dalam sebuah artikel yang muncul pada tahun 1980. Studi matematis himpunan Mandelbrot benar-benar dimulai dengan karya ahli matematika Adrien Douady dan John H. Hubbard (1985), yang menetapkan banyak properti fundamentalnya dan menamai himpunan tersebut untuk menghormati Mandelbrot atas karyanya yang berpengaruh di geometri fraktal.

Matematikawan Heinz-Otto Peitgen dan Peter Richter menjadi terkenal karena mempromosikan set dengan foto, buku (1986), dan pameran tur internasional Goethe-Institut Jerman (1985).

Artikel sampul pada Agustus 1985 *[[Scientific American]]* memperkenalkan algoritma kepada khalayak luas untuk menghitung himpunan Mandelbrot. Sampulnya menampilkan gambar yang terletak di −0.909 + −0.275 ''i'' dan diciptakan oleh Peitgen et al. Set Mandelbrot menjadi terkenal pada pertengahan 1980 an sebagai komputer demo grafis, ketika komputer pribadi menjadi cukup kuat untuk memplot dan menampilkan set dalam resolusi tinggi.

Karya Douady dan Hubbard bertepatan dengan peningkatan besar minat dalam dinamika kompleks dan matematika abstrak, dan studi tentang himpunan Mandelbrot telah menjadi pusat perhatian bidang ini. Daftar lengkap dari semua orang yang telah berkontribusi pada pemahaman himpunan ini sejak saat itu masih panjang, tetapi akan mencakup Mikhail Lyubich, Curt McMullen, John Milnor, Mitsuhiro Shishikura dan Jean-Christophe Yoccoz.

## Definisi formal
Himpunan Mandelbrot adalah himpunan nilai * c * di bidang kompleks yang orbit dari nilai kritikal z = 0 di bawah Iteratal Kuadrat

:z_{n+1} = z_n^2 + c

tetap dibatasi. Jadi, bilangan kompleks *c* adalah anggota himpunan Mandelbrot bila, saat dimulai dengan *z*0 = 0 dan menerapkan iterasi berulang kali, nilai absolut dari *z**n* tetap terikat untuk semua *n* > 0.

Contohnya, untuk *c* = 1, urutannya adalah 0, 1, 2, 5, 26, ..., yang cenderung tak terhingga, jadi 1 bukan merupakan elemen himpunan Mandelbrot. Sebaliknya, untuk *c*=−1, urutannya adalah 0, −1, 0, −1, 0, ..., yang dibatasi, jadi −1 memang termasuk dalam himpunan.

Set Mandelbrot juga bisa didefinisikan sebagai lokus keterhubungan dari keluarga polinomial.

## Representasi grafis
Representasi grafis dari himpunan Mandelbrot dan strukturnya di area tepi hanya mungkin menggunakan komputer menggunakan apa yang disebut generator fraktal. Setiap piksel sesuai dengan nilai c bidang kompleks. Untuk setiap piksel, komputer menentukan apakah urutan terkait divergen atau tidak. Begitu jumlahnya |z_n| eines Anggota berurutan nilai s=2 melebihi, jelas bahwa hasilnya divergen. Nomor n langkah iterasi sampai saat itu dapat berfungsi sebagai ukuran derajat divergensi. Pixel diberi warna sesuai dengan tabel warna yang telah ditentukan sebelumnya yang sesuai dengan setiap nilai n memberikan warna.

Untuk mencapai batas yang harmonis antara warna-warna yang berurutan dari sudut pandang estetika, batas tersebut digunakan dalam praktiknya s bukan nilai sekecil mungkin s=2 dipilih, tetapi nilai secara signifikan lebih besar dari 2, jika tidak, lebar garis warna akan berosilasi. Semakin besar nilai ini dipilih, semakin baik batas warna yang sesuai dengan garis ekuipotensial, yang dihasilkan ketika himpunan Mandelbrot diinterpretasikan sebagai bermuatan listrik konduktor. Untuk gradien warna kontinu, Seperti pada rangkaian gambar zoom di atas, evaluasi faktor diperlukan di mana s terlampaui saat nilainya dilampaui untuk pertama kalinya.

Karena jumlah langkah iterasi n, setelah itu batasnya s terlampaui, dapat berukuran berapa pun, kriteria penghentian dalam bentuk jumlah langkah iterasi maksimum harus ditentukan. Nilai c, konsekuensi yang belum melebihi batas s setelahnya menjadi \mathbb M diharapkan. Semakin kecil jarak c zu \mathbb M adalah, semakin besar angka  n biasanya setelah s terlampaui. Semakin besar pembesaran tepi \mathbb M ditampilkan, semakin besar jumlah maksimum langkah iterasi yang harus dipilih, dan semakin banyak waktu komputasi yang diperlukan. Dapat dilihat bahwa urutan nilai awal c konvergen, perhitungan urutannya bisa diakhiri lebih awal.

Representasi tepi secara grafis sangat menarik \mathbb M dengan kekayaan bentuknya. Semakin besar perbesaran yang dipilih, struktur yang lebih kompleks dapat ditemukan di sana. Dengan program komputer yang sesuai, tepi ini dapat ditampilkan seperti pada mikroskop dengan perbesaran apa pun. Hanya dua kebebasan artistik yang ada adalah pemilihan bagian gambar dan penetapan warna pada tingkat divergensi.

Perbesaran sering kali diperlukan untuk memeriksa struktur yang diinginkan, yang tidak dapat dihitung dengan tipe data yang didukung perangkat keras karena keakuratannya yang terbatas. Oleh karena itu, beberapa program berisi tipe data bilangan panjang aritmetika dengan presisi yang dapat dipilih secara sewenang-wenang. Ini berarti bahwa (hampir) semua faktor pembesaran dimungkinkan.

## Properti dasar
Himpunan Mandelbrot adalah himpunan kompak, karena ia tertutup dan terkandung dalam disk tertutup dengan radius 2 di sekitar asal. Lebih khusus lagi, satu poin c termasuk dalam kumpulan Mandelbrot jika dan hanya jika
:|P_c^n(0)|\leq 2 untuk semua n\geq 0.

Dengan kata lain, nilai absolut dari P_c^n(0) harus tetap pada atau di bawah 2 untuk c berada di himpunan Mandelbrot, seolah-olah nilai absolut itu melebihi 2, urutannya akan lolos hingga tak terbatas.

persimpangan dari M dengan sumbu nyata tepatnya adalah interval [−2, 1/4]. Parameter sepanjang interval ini dapat dimasukkan ke dalam korespondensi satu-satu dengan yang ada di keluarga logistik yang sebenarnya,
:x_{n+1} = r x_n(1-x_n),\quad r\in[1,4].
Korespondensi diberikan oleh

:z = r\left(\frac12 - x\right),
\quad
c = \frac{r}{2}\left(1-\frac{r}{2}\right).

Faktanya, ini memberikan korespondensi antara seluruh ruang parameter dari keluarga logistik dan yang ada di himpunan Mandelbrot.

Douady dan Hubbard telah menunjukkan bahwa set Mandelbrot adalah terhubung. Faktanya, mereka membangun sebuah isomorfisma konformal antara komplemen himpunan Mandelbrot dan komplemen disk unit tertutup. Mandelbrot awalnya menduga bahwa set Mandelbrot adalah terputus. Dugaan ini didasarkan pada gambar komputer yang dihasilkan oleh program yang tidak dapat mendeteksi filamen tipis yang menghubungkan berbagai bagian M. Setelah percobaan lebih lanjut, dia merevisi dugaannya, memutuskan itu M harus terhubung. Ada juga bukti topologi untuk keterhubungan yang ditemukan pada tahun 2001 oleh Jeremy Kahn.

Rumus dinamis untuk penyeragaman dari pelengkap himpunan Mandelbrot, yang muncul dari bukti Douady dan Hubbard tentang keterkaitan M, memunculkan sinar eksternal dari himpunan Mandelbrot. Sinar ini dapat digunakan untuk mempelajari himpunan Mandelbrot dalam istilah kombinatorial dan membentuk tulang punggung Jean-Christophe Yoccoz#pekerjaan Matematika.

batas dari himpunan Mandelbrot persis lokus percabangan dari keluarga kuadrat; yaitu, kumpulan parameter c di mana dinamika berubah secara tiba-tiba di bawah perubahan kecil  c.  Itu dapat dibangun sebagai himpunan batas dari urutan bidang kurva aljabar, yang *kurva Mandelbrot*, dari tipe umum yang dikenal sebagai lemniskat polinomial. Kurva Mandelbrot ditentukan oleh pengaturan *p*0 = *z*, *p**n*+1 = *p**n*2 + *z*, dan kemudian menafsirkan kumpulan poin  = 2 dalam bidang kompleks sebagai kurva dalam bidang Cartesian derajat 2*n*+1 in *x* and *y*. Kurva aljabar ini muncul dalam gambar set Mandelbrot yang dihitung menggunakan "algoritma waktu melarikan diri" yang disebutkan di bawah.

## Perilaku deretan angka
Berbagai elemen struktural \mathbb M terkait erat dengan perilaku tertentu dari urutan angka, itu \mathbb M yang mendasari. Bergantung pada nilai c, ada empat kemungkinan:

* Bila nilai menyatu ke titik tetap.
* Ketika menyatu dengan siklus batas periodik yang terdiri dari dua atau lebih nilai. Ini juga mencakup kasus di mana urutan berperilaku secara berkala sejak awal.
* Karena hal ini tidak pernah berulang, tetapi tetap terbatas. Beberapa nilai menunjukkan perilaku kacau dengan pergantian antara siklus batas hampir periodik dan perilaku acak.
* Terutama menyimpang menuju tak terbatas (divergensi tertentu).

Semua c nilai yang *tidak* pasti dimiliki secara berbeda \mathbb M.

Tabel berikut menunjukkan contoh dari empat perilaku batas iterasi nilai z_{n+1}=z_n^2+c dari z_0=0:

### Penilaian geometris
Konvergensi terjadi tepat untuk nilai c yang menyusun interior kardioid, "tubuh" dari \mathbb M, serta untuk banyak titik batas mereka yang tak terhitung banyaknya. Siklus batas periodik dapat ditemukan pada (kurang lebih) "rintisan" dari nilai melingkar seperti pada "kepala", di kardioid satelit serta di banyak titik tepi komponen ini. Sebuah dugaan fundamental mengatakan bahwa ada siklus batas untuk semua titik dalam himpunan Mandelbrot. Urutannya benar-benar pra-periodik untuk banyak parameter yang tak terhitung banyaknya, yang sering disebut Titik Misiurewicz-Thurston (setelah Michał Misiurewicz dan William Thurston). Ini termasuk "ujung antena" seperti titik z=-2 paling kiri dan titik cabang himpunan Mandelbrot.

Dalam banyak titik lain dari himpunan Mandelbrot yang tak terhitung banyaknya, urutan dapat berperilaku dalam berbagai cara, yang masing-masing menghasilkan sistem dinamis yang sangat berbeda dan sebagian menjadi subjek penelitian intensif. Je menurut definisi kata tersebut, perilaku "kacau" dapat ditemukan.

## Properti lainnya

## Geometri
Kardioid mempunyai periode 1. Lingkaran mempunyai periode selain 1, kecuali mini mandelbrot yang ada di c = -1,75.

## Generalisasi

### Himpunan Multibrot
Himpunan Multibrot adalah himpunan berbatas yang ditemukan di bidang kompleks untuk anggota famili rekursi monik univariat polinomial umum

: z \mapsto z^d + c.\ 

Untuk integer d, himpunan ini adalah lokus keterhubungan untuk himpunan Julia yang dibangun dari rumus yang sama. Lokus keterhubungan kubik penuh juga telah dipelajari; di sini orang menganggap dua parameter berulang  z \mapsto z^3 + 3kz + c , yang dua titik kritikal adalah akar kuadrat kompleks dari parameter *k*. Parameter berada dalam lokus keterhubungan kubik jika kedua titik kritis stabil. Untuk famili umum holomorphic function, *boundary* dari himpunan Mandelbrot digeneralisasikan ke lokus percabangan, yang merupakan objek alami untuk dipelajari bahkan ketika lokus keterhubungan tidak berguna.

## Lihat pula

* Buddhabrot
* Fraktal collatz
* Fractint
* Perubahan Gilbreath
* Mandelbox
* Mandelbulb
* Menger Sponge
* Fraktal Newton
* Potret orbit
* Orbit trap
* Pickover stalk

## Referensi

## Bacaan lebih lanjut
* John W. Milnor, *Dynamics in One Complex Variable* (Third Edition), Annals of Mathematics Studies 160, (Princeton University Press, 2006),  (First appeared in 1990 as a Stony Brook IMS Preprint, available as arXiV:math.DS/9201272 )
* Nigel Lesmoir-Gordon, *The Colours of Infinity: The Beauty, The Power and the Sense of Fractals*,  (includes a DVD featuring Arthur C. Clarke and David Gilmour)
* Heinz-Otto Peitgen, Hartmut Jürgens, Dietmar Saupe, *Chaos and Fractals: New Frontiers of Science* (Springer, New York, 1992, 2004), 

## Pranala luar

* 
* The Mandelbrot Set and Julia Sets by Michael Frame, Benoit Mandelbrot, and Nial Neger 
* Video: Mandelbrot fractal zoom to 6.066 e228
* [Relatively simple explanation of the mathematical process, by [Holly Krieger|Dr Holly Krieger], MIT]
* Mandelbrot set images online rendering
* Various algorithms for calculating the Mandelbrot set (on Rosetta Code)
* Fractal calculator written in Lua by Deyan Dobromiroiv, Sofia, Bulgaria