Rangkap

Dalam matematika, rangkap (Templat:Lang-en) adalah daftar berurut (barisan) dari anggota-anggota. Rangkap-Templat:Mvar adalah barisan (daftar berurut) yang memiliki Templat:Mvar anggota dengan Templat:Mvar adalah bilangan bulat nonnegatif. Hanya ada satu rangkap-0 yang disebut sebagai rangkap kosong. Sebuah rangkap-Templat:Mvar didefinisikan secara induktif melalui penyusunan pasangan terurut.

Matematikawan biasa menulis rangkap dengan mendaftar anggota-anggotanya di dalam tanda kurung "Templat:Math" dan dipisah dengan koma, misal Templat:Math adalah rangkap-5. Terkadang simbol lain dipakai untuk mengapit anggota-anggotanya, misal kurung siku "Templat:Math" atau kurung sudut "Templat:Math". Tanda kurung kurawal "Templat:Math" hanya dipakai untuk mendefinisikan larik dalam beberapa bahasa pemrograman, tetapi tidak dipakai dalam matematika karena ia adalah notasi umum untuk himpunan.

Dalam ilmu komputer, rangkap memiliki berbagai bentuk. Kebanyakan bahasa pemrograman fungsional menerapkan rangkap secara langsung sebagai tipe produk gabungan yang sangat erat hubungannya dengan tipe data aljabar, pencocokan pola, dan penugasan destruktur. Banyak bahasa pemrograman yang menawarkan alternatif dari rangkap yang dikenal sebagai tipe rekaman dan menggunakan elemen tak bterurut yang diakses dengan label tertentu. Beberapa bahasa pemrograman menggabungkan tipe produk gabungan rangkap berurut dengan tipe rekaman tak berurut sebagai satu susunan, seperti struct dalam C dan record dalam Haskell. Pangkalan data relasional menyebut barisnya tuple secara formal.

Rangkap juga muncul dalam aljabar relasional; ketika memprogram web semantik dengan Resource Description Framework (RDF); dalam linguistik; dan dalam filsafat.

Sifat

Aturan umum keidentikan dua rangkap-Templat:Mvar adalah

Templat:Math jika dan hanya jika Templat:Math

Jadi, sebuah rangkap memiliki sifat yang membedakannya dengan himpunan.

1. Sebuah rangkap dapat berisi beberapa nilai yang sama sehingga
   rangkap Templat:Math, tetapi himpunan Templat:Math
2. Anggota rangkap memiliki urutan: rangkap Templat:Math, tetapi himpunan Templat:Math
3. Sebuah rangkap memiliki jumlah anggota berhingga, sedangkan himpunan bisa memiliki anggota tak berhingga.

Definisi

Ada beberapa definisi rangkap yang memberikan sifat-sifat pada bagian sebelumnya.

Rangkap sebagai fungsi

Ketika berurusan dengan himpunan, sebuah rangkap-Templat:Mvar dapat dianggap sebagai fungsi, Templat:Mvar, yang daerah asalnya adalah himpunan indeks tersirat rangkap, Templat:Mvar, dan daerah tujuannya himpunan anggota rangkap, Templat:Mvar. Secara formal, rangkap dapat didefinisikan sebagai

$(a_1,a_2,\dots ,a_n)\equiv (X,Y,F)$

dengan

$\begin{array}{cc}X& =\{1,2,\dots ,n\}=\{i\in \mathbb{N}\mid 1\le i\le n\}\\ Y& =\{a_1,a_2,\dots ,a_n\}\\ F& =\{(1,a_1),(2,a_2),\dots ,(n,a_n)\}.\\ \end{array}$

Dalam notasi yang kurang formal, hal tersebut berarti

$(a_1,a_2,\dots ,a_n):=(F(1),F(2),\dots ,F(n)).$

Dengan definisi ini, terbukti bahwa hanya ada satu rangkap-0, yaitu fungsi kosong.

Lihat pula

• Bahasa formal
• Relasi biner
• Barisan

Daftar pustaka

• Templat:Cite book
• Templat:Cite book
• Templat:Cite book
• Templat:Cite book
• Templat:Cite book