Analiza matematyczna 1/Wykład 8: Granica i ciągłość funkcji

Granica i ciągłość funkcji

W tym wykładzie omawiamy pojęcie granicy i ciągłości funkcji prowadzącej z $\mathbb{ℝ}$ w $\mathbb{ℝ}$. Definiujemy granice właściwe, niewłaściwe i jednostronne oraz pojęcie ciągłości funkcji w punkcie. Podajemy twierdzenia dotyczące granic funkcji. Następnie charakteryzujemy zbiory zwarte w $\mathbb{ℝ}$ i dowodzimy, że funkcja ciągła na zbiorze zwartym osiąga swoje kresy. Na zakończenie wykładu omawiamy tak zwaną własność Darboux.

Granica funkcji

W tym wykładzie będziemy rozważać funkcje prowadzące z $\mathbb{ℝ}$ w $\mathbb{ℝ}$. Zdefiniujemy pojęcie granicy funkcji w punkcie. Ponieważ o granicy funkcji w punkcie można mówić tylko w punktach skupienia dziedziny (punkt ten nie musi należeć do dziedziny), wykażemy teraz twierdzenie, które podaje warunek równoważny definicji 3.11. Przypomnijmy, że w $\mathbb{ℝ}$ z metryką euklidesową, kula $K(x_0,r)$ jest przedziałem $(x_0-r,x_0+r)$.

Twierdzenie 8.1.

Niech $A\subseteq \mathbb{ℝ},x_0\in \mathbb{ℝ}$.
Punkt $x_0$ jest punktem skupienia zbioru $A$ wtedy i tylko wtedy, gdy istnieje ciąg $\{x_n\}\subseteq Aminus\{x_0\}$ taki, że

$\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0$

Dowód 8.1. [nadobowiązkowy]

"$⟹$"
Niech $x_0$ będzie punktem skupienia zbioru $A$. Dla dowolnego $n\in \mathbb{\mathbb{N}}$ rozważmy kulę $(x_0-\frac{1}{n},x_0+\frac{1}{n})$. Z definicji punktu skupienia wiemy, że istnieje punkt $x_n\in A\cap (x_0-\frac{1}{n},x_0+\frac{1}{n})minus\{x_0\}$ dla $n\in \mathbb{\mathbb{N}}$. W ten sposób zdefiniowaliśmy ciąg $\{x_n\}\subseteq A$. Zauważmy, że $\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0$.

"$⟸$"
Przypuśćmy, że $\{x_n\}\subseteq Aminus\{x_0\}$ jest ciągiem takim, że $\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0$. Należy pokazać, że $x_0$ jest punktem skupienia zbioru $A$. W tym celu weźmy dowolną kulę $(x_0-r,x_0+r)\subseteq A$. Z definicji granicy ciągu wiemy, że w tej kuli leżą wszystkie wyrazy ciągu począwszy od pewnego miejsca, czyli

$\mathrm{\exists }N\in \mathbb{\mathbb{N}}\mathrm{\forall }n\ge N:x_n\in (x_0-r,x_0+r)$

To oznacza, że w dowolnej kuli o środku w $x_0$ są wyrazy ciągu $\{x_n\}$ (czyli elementy zbioru $Aminus\{x_0\}$), czyli $x_0$ jest punktem skupienia zbioru $A$.

Wprowadzimy teraz pojęcie granicy funkcji $f:\mathbb{ℝ}⟶\mathbb{ℝ}$ w punkcie $x_0\in \mathbb{ℝ}$ Można to zrobić na dwa równoważne sposoby.

Augustin Louis Cauchy (1789-1857)
Zobacz biografię

