Dalam matematika, limit barisan adalah nilai yang didekati oleh suku-suku barisan ketika nomor urut suku-sukunya semakin membesar. Limit barisan seringkali dilambangkan dengan ${\displaystyle \lim }$ (yaitu, ${\textstyle \lim _{n\to \infty }a_{n}}$).^[1] Jika suatu barisan mempunyai limit, barisan itu disebut konvergen. Barisan yang tidak konvergen disebut divergen.^[2] Limit barisan dikatakan sebagai gagasan landasan seluruh analisis matematika.^[3]

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

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 ${\textstyle (x+o)^{n}}$, 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.

Misalkan ${\displaystyle (x_{n})}$ suatu barisan tak hingga dari bilangan (riil atau kompleks). Suatu bilangan ${\displaystyle L}$ adalah limit dari ${\displaystyle (x_{n})}$ apabila suku-suku barisan ${\displaystyle (x_{n})}$ semakin mendekati ${\displaystyle L}$ saat ${\displaystyle n}$ membesar tanpa batas^[4]. Jika ${\displaystyle L}$ adalah limit dari barisan ${\displaystyle (x_{n})}$ maka barisan tersebut dikatakan konvergen ke ${\displaystyle L}$ atau mempunyai limit ${\displaystyle L}$ atau memusat pada bilangan ${\displaystyle L}$^[5]. Barisan yang tidak mempunyai limit dikatakan divergen.

Secara lebih tepat, suatu bilangan ${\displaystyle L}$ adalah limit dari barisan bilangan tak hingga ${\displaystyle (x_{n})}$ apabila berlaku^[6]

${\displaystyle \forall \varepsilon >0\ \exists N\in \mathbb {N} (n>N\Rightarrow |x_{n}-L|<\varepsilon ),}$

yakni, untuk sebarang bilangan positif ${\displaystyle \varepsilon }$, dapat ditentukan ${\displaystyle N}$ yang bergantung pada ${\displaystyle \varepsilon }$ sedemikian rupa, sehingga untuk semua bilangan bulat positif ${\displaystyle n>N}$ berlaku ${\displaystyle \mid x_{n}-L\mid <\varepsilon }$, dengan ${\displaystyle \mid \cdot \mid }$ melambangkan nilai mutlak untuk bilangan riil dan nilai modulus untuk bilangan kompleks^[7][8].

Notasi untuk barisan ${\displaystyle (x_{n})}$ yang konvergen menuju ${\displaystyle L}$ ditulis sebagai ${\displaystyle \lim _{n\to \infty }x_{n}=L}$. Terkadang juga ditulis ${\displaystyle x_{n}\to L}$^[9].

• 
  Contoh barisan yang konvergen ke ${\displaystyle a}$.
• 
  Untuk sebarang ${\displaystyle \varepsilon >0}$ yang dipilih, terdapat bilangan bulat ${\displaystyle N_{0}}$sedemikian sehingga seluruh nilai barisan dari suku ke-${\displaystyle N_{0}}$ sampai seterusnya berada di lingkungan ${\displaystyle (a-\varepsilon ,a+\varepsilon )}$.
• 
  Untuk nilai, ${\displaystyle \epsilon _{1}>0}$ yang lain, akan terdapat pula bilangan bulat ${\displaystyle N_{1}}$, bersesuaian dengan nilai ${\displaystyle \epsilon _{1}}$ tersebut, sedemikian sehingga barisan dari suku ke-${\displaystyle N_{1}}$ sampai seterusnya itu berada di dalam lingkungan ${\displaystyle (a-\varepsilon _{1},a+\varepsilon _{1})}$.
• 
  Untuk setiap ${\displaystyle \varepsilon >0}$, hanya terdapat sebanyak hingga anggota barisan di luar lingkungan ${\displaystyle (a-\varepsilon ,a+\varepsilon )}$.

Suatu barisan ${\displaystyle (x_{n})}$ dikatakan mendekati takhingga, ditulis ${\displaystyle x_{n}\to \infty }$ atau ${\textstyle \lim _{n\to \infty }x_{n}=\infty }$, jika untuk setiap bilangan real ${\displaystyle K}$, terdapat suatu bilangan bulat ${\displaystyle N}$ sedemikian sehingga untuk setiap ${\displaystyle n\geq N}$, ${\displaystyle x_{n}>K}$; yaitu, suku barisan pada akhirnya akan lebih besar daripada sembarang ${\displaystyle K}$ yang dipilih. Dengan cara yang serupa, ${\displaystyle x_{n}\to -\infty }$ jika untuk setiap ${\displaystyle K}$, terdapat suatu ${\displaystyle N}$ sehingga untuk setiap ${\displaystyle n\geq N}$, ${\displaystyle x_{n}<K}$.

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 ${\displaystyle x_{n}=(-1)^{n}}$. Perilaku limit barisan divergen yang terbatas dapat ditelaah dengan memperhatikan barisan bagiannya, limit superior dan inferior, serta titik limit.

