Limit invers: Perbedaan antara revisi

Revisi terkini sejak 25 Agustus 2026 18.09

Dalam matematika, limit invers (), atau disebut juga sebagai limit proyektif () adalah konstruksi yang memungkinkan seseorang untuk "merekatkan" beberapa objek terkait, cara yang tepat dari proses perekatan yang ditentukan dengan morfisme di antara objek. Limit invers dapat didefinisikan dalam kategori, dan merupakan kasus khusus dari konsep limit dalam teori kategori.

Objek aljabar

Pemahaman terkait limit invers dimulai dengan definisi sistem invers (atau sistem proyektif) dari grup dan homomorfisme. Misalkan (, ≤) adalah poset terarah atau (tidak semua penulis memerlukan untuk diarahkan). Misalkan adalah keluarga dari kelompok dan misalkan diperoleh keluarga homomorfisme $f_{i j} : A_{j} \to A_{i}$ untuk semua $i \leq j$ (perhatikan urutannya), dengan sifat berikut:

$f_{i i}$ adalah identitas pada $A_{i}$ ,
$f_{i k} = f_{i j} \circ f_{j k}$ untuk semua $i \leq j \leq k$ .

Maka pasangan $(A_{∙}, {(f_{i j})}_{i \leq j \in I})$ disebut sistem invers dari grup dan morfisme atas $I$ , dan morfisme $f_{i j}$ disebut morfisme peralihan dari sistem.

Limit invers dari sistem invers $((A_{i})_{i \in I}, (f_{i j})_{i \leq j \in I})$ didefinisikan sebagai subgrup tertentu dari darab langsung dari $A_{i}$ :

A = \underset{i \in I}{\lim_{\leftarrow}} A_{i} = {\vec{a} \in \prod_{i \in I} A_{i} | a_{i} = f_{i j} (a_{j}) untuk semua i \leq j in I} .

Limit invers $A$ dilengkapi dengan proyeksi alami () $π_{i} : A \to A_{i}$ yang memilih komponen dari darab langsung ke- $i$ untuk setiap $i$ di $I$ .

Konstruksi yang sama dapat dilakukan jika $A_{i}$ adalah himpunan,^[1] semigrup,^[2] ruang topologi,^[3] gelanggang, modul (atas fixed ring), aljabar (atas fixed ring), dsb,. dan homomorfisme adalah morfisme dalam kategori padanan. Limit invers juga merupakan bagian dalam kategori tersebut.

Definisi umum

Sama seperti definisi sebelumnya, limit invers dapat didefinisikan secara abstrak dalam kategori sebarang dengan menggunakan sifat universal. Misalkan $(X_{i}, f_{i j})$ adalah sistem invers dari objek dan morfisme di kategori $C$ . Limit invers dari sistem invers merupakan objek $X$ di $C$ dan juga dengan morfisme $π_{i} : X \to X_{i}$ (yang disebut proyeksi) memenuhi sifat $π_{i} = f_{i j} \circ π_{j}$ untuk semua $i \leq j$ . Pasangan $(X, π_{i})$ harus universal, dalam artian bahwa untuk setiap pasangan lain $(Y, ψ_{i})$ , maka ada morfisme unik $u : Y \to X$ sehingga diagram berikut

komutatif untuk setiap $i \leq j$ . Jadi, limit invers sering kali dinyatakan sebagai

X = \lim_{\leftarrow} X_{i}

dengan sistem invers .

