Granica ciągu

🎯 Po co Ci to?

Achilles goni żółwia: gdy dobiega tam, gdzie żółw był, ten zdążył się przesunąć. I znowu. I znowu; nieskończenie wiele etapów pościgu! Filozof Zenon z Elei wnioskował ponad dwa tysiące lat temu, że Achilles nigdy nie dogoni żółwia. A jednak dogania: sprinterzy wyprzedzają żółwie codziennie. Gdzie błąd? W cichym założeniu, że nieskończenie wiele kawałków musi dać nieskończoną całość. Pojęcie granicy (najważniejsze pojęcie, jakie poznasz przed studiami) rozplątuje ten węzeł i otwiera bramę do Części VI.

✅ Czego się nauczysz

• rozumieć, co znaczy „ciąg dąży do $g$" (intuicja pasa + zapis $\lim$);
• znać sztandarowe granice: $\frac{1}{n} \to 0$, $;q^n \to 0$ dla $|q| < 1$;
• sumować nieskończony ciąg geometryczny, i rozbroić paradoks Zenona.

📘 Wyjaśnienie

Wróć do ciągu $a_n = \frac{1}{n}$: jego wyrazy $1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots$ maleją i tłoczą się coraz ciaśniej przy zerze:

Żaden wyraz nie równa się zeru, a mimo to zero jest wyróżnione: to jedyna liczba, przy której wyrazy się gromadzą. Jak to powiedzieć ściśle? Przez grę w pas:

📐 DEFINICJA (intuicyjna): granica ciągu: liczba $g$ jest granicą ciągu $(a_n)$, jeśli każdy pas wokół $g$ (choćby najwęższy) łapie wszystkie wyrazy od pewnego numeru (poza pasem zostaje co najwyżej skończenie wiele wyrazów). Piszemy $\lim_{n \to \infty} a_n = g$ i mówimy: ciąg zbieżny do $g$.

Zwróć uwagę na kwantyfikatory (Dział 1 w wielkim finale): dla każdego pasa istnieje numer, od którego wszystko siedzi w środku. Przeciwnik wybiera pas wąski jak włos ($\pm 0{,}0001$), Ty wskazujesz próg ($n > 10,000$), i wygrywasz zawsze. Dlatego $\frac{1}{n} \to 0$. Tak samo $\frac{n+1}{n} = 1 + \frac{1}{n} \to 1$ (przeczucie z §11.1 miało rację). A ciąg $1, -1, 1, -1, \dots$ granicy nie ma: skacze między dwoma obozami i żaden wąski pas nie zatrzyma go w całości.

Druga sztandarowa granica należy do geometrii: dla $|q| < 1$ potęgi $q^n$ wygasają do zera ($0{,}7^{10} \approx 0{,}028$, $;0{,}7^{50} \approx 0{,}00000002$):

$$|q| < 1 ;\Longrightarrow; q^n \to 0.$$

I tu następuje najpiękniejszy krok działu. Wstaw tę granicę do wzoru na sumę z §11.4: $S_n = a_1 \frac{1 - q^n}{1 - q}$. Gdy $n$ rośnie, składnik $q^n$ znika, a suma stabilizuje się na konkretnej liczbie:

📐 FAKT (suma nieskończonego ciągu geometrycznego): dla $|q| < 1$: $;S = \frac{a_1}{1 - q}.$

Nieskończenie wiele składników: skończona suma. Sprawdź na torcie: $\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots = \frac{1/2}{1 - 1/2} = 1$; połowa, ćwiartka, ósemka… sklejają się w dokładnie cały tort, co widać i bez wzoru: po każdym kawałku zostaje połowa poprzedniej resztki, więc „braknie" Ci dowolnie mało.

Teraz Achilles. Niech biegnie $10$ razy szybciej, żółw startuje $100$ m przed nim. Etapy pościgu: $100$ m, potem $10$ m, potem $1$ m…; geometryczne z $q = \frac{1}{10}$. Łączny dystans: $\frac{100}{1 - 0{,}1} = 111{,}1\overline{1}$ m. Zenon miał rację, że etapów jest nieskończenie wiele; mylił się, sądząc, że to oznacza nieskończoną drogę (i nieskończony czas: czasy etapów też są geometryczne). Achilles dogania żółwia na $112$. metrze, a paradoks okazuje się nieumiejętnością zsumowania szeregu; wybaczalną, bo na wzór ludzkość czekała dwa tysiąclecia.

