Wprowadzenie do pojęcia granicy

Aby lepiej zrozumieć, czym są granice, rozważmy najpierw pewien przykład. Na początku przyjrzyjmy się funkcji $f(x)=x+2$f, left parenthesis, x, right parenthesis, equals, x, plus, 2.

Granica $f$f w punkcie $x=3$x, equals, 3 to wartość, do której zbliża się $f$f wraz z przybliżaniem się do $x=3$x, equals, 3. Graficznie jest to wartość $y$y, do której się zbliżamy przyglądając się $f$f i podchodząc coraz bardziej do punktu na wykresie, dla którego $x=3$x, equals, 3.

Na przykład, gdy startujemy z punktu $(1,3)$left parenthesis, 1, comma, 3, right parenthesis i przemieszczamy się na wykresie, aż dotrzemy bardzo blisko $x=3$x, equals, 3, wówczas wartość $y$y (tj. wartość funkcji) staje się bardzo bliska $5$5.

Podobnie gdy zaczynamy w punkcie $(5,7)$left parenthesis, 5, comma, 7, right parenthesis i poruszamy się w lewo, aż dotrzemy naprawdę blisko $x=3$x, equals, 3, wartość $y$y znowu będzie niezwykle zbliżona do $5$5.

Z tego powodu mówimy, że granica $f$f w punkcie $x=3$x, equals, 3 wynosi $5$5.

Ktoś mógłby się zapytać, jaka jest różnica między granicą $f$f w punkcie $x=3$x, equals, 3 i wartością $f$f w punkcie $x=3$x, equals, 3, tj. $f(3)$f, left parenthesis, 3, right parenthesis.

Owszem, granica $f(x)=x+2$f, left parenthesis, x, right parenthesis, equals, x, plus, 2 w punkcie $x=3$x, equals, 3 wynosi $f(3)$f, left parenthesis, 3, right parenthesis, ale nie zawsze tak będzie. Aby to zrozumieć, przyjrzyjmy się funkcji $g$g. Jest to niemalże ta sama funkcja co $f$f, różni się ona jednak tym, że jest nieokreślona w punkcie $x=3$x, equals, 3.

Podobnie jak dla $f$f, granica $g$g w punkcie $x=3$x, equals, 3 wynosi $5$5. Jest tak dlatego, że nadal możemy podchodzić bardzo blisko $x=3$x, equals, 3, a wartości funkcji będą zbliżać się bardzo blisko $5$5.

Tak więc granica $g$g w punkcie $x=3$x, equals, 3 wynosi $5$5, ale wartość $g$g w punkcie $x=3$x, equals, 3 jest nieokreślona. Nie są więc one tym samym!

Na tym właśnie polega cały urok granic: nie zależą one od samej rzeczywistej wartości funkcji w punkcie, w którym wyznaczamy granicę. Opisują one, jak funkcja zachowuje się zbliżając się do granicy.

Dysponujemy też specjalnym oznaczeniem, które pozwala nam mówić o granicach. A oto jak zapiszemy granicę, do której zbiega $f$f, gdy $x$x zbliża się do $3$3:

Symbol $\displaystyle\lim$limit oznacza, że bierzemy granicę czegoś.

To, co znajduje się po prawej stronie $\displaystyle\lim$limit to wyrażenie, którego granicę bierzemy. W naszym wypadku jest to funkcja $f$f.

Wyrażenie $x\to 3$x, \to, 3 umieszczane pod $\displaystyle\lim$limit oznacza, że bierzemy granicę $f$f przy $x$x dążącym do $3$3.

Co należy rozumieć przez "nieskończenie blisko"? Przyjrzyjmy się temu, jak zmieniają się wartości funkcji $f(x)=x+2$f, left parenthesis, x, right parenthesis, equals, x, plus, 2, gdy argument $x$x dąży do $3$3 (nie zapominaj, że przy badaniu granicy funkcji nie obchodzi nas sama wartość $f(3)$f, left parenthesis, 3, right parenthesis).

Widzimy więc, że, gdy argument $x$x jest mniejszy niż $3$3, ale zbliża się coraz bardziej do tej wartości, wartości funkcji $f$f stają się coraz bardziej bliskie $5$5.

Możemy się również przekonać, że, gdy argument $x$x jest większy niż $3$3, ale zbliża się coraz bardziej do tej wartości, wartości funkcji $f$f stają się coraz bardziej bliskie $5$5.

Zwróćmy uwagę na to, że spośród rozpatrywanych tu punktów, wartość funkcji jest najbliższa $5$5 dla $f(2{,}999)=4{,}999$f, left parenthesis, 2, comma, 999, right parenthesis, equals, 4, comma, 999 oraz $f(3{,}001)=5{,}001$f, left parenthesis, 3, comma, 001, right parenthesis, equals, 5, comma, 001 i różni się od tej granicy o $0{,}001$0, comma, 001.

