, когато е най-малката горна граница на - точна горна граница (супремум)
еквивалетно за
Принцип за непрекъснатост: Непразно множество от реални числа, което е ограничено отгоре, притежава точна горна граница.
Теорема 1 (Кантор)
Нека е дадена безкрайна редица крайни, затворени интервали .
Тогава съществува такова число , че , за всяко .
Теорема 2 (гъстота на рационалните и ирационалните числа)
Ако са две произволни реални числа, то съществува рационално число и ирационално число , такива, че и .
Обратна функция на се нарича функцията , която , ако , .
Една функция е обратима, когато от следва .
примери:
е обратима, но - не е, т.к. , но .
Твърдение 1:
Нека е обратима функция с дефиниционна област и множество от значения . Тогава тя има обратна функция с дефиниционна област и множество от значния и са в сила равенствата:
Твърдение 2:
Ако е строго монотонна функция, то тя е обратима.
Казваме, че е непрекъсната функция в точката , ако за всяко съществува такова , че за всяко , удовлетворяващо , е изпълнено .
Функция е непрекъсната, ако произволно малка промяна в нейната стойност може да бъде осигурена чрез ограничаване на нейния аргумент до достатъчно малки промени. 1
За да бъде една функция непрекъсната в точка, тя трябва да бъде дефинирана в тази точка, нейната граница трябва да съществува в точката и стойността на функцията в тази точка трябва да е равна на стойността на границата в тази точка.2
Теорема:
Нека функциите и са диференцируеми върху интервала и функцията има примитивна върху . Тогава и функцията има примитивна върху интервала и е изпълнено:
при решаване на задачи е по-лесен следния запис:
пример:
При решаването на полагаме и . Използвайки последното равенство от теоремата по-горе:
Риманова сума на функцията , съответстваща на разделянето и междинните точки наричаме числото
Числото наричаме граница на римановите суми на , когато за всяко съществува такова , че за произволно разделяне на с и произволни междинни точки c на разделянето е изпълнено
В този случай ще използваме означението
Функцията се нарича интегруема върху , ако съществува границата . Числото се нарича определен (риманов) интеграл на върху и се означава с
итн
Ако е интегруема върху и , то
За всяко число от интервала
Стъпаловидната фигура има лице равно на римановата сума.
Теорема 1:
Ако функцията е интегруема върху интервала , то тя е ограничена.
Теорема 2:
Нека е монотонна функция върху крайния и затворен интервал . Тогава е интегруема върху .
Теорема 3:
Нека е непрекъсната функция върху крайния и затворен интервал . Тогава е интегруема върху .
Следствие 1: Всяка елементарна функция е интегруема върху произволен краен и затворен интервал, съдържащ се в дефиниционната ѝ област.
Следствие 2: Нека е частично непрекъсната върху крайния и затворен интервал (т.е. има най-много краен брой прекъсвания върху и те са от първи род). Тогава е интегруема.
Теорема 4:
Нека функциите и да удовлетворяват следните условия:
Функцията е интегруема върху интервала
Функцията е непрекъсната върху интервала
За всяко от интервала е изпълнено
Тогава функцията е интегруема върху
Адитивност на определения интеграл
Функцията е интегруема върху тогава и само тогава, когато е интегруема върху всеки от интервалите и
Линейност на определения интеграл
Нека и са интегруеми функции върху крайния интервал , а и са константи. Тогава функцията е интегруема върху [a; b] и
Нека функциите и са интегруеми върху интервала . Тогава функцията е интегруема върху .
Монотонност на определения интеграл
Нека функциите и са интегруеми върху . Тогава са в сила следните твърдения:
Ако завсяко от интервала и и са константи, то
Ако за всяко от интервала , то
Ако за всяко от интервала , то
Теорема 5: (Непрекъснатост)
Нека е интегруема функция върху и . Тогава функцията е непрекъсната върху интервала .
Теорема 6: (Диференцируемост)
Нека е интегруема функция върху и е непрекъсната в . Тогава функцията , () има производна в и .