Limit barisan

Semakin bilangan bulat positif n membesar tanpa batas, nilai n\cdot \sin\left(\tfrac1{n}\right) menjadi semakin dekat menuju 1. Dapat dikatakan bahwa "limit barisan n\cdot \sin\left(\tfrac1{n}\right) sama dengan  1."




Dalam matematika, **limit barisan** adalah nilai yang didekati oleh suku-suku barisan ketika nomor urut suku-sukunya semakin membesar. Limit barisan sering kali dilambangkan dengan \lim (yaitu, \lim_{n \to \infty}a_n). Jika suatu barisan mempunyai limit, barisan itu disebut **konvergen**. Barisan yang tidak konvergen disebut **divergen**.***' Limit barisan dikatakan sebagai gagasan landasan seluruh [[analisis matematika]].

Limit dapat ditentukan pada [[ruang metrik]] atau [[ruang topologi]], tetapi biasanya pertama kali ditemukan dalam [[bilangan real]].

==Sejarah==
Filsuf Yunani [[Zeno dari Elea]] terkenal karena merumuskan [[Paradoks Zeno|paradoks yang melibatkan proses-proses limit]].

[[Leucippus]], [[Democritus]], [[Antiphon (orang)|Antiphon]], [[Eudoksos dari Knidos|Eudoksos]], dan [[Archimedes]] mengembangkan [[metode penghabis]], yakni menggunakan barisan hampiran [[tak hingga]] untuk mencari luas atau volume. Archimedes berhasil menjumlahkan apa yang sekarang disebut [[deret geometrik]].

[[Isaac Newton|Newton]] membincangkan deret dalam karyanya ''Analysis with infinite series'' (ditulis pada tahun 1669, diedarkan dalam bentuk manuskrip, diterbitkan pada tahun 1711), ''Method of fluxions and infinite series'' (ditulis tahun 1671, diterbitkan dalam terjemahan [[bahasa Inggris]] tahun 1736, buku asal yang berbahasa Latin diterbitkan lama kemudian) dan ''Tractatus de Quadratura Curvarum'' (ditulis tahun 1693, diterbitkan tahun 1704 sebagai Lampiran bagi karya ''Optiks''). Dalam karya terakhir'','' Newton menganggap ekspansi binomial <math display="inline">(x + o)^n</math>, yang kemudian dia linierisasi dengan mengambil nilai limit karena o&nbsp;cenderung&nbsp; ke 0.

Pada abad ke-18, [[matematikawan]] seperti [[Leonhard Euler|Euler]] berhasil menjumlahkan beberapa deret ''divergen'' dengan berhenti pada saat yang tepat; mereka tidak terlalu peduli apakah ada limit, asalkan bisa dihitung. Di akhir abad ini, [[Joseph Louis Lagrange|Lagrange]] dalam ''Théorie des fonctions analytiques'' (1797) berpendapat bahwa kurangnya ketelitian menghalangi perkembangan lebih lanjut dalam kalkulus. [[Carl Friedrich Gauss|Gauss]] dalam buku latihannya tentang [[deret hipergeometrik]] (1813) untuk pertama kalinya diselidiki, secara teliti, syarat apa yang cukup menjamin kekonvergenan suatu deret.

Definisi modern dari suatu limit (untuk suatu ε terdapat suatu indeks ''N'' sedemikian sehingga...) diberikan oleh [[Bernhard Bolzano]] (''Der binomische Lehrsatz'', Prague 1816, kurang dapat perhatikan pada saat itu), dan oleh [[Karl Weierstrass]] pada tahun 1870an.

== Limit barisan bilangan ==
Misalkan <math>(x_n)</math> suatu [[barisan]] tak hingga dari bilangan ([[Bilangan riil|riil]] atau [[Bilangan kompleks|kompleks]]). Suatu bilangan <math>L</math> adalah limit dari <math>(x_n)</math> apabila suku-suku barisan <math>(x_n)</math> semakin mendekati <math>L</math> saat <math>n</math> membesar tanpa batas. Jika <math>L</math> adalah limit dari barisan <math>(x_n)</math> maka barisan tersebut dikatakan ***konvergen** ke <math>L</math>'' atau ''mempunyai limit <math>L</math>'' atau ''memusat pada bilangan <math>L</math>''. Barisan yang tidak mempunyai limit dikatakan **divergen*.***