Limit invers dari sistem invers tertentu tidak ada dalam beberapa kategori. Namun jika ada, maka dikatakan unik dalam pernyataan kuat berikut: diberikan dua limit invers dan dari sistem invers, maka terdapat isomorfisme unik $X^{'} \to X$ yang bersifat komutatif dengan peta proyeksi.

Fungtor yang diturunkan dari limit invers

Untuk suatu kategori Abel $C$ , fungtor limit invers

\lim_{\leftarrow} : C^{I} \to C

eksak kiri. Jika $I$ terurut (tidak hanya terurut sebagian) dan terhitung, dan $C$ adalah kategori $Ab$ dari grup Abel, maka syarat Mittag-Leffler adalah syarat pada morfisme pengalihan $f_{i j}$ yang menjamin ketepatan $\lim_{\leftarrow}$ . Secara khusus, Eilenberg mengonstruksi suatu fungsi

\lim_{\leftarrow}^{1} : {Ab}^{I} \to Ab

sehingga jika $(A_{i} . f_{i j})$ , $(B_{i} . g_{i j})$ , dan $(C_{i} . h_{i j})$ adalah tiga sistem invers dari grup Abel, dan

0 \to A_{i} \to B_{i} \to C_{i} \to 0

adalah barisan eksak pendek dari sistem invers, maka

0 \to \lim_{\leftarrow} A_{i} \to \lim_{\leftarrow} B_{i} \to \lim_{\leftarrow} C_{i} \to \lim_{\leftarrow}^{1} A_{i}

merupakan barisan eksak di $Ab$ .

Lihat pula

Limit langsung

Bibliografi

Section 3.5 of

Referensi

↑ John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .
↑ John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .
↑ John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 27509901 (2025-07-07T16:39:09Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

[1] John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .

[2] John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .

[3] John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .

[1]

[2]

[3]

@@ Baris 6: / Baris 6: @@
 #<math>f_{ik} = f_{ij} \circ f_{jk}</math> untuk semua <math>i \leq j \leq k</math>.
 Maka pasangan <math>\left( A_{\bull}, \left( f_{ij} \right)_{i\leq j\in I} \right)</math> disebut sistem invers dari grup dan morfisme atas <math> I </math>, dan morfisme <math>f_{ij}</math> disebut morfisme peralihan dari sistem.
 '''Limit invers''' dari sistem invers <math>((A_i)_{i\in I}, (f_{ij})_{i\leq j\in I})</math> didefinisikan sebagai [[subgrup]] tertentu dari [[produk langsung|darab langsung]] dari ''<math>A_i</math>'':
@@ Baris 14: / Baris 14: @@
 Limit invers <math> A </math> dilengkapi dengan ''proyeksi alami'' () <math>\pi _i \colon A \to A_i</math> yang memilih komponen dari darab langsung ke-<math>i</math> untuk setiap <math> i </math> di <math> I </math>.
-Konstruksi yang sama dapat dilakukan jika <math> A_i </math> adalah [[Himpunan (matematika) |himpunan]], semigrup, ruang topologi, [[cincin (matematika) | gelanggang]], [[modul (matematika) |modul]] (atas ''fixed ring''), [[aljabar di atas bidang | aljabar]] (atas ''fixed ring''), dsb,. dan [[homomorfisme]] adalah morfisme dalam [[teori kategori |kategori]] padanan. Limit invers juga merupakan bagian dalam kategori tersebut.
+Konstruksi yang sama dapat dilakukan jika <math> A_i </math> adalah [[Himpunan (matematika) |himpunan]],<ref>John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .</ref> semigrup,<ref>John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .</ref> ruang topologi,<ref>John Rhodes & Benjamin Steinberg. The q-theory of Finite Semigroups. p. 133. .</ref> [[cincin (matematika) | gelanggang]], [[modul (matematika) |modul]] (atas ''fixed ring''), [[aljabar di atas bidang | aljabar]] (atas ''fixed ring''), dsb,. dan [[homomorfisme]] adalah morfisme dalam [[teori kategori |kategori]] padanan. Limit invers juga merupakan bagian dalam kategori tersebut.
 == Definisi umum ==
+Sama seperti definisi sebelumnya, limit invers dapat didefinisikan secara abstrak dalam [[kategori (matematika) |kategori]] sebarang dengan menggunakan [[sifat universal]]. Misalkan <math>(X_i,f_{ij})</math> adalah sistem invers dari objek dan [[morfisme]] di kategori <math>C</math>. Limit invers dari sistem invers merupakan objek <math>X</math> di <math>C</math> dan juga dengan morfisme <math>\pi_i \colon X \to X_i</math> (yang disebut ''proyeksi'') memenuhi sifat <math>\pi_i = f_{ij} \circ \pi_j</math> untuk semua <math>i \le j</math>. Pasangan <math>(X,\pi_i)</math> harus universal, dalam artian bahwa untuk setiap pasangan lain <math>(Y,\psi_i)</math>, maka ada morfisme unik <math>u:Y \to X</math> sehingga diagram berikut
-Sama seperti definisi sebelumnya, limit invers dapat didefinisikan secara abstrak dalam [[kategori (matematika) |kategori]] sebarang dengan menggunakan [[sifat universal]]. Misalkan <math>(X_i,f_{ij})</math> adalah sistem invers dari objek dan [[morfisme]] di kategori <math>C</math>. Limit invers dari sistem invers merupakan objek <math>X</math> di <math>C</math> dan juga dengan morfisme <math>\pi_i \colon X \to X_i</math> (yang disebut ''proyeksi'') memenuhi sifat <math>\pi_i = f_{ij} \circ \pi_j</math> untuk semua <math>i \le j</math>. Pasangan <math>(X,\pi_i)</math> harus universal, dalam artian bahwa untuk setiap pasangan lain <math>(Y,\psi_i)</math>, maka ada morfisme unik <math>u:Y \to X</math> sehingga diagram berikut
+[[Gambar:InverseLimit-01.png]]
+[[Diagram komutatif|komutatif]] untuk setiap <math>i \le j</math>. Jadi, limit invers sering kali dinyatakan sebagai
-[[Diagram komutatif|komutatif]] untuk setiap <math>i \le j</math>. Jadi, limit invers sering kali dinyatakan sebagai
 :<math>X = \varprojlim X_i</math>
 dengan sistem invers .
 Limit invers dari sistem invers tertentu tidak ada dalam beberapa kategori. Namun jika ada, maka dikatakan unik dalam pernyataan kuat berikut: diberikan dua limit invers dan  dari sistem invers, maka terdapat [[isomorfisme]] ''unik'' <math>X' \to X</math> yang bersifat komutatif dengan peta proyeksi.
 == Fungtor yang diturunkan dari limit invers ==
 Untuk suatu [[kategori Abel]] <math>C</math>, fungtor limit invers
 :<math>\varprojlim:C^I\rightarrow C</math>
@@ Baris 38: / Baris 37: @@
 :<math>0\rightarrow\varprojlim A_i\rightarrow\varprojlim B_i\rightarrow\varprojlim C_i\rightarrow\varprojlim{}^1A_i</math>
 merupakan barisan eksak di <math>\operatorname{Ab}</math>.
 == Lihat pula ==
 * [[Limit langsung]]
-== Referensi ==
 == Bibliografi ==
 *
 *
 *
 *
 *
 *
 *
 *
 *
 *
 * Section 3.5 of
+== Referensi ==
+<references />
 == Sumber dan atribusi ==
 Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Limit+invers&oldid=27509901 Wikipedia bahasa Indonesia], revisi 27509901 (2025-07-07T16:39:09Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.
+<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script (bicara | kontrib)