💭 Pomyśl: Ułamek okresowy $0{,}999\ldots$ (dziewiątki bez końca); mniejszy od $1$ czy równy $1$?

Sprawdź odpowiedź

Równy. $0{,}999\ldots = \frac{9}{10} + \frac{9}{100} + \dots = \frac{9/10}{1 - 1/10} = 1$. To nie przybliżenie, to ta sama liczba w dwóch zapisach (jak $\frac{1}{2}$ i $0{,}5$). Intuicja protestuje, rachunek jest bezlitosny; w razie sporu wygrywa rachunek (§1.5).

⚠️ Uwaga, pułapka

Suma nieskończona istnieje tylko dla $|q| < 1$: wzór $\frac{a_1}{1-q}$ użyty przy $q = 2$ dałby liczbę ujemną dla dodatnich składników, czyli jawny absurd (składniki rosną, suma ucieka w nieskończoność: ciąg sum jest rozbieżny). Przed użyciem wzoru zawsze jeden rzut oka na $q$. I subtelność językowa: „ciąg dąży do $0$" nie znaczy „któryś wyraz równa się $0$"; granica opisuje zmierzanie, nie osiągnięcie (asymptota z §9.1 była pierwszą jaskółką tej idei).

🕰️ Skąd to się wzięło

Paradoksy Zenona z Elei (V w. p.n.e.), czyli Achilles, strzała i dychotomia, dręczyły filozofów przez stulecia i były jednym z powodów, dla których Grecy omijali nieskończoność szerokim łukiem (aktualna nieskończoność u Arystotelesa to temat zakazany). Ścisłą definicję granicy (tę z pasem, w dorosłej wersji z $\varepsilon$) dali dopiero w XIX wieku Cauchy i Weierstrass, domykając stuletnią budowę fundamentów pod rachunek Newtona i Leibniza. W Części VI ta sama idea przeskoczy z ciągów na funkcje, i z granicy urodzi się pochodna.

📌 Najważniejsze w pigułce

• $\lim a_n = g$: każdy pas wokół $g$ łapie wszystkie wyrazy od pewnego numeru.
• Sztandary: $\frac{1}{n} \to 0$; $;q^n \to 0$ dla $|q| < 1$; ciąg skaczący granicy nie ma.
• $S = \frac{a_1}{1 - q}$ dla $|q| < 1$: nieskończenie wiele składników, skończona suma.
• Granica = zmierzanie, nie osiągnięcie; przy $|q| \ge 1$ wzoru nie wolno tknąć.

🎒 Zadania

1. Podaj granice (lub stwierdź ich brak): $a_n = \frac{5}{n}$; $;b_n = \frac{2n + 3}{n}$; $;c_n = (-1)^n$.
2. Oblicz sumę: $27 + 9 + 3 + 1 + \frac{1}{3} + \dots$
3. Zamień ułamek okresowy $0{,}272727\ldots$ na zwykły, sumując szereg geometryczny.
4. Piłka spada z $5$ m; po każdym odbiciu osiąga $60%$ poprzedniej wysokości. Jaką łączną drogę przebędzie (spadki + wzloty)?

Rozwiązanie krok po kroku

1. $\frac{5}{n} \to 0$; $;b_n = 2 + \frac{3}{n} \to 2$; $;c_n$ skacze $-1, 1, -1, \dots$: granicy brak.

2. $q = \frac{1}{3}$: $;S = \frac{27}{1 - \frac{1}{3}} = \frac{27}{\frac{2}{3}} = 40{,}5$.

3. $0{,}272727\ldots = \frac{27}{100} + \frac{27}{10000} + \dots$: geometryczny z $q = \frac{1}{100}$: $;S = \frac{27/100}{99/100} = \frac{27}{99} = \frac{3}{11}$. (Kontrola: $3 : 11 = 0{,}2727\ldots$ ✓.)

4. Spadki: $5 + 3 + 1{,}8 + \dots = \frac{5}{1 - 0{,}6} = 12{,}5$ m. Wzloty: to samo bez pierwszego spadku: $\frac{3}{0{,}4} = 7{,}5$ m. Razem $20$ m; nieskończenie wiele odbić, dwadzieścia metrów drogi.

🔍 Sprawdź, czy umiesz

• wyjaśnić grę w pas własnymi słowami i rozpoznać ciąg bez granicy;
• zsumować nieskończony szereg geometryczny (po sprawdzeniu $|q| < 1$) i użyć go w zadaniu „z życia".

---