Dalam matematika, **operasi biner berulang** adalah sebuah perpanjangan dari sebuah operasi biner pada sebuah himpunan {\displaystyle S} ke sebuah fungsi pada barisan terbatas dari anggota {\displaystyle S} melalui penggunaan berulang. Contoh saat ini termasuk perpanjangan dari operasi penjumlahan hingga operasi notasi Sigma, dan perpanjangan dari operasi perkalian hingga operasi produk. Operasi lainnya, misalnya, teori-teori himpunan operasi gabungan dan irisan, juga sering diulang, tapi pengulangan tidak diberikan nama terpisah. Dalam cetakan, notasi Sigma dan produk diwakili oleh simbol yang spesial, namun operator berulang lainnya sering kali dilambangkan oleh variasi yang besar dari simbol untuk operator biner biasa. Demikian, pengulangan dari empat operasi disebutkan di atas dilambangkan

{\displaystyle \sum ,\ \prod ,\ \bigcup ,} dan {\displaystyle \bigcap }, masing-masing.
Lebih umum, pengulangan dari sebuah fungsi biner secara umum dilambangkan oleh sebuah garis miringː pengulangan dari {\displaystyle f} di barisan {\displaystyle (a\_{1},a\_{2}\ldots ,a\_{n})} dilambangkan {\displaystyle f/(a\_{1},a\_{2}\ldots ,a\_{n})}, berikut notasi untuk mengurangi dalam formalisme Bird-Meertens.

Secara umum, terdapat lebih daripada satu cara untuk memperpanjang sebuah operasi biner untuk mengoperasikan pada barisan terbatas, tergantung apakah operator asosiatif, dan apakah operator memiliki anggota identitas.

Definisi
--------

Dilambangkan oleh {\displaystyle \mathbf {a} \_{j,k}}, dengan {\displaystyle j\geq 0} dan {\displaystyle k\geq j}, barisan terbatas dari panjang {\displaystyle k-j} dari anggota {\displaystyle S}, dengan anggota {\displaystyle (a\_{i})}, untuk {\displaystyle j\leq i<k}. Catatan bahwa jika {\displaystyle k=j}, barisannya kosong.

Untuk {\displaystyle f:S\times S}, mendefinisikan sebuah fungsi baru {\displaystyle F\_{l}} pada barisan tidak kosong terbatas dari anggota-anggota {\displaystyle S}, dimana

{\displaystyle F\_{l}(\mathbf {a} \_{0,k})={\begin{cases}a\_{0},&k=1\\f(F\_{l}(\mathbf {a} \_{0,k-1}),a\_{k-1}),&k>1\end{cases}}.}
Demikian pula, mendefinisikan

{\displaystyle F\_{r}(\mathbf {a} \_{0,k})={\begin{cases}a\_{0},&k=1\\f(a\_{0},F\_{r}(\mathbf {a} \_{1,k})),&k>1\end{cases}}.}
Jika {\displaystyle f} memiliki sebuah identitas kiri yang unik {\displaystyle e}, definisi dari {\displaystyle F\_{l}} bisa diubah untuk mengoperasikan pada barisan kosong dengan mendefinisikan nilai dari {\displaystyle F\_{l}} pada sebuah barisan kosong menjadi {\displaystyle e} (kasus dasar sebelumnya pada barisan-barisan dari panjang 1 menjadi redundan). Demikian pula, {\displaystyle F\_{r}} bisa diubah untuk mengoperasikan pada barisan kosong jika {\displaystyle f} memiliki sebuah identitas kanan yang unik.

Jika {\displaystyle f} asosiatif. maka {\displaystyle F\_{l}} sama dengan {\displaystyle F\_{r}}, dan kita bisa cukup tulis {\displaystyle F}. Bahkan, jika sebuah identitas anggota {\displaystyle e}ada, maka itu adalah unik (lihat Monoid).

Jika {\displaystyle f} komutatif dan asosiatif, maka {\displaystyle F} beroperasi pada setiap multihimpunan terbatas tidak kosong dengan menerapkannya ke sebuah enumerasi sembarang dari multihimpunan. Jika {\displaystyle f} bahkan memiliki sebuah anggota identitas {\displaystyle e}, maka ini didefinisikan menjadi nilai {\displaystyle F} pada sebuah multihimpunan kosong. Jika {\displaystyle f} idempoten, maka definisi diatas bisa diperpanjang menjadi himpunan terbatas.