Definicja 8.2. [Cauchy'ego granicy funkcji w punkcie]

Niech $A$ będzie podzbiorem $\mathbb{ℝ}$ Niech $f:A⟶\mathbb{ℝ}$ będzie funkcją oraz niech $x_0\in \mathbb{ℝ}$ będzie punktem skupienia zbioru $A$.
Mówimy, że funkcja $f$ ma granicę (właściwą) $g\in \mathbb{ℝ}$ w punkcie $x_0$ jeśli

$\mathrm{\forall }\epsilon >0\mathrm{\exists }\delta >0\mathrm{\forall }x\in Aminus\{x_0\}:M$ $[|x_0-x|<\delta ⟹|f(x)-g|<\epsilon ]$

Piszemy wówczas

$\underset{x\to x_0}{\lim }f(x)=g\text{lub}f(x)\underset{x\to x_0}{\overset{}{\to }}g$

Definicja 8.3. [Heinego granicy funkcji w punkcie]

Niech $A$ będzie podzbiorem $\mathbb{ℝ}$ Niech $f:A⟶\mathbb{ℝ}$ będzie funkcją oraz niech $x_0\in \mathbb{ℝ}$ będzie punktem skupienia zbioru $A$
Mówimy, że funkcja $f$ ma granicę (właściwą) $g\in \mathbb{ℝ}$ w punkcie $x_0\in \mathbb{ℝ}$ jeśli

$\mathrm{\forall }\{x_n\}\subseteq Aminus\{x_0\}:[\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0⟹\lim {}_{n\to +\mathrm{\infty }}f(x_n)=g]$

Piszemy wówczas

$\underset{x\to x_0}{\lim }f(x)=g\text{lub}f(x)\underset{x\to x_0}{\overset{}{\to }}g$

Plik:Am1.M08.W.R01.svg Granica funkcji w punkcie

Plik:Am1.M08.W.R02.mp4 Granica funkcji w punkcie

Wykażemy teraz, że dwie powyższe definicje są równoważne.

Twierdzenie 8.4. [Równoważność definicji Cauchy'ego i Heinego]

Definicje Cauchy'ego i Heinego granicy funkcji w punkcie są równoważne.

Dowód 8.4. [nadobowiązkowy]

Niech $A$ będzie podzbiorem $\mathbb{ℝ}$. Niech $f:A⟶\mathbb{ℝ}$ będzie funkcją oraz niech $x_0\in \mathbb{ℝ}$ będzie punktem skupienia zbioru $A$.

(1) Załóżmy, że funkcja $f$ ma granicę $g\in \mathbb{ℝ}$ w punkcie $x_0$ w sensie definicji Cauchy'ego. Pokażemy, że $g$ jest także granicą funkcji $f$ w punkcie $x_0$ w sensie definicji Heinego. W tym celu niech $\{x_n\}\subseteq Aminus\{x_0\}$ będzie ciągiem takim, że $\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0$. Należy pokazać, że $\lim {}_{n\to +\mathrm{\infty }}f(x_n)=g$.
Ustalmy dowolne $\epsilon >0$. Z definicji Cauchy'ego granicy funkcji w punkcie wiemy, że

$\mathrm{\exists }\delta >0\mathrm{\forall }x\in A\cap ((x_0-\delta ,x_0+\delta )minus\{x_0\}):f(x)\in (g-\epsilon ,g+\epsilon )$

Ponieważ $\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0$, więc z definicji granicy, od pewnego miejsca wszystkie wyrazy ciągu $\{x_n\}$ są w kuli $(x_0-\delta ,x_0+\delta )$, czyli

$\mathrm{\exists }N\in \mathbb{\mathbb{N}}\mathrm{\forall }n\ge N:|x_n-x_0|<\delta$

Zatem z definicji Cauchy'ego wynika, że

$\mathrm{\forall }n\ge N:|f(x_n)-g|<\epsilon$

To oznacza, że $\lim {}_{n\to +\mathrm{\infty }}f(x_n)=g$, czyli funkcja $f$ ma granicę $g$ w punkcie $x_0$ w sensie definicji Heinego.

(2) Załóżmy, że funkcja $f$ ma granicę $g\in \mathbb{ℝ}$ w punkcie $x_0$ w sensie definicji Heinego. Pokażemy, że $g$ jest także granicą funkcji $f$ w punkcie $x_0$ w sensie definicji Cauchy'ego. Dla dowodu niewprost przypuśćmy, że granica w sensie Cauchy'ego nie istnieje, to znaczy

$\mathrm{\exists }\epsilon >0\mathrm{\forall }\delta >0\mathrm{\exists }x\in A:0<|x_0-x|<\delta$    oraz    $|f(x)-g|\ge \epsilon$,

w szczególności biorąc $\delta =\frac{1}{n}$, dla powyższego $\epsilon >0$, mamy

$\mathrm{\forall }n\in \mathbb{\mathbb{N}}\mathrm{\exists }{x}_n\in A:0<|x_0-x_n|<\frac{1}{n}$    oraz    $||f(x_n)-g|\ge \epsilon$,

Łatwo zauważyć, że dla skonstruowanego ciągu $\{x_n\}$ mamy $\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0$ oraz nie jest prawdą, że $\lim {}_{n\to +\mathrm{\infty }}f(x_n)=g$, co jest sprzeczne z faktem, że $g$ jest granicą funkcji $f$ w punkcie $x_0$ w sensie definicji Heinego.

Ciągłość funkcji

Kolejne definicje które będziemy wprowadzać, będą miały swoje wersje: Cauchy'ego i Heinego. W każdym przypadku będą one równoważne. Nie będziemy już jednak dowodzić tych równoważności (dowody są podobne do dowodu przedstawionego powyżej).

Zdefiniujemy teraz pojęcie ciągłości funkcji w punkcie.

Definicja 8.5. [Ciągłość funkcji w punkcie]

Niech $A\subseteq \mathbb{ℝ}$, niech $f:A⟶\mathbb{ℝ}$ będzie funkcją oraz niech $x_0\in A$ ($x_0$ nie musi być punktem skupienia zbioru $A$). Mówimy, że funkcja $f$ jest ciągła w punkcie $x_0\in \mathbb{ℝ}$, jeśli

$\begin{array}{rlr}\text{<mo stretchy="false" fromhbox="1">(</mo>}Cauchy)& & \mathrm{\forall }\epsilon >0\mathrm{\exists }\delta >0\mathrm{\forall }x\in A:[|x-x_0|<\delta ⟹|f(x)-f(x_0)|<\epsilon ].\\ \text{<mo stretchy="false" fromhbox="1">(</mo>}Heine)& & \mathrm{\forall }\{x_n\}\subseteq A:[\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0⟹\lim {}_{n\to +\mathrm{\infty }}f(x_n)=f(x_0)].\end{array}$

Mówimy, że funkcja $f$ jest ciągła, jeśli jest ciągła w każdym punkcie swojej dziedziny.

Plik:Am1.M08.W.R03a.svg Funkcja ciągła w punkcie

Plik:Am1.M08.W.R03b.mp4 Funkcja ciągła w punkcie

Zauważmy, że można mówić o ciągłości funkcji tylko w punktach jej dziedziny. Z powyższej definicji wynika, że funkcja jest ciągła w punkcie, jeśli ma w tym punkcie granicę równą wartości.

Plik:Am1.M08.W.R04.svg

Funkcja ciągła

Uwaga 8.6.

Funkcja jest zawsze ciągła w punkcie izolowanym dziedziny.

Kolejne twierdzenie mówi, że ciągłość zachowuje się przy składaniu funkcji. Twierdzenie to jest natychmiastową konsekwencją definicji Heinego ciągłości funkcji w punkcie.

Twierdzenie 8.7. [Ciągłość złożenia]

Jeśli $A,B\subseteq \mathbb{ℝ}$ oraz $f:A⟶B$ i $g:B⟶\mathbb{ℝ}$ są funkcjami, to
(1) jeśli $f$ jest ciągła w $x_0\in A$ oraz $g$ jest ciągła w $y_0=f(x_0)\in B$, to $g\circ f$ jest ciągła w $x_0$;
(2) jeśli $f$ i $g$ są funkcjami ciągłymi, to $g\circ f$ jest także funkcją ciągła.

Dla funkcji o wartościach rzeczywistych możemy wykonywać działania na funkcjach (dodawanie, odejmowanie, mnożenie, dzielenie, potęgowanie). Naturalnym jest zatem pytanie o zachowanie się granic funkcji w punkcie po wykonaniu tych działań na funkcjach. Dowód poniższego twierdzenia jest prostą konsekwencją definicji Heinego granicy funkcji w punkcie oraz twierdzenia o arytmetyce granic (patrz twierdzenie 4.9.). Dowód pomijamy.

Twierdzenie 8.8. [O "arytmetyce" granic funkcji]

Jeśli $A\subseteq \mathbb{ℝ},x_0\in \mathbb{ℝ}$ jest punktem skupienia zbioru $A$,
$f_1,f_2:A⟶\mathbb{ℝ}$ są funkcjami, $\underset{x\to x_0}{\lim }{f}_1(x)=g_1$ oraz $\underset{x\to x_0}{\lim }{f}_2(x)=g_2$, to
(1) $\underset{x\to x_0}{\lim }|f_1|(x)=|g_1|$;
(2) $\underset{x\to x_0}{\lim }(f_1\pm f_2)(x)=g_1\pm g_2$;
(3) $\underset{x\to x_0}{\lim }(f_1{f}_2)(x)=g_1{g}_2$;
(4) $\underset{x\to x_0}{\lim }\left(\frac{f_1}{f_2}\right)(x)=\frac{g_1}{g_2}$, o ile $g_2\ne 0$ oraz dla $x\in A$ mamy $f_2(x)\ne 0$;
(5) $\underset{x\to x_0}{\lim }[f_1(x){]}^{f_2(x)}=g_1^{g_2}$, o ile wyrażenia po obu stronach mają sens.

Natychmiastową konsekwencją powyższego twierdzenia jest kolejne twierdzenie mówiące, że ciągłość funkcji zachowuje się przy operacjach: wartości bezwzględnej, sumy, różnicy, iloczynu i ilorazu. Dowód pomijamy.

Twierdzenie 8.9.

Jeśli $A\subseteq \mathbb{ℝ},x_0\in A$ oraz $f_1,f_2:A⟶\mathbb{ℝ}$ są funkcjami ciągłymi w punkcie $x_0$, to
(1) $|f_1|$ jest funkcją ciągłą w $x_0$;
(2) $f_1\pm f_2$ jest funkcją ciągłą w $x_0$;
(3) $f_1\cdot f_2$ jest funkcją ciągłą w $x_0$;
(4) $\frac{f_1}{f_2}$ jest funkcją ciągłą w $x_0$ (o ile $f_2(x_0)\ne 0$);

Granice niewłaściwe

Podobnie jak dla ciągów tak i dla funkcji możemy mówić o granicy niewłaściwej. Będziemy rozważać funkcje, których wartości zmierzają do $+\mathrm{\infty }$ (lub $-\mathrm{\infty }$), gdy argumenty zmierzają do pewnego punktu skupienia dziedziny. Wprowadzimy następujące definicje.

Definicja 8.10. [Granica niewłaściwa funkcji]

Niech $A\subseteq \mathbb{ℝ}$ oraz $x_0\in \mathbb{ℝ}$ punktem skupienia zbioru $A$.
Mówimy, że $f$ ma granicę niewłaściwą (w sensie Cauchy'ego) $+\mathrm{\infty }$ w punkcie $x_0$, jeśli

$\mathrm{\forall }M\in \mathbb{ℝ}\mathrm{\exists }\delta >0\mathrm{\forall }x\in Aminus\{x_0\}:[|x-x_0|<\delta ⟹f(x)>M.]$

Mówimy, że $f$ ma granicę niewłaściwą (w sensie Cauchy'ego) $-\mathrm{\infty }$ w punkcie $x_0$, jeśli

$\mathrm{\forall }M\in \mathbb{ℝ}\mathrm{\exists }\delta >0\mathrm{\forall }x\in Aminus\{x_0\}:[|x-x_0|<\delta ⟹f(x)<M.]$

<flash>file=Am1.M08.W.R05.swf|width=375|height=375</flash> <div.thumbcaption>Granica niewłaściw $+\mathrm{\infty }$ w punkcie $x_0$

<flash>file=Am1.M08.W.R06.swf|width=375|height=375</flash> <div.thumbcaption>Granica niewłaściw $-\mathrm{\infty }$ w punkcie $x_0$

Mówimy, że $f$ ma granicę niewłaściwą w (sensie Heinego) $+\mathrm{\infty }$ w punkcie $x_0$, jeśli

$\mathrm{\forall }\{x_n\}\subseteq Aminus\{x_0\}:[\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0⟹\lim {}_{n\to +\mathrm{\infty }}f(x_n)=+\mathrm{\infty }]$

Mówimy, że $f$ ma granicę niewłaściwą (w sensie Heinego) $-\mathrm{\infty }$ punkcie $x_0$, jeśli

$\mathrm{\forall }\{x_n\}\subseteq Aminus\{x_0\}:[\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0⟹\lim {}_{n\to +\mathrm{\infty }}f(x_n)=-\mathrm{\infty }]$

<flashwrap>file=Am1.M08.W.R07.swf|size=small</flashwrap> <div.thumbcaption>Granica niewłaściw $+\mathrm{\infty }$ w punkcie $x_0$

<flashwrap>file=Am1.M08.W.R08.swf|size=small</flashwrap> <div.thumbcaption>Granica niewłaściw $-\mathrm{\infty }$ w punkcie $x_0$

W przypadku funkcji prowadzącej z podzbioru $\mathbb{ℝ}$ w $\mathbb{ℝ}$ oprócz wcześniej zdefiniowanych granic funkcji w punkcie oraz granic niewłaściwych można także rozważać tak zwane granice w "punktach niewłaściwych", to znaczy granice w $+\mathrm{\infty }$ lub $-\mathrm{\infty }$ (o ile $+\mathrm{\infty }$ lub $-\mathrm{\infty }$ są punktami skupienia dziedziny).

Podobnie jak na początku wykładu tak i tutaj wszystkie rodzaje definicji granic mają swoje odpowiedniki Cauchy'ego i Heinego. Podobnie jak miało to miejsce poprzednio obie wersje definicji są sobie równoważne.

Definicja 8.11. [Granica funkcji w punkcie niewłaściwym]

Niech $g\in \mathbb{ℝ}$ oraz niech $f:\mathbb{ℝ}⟶\mathbb{ℝ}$ będzie funkcją.

$\begin{array}{rlclcl}\underset{x\to +\mathrm{\infty }}{\lim }& f(x)& =& g& \stackrel{Cauchy}{⟺}& \mathrm{\forall }\epsilon >0\mathrm{\exists }M\in \mathbb{ℝ}\mathrm{\forall }x\in \mathbb{ℝ}:[x\ge M⟹|f(x)-g|<\epsilon ],\\ & & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq \mathbb{ℝ}:[x_n⟶+\mathrm{\infty }⟹f(x_n)⟶g],\\ \underset{x\to -\mathrm{\infty }}{\lim }& f(x)& =& g& \stackrel{Cauchy}{⟺}& \mathrm{\forall }\epsilon >0\mathrm{\exists }M\in \mathbb{ℝ}\mathrm{\forall }x\in \mathbb{ℝ}:[x\le M⟹|f(x)-g|<\epsilon ],\\ & & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq \mathbb{ℝ}:[x_n⟶-\mathrm{\infty }⟹f(x_n)⟶g],\end{array}$

<flashwrap>file=Am1.M08.W.R09.swf|size=small</flashwrap> <div.thumbcaption>Granica funkcji w "punkcie niewłaściwym" $+\mathrm{\infty }$

<flashwrap>file=Am1.M08.W.R10.swf|size=small</flashwrap> <div.thumbcaption>Granica funkcji w "punkcie niewłaściwym" $+\mathrm{\infty }$

<flashwrap>file=Am1.M08.W.R11.swf|size=small</flashwrap> <div.thumbcaption>Granica funkcji w "punkcie niewłaściwym" $-\mathrm{\infty }$

<flashwrap>file=Am1.M08.W.R12.swf|size=small</flashwrap> <div.thumbcaption>Granica funkcji w "punkcie niewłaściwym" $-\mathrm{\infty }$

W końcu możemy także mówić o granicach niewłaściwych w punktach niewłaściwych. Odpowiednie definicje Cauchy'ego i Heinego (równoważne sobie) podane są poniżej.

Definicja 8.12. [Granica niewłaściwa funkcji w punkcie niewłaściwym]

Niech $f:\mathbb{ℝ}⟶\mathbb{ℝ}$ będzie funkcją.

$\begin{array}{rlclcl}\underset{x\to +\mathrm{\infty }}{\lim }& f(x)& =& +\mathrm{\infty }& \stackrel{Cauchy}{⟺}& \mathrm{\forall }N\in \mathbb{ℝ}\mathrm{\exists }M\in \mathbb{ℝ}\mathrm{\forall }x\in \mathbb{ℝ}:[x\ge M⟹f(x)\ge N]\\ & & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq \mathbb{ℝ}:[x_n⟶+\mathrm{\infty }⟹f(x_n)⟶+\mathrm{\infty }],\\ \underset{x\to +\mathrm{\infty }}{\lim }& f(x)& =& -\mathrm{\infty }& \stackrel{Cauchy}{⟺}& \mathrm{\forall }N\in \mathbb{ℝ}\mathrm{\exists }M\in \mathbb{ℝ}\mathrm{\forall }x\in \mathbb{ℝ}:[x\ge M⟹f(x)\le N]\\ & & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq \mathbb{ℝ}:[x_n⟶+\mathrm{\infty }⟹f(x_n)⟶-\mathrm{\infty }],\\ \underset{x\to -\mathrm{\infty }}{\lim }& f(x)& =& +\mathrm{\infty }& \stackrel{Cauchy}{⟺}& \mathrm{\forall }N\in \mathbb{ℝ}\mathrm{\exists }M\in \mathbb{ℝ}\mathrm{\forall }x\in \mathbb{ℝ}:[x\le M⟹f(x)\ge N]\\ & & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq \mathbb{ℝ}:[x_n⟶-\mathrm{\infty }⟹f(x_n)⟶+\mathrm{\infty }],\\ \underset{x\to -\mathrm{\infty }}{\lim }& f(x)& =& -\mathrm{\infty }& \stackrel{Cauchy}{⟺}& \mathrm{\forall }N\in \mathbb{ℝ}\mathrm{\exists }M\in \mathbb{ℝ}\mathrm{\forall }x\in \mathbb{ℝ}:[x\le M⟹f(x)\le N]\\ & & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq \mathbb{ℝ}:[x_n⟶-\mathrm{\infty }⟹f(x_n)⟶-\mathrm{\infty }]\end{array}$

<flashwrap>file=Am1.M08.W.R13.swf|size=small</flashwrap> <div.thumbcaption>Granica niewłaściw $+\mathrm{\infty }$ w "punkcie niewłaściwym" $+\mathrm{\infty }$

<flashwrap>file=Am1.M08.W.R14.swf|size=small</flashwrap> <div.thumbcaption>Granica niewłaściw $+\mathrm{\infty }$ w "punkcie niewłaściwym" $+\mathrm{\infty }$

Granice jednostronne funkcji

Dzięki liniowemu porządkowi jaki mamy w $\mathbb{ℝ}$, dla funkcji prowadzących z podzbiorów $\mathbb{ℝ}$ możemy mówić o tak zwanych granicach jednostronnych w punkcie $x_0$. Mamy z nimi do czynienia w przypadku, gdy w definicji granicy ograniczymy się do ciągów leżących po jednej stronie punktu $x_0$ (w przypadku definicji Heinego) lub do części przedziału leżącej po jednej stronie punktu $x_0$ (w przypadku definicji Cauchy'ego).

Definicja 8.13. [Granice jednostronne funkcji]

Niech $A\subseteq \mathbb{ℝ}$, niech $x_0$ będzie punktem skupienia zbioru $A\cap (x_0,+\mathrm{\infty })$ oraz niech $f:A⟶\mathbb{ℝ}$ będzie funkcją. Granicę prawostronną funkcji $f$ w punkcie $x_0$ oznaczamy $\underset{x\to x_0^{+}}{\lim }f(x)$ lub $f(x_0^{+})$ i definiujemy jako

$\begin{array}{rclcl}\underset{x\to x_0^{+}}{\lim }f(x)& =& g& \stackrel{Cauchy}{⟺}& \mathrm{\forall }\epsilon >0\mathrm{\exists }\delta >0\mathrm{\forall }x\in A\cap (x_0,+\mathrm{\infty }):\left[\right|x-x_0|\le \delta ⟹|f(x)-g|<\epsilon ]\\ & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq A\cap (x_0,+\mathrm{\infty }):[x_n⟶x_0⟹f(x_n)⟶g].\end{array}$

Niech $A\subseteq \mathbb{ℝ}$, niech $x_0$ będzie punktem skupienia zbioru $A\cap (-\mathrm{\infty },x_0)$ oraz niech $f:A⟶\mathbb{ℝ}$ będzie funkcją. Granicę lewostronną funkcji $f$ w punkcie $x_0$ oznaczamy $\underset{x\to x_0^{-}}{\lim }f(x)$ lub $f(x_0^{-})$ i definiujemy jako

$\begin{array}{rclcl}\underset{x\to x_0^{-}}{\lim }f(x)& =& g& \stackrel{Cauchy}{⟺}& \mathrm{\forall }\epsilon >0\mathrm{\exists }\delta >0\mathrm{\forall }x\in A\cap (-\mathrm{\infty },x_0):\left[\right|x-x_0|\le \delta ⟹|f(x)-g|<\epsilon ]\\ & & & \stackrel{Heine}{⟺}& \mathrm{\forall }\{x_n\}\subseteq A\cap (-\mathrm{\infty },x_0):[x_n⟶x_0⟹f(x_n)⟶g].\end{array}$

Jako ćwiczenie pozostawiamy samodzielnie zdefiniowanie granic jednostronnych niewłaściwych funkcji w punkcie.

Uwaga 8.14.

Łatwo zaobserwować, że granica funkcji $f$ w punkcie $x_0$ istnieje wtedy i tylko wtedy, gdy istnieją granice jednostronne w tym punkcie i są sobie równe.

Dla funkcji określonej na podzbiorze liczb rzeczywistych możemy też mówić o ciągłości jednostronnej.

Definicja 8.15.

Niech $A\subseteq \mathbb{ℝ}$ oraz niech $f:A⟶\mathbb{ℝ}$ będzie funkcją oraz niech $x_0\in A$.
Mówimy, że funkcja $f$ jest prawostronnie ciągła w punkcie $x_0\in \mathbb{ℝ}$

$\begin{array}{rlr}\stackrel{\text{Cauchy}}{⟺}& & \mathrm{\forall }\epsilon >0\mathrm{\exists }\delta >0\mathrm{\forall }x\in A:[x\in [x_0,x_0+\delta )⟹|f(x)-f(x_0)|<\epsilon ];\\ \stackrel{\text{Heine}}{⟺}& & \mathrm{\forall }\{x_n\}\subseteq A\cap [x_0,+\mathrm{\infty }):[\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0⟹\lim {}_{n\to +\mathrm{\infty }}f(x_n)=f(x_0)].\end{array}$

Mówimy, że funkcja $f$ jest lewostronnie ciągła w punkcie $x_0\in \mathbb{ℝ}$

$\begin{array}{rlr}\stackrel{\text{Cauchy}}{⟺}& & \mathrm{\forall }\epsilon >0\mathrm{\exists }\delta >0\mathrm{\forall }x\in A:[x\in (x_0-\delta ,x_0]⟹|f(x)-f(x_0)|<\epsilon ];\\ \stackrel{\text{Heine}}{⟺}& & \mathrm{\forall }\{x_n\}\subseteq A\cap (-\mathrm{\infty },x_0]:[\lim {}_{n\to +\mathrm{\infty }}{x}_n=x_0⟹\lim {}_{n\to +\mathrm{\infty }}f(x_n)=f(x_0)].\end{array}$

Plik:Am1.M08.W.R15.svg Granice jednostronne funkcji w punkcie

Plik:Am1.M08.W.R16.svg Wykres funkcji $f$ z przykładu 8.16.

Przykład 8.16.

Rozważmy funkcję $f:\mathbb{ℝ}⟶\mathbb{ℝ}$ daną wzorem

$f(x)=\{\begin{array}{lll}-x+1& \text{dla}& x\le 0,\\ \mathrm{t}\mathrm{g}x& \text{dla}& 0<x<\frac{\pi }{2},\\ x-\frac{\pi }{2}& \text{dla}& \frac{\pi }{2}\le x.\\ \end{array}$

Funkcja ta jest lewostronnie ciągła w punkcie $x=0$ oraz prawostronnie ciągła w punkcie $x=\frac{\pi }{2}$, ale nie jest prawostronnie ciągła w punkcie $x=0$ oraz nie jest lewostronnie ciągła w punkcie $x=\frac{\pi }{2}$. W pozostałych punktach $x\in \mathbb{ℝ}$ funkcja jest ciągła, a więc w szczególności lewostronnie ciągła i prawostronnie ciągła.

Kolejne twierdzenie podaje związek między ciągłością, a ciągłością lewostronną i prawostronną. Jest ono natychmiastową konsekwencją definicji.

Twierdzenie 8.17.

Funkcja $f:\mathbb{ℝ}\supseteq A⟶\mathbb{ℝ}$ jest ciągła w punkcie $x_0\in A$ wtedy i tylko wtedy, gdy jest w tym punkcie lewostronnie ciągła i prawostronnie ciągła.

Granice specjalne

Uwaga 8.18.

Podobnie jak w przypadku granic ciągów, tak i teraz w przypadku granic funkcji w punkcie można mówić o symbolach nieoznaczonych. Z symbolem nieoznaczonym mamy do czynienia, gdy z istnienia granic dwóch funkcji w danym punkcie nie można określić jednoznacznie granicy funkcji, która powstanie z tych funkcji w wyniku wykonania danego działania (dodawania, odejmowania, mnożenia, dzielenia, potęgowania).

Kolejne twierdzenie podaje granice pewnych funkcji. Zazwyczaj mamy tu do czynienia z symbolami nieoznaczonymi, dlatego nad znakiem "=" podajemy jaki symbol nieoznaczony tu występuje.

Elementarne dowody tego twierdzenia można znaleźć w podręcznikach z analizy matematycznej. Pominiemy je w tym miejscu, gdyż będą one znacznie łatwiejsze, gdy zapoznamy się z rachunkiem różniczkowym i regułą de l'Hospitala.

Twierdzenie 8.19. [Granice specjalne]

(1) $\underset{x\to +\mathrm{\infty }}{\lim }{x}^{\alpha }=\{\begin{array}{ll}+\mathrm{\infty }& \text{dla}\alpha >0,\\ 1& \text{dla}\alpha =0,\\ 0& \text{dla}\alpha <0.\end{array}$.
(2) $\underset{x\to +\mathrm{\infty }}{\lim }{a}^x{x}^{\alpha }\stackrel{0\cdot \mathrm{\infty }}{=}0$. dla $a\in (0,1),\alpha \ge 0$.
(3) $\underset{x\to 0}{\lim }\frac{\sin x}{x}\stackrel{\frac{0}{0}}{=}1$ oraz $\underset{x\to 0}{\lim }\frac{\arcsin x}{x}\stackrel{\frac{0}{0}}{=}1$.
(4) $\underset{x\to 0}{\lim }{(1+x)}^{\frac{1}{x}}\stackrel{1^{\mathrm{\infty }}}{=}e,\underset{x\to +\mathrm{\infty }}{\lim }{(1+x)}^{\frac{1}{x}}\stackrel{{\mathrm{\infty }}^0}{=}1$.
(5) $\underset{x\to 0}{\lim }\frac{a^x-1}{x}\stackrel{\frac{0}{0}}{=}\ln a$, dla $a>0$, (w szczególności $\underset{x\to 0}{\lim }\frac{e^x-1}{x}\stackrel{\frac{0}{0}}{=}1$)
(6) $\underset{x\to 0}{\lim }\frac{{\log }_a(1+x)}{x}\stackrel{\frac{0}{0}}{=}\frac{1}{\ln a}$, dla $a>0,a\ne 1$, (w szczególności $\underset{x\to 0}{\lim }\frac{\ln (1+x)}{x}\stackrel{\frac{0}{0}}{=}1$).
(7) $\underset{x\to \pm \mathrm{\infty }}{\lim }{(1+\frac{a}{x})}^x\stackrel{1^{\mathrm{\infty }}}{=}{e}^a$, dla $a\in \mathbb{ℝ}$.
(8) $\underset{x\to 0}{\lim }\frac{(1+x{)}^a-1}{x}\stackrel{\frac{0}{0}}{=}a$, dla $a\in \mathbb{ℝ}$.

Twierdzenie 8.20.

(1) Każdy wielomian $w:\mathbb{ℝ}⟶\mathbb{ℝ}$ jest funkcją ciągłą.
(2) Funkcja potęgowa $(0,+\mathrm{\infty })\ni x⟼x^{\alpha }\in \mathbb{ℝ}$ ($\alpha \in \mathbb{ℝ}$) jest ciągła.
(3) Funkcja wykładnicza $(0,+\mathrm{\infty })\ni x⟼a^x\in \mathbb{ℝ}$ ($a>0$) jest ciągła.
(4) Funkcje trygonometryczne $\sin ,\cos ,\mathrm{t}\mathrm{g},\mathrm{c}\mathrm{t}\mathrm{g}$, są ciągłe.

Dowód 8.20.

[Szkic] (Ad (1)) Łatwo pokazać (na przykład z definicji Heinego), iż funkcja stała $f(x)=c$ (gdzie $c\in \mathbb{ℝ}$) oraz funkcja identycznościowa $g(x)=x$ są ciągłe w $\mathbb{ℝ}$. Ponieważ każdy wielomian powstaje jako sumy i iloczyny tych dwóch funkcji, zatem korzystając z twierdzenia o "arytmetyce" granic funkcji (twierdzenie 8.8.) wnioskujemy, że dowolny wielomian jest ciągły.
(Ad (2)-(4)) Dowody tych punktów wykraczają poza materiał tego wykładu.

Zwartość

Jako wstęp do tej części wykładu proponujemy proste ćwiczenia z zakresu szkoły średniej.
(1) Narysować wykres funkcji ciągłej na przedziale $(0,\frac{\pi }{2})$, która przyjmuje dowolnie duże wartości.
(2) Narysować wykres funkcji ciągłej na $\mathbb{ℝ}$, która przyjmuje dowolnie duże wartości.
(3) Narysować wykres funkcji ciągłej na przedziale $[0,\frac{\pi }{2}]$, która przyjmuje dowolnie duże wartości.
Odpowiedzi:
(Ad (1)) Przykładem takiej funkcji jest $f(x)=\mathrm{t}\mathrm{g}x$.
(Ad (2)) Przykładem takiej funkcji jest $f(x)=x^2$.
(Ad (3)) Nie jest to możliwe!

Co zatem różni zbiory $(0,\frac{\pi }{2}),\mathbb{ℝ}$ od $[0,\frac{\pi }{2}]$? Otóż przedział $[0,\frac{\pi }{2}]$ jest zbiorem domkniętym i ograniczonym w $\mathbb{ℝ}$, a zatem tak zwanym zbiorem zwartym, a to że nie mogliśmy narysować funkcji ciągłej na tym przedziale, która "ucieka do nieskończoności", to skutek faktu, że funkcja ciągła na zbiorze zwartym osiąga swoje kresy (patrz poniższe twierdzenie Weierstrassa).

Zdefiniujemy teraz formalnie zbiory zwarte w $\mathbb{ℝ}$.

Definicja 8.21.

Mówimy, że $A\subseteq {\mathbb{ℝ}}^N$ jest zbiorem zwartym, jeśli z każdego ciągu $\{x_n\}\subseteq A$ można wybrać podciąg $\{x_{n_k}\}$ zbieżny do granicy $g\in A$.

Zazwyczaj w matematyce wprowadza się bardziej ogólną definicję zwartości. Wówczas powyżej zdefiniowaną własność nazywa się ciągową zwartością. Jednak w $\mathbb{ℝ}$ obie definicje są równoważne, zatem zbiory ciągowo zwarte będziemy krótko nazywać zwartymi.

Przykład 8.22.

Zbiór $A=(0,1)\subseteq \mathbb{ℝ}$ nie jest zwarty. Faktycznie dla ciągu $\left\{\frac{1}{n}\right\}$ nie istnieje podciąg zbieżny do granicy w zbiorze $A$.

Poniższe twierdzenie mówi jakie zbiory w ${\mathbb{ℝ}}^N$ są zwarte (pozostawiamy je tutaj bez dowodu; będzie ono udowodnione na wykładzie z Analizy Matematycznej 2).

Twierdzenie 8.23.

Zbiór $A\subseteq {\mathbb{ℝ}}^N$ jest zwarty wtedy i tylko wtedy, gdy jest domknięty i ograniczony.

Uwaga 8.24.

W tym miejscu dokończymy dowód twierdzenia o zbieżności ciągów Cauchy'ego w ${\mathbb{ℝ}}^N$ (patrz twierdzenie 3.30.).

Przypuśćmy, że ciąg $\{x_n\}\subseteq {\mathbb{ℝ}}^N$ spełnia warunek Cauchy'ego. Wtedy $\{x_n\}$ jest ciągiem ograniczonym (patrz stwierdzenie 3.28.), a zatem zawiera się w pewnej kuli domkniętej $\bar{K}(x,R)$. Ta kula jest zbiorem domkniętym i ograniczonym, zatem zwartym. W takim razie z ciągu $\{x_n\}$ możemy wybrać podciąg zbieżny. Wobec stwierdzenie 3.29., ciąg $\{x_n\}$ jest zbieżny.

Twierdzenie Weierstrassa

Karl Weierstrass (1815-1897)
Zobacz biografię

Okazuje się, że jeśli weźmiemy obraz przez funkcję ciągłą zbioru zwartego, to otrzymamy także zbiór zwarty.

Twierdzenie 8.25.

Jeśli $A$ jest zbiorem zwartym w $\mathbb{ℝ}$ oraz $f:A⟶\mathbb{ℝ}$ jest funkcją ciągłą, to $f(A)$ jest zbiorem zwartym w $\mathbb{ℝ}$.

Dowód 8.25.

Aby pokazać zwartość zbioru $f(A)$, weźmy dowolny ciąg $\{y_n\}\subseteq f(A)$. Ponieważ każde $y_n$ jest w obrazie zbioru $A$, więc dla każdego $y_n$ istnieje $x_n\in A$ takie, że $f(x_n)=y_n$. Ponieważ zbiór $A$ jest zwarty (z założenia), zatem dla ciągu $\{x_n\}\subseteq A$ istnieje podciąg $\left\{x_{n_k}\right\}$ zbieżny w $A$, to znaczy

$\mathrm{\exists }a\in A:\lim {}_{k\to +\mathrm{\infty }}{x}_{n_k}=a$

Z ciągłości funkcji $f$ wynika, że

$\lim {}_{k\to +\mathrm{\infty }}{y}_{n_k}=\lim {}_{k\to +\mathrm{\infty }}f(x_{n_k})=f(a)$,

zatem pokazaliśmy, że ciąg $\{y_n\}$ posiada podciąg zbieżny w $f(A)$, co kończy dowód zwartości $f(A)$.

Plik:Am1.M08.W.R17.svg

Wykres funkcji ciągłej na zbiorze zwartym

Twierdzenie 8.26. [Weierstrassa]

Jeśli $A\subseteq \mathbb{ℝ}$ jest zbiorem zwartym oraz $f:A⟶\mathbb{ℝ}$ jest funkcją ciągłą, to funkcja $f$ osiąga swoje kresy, to znaczy

$\mathrm{\exists }{x}_1,x_2\in A\mathrm{\forall }x\in A:f(x_1)\le f(x)\le f(x_2)$

Dowód 8.26.

Ponieważ funkcja $f:A⟶\mathbb{ℝ}$ jest ciągła, a zbiór $A$ jest zwarty, więc z twierdzenie 8.25. wynika, że zbiór $f(A)$ jest zwarty, a zatem także ograniczony (patrz twierdzenie 8.23.), to znaczy

$\mathrm{\forall }x\in A:-\mathrm{\infty }<\inf f(A)\le f(x)\le \sup f(A)<+\mathrm{\infty }$

Należy pokazać, że

$\mathrm{\exists }{x}_1,x_2\in A:f(x_1)=\inf f(A),f(x_2)=\sup f(A)$

Pokażemy istnienie $x_1$ o powyższej własności (dowód istnienia $x_2$ jest analogiczny).
Niech $m\stackrel{df}{=}\inf f(A)$ oraz dla dowodu niewprost, przypuśćmy, że $\inf f(A)$ nie jest realizowane, to znaczy

$\mathrm{\forall }x\in A:f(x)>m$

Zdefiniujmy nową funkcję $g:A⟶\mathbb{ℝ}$ w następujący sposób:

$g(x)=\frac{1}{f(x)-m}\text{dla}x\in A$

Definicja $g$ jest poprawna (gdyż mianownik jest niezerowy) oraz funkcja $g$ jest ciągła (porównaj twierdzenie 8.8.). Korzystając ponownie z twierdzenie 8.25. wiemy, że zbiór $g(A)$ jest zwarty, a zatem także ograniczony, zatem jego supremum $M\stackrel{df}{=}\sup g(A)$ jest skończone, czyli

$0<M<+\mathrm{\infty }$

Oczywiście

$\mathrm{\forall }x\in A:g(x)\le M$

Dla dowolnego $x\in A$, mamy

$f(x)=\frac{1}{g(x)}+m\ge \frac{1}{M}+m$,

w szczególności $m<\inf f(A)$, sprzeczność.
Wykazaliśmy zatem, że funkcja $f$ osiąga swój kres dolny, czyli

$\mathrm{\exists }{x}_1\in A:f(x_1)=\inf f(A)$

Uwaga 8.27.

Założenie zwartości w twierdzeniu Weierstrassa jest niezbędne. Rozważmy funkcję $f:\mathbb{ℝ}⟶\mathbb{ℝ}$ daną wzorem $f(x)=\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}x$. Jest ona ciągła,

$\underset{x\in \mathbb{ℝ}}{\sup }f(x)=\frac{\pi }{2},\underset{x\in \mathbb{ℝ}}{\inf }f(x)=-\frac{\pi }{2}$,

ale dla żadnego punktu $x\in \mathbb{ℝ}$ funkcja $f$ nie przyjmuje wartości $\frac{\pi }{2}$ i $-\frac{\pi }{2}$.

Założenia twierdzenia Weierstrassa nie są tutaj spełnione gdyż zbiór $\mathbb{ℝ}$ nie jest zwarty.

Twierdzenie Darboux

Wykażemy teraz użyteczny lemat mówiący, że jeśli funkcja ciągła jest dodatnia w pewnym punkcie, to jest także dodatnia w pewnym otoczeniu tego punktu.

Lemat 8.28.

Jeśli $A\subseteq \mathbb{ℝ},x_0\in A$ oraz funkcja $f:A⟶\mathbb{ℝ}$ jest ciągła w punkcie $x_0$, to:
(1) jeśli $f(x_0)>0$, to

$\mathrm{\exists }\delta >0\mathrm{\forall }x\in (x_0-\delta ,x_0+\delta ):f(x)>0$

(2) jeśli $f(x_0)<0$, to

$\mathrm{\exists }\delta >0\mathrm{\forall }x\in (x_0-\delta ,x_0+\delta ):f(x)<0$

Dowód 8.28.

(1) Załóżmy, że funkcja $f$ jest ciągła w punkcie $x_0\in A$ oraz $f(x_0)>0$. Niech $\epsilon :=\frac{f(x_0)}{2}$. Korzystając z definicji Cauchy'ego granicy funkcji w punkcie mamy, że

$\mathrm{\exists }\delta >0:\mathrm{\forall }x\in (x_0-\delta ,x_0+\delta ):$ $f(x)\in (f(x_0)-\frac{f(x_0)}{2},f(x_0)+\frac{f(x_0)}{2})=(\frac{f(x_0)}{2},\frac{3f(x_0)}{2})$

Zatem $f(x)>0$ dla $x\in (x_0-\delta ,x_0+\delta )$.
(2) Dowód jest analogiczny.

Kolejne twierdzenie to tak zwana własność Darboux dla funkcji ciągłych. Mówi ono, że funkcja ciągła na przedziale $[a,b]$ i taka, że $f(a)<0$ i $f(b)>0$ posiada pierwiastek w przedziale $(a,b)$. Na tej własności opiera się, stosowana w metodach numerycznych, metoda bisekcji poszukiwania miejsc zerowych funkcji.

Twierdzenie 8.29. [Darboux]

Jeśli $a<b,f:[a,b]⟶\mathbb{ℝ}$ jest funkcją ciągłą, $f(a)\cdot f(b)<0$, to

$\mathrm{\exists }c\in (a,b):f(c)=0$

Dowód 8.29.

[Szkic] Z warunku $f(a)\cdot f(b)<0$ wynika, że funkcja $f$ przyjmuje na końcach wartości różnych znaków, tzn $f(a)<0<f(b)$ lub $f(b)<0<f(a)$. Niech na przykład $f(a)<0<f(b)$. Niech $c:=\sup \{x\in [a,b]|f(x)<0\}$. Zauważmy, że gdyby $f(c)<0$ to istniałoby pewne $\delta >0$, takie, że dla wszystkich $x\in (c-\delta ,c+\delta )$ mielibyśmy $f(x)<0$ (co wynika z lematu 8.28.). A zatem $c$ nie byłoby supremum $\{x\in [a,b]|f(x)<0\}$, bo do tego zbioru należałby punkt $c+\frac{\delta }{2}>c$. Analogicznie, gdyby $f(c)>0$ to także dla $x$ w pewnym przedziale $(c-{\delta }^{\prime },c+{\delta }^{\prime })$ mielibyśmy $f(x)>0$, a zatem $c$ nie byłoby supremum $\{x\in [a,b]|f(x)<0\}$, bo na

przykład punkt $c-\frac{{\delta }^{\prime }}{2}<c$ byłby mniejszym od $c$ ograniczeniem górnym tego zbioru. A zatem jedyna możliwość to $f(c)=0$.

<flash>file=Am1.M08.W.R18.swf|width=375|height=375</flash> <div.thumbcaption>Rysunek do twierdzenia Darboux

<flash>file=Am1.M08.W.R19.swf|width=375|height=375</flash> <div.thumbcaption>Rysunek do wniosku 8.30.

Wniosek 8.30

Jeśli $a<b,f:[a,b]⟶\mathbb{ℝ}$ jest funkcją ciągłą, $f(a)<f(b)$ (odpowiednio $f(a)>f(b)$), to

$\mathrm{\forall }w\in (f(a),f(b))\mathrm{\exists }c\in (a,b):f(c)=w$ odpowiednio $\mathrm{\forall }w\in (f(b),f(a))\mathrm{\exists }c\in (a,b):f(c)=w)$

Powyższe wyrażenia nazywamy własnością Darboux funkcji $f$.