Limit barisan

Berkas:Archimedes pi.svg

Archimedes pi

n	n sin(1/n)
1	0.841471
2	0.958851
...
10	0.998334
...
100	0.999983

Semakin bilangan bulat positif $n$ membesar tanpa batas, nilai $n\cdot \sin \left(\frac{1}{n}\right)$ menjadi semakin dekat menuju $1$. Dapat dikatakan bahwa "limit barisan $n\cdot \sin \left(\frac{1}{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, $\underset{n\to \mathrm{\infty }}{lim}{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 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 $(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.

Limit barisan bilangan

Misalkan $(x_n)$ suatu barisan tak hingga dari bilangan (riil atau kompleks). Suatu bilangan $L$ adalah limit dari $(x_n)$ apabila suku-suku barisan $(x_n)$ semakin mendekati $L$ saat $n$ membesar tanpa batas. Jika $L$ adalah limit dari barisan $(x_n)$ maka barisan tersebut dikatakan konvergen ke $L$ atau mempunyai limit $L$ atau memusat pada bilangan $L$. Barisan yang tidak mempunyai limit dikatakan divergen.

Secara lebih tepat, suatu bilangan $L$ adalah limit dari barisan bilangan tak hingga $(x_n)$ apabila berlaku

$\mathrm{\forall }\epsilon >0\mathrm{\exists }N\in \mathbb{N}(n>N\Rightarrow |x_n-L|<\epsilon ),$

yakni, untuk sebarang bilangan positif $\epsilon$, dapat ditentukan $N$ yang bergantung pada $\epsilon$ sedemikian rupa, sehingga untuk semua bilangan bulat positif $n>N$ berlaku $\mid x_n-L\mid <\epsilon$, dengan $\mid \cdot \mid$ melambangkan nilai mutlak untuk bilangan riil dan nilai modulus untuk bilangan kompleks.

Notasi untuk barisan $(x_n)$ yang konvergen menuju $L$ ditulis sebagai $\underset{n\to \mathrm{\infty }}{lim}{x}_n=L$. Terkadang juga ditulis $x_n\to L$.

Limit tak sebenarnya

Suatu barisan $(x_n)$ dikatakan mendekati takhingga, ditulis $x_n\to \mathrm{\infty }$ atau $\underset{n\to \mathrm{\infty }}{lim}{x}_n=\mathrm{\infty }$, jika untuk setiap bilangan real $K$, terdapat suatu bilangan bulat $N$ sedemikian sehingga untuk setiap $n\ge N$, $x_n>K$; yaitu, suku barisan pada akhirnya akan lebih besar daripada sembarang $K$ yang dipilih. Dengan cara yang serupa, $x_n\to -\mathrm{\infty }$ jika untuk setiap $K$, terdapat suatu $N$ sehingga untuk setiap $n\ge N$, $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 $x_n=(-1{)}^n$. Perilaku limit barisan divergen yang terbatas dapat ditelaah dengan memperhatikan barisan bagiannya, limit superior dan inferior, serta titik limit.

Contoh-contoh

• Jika $x_n=c$ untuk suatu konstanta c, maka $x_n\to c$.
• Jika $x_n=1/n$, maka $x_n\to 0$.
• Jika $x_n=1/n$ untuk $n$ genap, dan $x_n=1/n^2$ untuk $n$ ganjil, maka $x_n\to 0$. (Kenyataan bahwa $x_{n+1}>x_n$ apabila $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 $0.3,0.33,0.333,0.3333,\mathrm{...}$ konvergen menuju $1/3$. Perhatikan bahwa representasi desimal $\mathrm{0.3333...}$ adalah limit dari barisan sebelumnya, yang ditentukan oleh $\mathrm{0.3333...}\triangleq \underset{n\to \mathrm{\infty }}{lim}{\sum }_{i=1}^n\frac{3}{10^i}$.

• Limit suatu barisan tidak selalu dapat ditemukan dengan mudah. Dua contohnya adalah $\underset{n\to \mathrm{\infty }}{lim}{(1+\frac{1}{n})}^n$ (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 $x_n\to L$ dan $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.

  $(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.

  $(x_n{y}_n)\to LM$

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

  $\left(\frac{x_n}{y_n}\right)\to \frac{L}{M}$

• Jika $a_n\le b_n$ untuk semua $n$ lebih besar dari suatu $N$, maka $\underset{n\to \mathrm{\infty }}{lim}{a}_n\le \underset{n\to \mathrm{\infty }}{lim}{b}_n$.
• Jika $a_n\le c_n\le b_n$ untuk semua $n>N$, dan $\underset{n\to \mathrm{\infty }}{lim}{a}_n=\underset{n\to \mathrm{\infty }}{lim}{b}_n=L$, maka $\underset{n\to \mathrm{\infty }}{lim}{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.

Ruang metrik

Definisi

Suatu titik $x$ dalam ruang metrik $(X,d)$ adalah limit dari barisan $(x_n)$ jika untuk sembarang nilai $ϵ>0$, terdapat nilai $N$ sedemikian rupa, sehingga untuk setiap nilai $n\ge N$, $d(x_n,x)<ϵ$. Definisi ini berlaku juga untuk bilangan real dengan $X=ℝ$ dan $d(x,y)=|x-y|$.

Sifat-sifat

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

• 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 $(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

$L=\mathrm{s}\mathrm{t}(x_H).$

Jadi, limitnya bisa ditentukan dengan rumus

$\underset{n\to \mathrm{\infty }}{lim}{x}_n=\mathrm{s}\mathrm{t}(x_H),$

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

Pranala luar

• A history of the calculus, including limits

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 27475014 (2025-06-28T20:12:46Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.