Jika {\displaystyle S} juga dilengkapi dengan sebuah metrik atau lebih umumnya dengan topologi yaitu Hausdorff, jadi konsep dari sebuah limit pada sebuah barisan didefinisikan dalam {\displaystyle S}, maka sebuah pengulangan tak terbatas pada sebuah barisan yang dapat dihitung dalam {\displaystyle S} didefinisikan dengan tepat ketika barisan yang sesuai dari pengulangan terbatas konvergen. Demikian, misalnya, jika {\displaystyle a\_{0},a\_{1},a\_{2},a\_{3},\dots } adalah barisan tak terbatas dari bilangan real, maka produk tak terbatas {\displaystyle \prod \_{i=0}^{\infty }a\_{i}} didefinisikan, dan sama dengan {\displaystyle \lim \_{n\to \infty }\prod \_{i=0}^{\infty }a\_{i}}, jika dan hanya jika limit itu ada.

Operasi biner non-asosiatif
---------------------------

Hal yang umum, operasi biner non-asosiatif diberikan oleh sebuah magma. Tindakan pengulangan pada sebuah operasi biner berulang dapat diwakili sebagai sebuah pohon biner.

Notasi
------

Operasi biner berulang digunakan untuk mewakili sebuah operasi yang akan berulang-ulang sebuah subjek himpunan untuk beberapa kendala. Biasanya batas bawah dari sebuah batasan ditulis di bawah simbol, dan batas atas di atas simbol, meskipun mereka mungkin juga ditulis sebagai superskrip dan subskrip dalam notasi kompak. Interpolasi dilakukan selama bilangan bulat positif dari batas bawah ke batas atas, untuk menghasilkan himpunan yang akan diganti menjadi indeks (di bawah dilambangkan sebagai {\displaystyle i}) untuk operasi pengulangan. Ini mungkin untuk menentukan keanggotaan himpunan atau kendala logis lainnya di tempat indeks yang eksplisit, untuk menentukan implikasinya dimana anggota-anggota dari sebuah himpunan akan digunakan.

Notasi-notasi umum termasuk notasi **S**igma besar (penjumlahan berulang) dan notasi **P**i besar (perkalian berulang).

{\displaystyle \sum \_{i=0}^{n-1}i=0+1+2+\dots +(n-1)}

{\displaystyle \prod \_{i=0}^{n-1}i=0\times 1\times 2\times \dots \times (n-1)}

Meskipun operator biner termasuk tidak terbatas pada eksklusif atau dan gabungan himpunan dapat digunakan.

Misalkan {\displaystyle S} adalah sebuah himpunan dari himpunan-himpunan

{\displaystyle \bigcup \_{s\in S}s\_{i}=s\_{1}\cup s\_{2}\cup \dots \cup s\_{N}}.

Misalkan {\displaystyle S} adalah himpunan dari proposisi logis

{\displaystyle \bigoplus \_{s\in S}s\_{i}=s\_{1}\oplus s\_{2}\oplus \dots \oplus s\_{N}}.[*butuh klarifikasi*]

Misalkan {\displaystyle S} adalah himpunan dari multivektor dalam sebuah aljabar Clifford/aljabar geometris

{\displaystyle \bigwedge \_{s\in S}s\_{i}=s\_{1}\wedge s\_{2}\wedge \dots \wedge s\_{N}}

{\displaystyle \prod \_{s\in S}s\_{i}=s\_{1}s\_{2}\dots s\_{N}}

Perhatikan caranya di atas, tidak ada batas atas digunaan, karena itu sudah cukup untuk mengekspresikan bahwa anggota {\displaystyle s\_{i}} adalah anggota dari himpunan {\displaystyle S}.

Ini juga untuk menghasilkan sebuah operasi berulang diberikan sebuah jumlah kendala yang digabungkan oleh sebuah konjungsi (dan), sebagai contohː

{\displaystyle \sum \_{(i\in 2\mathbb {N} )\wedge (i\leq n)}i=0+2+4+\dots +n}, yang mungkin juga dilambangkan {\displaystyle \sum \_{\begin{array}{c}i\in 2\mathbb {N} \\i\leq n\end{array}}i=0+2+4+\dots +n}.

Lihat pula
----------

* Deret produk
* Fold (fungsi tingkat tinggi)
* Pecahan berlanjut
* Produk tak terbatas

Referensi
---------

1. ↑  Saunders MacLane (1971). *Categories for the Working Mathematician*. New York: Springer-Verlag. hlm. 142. ISBN 0387900357.
2. ↑  W. Weisstein, Eric. "Union". *mathworld.wolfram.com* (dalam bahasa Inggris). Wolfram Mathworld. Diakses tanggal 30 January 2018.

Pranala luar
------------

* Bulk action
* Parallel prefix operation Diarsipkan 2013-06-03 di Wayback Machine.
* Nuprl iterated binary operations