Neprekidna funkcija

Intuitivno, neprekidna funkcija je ona funkcija, koja za dovoljno male promene vrednosti argumenta ima proizvoljno male promene vrednosti funkcije. Takođe, intuitivno, neprekidnu funkciju zamišljamo kao funkciju čiji grafik možemo nacrtati ne podižući olovku sa papira.

Neprekidnost funkcije je pojam vezan za topologiju, gde je neprekidnost funkcija realnih brojeva specijalan slučaj. Za funkciju koja nije neprekidna kažemo da je prekidna, tj. da ima prekid.

Košijeva definicija je definicija na ${\displaystyle \varepsilon -\delta }$ jeziku, i vezana je za funkcije realnih brojeva.

Posmatrajmo funkciju ${\displaystyle f:X\rightarrow \mathbb {R} ,X\subseteq \mathbb {R} }$. Neka je ${\displaystyle x_{0}\in X}$ tačka nagomilavanja skupa ${\displaystyle X}$.

Funkcija ${\displaystyle f}$ je neprekidna u tački ${\displaystyle x_{0}}$, ako je:

${\displaystyle (\forall \varepsilon >0)(\exists \delta >0)(\forall x\in X)(|x-x_{0}|<\delta \Rightarrow |f(x)-f(x_{0})|<\varepsilon )}$

Ova definicija je ekvivalentna sa:

Funkcija ${\displaystyle f}$ je neprekidna u tački ${\displaystyle x_{0}}$, ako je:

${\displaystyle \lim _{x\rightarrow x_{0}}f(x)=f(x_{0})}$

Ovom definicijom opisana je neprekidna funkcija preko granične vrednosti niza.

Realna funkcija ${\displaystyle f}$ je neprekidna ako za svaki niz ${\displaystyle (x_{n})_{n\in \mathbb {N} }}$, takav da

${\displaystyle \lim _{n\rightarrow \infty }x_{n}=L}$,

važi

${\displaystyle \lim _{n\rightarrow \infty }f(x_{n})=f(L)}$

Ovde smo naravno pretpostavili da svaki član niza pripada domenu funkcije.

Neprekidna funkcija iz jednog topološkog prostora u drugi je funkcija čija je inverzna slika bilo kog otvorenog skupa otvorena, što se zapisuje kao: Funkcija ${\displaystyle f:X\rightarrow \mathbb {R} }$ je neprekidna u tački ${\displaystyle x_{0}\in X}$ ako

${\displaystyle (\forall V\in {\mathcal {V}}(f(x_{0})))(\exists U\in {\mathcal {V}}(x_{0}))(f(U\cap X)\subseteq V)}$.

Funkcija je neprekidna na oblasti ako je neprekidna u svim tačkama oblasti.

Neprekidna preslikavanja su morfizmi topološkog prostora.

Ako funkcija slika realne brojeve u realne brojeve (oba prostora sa standardnom topologijom), onda je ova definicija neprekidnosti ekvivalentna definiciji neprekidnosti koja se javlja u analizi.

Posmatrajmo funkciju ${\displaystyle f:X\rightarrow \mathbb {R} }$,

funkcija je neprekidna sa leve strane u tački ${\displaystyle x_{0}}$ ako

${\displaystyle \lim _{x\rightarrow x_{0}-0}f(x)=f(x_{0})}$

funkcija je neprekidna sa desne strane u tački ${\displaystyle x_{0}}$ ako

${\displaystyle \lim _{x\rightarrow x_{0}+0}f(x)=f(x_{0})}$

Teorema: Funkcija ${\displaystyle f:X\rightarrow \mathbb {R} }$ je neprekidna u tački ${\displaystyle x_{0}\in X}$ ako i samo ako je neprekidna u toj tački i sa leve i sa desne strane.

Funkcija ${\displaystyle f}$ je neprekidna na skupu ${\displaystyle X\subseteq \mathbb {R} }$ ako je neprekidna u svakoj tački tog skupa, odnosno na ${\displaystyle \varepsilon -\delta }$ jeziku:

${\displaystyle (\forall x_{0}\in X)(\forall \varepsilon >0)(\exists \delta >0)(\forall x\in X)(|x-x_{0}|<\delta \Rightarrow |f(x)-f(x_{0})|<\varepsilon )}$

Funkcija ${\displaystyle f:X\rightarrow \mathbb {R} }$ je uniformno neprekidna na skupu ${\displaystyle X}$ ako

${\displaystyle (\forall \varepsilon >0)(\exists \delta >0)(\forall x_{1},x_{2}\in X)(|x_{1}-x_{2}|<\delta \Rightarrow |f(x_{1})-f(x_{2})|<\varepsilon )}$

Pod lokalnim svojstvima neprekidne funkcije se podrazumevaju svojstva funkcije koja su usko povezana sa ponašanjem funkcije u okolini neke tačke neprekidnosti.

Globalna svojstva neprekidne funkcije se odnose na ponašanje funkcije u nekom neprekidnom intervalu definisanosti.

Definicija: Funkcija ${\displaystyle f:X\rightarrow \mathbb {R} ,X\subseteq \mathbb {R} }$ je neprekidna na nekom skupu ${\displaystyle X}$ ako je neprekidna u svakoj tački tog skupa.

Funkcija je deo-po-deo neprekidna na skupu ${\displaystyle [a,b]}$ ako postoji konačno mnogo tačaka ${\displaystyle a=x_{0}<x_{1}<x_{2}<...<x_{n}=b}$ tako da je funkcija definisana na svakom segmentu ${\displaystyle (x_{i},x_{i+1}),i={0,1,2,...,n-1}}$ i na krajevima tih intervala ima odgovarajuće limese.

Neka je data neprekidna funkcija ${\displaystyle f:[a,b]\rightarrow \mathbb {R} }$ i neka je ${\displaystyle f(a)=A}$ i ${\displaystyle f(b)=B}$. Ako je ${\displaystyle C}$ proizvoljna vrednost između ${\displaystyle A}$ i ${\displaystyle B}$, onda postoji tačka ${\displaystyle c\in [a,b]}$ za koju važi: ${\displaystyle f(c)=C}$.

Specijalno, ako funkcija ${\displaystyle f}$ uzima vrednosti različitih znakova na krajevima segmenta ${\displaystyle [a,b]}$, tj. ako je ${\displaystyle f(a)\cdot f(b)<0}$, onda postoji tačka ${\displaystyle c\in [a,b]}$ tako da je: ${\displaystyle f(c)=0}$.

Ako je funkcija ${\displaystyle f:[a,b]\rightarrow \mathbb {R} }$ neprekidna na ${\displaystyle [a,b]}$, ona je i ograničena na ${\displaystyle [a,b]}$ i postoje tačke u okviru tog segmenta u kojima ona dostiže svoju maksimalnu i minimalnu vrednost na segmentu.

Vidi elementarne funkcije

Teorema: Sve elementarne funkcije su neprekidne na svom prirodnom domenu.

• Dušan Adnađević, Zoran Kadelburg: Matematička analiza 1, Studentski trg, Beograd, 1995.

• Funkcija
• Matematička analiza
• Granična vrednost funkcije
• Elementarna funkcija
• Uniformna neprekidnost