Operasi biner teriterasi

Dalam matematika, **operasi biner berulang** adalah sebuah perpanjangan dari sebuah operasi biner pada sebuah himpunan S ke sebuah fungsi pada barisan terbatas dari anggota 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, tetapi 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

::\sum,\ \prod,\ \bigcup, dan \bigcap, masing-masing.

Lebih umum, pengulangan dari sebuah fungsi biner secara umum dilambangkan oleh sebuah garis miringː pengulangan dari f di barisan (a_{1}, a_{2} \ldots, a_{n}) dilambangkan 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 \mathbf{a}_{j,k}, dengan j \geq 0 dan k \geq j, barisan terbatas dari panjang k - j dari anggota S , dengan anggota (a_i), untuk j \leq i . Catatan bahwa jika k=j, barisannya kosong.

Untuk f : S \times S, mendefinisikan sebuah fungsi baru F_l pada barisan tidak kosong terbatas dari anggota-anggota S, dimana

: 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

: 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 f  memiliki sebuah identitas kiri yang unik e, definisi dari F_l bisa diubah untuk mengoperasikan pada barisan kosong dengan mendefinisikan nilai dari F_l pada sebuah barisan kosong menjadi e (kasus dasar sebelumnya pada barisan-barisan dari panjang 1 menjadi redundan). Demikian pula, F_r bisa diubah untuk mengoperasikan pada barisan kosong jika f  memiliki sebuah identitas kanan yang unik.

Jika f  asosiatif. maka F_l sama dengan F_r, dan kita bisa cukup tulis F . Bahkan, jika sebuah identitas anggota eada, maka itu adalah unik (lihat Monoid).

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

Jika S    juga dilengkapi dengan sebuah metrik atau lebih umumnya dengan topologi yaitu Hausdorff, jadi konsep dari sebuah limit pada sebuah barisan didefinisikan dalam S   , maka sebuah pengulangan tak terbatas pada sebuah barisan yang dapat dihitung dalam S    didefinisikan dengan tepat ketika barisan yang sesuai dari pengulangan terbatas konvergen. Demikian, misalnya, jika a_0,a_1,a_2,a_3,\dots adalah barisan tak terbatas dari bilangan real, maka produk tak terbatas \prod_{i=0}^\infty a_i didefinisikan, dan sama dengan \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 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).

\sum_{i=0}^{n-1} i = 0+1+2+ \dots + (n-1)

\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 S       adalah sebuah himpunan dari himpunan-himpunan

\bigcup_{s \in S} s_i= s_1 \cup s_2 \cup \dots \cup s_N.

Misalkan S       adalah himpunan dari proposisi logis

\bigoplus_{s \in S} s_i= s_1 \oplus s_2 \oplus \dots \oplus s_N.

Misalkan S       adalah himpunan dari multivektor dalam sebuah aljabar Clifford/aljabar geometris

\bigwedge_{s \in S} s_i= s_1 \wedge s_2 \wedge \dots \wedge s_N

\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 s_i adalah anggota dari himpunan S      .

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

\sum_{(i \in 2\mathbb{N}) \wedge (i \leq n)} i = 0 + 2 + 4 + \dots + n, yang mungkin juga dilambangkan \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


## Pranala luar

* Bulk action
* Parallel prefix operation 
* Nuprl iterated binary operations