Lompat ke isi

Operasi biner teriterasi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

Dalam matematika, operasi biner berulang adalah sebuah perpanjangan dari sebuah operasi biner pada sebuah himpunan ke sebuah fungsi pada barisan terbatas dari anggota melalui penggunaan berulang.[1] 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

dan , masing-masing.

Lebih umum, pengulangan dari sebuah fungsi biner secara umum dilambangkan oleh sebuah garis miringː pengulangan dari di barisan dilambangkan , 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.

Dilambangkan oleh , dengan dan , barisan terbatas dari panjang dari anggota , dengan anggota , untuk . Catatan bahwa jika , barisannya kosong.

Untuk , mendefinisikan sebuah fungsi baru pada barisan tidak kosong terbatas dari anggota-anggota , dimana

Demikian pula, mendefinisikan

Jika memiliki sebuah identitas kiri yang unik , definisi dari bisa diubah untuk mengoperasikan pada barisan kosong dengan mendefinisikan nilai dari pada sebuah barisan kosong menjadi (kasus dasar sebelumnya pada barisan-barisan dari panjang 1 menjadi redundan). Demikian pula, bisa diubah untuk mengoperasikan pada barisan kosong jika memiliki sebuah identitas kanan yang unik.

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

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

Jika juga dilengkapi dengan sebuah metrik atau lebih umumnya dengan topologi yaitu Hausdorff, jadi konsep dari sebuah limit pada sebuah barisan didefinisikan dalam , maka sebuah pengulangan tak terbatas pada sebuah barisan yang dapat dihitung dalam didefinisikan dengan tepat ketika barisan yang sesuai dari pengulangan terbatas konvergen. Demikian, misalnya, jika adalah barisan tak terbatas dari bilangan real, maka produk tak terbatas didefinisikan, dan sama dengan , jika dan hanya jika limit itu ada.

Operasi biner non-asosiatif

[sunting | sunting sumber]

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

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 ) 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 Sigma besar (penjumlahan berulang) dan notasi Pi besar (perkalian berulang).

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

Misalkan adalah sebuah himpunan dari himpunan-himpunan

.

Misalkan adalah himpunan dari proposisi logis

.[butuh klarifikasi]

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

Perhatikan caranya di atas, tidak ada batas atas digunaan, karena itu sudah cukup untuk mengekspresikan bahwa anggota adalah anggota dari himpunan .

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

, yang mungkin juga dilambangkan .

Lihat pula

[sunting | sunting sumber]

Referensi

[sunting | sunting sumber]
  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

[sunting | sunting sumber]