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
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 , neeksistē robežas, kad , bet to summa ir konstanta un tās robeža ir viens.
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 . Saskaņā ar funkcijas robežas definīciju jebkuram eksistē punkta tāda apkārtne , ka visiem 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,
(Pierādīt patstāvīgi, izmantojot 3.13. un
3.12. teorēmas, pie tam
).
Ja , tad par šo funkciju attiecības robežu vēl neko nevar pateikt. Tā ir viena no nenoteiktībām , kas ir jāpēta īpaši.