Turpmāk vienosimies apskatīt tikai tādas funkcijas, kas definētas
punkta
apkārtnē, izņemot varbūt pašu šo punktu. Ar punkta
apkārtni sapratīsim šī punkta pārdurto apkārtni.
Saskaņā ar galīgas robežas definīciju
jebkuram
, tai skaitā
, eksistē
punkta
tāda apkārtne
, ka visiem
, izpildīsies nevienādība
Teorēmai apgrieztais apgalvojums nav spēkā, piemēram, Dirihlē funkcija
Jebkuram
un katram
no
minētās apkārtnes izpildīsies nevienādība
. Tātad
.
Saskaņā ar funkcijas
robežas
definīciju jebkuram
eksistē punkta
tāda
apkārtne
, ka visiem
izpildīsies nevienādība
(Pierādīt patstāvīgi)
Saskaņā ar funkcijas
robežas
definīciju jebkuram
eksistē tāda punkta
apkārtne
, ka visiem
izpildīsies nevienādība
, ka visiem
izpildīsies nevienādība
.
Tagad visiem
šīs divas nevienādības
izpildīsies vienlaicīgi.
Tāpēc
Ar matemātiskās indukcijas metodi šo teorēmu var vispārināt uz jebkura galīga skaita funkciju summu.
3.9. teorēmai apgrieztais apgalvojums nav pareizs, piemēram, funkcijām
Gadījumā, kad
, funkcija
const. Robeža eksistē un, acīmredzami, izpildās
teorēmā minētā vienādība.
Apskatīsim gadījumu, kad
izpildīsies nevienādība
Ja
, iegūsim:
Izmantojot vēl 3.9. teorēmu, iegūsim:
Tā kā funkcija
ierobežota punkta
apkārtnē
, tad visiem
, izpildīsies nevienādība
. Saskaņā ar funkcijas
robežas definīciju
jebkuram
eksistē punkta
tāda apkārtne
, ka visiem
izpildīsies nevienādība
. Apzīmēsim
ar
. Tagad
visiem
abas nevienādības izpildīsies
vienlaicīgi, tāpēc
Funkciju
un
reizinājumu uzrakstīsim
šādi:
Ar matemātiskās indukcijas metodi šo teorēmu var vispārināt uz jebkura galīga skaita funkciju reizinājumu, tai skaitā
3.12. teorēmai apgrieztais apgalvojums nav spēkā.
Saskaņā ar 3.7. teorēmu
. Izvēlēsimies punkta
tādu apkārtni, kas nesatur punktu 0, t.i.,
, kur, piemēram,
. Saskaņā ar funkcijas
robežas
definīciju izvēlētajai punkta
apkārtnei eksistē punkta
tāda apkārtne
, ka visiem
, izpildīsies nevienādība
Šajā apkārtnē
un funkcija
būs definēta visos funkcijas
definīcijas apgabala punktos. No
šīs nevienādības iegūsim
Piemēram,
jo
un
(Pierādīt patstāvīgi, izmantojot 3.13. un
3.12. teorēmas, pie tam
).
Ja