Przeczytaj
Co granica ciągu ma wspólnego z otoczeniem punktu?
Zanim podamy formalną definicję granicy ciągu nieskończonego, przyjrzyjmy się następującemu przykładowi. Rozważmy ciąg określony wzorem . Podstawiając za kolejne liczby naturalne, otrzymujemy ciąg ,,,,...
Ciąg ten można przedstawić graficznie następująco
Zwróćmy uwagę, że każdy kolejny wyraz tego ciągu znajduje się coraz bliżej zera. Wynika to z faktu, że wyrazami tego ciągu są ułamki zwykłe, których liczniki są zawsze równe jeden, natomiast mianowniki to kolejne liczby naturalne. Zatem ciąg ten jest malejący i oczywiście wszystkie jego wyrazy są dodatnie. Gdybyśmy teraz rozważyli dowolne otoczenie zera, czyli przedział , to niezależnie od wyboru dodatniej liczby (w szczególności biorąc dowolnie małą dodatnią liczbę ) zawsze do takiego otoczenia należeć będą prawie wszystkie wyrazy tego ciągu (tzn. wszystkie poza skończoną ilością).
Patrząc na powyższy rysunek widzimy, że wybierając dodatnią liczbę dowolnie blisko zera, zawsze po jej prawej stronie będzie się znajdować skończona ilość wyrazów ciągu. Zatem na lewo znajdować się będą prawie wszystkie wyrazy tego ciągu.
Powyższa obserwacja pozwala sformułować intuicyjną definicję granicy ciągu. Mianowicie jest to taka liczba rzeczywista , że w dowolnym jej otoczeniuotoczeniu znajdują się prawie wszystkie wyrazy tego ciągu. Powyższą definicję można zapisać w sposób formalny następująco.
Niech dany będzie ciąg nieskończony . Powiemy, że liczba jest granicą tego ciągu, jeśli dla dowolnej liczby dodatniej istnieje liczba naturalna taka, że dla dowolnej liczby naturalnej zachodzi nierówność
Korzystając z definicji wartości bezwzględnej ostatnią nierówność można zapisać następująco
czyli
Ostatnia nierówność oznacza właśnie, że prawie wszystkie wyrazy ciąguprawie wszystkie wyrazy ciągu (dokładnie wszystkie począwszy od wyrazu o numerze ) należą do przedziału , czyli do otoczeniaotoczenia liczby o promieniu , przy czym liczbę dodatnią można wybrać dowolnie małą.
Nie każdy ciąg nieskończony posiada granicę. Przykłady takich ciągów podane będą w kolejnych tematach.
Jeśli ciąg posiada granicę równą liczbie , to fakt ten zapisujemy następująco
Powróćmy do początkowego przykładu ciągu . Z przeprowadzonych rozważań wynika, że ciąg ten posiada granicę i jest ona równa . Zatem zgodnie z definicją dla każdej dodatniej liczby istnieje liczba naturalna taka, że dla dowolnej liczby naturalnej zachodzi nierówność . Podstawiając wzór ciągu i korzystając z faktu, że wszystkie jego wyrazy są dodatnie, ostatnia nierówność jest równoważna nierówności . Jest to nierówność prawdziwa, gdyż wybierając dowolną dodatnią liczbę (w szczególności dowolnie małą) zawsze znajdziemy na tyle dużą liczbę naturalną , aby . Wówczas nierówność ta będzie też spełniona dla każdej liczby naturalnej . Zatem istotnie prawdą jest, że
Słownik
wszystkie wyrazy ciągu poza skończoną ich ilością
Otoczeniem punktu o promieniu nazywamy zbiór