Funktor fogetful

menjatuhkan beberapa atau semua struktur atau properti masukan

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 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.

Ikhtisar sunting

Sebagai contoh, ada beberapa fungsi pelupa dari kategori gelanggang komutatif. (Unital) 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 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 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. Maka   menjadi kategori apa pun berdasarkan himpunan, misalnya grup pada himpunan elemen, atau ruang topologi pada himpunan 'titik'. Seperti biasa, tulislah   untuk objek dari   dan   untuk morfisme yang sama. Pertimbangkan aturannya:

Untuk   pada   himpunan dasar  
Untuk   pada   morfisme,  , sebagai peta himpunan.

Functor   kemudian adalah funktor foget dari   ke Himpunan, kategori himpunan.

Functor yang lupa hampir selalu setia. Kategori konkret memiliki fungsi pelupa pada kategori himpunan, memang mereka mungkin didefinisikan sebagai kategori yang menerima fungsi setia pada kategori tersebut.

Fungsional pelupa yang hanya melupakan aksioma setia, karena setiap morfisme yang menghormati struktur antara objek yang memenuhi aksioma secara otomatis juga menghormati aksioma. Fungsional pelupa yang melupakan struktur tidak perlu penuh; beberapa morfisme tidak menghormati struktur. Fungsinya adalah tetap setia namun karena morfisme berbeda yang menghormati struktur masih berbeda ketika struktur dilupakan. Funktor himpunan foget ekstra tidak perlu setia, karena morfisme berbeda yang menghormati struktur set ekstra tersebut mungkin tidak dapat dibedakan pada himpunan yang mendasarinya.

Ujung kiri dari funktor foget sunting

Functor yang lupa cenderung memiliki adjoint kiri, yang merupakan konstruksi 'bebas'. Sebagai contoh:

  • modul bebas: functor pelupa dari   (kategori modul- ) ke   pada adjoin  , with  , modul   bebas dengan basis  .
  • grup bebas
  • kisi bebas
  • aljabar tensor
  • kategori bebas, terhubung ke fungsi pelupa dari kategori ke kuivers

kategori bebas, terhubung ke fungsi pelupa dari kategori ke kuivers

Untuk daftar yang lebih lengkap, lihat (Mac Lane 1997).

  ke peta modul  : 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."

Secara simbolis:

 

unit dari adjungsi bebas adalah "penyertaan basis":  .

Fld, kategori bidang, memberikan contoh fungsi foget tanpa adjoin. Tidak ada bidang yang memenuhi sifat universal gratis untuk himpunan tertentu.

Lihat pula sunting

Referensi sunting

Templat:Funktor