Untuk kegunaan lain, lihat peta (disambiguasi).
Fungsi adalah sebuah jenis peta, misalnya hubungan antara empat bangun berwarna dalam himpunan X ke warnanya di himpunan Y
Dalam matematika, **peta** sering digunakan sebagai sinonim dari fungsi, 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. Istilah ini mungkin berasal dari generalisasi proses membuat peta geografis, yang dilakukan dengan *memetakan* permukaan Bumi ke selembar kertas.

Peta bisa jadi merupakan *fungsi* atau *morfisme*, meskipun keduanya memiliki beberapa kesamaan. 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. Dalam teori kategori, peta bisa berarti sebuah morfisme, yang merupakan generalisasi dari konsep fungsi. Terkadang, istilah *transformasi* juga bisa digunakan untuk makna yang sama. Terdapat beberapa penggunaan yang lebih jarang dalam logika dan teori graf.

Peta sebagai fungsi
-------------------

Artikel utama: Fungsi (matematika)
Dalam banyak cabang matematika, istilah *peta* digunakan dalam artian sebuah fungsi, 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, 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.

Peta sebagai morfisme
---------------------

Artikel utama: Morfisme
Dalam teori kategori, "peta" biasanya digunakan sebagai sinonim dari "morfisme" atau "anak panah", dan sifatnya lebih umum daripada "fungsi". Contohnya, sebuah morfisme {\displaystyle f:\,X\to Y} dalam sebuah kategori konkret (morfisme yang bisa dianggap sebagai fungsi) membawa informasi tentang domain ({\displaystyle X} yang merupakan sumber morfisme) dan kodomainnya ({\displaystyle Y} yang merupakan tujuan). Dalam definisi fungsi {\displaystyle f:X\to Y} yang sering digunakan, {\displaystyle f} adalah subhimpunan dari {\displaystyle X\times Y} yang terdiri dari semua pasangan {\displaystyle (x,f(x))} untuk {\displaystyle x\in X}. Dalam artian ini, fungsi tidak membawa informasi tentang himpunan {\displaystyle Y} yang digunakan sebagai kodomain; hanya jangkauan {\displaystyle f(X)} yang ditentukan oleh fungsi.

Referensi
---------

1. ↑  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.
2. ↑  "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)
3. 1 2  Weisstein, Eric W. "Map". *mathworld.wolfram.com* (dalam bahasa Inggris). Diakses tanggal 2019-12-06.
4. 1 2 3 4  "Mapping | mathematics". *Encyclopedia Britannica* (dalam bahasa Inggris). Diakses tanggal 2019-12-06.
5. ↑  Apostol, T. M. (1981). *Mathematical Analysis*. Addison-Wesley. hlm. 35. ISBN 0-201-00288-4.
6. ↑  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)
7. ↑  "Functions or Mapping | Learning Mapping | Function as a Special Kind of Relation". *Math Only Math*. Diakses tanggal 2019-12-06.
8. ↑  "Mapping, Mathematical | Encyclopedia.com". *www.encyclopedia.com*. Diakses tanggal 2019-12-06.
9. ↑  Lang, Serge (1971). *Linear Algebra* (edisi ke-2nd). Addison-Wesley. hlm. 83. ISBN 0-201-04211-8.
10. ↑  Simmons, H. (2011). *An Introduction to Category Theory*. Cambridge University Press. hlm. 2. ISBN 978-1-139-50332-7.

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

| * l
* b
* s
Logika matematika |
| --- |
| Umum | 
* 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

 |
| Logika tradisional | 
* Proposisi
* Inferensi
* Argumen
* Validitas
* Meyakinkan
* Silogisme
* Sisi berlawanan
* Diagram Venn

 |
| Kalkulus proposisionalLogika boolean | 
* Fungsi Boolean
* Kalkulus proposisional
* Formula proposisional
* Hubungan logis
* Tabel kebenaran

 |
| Logika predikat | 
* Orde-pertama
* Pembilang
* Predikat
* Orde-dua
* Kalkulus predikat Monadic

 |
| Teori himpunan | 
* Himpunan
* Himpunan kosong
* Enumerasi
* Ekstensionalitas
* Himpunan terbatas
* Fungsi
* Subhimpunan
* Himpinan perpangkatan
* Himpunan terhitung
* Himpunan rekursif
* Domain
* Rentang
* Pasangan berurut
* Himputan tak terhitung

 |
| Teori model | 
* Model
* Interpretasi
* Model nonstandar
* Teori model terbatas
* Nilai kebenaran
* Validitas

 |
| Teori pembuktian | 
* Pembuktian formal
* Sistem deduktif
* Sistem formal
* Teorema
* Konsekuensi logis
* Aturan inferensi
* Sintaks

 |
| Teori komputabilitas | 
* Rekursi
* Himpunan rekursif
* Himpunan rekursif terhitung
* Permasalahan keputusan
* Tesis Church–Turing
* Fungsi terhitung
* Fungsi rekursif primitif

 |
| Kategori |


|  |  |
| --- | --- |
| Pengawasan otoritas: Perpustakaan nasional Sunting ini di Wikidata | 
* Amerika Serikat
* Latvia

 |