Jeśli chcemy, możemy podejść jeszcze bliżej. Przyjmijmy na przykład, że chcemy osiągnąć wartość oddaloną od $5$5 o $0{,}00001$0, comma, 00001. Możemy wówczas wybrać argument $x=3{,}00001$x, equals, 3, comma, 00001, dla którego otrzymamy $f(3{,}00001)=5{,}00001$f, left parenthesis, 3, comma, 00001, right parenthesis, equals, 5, comma, 00001.

Możemy tak kontynuować w nieskończoność. Zawsze da się jeszcze bardziej zbliżyć do wartości $5$5. Właśnie to mieliśmy na myśli mówiąc "nieskończenie blisko". Ponieważ tego "nieskończenie blisko" nie da się zrealizować w praktyce, $\displaystyle\lim_{x\to 3}f(x)=5$limit, start subscript, x, \to, 3, end subscript, f, left parenthesis, x, right parenthesis, equals, 5 oznacza w istocie tyle, że niezależnie od tego, jak blisko chcemy podejść do wartości $5$5, zawsze znajdzie się taki argument $x$x bliski $3$3, dla którego da się to osiągnąć.

Jeśli nadal trudno ci to zrozumieć, pomocna może być następująca uwaga. Skąd wiemy, że istnieje nieskończenie wiele liczb naturalnych? Nie jest przecież tak, że policzyliśmy je wszystkie i doszliśmy w ten sposób do nieskończoności. Mówimy, że jest ich nieskończenie wiele, ponieważ dla każdej liczby naturalnej istnieje inna liczba naturalna, która jest jeszcze większa niż ona. Zawsze znajdziemy jeszcze jedną, i jeszcze jedną...

W wypadku granicy chcemy osiągnąć nie to, co nieskończenie duże, a nieskończenie bliskie. Gdy stwierdzamy $\displaystyle\lim_{x\to 3}f(x)=5$limit, start subscript, x, \to, 3, end subscript, f, left parenthesis, x, right parenthesis, equals, 5, mamy na myśli, że zawsze można podejść jeszcze bliżej $5$5.

Zbadajmy granicę $\displaystyle\lim_{x\to 2}x^2$limit, start subscript, x, \to, 2, end subscript, x, squared, czyli granicę funkcji $x^2$x, squared dla $x$x dążącego do $2$2.

Możemy się teraz przekonać, że gdy zbiegamy na wykresie do punktu o odciętej $x=2$x, equals, 2, wartości $y$y zbliżają się coraz bardziej do $4$4.

Możemy też przyjrzeć się tabelkom z wartościami funkcji:

Możemy też się przekonać, w jaki sposób da się zbliżyć dowolnie blisko wartości $4$4. Przypuśćmy, że chcemy osiągnąć $4$4 z dokładnością $0{,}001$0, comma, 001. Jaką wartość argumentu $x$x bliską $2$2 należy wówczas obrać?

Spróbujmy najpierw z $x=2{,}001$x, equals, 2, comma, 001:

Jesteśmy jednak dalej od wartości $4$4 niż $0{,}001$0, comma, 001. Nic nie szkodzi, przyjmijmy teraz $x=2{,}0001$x, equals, 2, comma, 0001:

Ta wartość jest już dostatecznie bliska! Wypróbowując argumenty $x$x coraz bliższe $x=2$x, equals, 2 możemy podejść jeszcze bliżej wartości $4$4.

Jako wniosek otrzymujemy więc $\displaystyle\lim_{x\to 2}x^2=4$limit, start subscript, x, \to, 2, end subscript, x, squared, equals, 4.

Wróćmy do funkcji $f(x)=x+2$f, left parenthesis, x, right parenthesis, equals, x, plus, 2 oraz $\displaystyle\lim_{x\to 3}f(x)$limit, start subscript, x, \to, 3, end subscript, f, left parenthesis, x, right parenthesis. Możemy się przekonać na własne oczy, że wartości funkcji zbiegają do $5$5 zarówno wtedy, gdy argumenty $x$x rosną do $3$3 (powiemy wtedy, że $f$f zbiega z lewej strony / ma granicę lewostronną), jak i wówczas gdy maleją one do $3$3 ($f$f zbiega z prawej strony / ma granicę prawostronną).

A teraz rozważmy na przykład funkcję $h$h. To, do jakiej wartości $y$y zbiega funkcja, zależy od tego, czy zbiegamy z argumentem $x$x do $x=3$x, equals, 3 z lewej czy też z prawej strony.

Gdy zbiegamy do $x=3$x, equals, 3 z lewej strony, funkcja ta zbiega do $4$4. Gdy zaś zbiegamy do $x=3$x, equals, 3 z prawej strony, zbiega ona do $6$6.

Gdy granice jednostronne nie są sobie równe, mówimy, że granica nie istnieje.