Objek bebas

Dalam matematika, gagasan tentang objek bebas adalah salah satu konsep dasar aljabar abstrak. Objek bebas bagian dari aljabar universal, dalam arti bahwa ia berkaitan dengan semua jenis struktur aljabar (dengan operasi finiter). Ini juga memiliki rumusan dalam istilah teori kategori, meskipun ini masih dalam istilah yang lebih abstrak. Contohnya termasuk grup bebas, aljabar tensor, atau kisi bebas. Secara informal, objek bebas di atas himpunan A dapat dianggap sebagai struktur aljabar "generik" di atas A : salah satu persamaan yang terdapat antara elemen objek bebas adalah persamaan yang mengikuti aksioma penentu dalam struktur aljabar.

Definisi

Objek bebas adalah generalisasi langsung kekategori dari gagasan basis dalam ruang vektor. Fungsi linear u : E₁ → E₂ antara ruang vektor sepenuhnya ditentukan dari nilai berdasarkan ruang vektor E₁. Definisi berikut menerjemahkan ke kategori.

Sebuah kategori konkret adalah kategori yang dilengkapi dengan funktor setia hingga Himpunan, kategori himpunan. Misalkan C menjadi kategori konkret dengan fungsi setia F : C → Himpunan. Misalkan X menjadi objek dalam Himpunan (yaitu, X adalah himpunan, di sini disebut basis ), maka A menjadi objek di C, dan i : X → F(A) menjadi peta injeksi antara himpunan X dan F(A) (disebut penyisipan kanonik ). Kemudian A dikatakan sebagai objek bebas X (sehubungan dengan i ) jika dan hanya jika memenuhi sifat universal berikut:

objek B antara C dan peta di antara himpunan f : X → F(B), morfisme g : A → B dengan C sehingga f = F(g) ∘ i. Yaitu, diagram berikut:

{\begin{array}{c}X{\xrightarrow {\quad i\quad }}F(A)\\{}_{f}\searrow \quad \swarrow {}_{F(g)}\\F(B)\quad \\\end{array}}

Dengan cara ini functor bebas yang membangun objek bebas A dari himpunan X menjadi adjoin kiri ke funktor fogetful.

Contoh

Pembuatan objek bebas berlangsung dalam dua langkah. Untuk aljabar yang sesuai dengan hukum asosiatif, langkah pertama adalah mempertimbangkan kumpulan semua kemungkinan kata yang dibentuk dari alfabet. Kemudian seseorang membebankan satu himpunan relasi ekuivalensi pada kata, di mana relasinya adalah relasi yang menentukan dari objek aljabar. Objek bebas kemudian terdiri dari himpunan kelas kesetaraan.

Pertimbangkan, misalnya, pembangunan grup gratis dalam dua generator. Satu dimulai dengan alfabet yang terdiri dari lima huruf $\{e,a,b,a^{-1},b^{-1}\}$ . Pada langkah pertama, belum ada arti yang ditetapkan untuk "huruf" $a^{-1}$ atau $b^{-1}$ ; pada langkah kedua. Jadi, kita bisa memulai dengan alfabet dengan lima huruf yaitu $S=\{a,b,c,d,e\}$ . Dalam contoh ini, kumpulan semua kata atau string $W(S)$ akan menyertakan pita seperti aebecede dan abdc , dan seterusnya, dengan panjang terbatas, dengan huruf yang disusun dalam setiap barisan yang memungkinkan.

Pada langkah berikutnya, seseorang memberlakukan satu set relasi ekuivalensi. Hubungan kesetaraan untuk grup adalah perkalian dengan identitas, $ge=eg=g$ , dan perkalian invers: $gg^{-1}=g^{-1}g=e$ . Menerapkan relasi ini ke pita di atas, maka

aebecede=aba^{-1}b^{-1},

di mana $c$ adalah pengganti untuk $a^{-1}$ , dan $d$ adalah pengganti untuk $b^{-1}$ , sedangkan $e$ adalah elemen identitas. Begitu pula yang dimiliki

