Peta (matematika)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Function_color_example_3.svg/220px-Function_color_example_3.svg.png)
Dalam matematika, peta sering digunakan sebagai sinonim dari fungsi,[1] tetapi bisa juga berarti konsep yang lebih umum. Awalnya, ini adalah singkatan dari istilah pemetaan, yang biasanya mengacu kepada tindakan menerapkan sebuah fungsi ke elemen-elemen domainnya. Terminologi ini tidak sepenuhnya ditetapkan, karena pada umumnya tidak didefinisikan secara formal, dan bisa dianggap sebuah jargon.[2][3] Istilah ini mungkin berasal dari generalisasi proses membuat peta geografis, yang dilakukan dengan memetakan permukaan Bumi ke selembar kertas.[4]
Peta bisa jadi merupakan fungsi atau morfisme, meskipun keduanya memiliki beberapa kesamaan.[4] Istilah peta bisa digunakan untuk membedakan jenis-jenis fungsi yang istimewa, misalnya homomorfisme. Contohnya, peta linear adalah sebuah homomorfisme dari ruang vektor, sedangkan istilah fungsi linear bisa jadi punya makna yang sama.[5][6] Dalam teori kategori, peta bisa berarti sebuah morfisme, yang merupakan generalisasi dari konsep fungsi. Terkadang, istilah transformasi juga bisa digunakan untuk makna yang sama.[4] Terdapat beberapa penggunaan yang lebih jarang dalam logika dan teori graf.
Peta sebagai fungsi
Dalam banyak cabang matematika, istilah peta digunakan dalam artian sebuah fungsi,[7][3][8] terkadang dengan sifat spesifik yang penting untuk cabang tersebut. Contohnya, "peta" adalah sebuah "fungsi kontinu" dalam topologi, sebuah "transformasi linear" dalam aljabar linear, dll.
Beberapa pengarang, contohnya Serge Lang,[9] menggunakan "fungsi" hanya untuk peta yang kodomainnya merupakan sebuah himpunan bilangan (sebuah subhimpunan dari R atau C), dan menggunakan istilah pemetaan untuk fungsi yang lebih umum.
Berbagai jenis peta merupakan subjek dari teori-teori penting, di antaranya adalah homomorfisme dalam aljabar abstrak, isometri dalam geometri, operator dalam analisis dan representasi dalam teori grup.[4]
Peta sebagai morfisme
Dalam teori kategori, "peta" biasanya digunakan sebagai sinonim dari "morfisme" atau "anak panah", dan sifatnya lebih umum daripada "fungsi".[10] Contohnya, sebuah morfisme dalam sebuah kategori konkret (morfisme yang bisa dianggap sebagai fungsi) membawa informasi tentang domain ( yang merupakan sumber morfisme) dan kodomainnya ( yang merupakan tujuan). Dalam definisi fungsi yang sering digunakan, adalah subhimpunan dari yang terdiri dari semua pasangan untuk . Dalam artian ini, fungsi tidak membawa informasi tentang himpunan yang digunakan sebagai kodomain; hanya jangkauan yang ditentukan oleh fungsi.
Referensi
- ^ Kata-kata peta, pemetaan, transformasi, korespondensi, dan operator sering digunakan dengan arti yang sama. Halmos 1970, hlm. 30. Beberapa penulis menggunakan istilah peta dalam arti yang lebih umum daripada fungsi, yang bisa dibatasi hanya diterapkan ke bilangan.
- ^ "The Definitive Glossary of Higher Mathematical Jargon — Mapping". Math Vault (dalam bahasa Inggris). 2019-08-01. Diakses tanggal 2019-12-06. Parameter
|url-status=
yang tidak diketahui akan diabaikan (bantuan) - ^ a b Weisstein, Eric W. "Map". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 2019-12-06.
- ^ a b c d "Mapping | mathematics". Encyclopedia Britannica (dalam bahasa Inggris). Diakses tanggal 2019-12-06.
- ^ Apostol, T. M. (1981). Mathematical Analysis. Addison-Wesley. hlm. 35. ISBN 0-201-00288-4.
- ^ Stacho, Juraj (October 31, 2007). "Function, one-to-one, onto" (PDF). cs.toronto.edu. Diakses tanggal 2019-12-06. Parameter
|url-status=
yang tidak diketahui akan diabaikan (bantuan) - ^ "Functions or Mapping | Learning Mapping | Function as a Special Kind of Relation". Math Only Math. Diakses tanggal 2019-12-06.
- ^ "Mapping, Mathematical | Encyclopedia.com". www.encyclopedia.com. Diakses tanggal 2019-12-06.
- ^ Lang, Serge (1971). Linear Algebra (edisi ke-2nd). Addison-Wesley. hlm. 83. ISBN 0-201-04211-8.
- ^ Simmons, H. (2011). An Introduction to Category Theory. Cambridge University Press. hlm. 2. ISBN 978-1-139-50332-7.
Pranala luar
- l
- b
- s
- Bahasa formal
- Aturan formasi
- Sistem formal
- Sistem deduktif
- Pembuktian formal
- Formal semantik
- Formula bentukan
- Himpunan
- Elemen
- Kelas
- Logika klasik
- Aksioma
- Deduksi alami
- Aturan inferensi
- Relasi
- Teorema
- Konsekuensi logis
- Sistem aksiomatis
- Teori tipe
- Simbol
- Sintaks
- Teori
- Proposisi
- Inferensi
- Argumen
- Validitas
- Meyakinkan
- Silogisme
- Sisi berlawanan
- Diagram Venn
- Fungsi Boolean
- Kalkulus proposisional
- Formula proposisional
- Hubungan logis
- Tabel kebenaran
- Orde-pertama
- Pembilang
- Predikat
- Orde-dua
- Kalkulus predikat Monadic
- Himpunan
- Himpunan kosong
- Enumerasi
- Ekstensionalitas
- Himpunan terbatas
- Fungsi
- Subhimpunan
- Himpinan perpangkatan
- Himpunan terhitung
- Himpunan rekursif
- Domain
- Rentang
- Pasangan berurut
- Himputan tak terhitung
- Model
- Interpretasi
- Model nonstandar
- Teori model terbatas
- Nilai kebenaran
- Validitas
- Pembuktian formal
- Sistem deduktif
- Sistem formal
- Teorema
- Konsekuensi logis
- Aturan inferensi
- Sintaks
- Rekursi
- Himpunan rekursif
- Himpunan rekursif terhitung
- Permasalahan keputusan
- Tesis Church–Turing
- Fungsi terhitung
- Fungsi rekursif primitif