• Source: Limit langsung

Dalam matematika, limit langsung adalah cara untuk membangun objek (biasanya besar) dari banyak objek (biasanya lebih kecil) yang disatukan dengan cara tertentu. Objek ini mungkin grup, gelanggang, ruang vektor atau dalam objek umum dari kategori. Cara mereka disatukan ditentukan oleh sistem homomorfisme (homomorfisme kelompok, homomorfisme gelanggang, atau secara umum morfisme dalam kategori) di antara objek-objek yang lebih kecil. Limit langsung benda




A

i




{\displaystyle A_{i}}

, di mana



i


{\displaystyle i}

berkisar di beberapa himpunan terarah



I


{\displaystyle I}

, dilambangkan dengan





lim
→


⁡

A

i




{\displaystyle \varinjlim A_{i}}

. (Ini adalah sedikit penyalahgunaan notasi karena menekan sistem homomorfisme yang penting untuk struktur batas.)
Batas langsung adalah kasus khusus dari konsep kolom di teori kategori. Limit langsung adalah ganda sampai limit invers yang juga merupakan kasus khusus limit dalam teori kategori.




Definisi formal


Pertama kami akan memberikan definisi untuk struktur aljabar seperti grup dan modul, dan kemudian definisi umumnya, yang bisa digunakan dalam setiap kategori




= Limit langsung objek aljabar

=
Dalam bagian ini objek dipahami terdiri dari himpunan yang mendasari dengan struktur aljabar yang diberikan, sepertikelompok, gelanggang, modul (di atas gelanggang tetap), aljabar (di atas bidang tetap), dll. Dengan pemikiran ini, homomorfisme dipahami dalam pengaturan yang sesuai (grup homomorfisme, dll.) .
Karenanya



⟨
I
,
≤
⟩


{\displaystyle \langle I,\leq \rangle }

jadilah kumpulan diarahkan dipesan sebagian (perhatikan bahwa tidak semua pengarang memerlukan I untuk diarahkan). Maka A• = (Ai)i ∈ I menjadi keluarga objek indeks oleh



I



{\displaystyle I\,}

dan




f

i
j


:

A

i


→

A

j




{\displaystyle f_{ij}\colon A_{i}\rightarrow A_{j}}

menjadi homomorfisme untuk semua



i
≤
j


{\displaystyle i\leq j}

dengan properti berikut:





f

i
i





{\displaystyle f_{ii}\,}

adalah identitas




A

i





{\displaystyle A_{i}\,}

, dan
Kondisi kompatibilitas :




f

i
k


=

f

j
k


∘

f

i
j




{\displaystyle f_{ik}=f_{jk}\circ f_{ij}}

untuk



i
≤
j
≤
k


{\displaystyle i\leq j\leq k}

; maka adalah




A

i



→


f

i
j





A

j



→


f

j
k





A

k





adalah sama dengan




A

i



→


f

i
k





A

k


.


{\displaystyle A_{i}\xrightarrow {f_{ij}} A_{j}\xrightarrow {f_{jk}} A_{k}\;\;{\text{ adalah sama dengan }}\;\;A_{i}\xrightarrow {f_{ik}} A_{k}.}


Setelah itu pasangan



⟨

A

∙


,

f

i
j


⟩


{\displaystyle \langle A_{\bullet },f_{ij}\rangle }

disebut sistem langsung melalui



I


{\displaystyle I}

. Peta f ij disebut ikatan, menghubungkan, transisi, atau menghubungkan peta/morfisme dari sistem. Jika peta ikatan dipahami atau jika tidak perlu memberikan simbol (misalnya seperti dalam pernyataan beberapa teorema) maka peta ikatan akan sering dihilangkan (yaitu tidak tertulis); untuk alasan ini adalah umum untuk melihat pernyataan seperti "maka




A

∙




{\displaystyle A_{\bullet }}

menjadi sistem langsung. "




= Limit langsung dalam kategori sebarang

=
Batas langsung dapat ditentukan dalam sembarang kategori





C




{\displaystyle {\mathcal {C}}}

melalui sifat universal. Maka



⟨

X

i


,

f

i
j


⟩


{\displaystyle \langle X_{i},f_{ij}\rangle }

menjadi sistem langsung dari objek dan morfisme





C




{\displaystyle {\mathcal {C}}}

(seperti yang didefinisikan di atas). Sebuah target atau kocone adalah sepasang



⟨
X
,

ϕ

i


⟩


{\displaystyle \langle X,\phi _{i}\rangle }

dimana



X