abdc=abb^{-1}a^{-1}=e.

Menunjukkan relasi ekuivalensi atau kekongruenan dengan $\sim$ , objek bebas kemudian adalah kumpulan kelas kesetaraan. Jadi, dalam contoh ini, grup gratis dalam dua generator adalah hasil bagi

F_{2}=W(S)/\sim .

Ini sering ditulis sebagai $F_{2}=W(S)/E$ dimana $W(S)=\{a_{1}a_{2}\ldots a_{n}\,\vert \;a_{k}\in S\,;\,n\in \mathbb {N} \}$ adalah himpunan dari kata, dan $E=\{a_{1}a_{2}\ldots a_{n}\,\vert \;e=a_{1}a_{2}\ldots a_{n}\,;\,a_{k}\in S\,;\,n\in \mathbb {N} \}$ adalah kelas ekivalensi dari identitas, setelah relasi yang mendefinisikan kelompok diberlakukan.

Kasus umum

Dalam kasus umum, hubungan aljabar tidak perlu asosiatif, dalam hal ini titik awalnya bukan himpunan semua kata, melainkan, string diselingi dengan tanda kurung, yang digunakan untuk menunjukkan pengelompokan huruf non-asosiatif. String seperti itu mungkin secara ekuivalen diwakili oleh pohon biner atau magma bebas; daun pohon adalah huruf-huruf dari alfabet.

Hubungan aljabar mungkin kemudian umum ariti atau relasi finiter pada daun pohon. Daripada memulai dengan kumpulan semua kemungkinan string dalam tanda kurung, akan lebih mudah untuk memulai dengan Herbrand semesta. Mendeskripsikan atau menghitung dengan benar konten objek bebas bisa jadi mudah atau sulit, bergantung pada objek aljabar tertentu yang dimaksud. Misalnya, grup gratis dalam dua generator dengan mudah dijelaskan. Sebaliknya, sedikit atau tidak ada yang diketahui tentang struktur aljabar Heyting bebas di lebih dari satu generator.^[1] Masalah untuk menentukan apakah dua string berbeda milik kelas ekivalen yang sama dikenal sebagai masalah kata.

Seperti yang disarankan dalam contoh, objek bebas terlihat seperti konstruksi dari sintaks; seseorang dapat membalikkannya sampai batas tertentu dengan mengatakan bahwa penggunaan utama sintaksis dapat dijelaskan dan dikarakterisasi sebagai objek bebas, dengan cara yang membuat 'tanda baca' yang tampak berat dapat dijelaskan (dan lebih mudah diingat).^{[butuh klarifikasi]}

Aljabar universal bebas

Maka $S$ menjadi sembarang, dan biarkan $\mathbf {A}$ menjadi struktur aljabar dengan tipe $\rho$ dihasilkan oleh $S$ . Maka himpunan yang mendasari struktur aljabar $\mathbf {A}$ , terkadang disebut semesta, jadilah $A$ , dan misalkan $\psi :S\to A$ menjadi sebuah fungsi. Jadi $(A,\psi )$ (atau secara informal saja $\mathbf {A}$ ) adalah aljabar bebas (bertipe $\rho$ ) pada himpunan $IS$ dari generator gratis jika, untuk setiap aljabar $\mathbf {B}$ dari tipe $\rho$ dan fungsi $\tau :S\to B$ , di mana $B$ adalah semesta $\mathbf {B}$ , homomorfisme $\sigma :A\to B$ sehingga $\sigma \circ \psi =\tau .$

Daftar objek bebas

Lihat pula

Himpunan generasi

Catatan

^ Peter T. Johnstone, Stone Spaces, (1982) Cambridge University Press, ISBN 0-521-23893-5. (Perlakuan tentang aljabar Heyting bebas satu generator diberikan dalam bab 1, bagian 4.111)

[1] Peter T. Johnstone, Stone Spaces, (1982) Cambridge University Press, ISBN 0-521-23893-5. (Perlakuan tentang aljabar Heyting bebas satu generator diberikan dalam bab 1, bagian 4.111)

[1]