Limit barisan

Semakin bilangan bulat positif  membesar tanpa batas, nilai  menjadi semakin dekat menuju . Dapat dikatakan bahwa "limit barisan  sama dengan  ."

Dalam matematika, limit barisan adalah nilai yang didekati oleh suku-suku barisan ketika nomor urut suku-sukunya semakin membesar. Limit barisan seringkali dilambangkan dengan  (yaitu, ). 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 yang melibatkan proses-proses limit.

Leucippus, Democritus, Antiphon, 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.

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 , yang kemudian dia linierisasi dengan mengambil nilai limit karena o cenderung  ke 0.

Pada abad ke-18, matematikawan seperti 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, Lagrange dalam Théorie des fonctions analytiques (1797) berpendapat bahwa kurangnya ketelitian menghalangi perkembangan lebih lanjut dalam kalkulus. 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  suatu barisan tak hingga dari bilangan (riil atau kompleks). Suatu bilangan  adalah limit dari  apabila suku-suku barisan  semakin mendekati  saat  membesar tanpa batas. Jika  adalah limit dari barisan  maka barisan tersebut dikatakan konvergen ke  atau mempunyai limit  atau memusat pada bilangan . Barisan yang tidak mempunyai limit dikatakan divergen.

Secara lebih tepat, suatu bilangan  adalah limit dari barisan bilangan tak hingga  apabila berlaku

 

yakni, untuk sebarang bilangan positif , dapat ditentukan  yang bergantung pada  sedemikian rupa, sehingga untuk semua bilangan bulat positif  berlaku , dengan  melambangkan nilai mutlak untuk bilangan riil dan nilai modulus untuk bilangan kompleks.

Notasi untuk barisan  yang konvergen menuju  ditulis sebagai . Terkadang juga ditulis .

Limit tak sebenarnya 
Suatu barisan  dikatakan mendekati takhingga, ditulis  atau , jika untuk setiap bilangan real , terdapat suatu bilangan bulat  sedemikian sehingga untuk setiap , ; yaitu, suku barisan pada akhirnya akan lebih besar daripada sembarang  yang dipilih. Dengan cara yang serupa,  jika untuk setiap , terdapat suatu  sehingga untuk setiap , .

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 . Perilaku limit barisan divergen yang terbatas dapat ditelaah dengan memperhatikan barisan bagiannya, limit superior dan inferior, serta titik limit.

Contoh-contoh 

 Jika  untuk suatu konstanta c, maka .
 Jika , maka .
 Jika  untuk   genap, dan  untuk  ganjil, maka . (Kenyataan bahwa  apabila  ganjil tidak penting.)
 Diberikan sebarang bilangan real; suatu barisan yang konvergen menuju suatu bilangan dapat dengan mudah dibangun dengan mengambil hampiran desimal. Misal, barisan  konvergen menuju . Perhatikan bahwa representasi desimal  adalah limit dari barisan sebelumnya, yang ditentukan oleh .

 Limit suatu barisan tidak selalu dapat ditemukan dengan mudah. Dua contohnya adalah  (limitnya adalah 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  dan ,
 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.
 
 barisan hasil kali kedua barisan tersebut adalah konvergen pula, dan limitnya adalah perkalian limit dua barisan yang diketahui.
 
 apabila , barisan hasil bagi kedua barisan tersebut adalah konvergen pula, dan limitnya adalah perkalian limit dua barisan yang diketahui.
 
 Jika  untuk semua  lebih besar dari suatu , maka .
 Jika  untuk semua , dan , maka . (teorema apit)
 Jika suatu barisan mempunyai limit, maka barisan itu terbatas.
 Jika suatu barisan terbatas dan monoton, maka barisan itu mempunyai limit (teorema kekonvergenan barisan monoton).
 Suatu barisan adalah konvergen jika dan hanya jika setiap barisan bagiannya konvergen.

Ruang metrik

Definisi

Suatu titik  dalam ruang metrik  adalah limit dari barisan  jika untuk sembarang nilai , terdapat nilai  sedemikian rupa, sehingga untuk setiap nilai , . Definisi ini berlaku juga untuk bilangan real dengan  dan .

Sifat-sifat

 Untuk suatu fungsi kontinu f, jika  maka . Faktanya, fungsi f kontinu jika dan hanya jika untuk sembarang barisan menuju suatu limit  berlaku .

 Limit barisan, apabila ada, itu tunggal. Karena dua titik berbeda terpisahkan oleh suatu jarak positif, jadi untuk  kurang dari setengah jarak ini, suku-suku barisan tidak bisa berada dalam jarak  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  cenderung L jika untuk setiap tak terbatas hipernatural H, syarat xH is sangat dekat dengan L (yaitu, perbedaan nilai xH − L adalah infinitesimal). Setara, L adalah bagian standar dari xH

Jadi, limitnya bisa ditentukan dengan rumus

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 rampat topologis dari suatu barisan
Limit teoretik himpunan
Aturan gesekan
Limit berurut bagian

Catatan

Bukti

Referensi 
 Courant, Richard (1961). "Volume Kalkulus Diferensial dan Integral I", Blackie & Son, Ltd., Glasgow.
 Frank Morley dan James Harkness A treatise on the theory of functions  (New York: Macmillan, 1893)

Pranala luar
 
 A history of the calculus, including limits

Limit (matematika)
Barisan dan deret