Secara lebih tepat, suatu bilangan <math>L</math> adalah limit dari barisan bilangan tak hingga <math>(x_n)</math> apabila berlaku

: <math>\forall\varepsilon>0\ \exist N\in\mathbb{N}(n>N\Rightarrow|x_n-L|<\varepsilon),</math>

yakni, untuk sebarang bilangan positif <math>\varepsilon</math>, dapat ditentukan <math>N</math> yang bergantung pada <math>\varepsilon</math> sedemikian rupa, sehingga untuk semua bilangan bulat positif <math>n>N</math> berlaku <math>\mid x_n-L\mid<\varepsilon</math>, dengan <math>\mid \cdot\mid</math> melambangkan [[Nilai absolut|nilai mutlak]] untuk bilangan riil dan [[Nilai absolut#Bilangan kompleks|nilai modulus]] untuk bilangan kompleks.

Notasi untuk barisan <math>(x_n)</math> yang konvergen menuju <math>L</math> ditulis sebagai <math>\lim_{n\to\infty}x_n=L</math>. Terkadang juga ditulis <math>x_n\to L</math>.<gallery mode="packed" heights="115">
Berkas:Folgenglieder_im_KOSY.svg|Contoh barisan yang konvergen ke <math>a</math>.
Berkas:Epsilonschlauch.svg|Untuk sebarang <math>\varepsilon > 0</math> yang dipilih, terdapat bilangan bulat <math>N_0</math>sedemikian sehingga seluruh nilai barisan dari suku ke-<math>N_0</math> sampai seterusnya berada di lingkungan <math>(a-\varepsilon,a+\varepsilon)</math>.
Berkas:Epsilonschlauch_klein.svg|Untuk nilai, <math>\epsilon_1 > 0</math> yang lain, akan terdapat pula bilangan bulat <math>N_1</math>, bersesuaian dengan nilai <math>\epsilon_1</math> tersebut, sedemikian sehingga barisan dari suku ke-<math>N_1</math> sampai seterusnya itu berada di dalam lingkungan <math>(a-\varepsilon_1,a+\varepsilon_1)</math>.
Berkas:Epsilonschlauch2.svg|Untuk setiap <math>\varepsilon > 0</math>, hanya terdapat sebanyak hingga anggota barisan di luar lingkungan <math>(a-\varepsilon, a+\varepsilon)</math>.
</gallery>

=== Limit tak sebenarnya ===
Suatu barisan <math>(x_n)</math> dikatakan **mendekati takhingga**, ditulis <math>x_n \to \infty</math> atau <math display="inline">\lim_{n\to\infty}x_n = \infty</math>, jika untuk setiap bilangan real ''<math>
K</math>'', terdapat suatu bilangan bulat <math>N</math> sedemikian sehingga untuk setiap <math>n \geq N</math>, <math>x_n > K</math>; yaitu, suku barisan pada akhirnya akan lebih besar daripada sembarang ''<math>
K</math>'' yang dipilih. Dengan cara yang serupa, <math>x_n \to -\infty</math> jika untuk setiap ''<math>
K</math>'', terdapat suatu ''<math>N</math>'' sehingga untuk setiap <math>n \geq N</math>, <math>x_n < K</math>.

Jika suatu barisan cenderung ke takhingga atau negatif takhingga, maka barisan tersebut adalah divergen. Namun, suatu barisan divergen bukanlah syarat perlu untuk suatu barisan mendekati takhingga atau negatif takhingga, seperti [[barisan tanda]] <math>x_n=(-1)^n</math>. Perilaku limit barisan divergen yang terbatas dapat ditelaah dengan memperhatikan [[Barisan bagian|barisan bagiannya]], limit superior dan inferior, serta titik limit.

=== Contoh-contoh ===


* Jika <math>x_n = c</math> untuk suatu konstanta ''c'', maka <math>x_n \to c</math>.
* Jika <math>x_n = 1/{n}</math>, maka <math>x_n \to 0</math>.
* Jika <math>x_n = 1/n</math> untuk  <math>n</math> genap, dan <math display="inline">x_n = 1/{n^2}</math> untuk <math>n</math> ganjil, maka <math>x_n \to 0</math>. (Kenyataan bahwa <math>x_{n+1} > x_n</math> apabila <math>n</math> ganjil tidak penting.)
* Diberikan sebarang bilangan real; suatu barisan yang konvergen menuju suatu bilangan dapat dengan mudah dibangun dengan mengambil hampiran desimal. Misal, barisan <math>0.3, 0.33, 0.333, 0.3333, ...</math> konvergen menuju <math>1/3</math>. Perhatikan bahwa [[representasi desimal]] <math>0.3333...</math> adalah ''limit'' dari barisan sebelumnya, yang ditentukan oleh <math display="inline"> 0.3333...\triangleq\lim_{n\to\infty} \sum_{i=1}^n \frac{3}{10^i}</math>.

* Limit suatu barisan tidak selalu dapat ditemukan dengan mudah. Dua contohnya adalah <math display="inline">\lim_{n\to\infty}\left(1 + \frac1{n}\right)^n</math> (limitnya adalah [[E (konstanta matematika)|bilangan ''e'']]) dan [[purata aritmetika–geometrik]] (limitnya 13,458...). [[Teorema apit]] sering kali berguna dalam pencarian limit barisan yang sebegini.

===Sifat-sifat===

* Limit suatu barisan, apabila ada, adalah tunggal.
* Misal diketahui dua barisan konvergen <math>x_n\to L</math> dan <math>y_n\to M</math>,
** barisan hasil jumlah atau hasil pengurangan kedua barisan tersebut adalah konvergen pula, dan berturut-turut limitnya adalah jumlah atau selilsish limit dua barisan yang diketahui.
*:: <math> (x_n\pm y_n)\to L\pm M</math>
** barisan hasil kali kedua barisan tersebut adalah konvergen pula, dan limitnya adalah perkalian limit dua barisan yang diketahui.
*:: <math> (x_ny_n)\to LM</math>
** apabila <math>M\neq0 </math>, barisan hasil bagi kedua barisan tersebut adalah konvergen pula, dan limitnya adalah perkalian limit dua barisan yang diketahui.
*:: <math> \left(\frac{x_n}{y_n}\right)\to \frac{L}{M}</math>
* Jika <math>a_n \leq b_n</math> untuk semua <math>n</math> lebih besar dari suatu <math>N</math>, maka <math display="inline">\lim_{n\to\infty} a_n \leq \lim_{n\to\infty} b_n </math>.
* Jika <math>a_n \leq c_n \leq b_n</math> untuk semua <math>n > N</math>, dan <math display="inline">\lim_{n\to\infty} a_n = \lim_{n\to\infty} b_n = L</math>, maka <math display="inline">\lim_{n\to\infty} c_n = L</math>. ([[teorema apit]])
* Jika suatu barisan mempunyai limit, maka barisan itu [[Barisan#Barisan terbatas|terbatas]].
* Jika suatu barisan terbatas dan [[Barisan#Kemonotonan barisan|monoton]], maka barisan itu mempunyai limit (teorema kekonvergenan barisan monoton).
* Suatu barisan adalah konvergen [[jika dan hanya jika]] setiap [[Barisan bagian|barisan bagiannya]] konvergen.

==Ruang metrik==

===Definisi===

Suatu titik <math>x</math> dalam [[ruang metrik]] <math>(X, d)</math> adalah **limit*' dari [[barisan]] <math>(x_n)</math> jika untuk sembarang nilai <math>\epsilon > 0</math>, terdapat nilai <math>N</math> sedemikian rupa, sehingga untuk setiap nilai <math>n \geq N</math>, <math>d(x_n, x) < \epsilon</math>. Definisi ini berlaku juga untuk bilangan real dengan <math>X = \mathbb{R}</math> dan <math>d(x, y) = |x-y|</math>.

===Sifat-sifat===

* Untuk suatu [[fungsi kontinu]] *f*, jika <math>x_n \to x</math> maka <math>f(x_n) \to f(x)</math>. Faktanya, [[fungsi (matematika)|fungsi]] *f* kontinu jika dan hanya jika untuk sembarang barisan menuju suatu limit <math>x_n \to x</math> berlaku <math>f(x_n) \to f(x)</math>.

* Limit barisan, apabila ada, itu tunggal. Karena dua titik berbeda terpisahkan oleh suatu jarak positif, jadi untuk <math>\epsilon</math> kurang dari setengah jarak ini, suku-suku barisan tidak bisa berada dalam jarak <math>\epsilon</math> dari kedua titik tersebut.
==Barisan Cauchy==




Barisan Cauchy adalah barisan yang sukunya bagian akhir menjadi berdekatan secara acak, setelah cukup banyak istilah awal yang dihapus akan dikembalikan. Gagasan tentang [[barisan Cauchy]] penting dalam studi barisan di [[ruang metrik]], dan, khususnya, di [[analisis riil]]. Salah satu hasil yang sangat penting dalam analisis nyata adalah *Kriteria Cauchy untuk kekonvergenan barisan*: barisan bilangan real adalah konvergen jika dan hanya jika itu adalah barisan Cauchy. Hal ini tetap berlaku di [[ruang metrik lengkap]].

==Definisi dalam bilangan hiperreal==
Definisi batas menggunakan [[bilangan hiperreal]] menggunakan intuisi bahwa untuk nilai indeks yang "sangat besar", istilah terkait adalah "sangat dekat" dengan batas. Lebih tepatnya, barisan yang nyata <math>(x_n)</math> cenderung *L* jika untuk setiap tak terbatas [[hipernatural]] *H*, syarat *x*<sub>*H*</sub> is sangat dekat dengan *L* (yaitu, perbedaan nilai *x*<sub>*H*</sub>&nbsp;−&nbsp;*L* adalah [[infinitesimal]]). Setara, *L* adalah [[Fungsi bagian standar|bagian standar]] dari *x*<sub>*H*</sub>

:<math> L = {\rm st}(x_H).\,</math>

Jadi, limitnya bisa ditentukan dengan rumus

:<math>\lim_{n \to \infty} x_n= {\rm st}(x_H),</math>

dengan limit tersebut ada jika dan hanya jika ruas kanan tidak bergantung pada pemilihan dari suatu takhingga *H*.

==Lihat pula==
*[[Limit fungsi]] – titik untuk yang fungsi konvergen dalam topologi
*[[Titik limit]] – suatu titik *x* dalam suatu ruang topologis, semua lingkungan berisi beberapa titik dalam diberikan suatu [[himpunan bagian]] yang berbeda dari *x*.
*[[Limit atas dan limit bawah]]
*[[Mode kekonvergenan]]
*[[Limit jaring]] — suatu [[Jaring (matematika)|jaring]] rampat topologis dari suatu barisan
*[[Limit teoretik himpunan]]
*[[Aturan gesekan]]
*[[Limit berurut bagian]]

== Catatan ==


=== Bukti ===
<references group="bukti" />

== Referensi ==
* [[Richard Courant|Courant, Richard]] (1961). "Volume [[Kalkulus diferensial|Kalkulus Diferensial]] dan Integral I", Blackie & Son, Ltd., Glasgow.
* [[Frank Morley]] dan [[James Harkness]] [https://archive.org/details/treatiseontheory00harkuoft A treatise on the theory of functions]  (New York: Macmillan, 1893)

==Pranala luar==
* 
* [https://web.archive.org/web/20040905075957/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/The_rise_of_calculus.html *A history of the calculus'', including limits]