• Jika ${\displaystyle x_{n}=c}$ untuk suatu konstanta c, maka ${\displaystyle x_{n}\to c}$.^{[bukti 1][10]}
• Jika ${\displaystyle x_{n}=1/{n}}$, maka ${\displaystyle x_{n}\to 0}$.^{[bukti 2][10]}
• Jika ${\displaystyle x_{n}=1/n}$ untuk ${\displaystyle n}$ genap, dan ${\textstyle x_{n}=1/{n^{2}}}$ untuk ${\displaystyle n}$ ganjil, maka ${\displaystyle x_{n}\to 0}$. (Kenyataan bahwa ${\displaystyle x_{n+1}>x_{n}}$ apabila ${\displaystyle n}$ ganjil tidak penting.)
• Diberikan sebarang bilangan real; suatu barisan yang konvergen menuju suatu bilangan dapat dengan mudah dibangun dengan mengambil hampiran desimal. Misal, barisan ${\displaystyle 0.3,0.33,0.333,0.3333,...}$ konvergen menuju ${\displaystyle 1/3}$. Perhatikan bahwa representasi desimal ${\displaystyle 0.3333...}$ adalah limit dari barisan sebelumnya, yang ditentukan oleh ${\textstyle 0.3333...\triangleq \lim _{n\to \infty }\sum _{i=1}^{n}{\frac {3}{10^{i}}}}$.

• Limit suatu barisan tidak selalu dapat ditemukan dengan mudah. Dua contohnya adalah ${\textstyle \lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}$ (limitnya adalah bilangan e) dan purata aritmetika–geometrik (limitnya 13,458...). Teorema apit sering kali berguna dalam pencarian limit barisan yang sebegini.

• Limit suatu barisan, apabila ada, adalah tunggal.
• Misal diketahui dua barisan konvergen ${\displaystyle x_{n}\to L}$ dan ${\displaystyle y_{n}\to M}$,
  • 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.

  ${\displaystyle (x_{n}\pm y_{n})\to L\pm M}$

  • barisan hasil kali kedua barisan tersebut adalah konvergen pula, dan limitnya adalah perkalian limit dua barisan yang diketahui.

  ${\displaystyle (x_{n}y_{n})\to LM}$

  • apabila ${\displaystyle M\neq 0}$, barisan hasil bagi kedua barisan tersebut adalah konvergen pula, dan limitnya adalah perkalian limit dua barisan yang diketahui.

  ${\displaystyle \left({\frac {x_{n}}{y_{n}}}\right)\to {\frac {L}{M}}}$

• Jika ${\displaystyle a_{n}\leq b_{n}}$ untuk semua ${\displaystyle n}$ lebih besar dari suatu ${\displaystyle N}$, maka ${\textstyle \lim _{n\to \infty }a_{n}\leq \lim _{n\to \infty }b_{n}}$.
• Jika ${\displaystyle a_{n}\leq c_{n}\leq b_{n}}$ untuk semua ${\displaystyle n>N}$, dan ${\textstyle \lim _{n\to \infty }a_{n}=\lim _{n\to \infty }b_{n}=L}$, maka ${\textstyle \lim _{n\to \infty }c_{n}=L}$. (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.

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

• Untuk suatu fungsi kontinu f, jika ${\displaystyle x_{n}\to x}$ maka ${\displaystyle f(x_{n})\to f(x)}$. Faktanya, fungsi f kontinu jika dan hanya jika untuk sembarang barisan menuju suatu limit ${\displaystyle x_{n}\to x}$ berlaku ${\displaystyle f(x_{n})\to f(x)}$.

• Limit barisan, apabila ada, itu tunggal. Karena dua titik berbeda terpisahkan oleh suatu jarak positif, jadi untuk ${\displaystyle \epsilon }$ kurang dari setengah jarak ini, suku-suku barisan tidak bisa berada dalam jarak ${\displaystyle \epsilon }$ dari kedua titik tersebut.

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 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 ${\displaystyle (x_{n})}$ cenderung L jika untuk setiap tak terbatas hipernatural H, syarat x_H is sangat dekat dengan L (yaitu, perbedaan nilai x_H − L adalah infinitesimal). Setara, L adalah bagian standar dari x_H

${\displaystyle L={\rm {st}}(x_{H}).\,}$

Jadi, limitnya bisa ditentukan dengan rumus

${\displaystyle \lim _{n\to \infty }x_{n}={\rm {st}}(x_{H}),}$

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

• 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

1. ^ Bukti: Pilih nilai ${\displaystyle N=1}$. Untuk setiap ${\displaystyle n\geq N}$, ${\displaystyle |x_{n}-c|=0<\epsilon }$
2. ^ Bukti: Pilih ${\displaystyle N=\left\lfloor {\frac {1}{\epsilon }}\right\rfloor }$ + 1 (fungsi lantai). Untuk setiap ${\displaystyle n\geq N}$, ${\displaystyle |x_{n}-0|\leq x_{N}={\frac {1}{\lfloor 1/\epsilon \rfloor +1}}<\epsilon }$.

• 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)

• Hazewinkel, Michiel, ed. (2001) [1994], "Limit", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 
• A history of the calculus, including limits