Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
матан.doc
Скачиваний:
7
Добавлен:
16.04.2019
Размер:
567 Кб
Скачать
☆

Определения

Наиболее строгим определением функции является теоретико-множественное определение (на основе понятия бинарного отношения). Часто вместо определения функции даётся её интуитивное описание; то есть понятие функции переводится на обычный язык, используя слова «закон», «правило» или «соответствие».

Предел функции по Гейне

Значение   называется пределом (предельным значением) функции   в точке  , если для любой последовательноститочек  , сходящейся к  , но не содержащей   в качестве одного из своих элементов (то есть в проколотой окрестности   ), последовательность значений функции   сходится к  .[1]

[Править]Предел функции по Коши

Значение   называется пределом (предельным значением) функции   в точке  , если для любого наперёд взятого положительного числа ε найдётся отвечающее ему положительное число   такое, что для всех аргументов  , удовлетворяющих условию  , выполняется неравенство  .[1]

Дадим геометрическое истолкование предела функции в точке. Имеем 

 т.е. если х содержится в окрестности т. а, то график функции находится в полосе между у= b - и у = b +  (рис. 7.1). Отметим, что если функция имеет предел при  то он единственен. Действительно, в силу определения функции при наличии двух пределов

Определения Править

  • Пусть задана числовая функция с неограниченной сверху областью определения, то есть   и   Число   называется пределом функции f при xстремящемся к бесконечности, если

Пишут:

  • Аналогично пусть   и   Число   называется пределом функции f при x стремящемся к минус бесконечности, если

Пишут:

Бесконечно малые функции

Функция α(x), определенная в 

·

O

(x 0), называется бесконечно малой функцией при x → x0, если

lim

x → x0

 α(x) = 0.

Теорема. Если функция y=f(x) представима при x→aв виде суммы постоянного числа b и бесконечно малой величины α(x): f (x)=b+ α(x) то  .

Обратно, если  , то f (x)=b+α(x), где a(x) – бесконечно малая при x→a.

Доказательство.

  1. Докажем первую часть утверждения. Из равенства f(x)=b+α(x) следует |f(x) – b|=| α|. Но так как a(x) – бесконечно малая, то при произвольном ε найдется δ – окрестность точки a, при всех x из которой, значения a(x) удовлетворяют соотношению |α(x)|<ε. Тогда|f(x) – b|< ε. А это и значит, что  .

  2. Если  , то при любом ε>0 для всех х из некоторой δ – окрестность точки a будет |f(x) – b|< ε. Но если обозначимf(x) – b= α, то |α(x)|<ε, а это значит, что a – бесконечно малая.

Рассмотрим основные свойства бесконечно малых функций.

Теорема 1. Алгебраическая сумма двух, трех и вообще любого конечного числа бесконечно малых есть функция бесконечно малая.

Доказательство. Приведем доказательство для двух слагаемых. Пусть f(x)=α(x)+β(x), где  и  . Нам нужно доказать, что при произвольном как угодно малом ε>0 найдется δ>0, такое, что для x, удовлетворяющих неравенству |x – a|<δ, выполняется |f(x)|< ε.

Итак, зафиксируем произвольное число ε>0. Так как по условию теоремы α(x) – бесконечно малая функция, то найдется такое δ1>0, что при |x – a|<δ1 имеем |α(x)|< ε/2. Аналогично, так как β(x) – бесконечно малая, то найдется такое δ2>0, что при |x – a|<δ2 имеем | β(x)|<ε/2.

Возьмем δ=min{ δ1, δ2}.Тогда в окрестности точки a радиуса δбудет выполняться каждое из неравенств |α(x)|< ε/2 и | β(x)|< ε/2.Следовательно, в этой окрестности будет

|f(x)|=| α(x)+β(x)| ≤ |α(x)| + | β(x)| < ε/2 + ε/2= ε,

т.е. |f(x)|<ε, что и требовалось доказать.

Теорема 2. Произведение бесконечно малой функции a(x) на ограниченную функцию f(x) при x→a (или при x→∞) есть бесконечно малая функция.

Доказательство. Так как функция f(x) ограничена, то существует число М такое, что при всех значениях x из некоторой окрестности точкиa|f(x)|≤M. Кроме того, так как a(x) – бесконечно малая функция при x→a, то для произвольного ε>0 найдется окрестность точки a, в которой будет выполняться неравенство |α(x)|< ε/M. Тогда в меньшей из этих окрестностей имеем | αf|< ε/M= ε. А это и значит, что af – бесконечно малая. Для случая x→∞ доказательство проводится аналогично.