Granice Ciągów

Granice ciągów to punkt wyjścia do analizy matematycznej. Intuicyjnie, granica ciągu odpowiada na pytanie: "do jakiej wartości zbliżają się kolejne wyrazy ciągu, gdy idziemy coraz dalej?"

1. Definicja granicy ciągu

Mówimy, że ciąg $(a_n)$ ma granicę $g$, jeśli jego wyrazy zbliżają się dowolnie blisko do $g$ wraz ze wzrostem $n$: $$ \lim_{n \to \infty} a_n = g $$

Przykład: Ciąg $a_n = \frac{1}{n}$ daje kolejno $1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \ldots$ — wyrazy zbliżają się do $0$, więc $\lim_{n \to \infty} \frac{1}{n} = 0$.

2. Arytmetyka granic

Jeśli znamy granice dwóch ciągów, możemy łatwo obliczyć granicę ich kombinacji:

• $\lim (a_n + b_n) = \lim a_n + \lim b_n$
• $\lim (a_n \cdot b_n) = \lim a_n \cdot \lim b_n$
• $\lim \frac{a_n}{b_n} = \frac{\lim a_n}{\lim b_n}$ (gdy mianownik $\neq 0$)
• $\lim (c \cdot a_n) = c \cdot \lim a_n$

Uwaga: te reguły nie działają przy symbolach nieoznaczonych!

3. Twierdzenie o trzech ciągach (sandwich theorem)

Jeśli $a_n \leq b_n \leq c_n$ i oba skrajne ciągi mają tę samą granicę $g$: $$ \lim a_n = \lim c_n = g \quad \Rightarrow \quad \lim b_n = g $$

To potężne narzędzie, szczególnie przydatne gdy w ciągu pojawia się $\sin(n)$ lub $\cos(n)$, ponieważ $-1 \leq \sin(n) \leq 1$.

4. Ważne granice

$$ \lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e \approx 2{,}718 $$ $$ \lim_{n \to \infty} \frac{n!}{n^n} = 0 \qquad \lim_{n \to \infty} \sqrt[n]{n} = 1 $$

5. Symbole nieoznaczone

Gdy podstawiamy $n \to \infty$ i dostajemy wyrażenie typu $\frac{\infty}{\infty}$, $\infty - \infty$, $0 \cdot \infty$ itp., mamy symbol nieoznaczony — trzeba go rozwiązać algebraicznie.

Najczęstsza metoda: dzielimy licznik i mianownik przez najwyższą potęgę $n$: $$ \lim_{n \to \infty} \frac{3n^2 + 5n}{2n^2 - 1} = \lim_{n \to \infty} \frac{3 + \frac{5}{n}}{2 - \frac{1}{n^2}} = \frac{3}{2} $$

6. Monotoniczność i ograniczoność

Ciąg monotoniczny i ograniczony jest zbieżny (ma granicę). To ważne twierdzenie, bo pozwala udowodnić istnienie granicy, nawet gdy nie potrafimy jej bezpośrednio obliczyć.

Dla dociekliwych: Co to naprawdę znaczy "zbiegać"?

Formalna definicja (zwana definicją $\varepsilon$-$N$) mówi: ciąg $(a_n)$ zbiega do $g$, jeśli dla każdego $\varepsilon > 0$ (dowolnie małego) istnieje taki numer $N$, że dla wszystkich $n > N$ zachodzi $|a_n - g| < \varepsilon$.

Innymi słowy: bez względu na to, jak wąski "tunel" wokół $g$ wyznaczysz (o szerokości $2\varepsilon$), od pewnego momentu wszystkie wyrazy ciągu będą wewnątrz tego tunelu. To precyzyjne ujęcie intuicji "zbliżania się".