Funktor fogetful: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k clean up |
Fitur saranan suntingan: 3 pranala ditambahkan. |
||
| (3 revisi perantara oleh satu pengguna lainnya tidak ditampilkan) | |||
Baris 1:
{{Periksa terjemahan|en|Forgetful functor}}
Dalam [[matematika]], di bidang [[teori kategori]], '''[[funktor]] fogetful''' (juga dikenal sebagai '''funktor pengupasan''' atau '''funktor pelupa''') 'foget' atau menjatuhkan beberapa atau semua struktur atau sifat 'sebelum' memetakan ke luar. Untuk [[struktur aljabar]] dari [[tanda tangan (logika)|tanda tangan]] tertentu, ini dapat diekspresikan dengan membatasi tanda tangan: tanda tangan baru adalah bentuk yang diedit dari yang lama. Jika tanda tangan dibiarkan sebagai daftar kosong, funktor hanya mengambil '''himpunan dasar''' dari sebuah struktur. Karena banyak struktur dalam matematika terdiri dari himpunan dengan tambahan struktur tambahan, fungsi fogetful yang memetakan ke himpunan yang mendasarinya adalah kasus yang paling umum.
Baris 4 ⟶ 6:
Sebagai contoh, ada beberapa fungsi pelupa dari [[kategori gelanggang komutatif]]. ([[aljabar unital|Unital]]) [[gelanggang (matematika)|gelanggang]], dijelaskan dalam bahasa [[aljabar universal]], adalah tupel (''R'', +, ×, ''a'', 0, 1) memenuhi aksioma tertentu, di mana "+" dan "×" adalah fungsi biner pada himpunan '' R '', '' a '' adalah operasi unary yang sesuai dengan pembalikan aditif, dan 0 dan 1 adalah operasi nol yang memberikan identitas. Menghapus 1 memberikan functor pelupa ke kategori [[Rng (aljabar)|gelanggang tanpa satuan]]; pada "fogetful". Menghapus "×" dan 1 menghasilkan sebuah funktor ke kategori [[grup abelian]], yang menetapkan ke setiap gelanggang '' R '' grup abelian aditif yang mendasari dari '' R ''. Untuk setiap [[morfisme]] gelanggang [[fungsi (matematika)|fungsi]] sebagai morfisme penambahan antara grup yang mendasari. Menghapus semua operasi akan memberikan funktor ke himpunan yang mendasari '' R ''.
Hal ini bermanfaat untuk membedakan antara fungsi pelupa yang "struktur foget" dengan yang "sifat foget". Misalnya, dalam contoh [[gelanggang komutatif]] di atas, selain fungsi yang menghapus beberapa operasi, ada juga fungsi yang melupakan beberapa aksioma. Ada seorang funktor dari kategori '''CGelanggang''' untuk '''Grlanggang''' yang melupakan aksioma komutatif, tetapi tetap menjalankan semua operasi. Kadang objek mungkin termasuk himpunan ekstra yang tidak didefinisikan secara ketat dalam hal set yang mendasarinya (dalam hal ini, bagian mana yang mempertimbangkan himpunan yang mendasari adalah masalah selera, meskipun dalam praktiknya ini jarang ambigu). Untuk objek ini, ada fungsi pelupa yang melupakan set ekstra yang lebih umum.
Objek yang paling umum dipelajari dalam matematika dibangun sebagai himpunan yang mendasari bersama dengan himpunan tambahan dari struktur pada himpunan tersebut (operasi pada himpunan yang mendasari. Untuk objek ini, functor yang sering dianggap pelupa adalah sebagai berikut.
Baris 30 ⟶ 32:
<math>X \to |M|</math> ke peta modul <math>\operatorname{Bebas}_R(X) \to M</math>: setiap peta himpunan menghasilkan peta modul, dan setiap peta modul berasal dari peta himpunan.
Dalam kasus [[ruang vektor]], ini diringkas sebagai:
"Sebuah peta antara ruang vektor ditentukan oleh dimana basis, dan basis dapat dipetakan ke apa saja."
Baris 38 ⟶ 40:
[[Objek bebas#Funktor bebas|unit dari adjungsi bebas]] adalah "penyertaan basis": <math>X \to \operatorname{Free}_R(X)</math>.
'''Fld''', kategori bidang, memberikan contoh fungsi foget tanpa adjoin. Tidak ada bidang yang memenuhi [[sifat universal]] gratis untuk himpunan tertentu.
== Lihat pula ==
| |||