Dalam matematika, limit invers (bahasa Inggris: inverse limit), atau disebut juga sebagai limit proyektif (bahasa Inggris: projective limit) 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.
Pemahaman terkait limit invers dimulai dengan definisi sistem invers (atau sistem proyektif) dari grup dan homomorfisme. Misalkan ( I, ≤) adalah poset terarah atau (tidak semua penulis memerlukan I untuk diarahkan). Misalkan A• = (Ai)i ∈ I adalah keluarga dari kelompok dan misalkan diperoleh keluarga homomorfisme
untuk semua
(perhatikan urutannya), dengan sifat berikut:
adalah identitas pada
,
untuk semua
.
Maka pasangan
disebut sistem invers dari grup dan morfisme atas
, dan morfisme
disebut morfisme peralihan dari sistem.
Limit invers dari sistem invers
didefinisikan sebagai subgrup tertentu dari darab langsung dari
:
![{\displaystyle A=\varprojlim _{i\in I}{A_{i))=\left\{\left.{\vec {a))\in \prod _{i\in I}A_{i}\;\right|\;a_{i}=f_{ij}(a_{j}){\text{ untuk semua ))i\leq j{\text{ in ))I\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6e6b3272f614ced7ed1c53897e7165e308d5fea)
Limit invers
dilengkapi dengan proyeksi alami (bahasa Inggris: natural projections)
yang memilih komponen dari darab langsung ke-
untuk setiap
di
.
Konstruksi yang sama dapat dilakukan jika
adalah himpunan,[1] semigrup,[1] ruang topologi,[1] 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.
Sama seperti definisi sebelumnya, limit invers dapat didefinisikan secara abstrak dalam kategori sebarang dengan menggunakan sifat universal. Misalkan
adalah sistem invers dari objek dan morfisme di kategori
. Limit invers dari sistem invers merupakan objek
di
dan juga dengan morfisme
(yang disebut proyeksi) memenuhi sifat
untuk semua
. Pasangan
harus universal, dalam artian bahwa untuk setiap pasangan lain
, maka ada morfisme unik
sehingga diagram berikut
komutatif untuk setiap
. Jadi, limit invers seringkali dinyatakan sebagai
![{\displaystyle X=\varprojlim X_{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/e700bbdb1c67328ed49b13811b3acb26df81b5e8)
dengan sistem invers (Xi, fij).
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 X dan X2 dari sistem invers, maka terdapat isomorfisme unik
yang bersifat komutatif dengan peta proyeksi.
Untuk suatu kategori Abel
, fungtor limit invers
![{\displaystyle \varprojlim :C^{I}\rightarrow C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a21789706ec74cf83972d20f3e5836f7f4c14fef)
eksak kiri. Jika
terurut (tidak hanya terurut sebagian) dan terhitung, dan
adalah kategori
dari grup Abel, maka syarat Mittag-Leffler adalah syarat pada morfisme pengalihan
yang menjamin ketepatan
. Secara khusus, Eilenberg mengonstruksi suatu fungsi
![{\displaystyle \varprojlim {}^{1}:\operatorname {Ab} ^{I}\rightarrow \operatorname {Ab} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9ffd5cef5cdb412274e825b3f8a4a3d61274f2f)
sehingga jika
,
, dan
adalah tiga sistem invers dari grup Abel, dan
![{\displaystyle 0\rightarrow A_{i}\rightarrow B_{i}\rightarrow C_{i}\rightarrow 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a3a2c321dd1585d2bcea6cfbfdc9f7634bd5863)
adalah barisan eksak pendek dari sistem invers, maka
![{\displaystyle 0\rightarrow \varprojlim A_{i}\rightarrow \varprojlim B_{i}\rightarrow \varprojlim C_{i}\rightarrow \varprojlim {}^{1}A_{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3c724814c83ceaca50f04cdf5d8f9f9190de566)
merupakan barisan eksak di
.
- Templat:Bierstedt An Introduction to Locally Convex Inductive Limits
- Bourbaki, Nicolas (1989), Algebra I, Springer, ISBN 978-3-540-64243-5, OCLC 40551484
- Templat:Bourbaki General Topology Part I Chapters 1-4
- Templat:Dugundji Topology
- Templat:Grothendieck Topological Vector Spaces
- Mac Lane, Saunders (September 1998), Categories for the Working Mathematician (edisi ke-2nd), Springer, ISBN 0-387-98403-8
- Mitchell, Barry (1972), "Rings with several objects", Advances in Mathematics, 8: 1–161, doi:10.1016/0001-8708(72)90002-3, MR 0294454
- Neeman, Amnon (2002), "A counterexample to a 1961 "theorem" in homological algebra (with appendix by Pierre Deligne)", Inventiones Mathematicae, 148 (2): 397–420, doi:10.1007/s002220100197, MR 1906154
- Roos, Jan-Erik (1961), "Sur les foncteurs dérivés de lim. Applications", C. R. Acad. Sci. Paris, 252: 3702–3704, MR 0132091
- Roos, Jan-Erik (2006), "Derived functors of inverse limits revisited", J. London Math. Soc., Series 2, 73 (1): 65–83, doi:10.1112/S0024610705022416, MR 2197371
- Section 3.5 of Templat:Weibel IHA
Templat:Teori kategori