{\displaystyle X\,}

adalah objek pada





C




{\displaystyle {\mathcal {C}}}

dan




ϕ

i


:

X

i


→
X


{\displaystyle \phi _{i}\colon X_{i}\rightarrow X}

adalah morfisme untuk masing-masing



i
∈
I


{\displaystyle i\in I}

seperti yang




ϕ

i


=

ϕ

j


∘

f

i
j




{\displaystyle \phi _{i}=\phi _{j}\circ f_{ij}}

bilamana



i
≤
j


{\displaystyle i\leq j}

. limit dari sistem langsung



⟨

X

i


,

f

i
j


⟩


{\displaystyle \langle X_{i},f_{ij}\rangle }

is a secara universal menolak target



⟨
X
,

ϕ

i


⟩


{\displaystyle \langle X,\phi _{i}\rangle }

dalam arti itu



⟨
X
,

ϕ

i


⟩


{\displaystyle \langle X,\phi _{i}\rangle }

adalah target dan untuk setiap target



⟨
Y
,

ψ

i


⟩


{\displaystyle \langle Y,\psi _{i}\rangle }

, ada morfisme yang unik



u
:
X
→
Y


{\displaystyle u\colon X\rightarrow Y}

seperti yang



u
∘

ϕ

i


=

ψ

i




{\displaystyle u\circ \phi _{i}=\psi _{i}}

untuk setiap i . Diagram berikut

kemudian akan perjalanan untuk semua i, j.
Limit langsung sering kali dilambangkan




X
=


lim
→


⁡

X

i




{\displaystyle X=\varinjlim X_{i}}


dengan sistem langsung



⟨

X

i


,

f

i
j


⟩


{\displaystyle \langle X_{i},f_{ij}\rangle }

dan morfisme kanonik




ϕ

i




{\displaystyle \phi _{i}}

dipahami.
Tidak seperti objek aljabar, tidak setiap sistem langsung dalam kategori arbitrer memiliki batas langsung. Namun, jika ya, batas langsungnya unik dalam arti yang kuat: diberi batas langsung lain X′ ada unik isomorfisme X′ → X yang beralih dengan morfisme kanonik.




Sifat-sifat


Batas langsung ditautkan ke limit invers melalui





H
o
m

(


lim
→


⁡

X

i


,
Y
)
=


lim
←


⁡

H
o
m

(

X

i


,
Y
)
.


{\displaystyle \mathrm {Hom} (\varinjlim X_{i},Y)=\varprojlim \mathrm {Hom} (X_{i},Y).}


Properti penting adalah bahwa mengambil batasan langsung dalam kategori modul adalah fungsi tepat. Ini berarti bahwa jika Anda mulai dengan sistem terarah dari urutan persis pendek



0
→

A

i


→

B

i


→

C

i


→
0


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

dan membentuk limit langsung, Anda mendapatkan urutan persis yang pendek



0
→


lim
→


⁡

A

i


→


lim
→


⁡

B

i


→


lim
→


⁡

C

i


→
0


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

.




Terminologi


Dalam literatur ditemukan istilah "batas terarah", "batas induktif langsung", "colimit terarah", "garis batas langsung "dan" batas induktif "untuk konsep batas langsung yang didefinisikan di atas. Istilah" batas induktif "bersifat ambigu, karena beberapa penulis menggunakannya untuk konsep umum kolom.




Catatan






Referensi


Templat:Bierstedt An Introduction to Locally Convex Inductive Limits
Templat:Bourbaki General Topology Part I Chapters 1-4
Bourbaki, Nicolas (1968), Elements of mathematics. Theory of sets, Translated from French, Paris: Hermann, MR 0237342
Templat:Dugundji Topology
Templat:Grothendieck Topological Vector Spaces
Mac Lane, Saunders (1998), Categories for the Working Mathematician, Graduate Texts in Mathematics, 5 (edisi ke-2nd), Springer-Verlag
Templat:Category theory

Kata Kunci Pencarian:

• Limit (matematika)
• Limit langsung
• Limit fungsi
• Limit invers
• Windah Basudara
• Kalkulus
• Definisi limit (ε, δ)
• Sifat universal
• Over the Limit (2012)
• Daftar topik aljabar abstrak
• Sisca Kohl
• Kaesang Pangarep
• 2024 Indonesian local elections
• 2024 Indonesian local election law protests
• List of ethnic slurs
• MasterChef Indonesia
• Prabowo Subianto
• PZL M28 Skytruck
• Volkswagen Polo Mk5
• Financial inclusion