
матем все лекции
.pdf
|
О п р е д е л е н и е 4’. |
Пусть a – точка сгущения мн-ва X и |
|||
A R . |
Тогда |
A lim f (x) |
0 |
0 : |
|
|
|
x a |
|
|
f(S (a) X ) S ( A)
Аэто определение, очевидно, равносильно следующему определению
Оп р е д е л е н и е 5 (определение предела на языке ).
Пусть a – точка сгущения мн-ва X и A R .
Тогда A lim f (x) 0 0 :
x a
| f (x) A |
x X , 0 | x a |
Теорема 1 (о единственности предела). Пусть f : X R и a R –
точка сгущения X . Тогда если A lim f (x) |
и B lim f (x) , то |
A B . |
x a |
x a |
|
|
|
|
и Е X . Отображение |
||
|
О п р е д е л е н и е 6. |
Пусть f : X Y |
|||
g : E Y называется |
сужением |
отображения f |
на мн-во E , если |
||
|
|
g(x) f (x) x E |
|
При этом отображение f , в свою очередь, называется продолжением отображения g на мн-во X.
Опр.5 – одна из наиболее распространенных форм определения предела функции
Сужение отображения f : X Y на мн-во Е X обозначается
f E .
|
|
|
|
~ |
|
Теорема 2 |
|
||
~ |
(о пределе сужения) |
Пусть X X R , a – т. сг. мн-ва |
||
|
|
f : X R имеет предел в точке a . Тогда и ее |
||
X и функция (в.п.) |
||||
|
||||
сужение f |
~ имеет тот же предел в этой точке. |
|||
|
|
X |
|
|
|
|
|
|

ЛЕКЦИЯ 1.4
§2. Основные свойства предела функции.
n01. Локальные свойства функций, имеющих предел.
Определение 1. Пусть функция f определена на множестве X R и G – некоторое его подмножество ( G X ). Говорят, что функция f ограничена (соотв., ограничена сверху или снизу) на множестве G , если его образ f (G) есть ограниченное
(соотв., ограниченное сверху или снизу) множество.
В частности, в данном определении может быть G X . В этом случае говорят просто, что функция f : X R ограничена.
Теорема 1 (о локальной ограниченности ф-ии, имеющей предел). Пусть функция f
определена на множестве X R и a R - точка сгущения этого множества. Тогда
если существует предел lim f (x) , то существует такая окрестность V точки a , что
x a
функция f ограничена на множестве V X
При выполнении условия этой теоремы, допуская вольность речи говорят также,
что функция f ограничена в некоторой окр-ти V точки a .
Ниже знак числа A обозначается через sign A , при этом формально считается, что
1, |
если A 0 |
|
если A 0 |
sign A 0, |
|
|
если A 0 |
1, |
Примечания
Здесь материалы к Вопросам 5, 6, 8 и 9
В частности теорема о сохранении знака функции (ее иначе называют теоремой о стабилизации знака функции (В.5)), теоремы о предельном переходе в неравенствах (В.6), теорема о связи
функции имеющей конечный предел с б.м. функцией (В.8).
бесконечно малые функции в точке и теоремы о б.м.функциях (В.9)
К понятию ограниченной функции на множестве: f – ограничена на множестве G С 0 :
| f (x) | C x G ;
а в силу определения огр. сверху (снизу) числ-го мн-ва
f |
– ограничена сверху на множестве G |
|
|
M R : |
f (x) M x G ; |
f |
– ограничена снизу на множестве G |
|
|
m R : |
f (x) m x G . |
Замечание по поводу доказательства Т.1
Для док-ва Т.1 достаточно рассмотреть окрестность
U A ( A 1, A 1) точки A lim f (x) и воспользоваться
x a
определением предела.

Теорема 2 (о стабилизации знака ф-ии, имеющей предел). Пусть функция f определена
на множестве X R и a R - точка сгущения этого множества. Тогда если |
|
|
|
|
|
|
|||||
существует отличный от нуля предел lim f (x) b 0 , то в некоторой проколотой |
|
|
|
|
|
|
|||||
|
|
x a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
окрестности V точки a функция f имеет тот же знак, что и этот предел: |
|
|
Т.2 есть теорема о сохранении знака функции |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
|
|
|
|
|
|
|
sign f (x) sign b |
x V X |
|
|
|
Пусть, например, b lim f (x) 0 . Тогда для |
||||
|
n02. Предельный переход в неравенствах. |
|
|
||||||||
|
|
|
|
x a |
|||||||
|
|
|
|
|
|
|
|
доказательства достаточно рассмотреть окрестность |
|||
|
|
|
|
|
|
|
|
Ub (0, b 1) точки b и воспользоваться определением |
|||
|
Теорема 3 (о предельном переходе в неравенстве). |
|
|
|
|
||||||
|
|
|
|
|
предела. |
Случай b lim f (x) 0 рассмотреть |
|
||||
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
x a |
|
Пусть функции f и g определены на множестве X R и a R - точка
сгущения множества X . Тогда если
|
|
|
|
|
|
|
f (x) g(x) |
|
x X |
||
|
|
|
|||
и существуют пределы lim f (x) и lim g(x) , то |
|
|
|||
x a |
|
x a |
|
|
|
|
|
|
|||
|
|
lim f (x) lim g(x) . |
|
||
|
|
x a |
x a |
|
Док-во легко проводится от противногоот противного
самостоятельно
Т.3 и следующая Т.4 носят название теорем о предельном переходе в неравенствах, при этом Т.4 в вопросах именуется теоремой о сжатой переменной, однако чаще ее называю теоремой о двойном неравенстве или, также принципом двух милиционеров (полицейских)

Теорема 4 (о двойном неравенстве или принцип двух полицейских).
Пусть функции f , g и h определены на множестве X R и a R - точка
сгущения множества X . Тогда |
если |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
f (x) g(x) h(x) |
x X |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
и существуют равные между собой пределы |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
lim |
f (x) и lim h(x) , |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
x a |
|
|
x a |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
то существует и равный им предел |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim g(x) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x a |
|
|
|
|
|
|
|
т.е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim f (x) lim g(x) lim h(x) . |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
x a |
|
x a |
x a |
|
|
|||||||||
|
|
|
|
n03. Бесконечно малые функции |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
О п р е д е л е н и е. |
Функция f |
называется |
бесконечно малой (б.м.) при x a |
||||||||||||||||
если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
f (x) 0 |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
x a |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
(т.е. 0 0 : |
| f (x) | x X , 0 | x a | ) |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
Замечания |
. Очевидно |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
a) f (x) 0 |
| f (x) | 0 . |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
x a |
|
|
|
|
x a |
|
|
|
|
|
|
|
|
|
b) lim g(x) A f (x) g(x) A б.м. при x a
x a
В силу последнего замечания б) если функция
g имеет в точке a конечный предел A, то ее можно представить в виде g(x) = f(x) +A , где f(x) – б.м. функция

Предложение 1. Сумма конечного числа бесконечно малых функций при x a является бесконечно малой при x a .
Предложение 2. Произведение бесконечно малой (при x a ) ф-ии на функцию ограниченную в некоторой окрестности предельной точки ( a ) есть б.м. функция (при x a ).
при x стремящемся к a. Это и есть теорема о связи функции имеющей конечный предел с б.м. функцией из вопроса 8.
Предложения 1 и 2 носят также название теорем о б.м. (В.9)

ЛЕКЦИЯ 1.5
Продолжение §2. Основные свойства предела функции.
n05. Арифметические свойства предела функции
Лемма 1 (о пределе модуля)
Если f (x) A , то |
| f (x) | | A | . |
x a |
x a |
Лемма 2 (о локальной ограниченности 1f )
Если |
A lim f (x) 0 , то функция |
1 |
ограничена в некоторой окрестности точки |
|
f |
||||
|
x a |
|
a R .
Здесь имеются материалы к вопросам
1,2, 8:
В частности, теорема 5 об арифметических свойствах предела функции (В.8), Односторонние пределы и теорема 1 из §3 о существовании предела функции в точке (В.2), Предел
вбесконечно удаленной точке (точнее
вдвух беск. уд. точках) (В.1)
Док-во леммы 1 из нер-ва (см. св-ва модуля)
0 || f (x) | A || | f (x) A |
x X обл. опр. ф ии f .
и принципа двух полицейских.
Для док-ва Л.2 дост. рассм. окр.
по Л .1
(|A| 2 , 3|A| 2 ) точки | A | lim | f (x) | и восп.
x a
определеним предела.

Теорема 5 (об арифметических свойствах предела функции).
Пусть функции f и g определены на множестве X R и a R - точка сгущения этого
множества. Тогда если существуют пределы
|
|
lim f (x) и lim g(x) , |
|
|
|
x a |
x a |
то существуют и пределы |
|
|
|
а) |
lim cf (x) |
(c const) , |
б) |
lim( f (x) g(x)) , |
|
в) |
lim f (x)g(x) |
, |
г) |
lim |
f ( x) |
|
|
g( x) |
||||||||||||
|
|
x a |
|
|
x a |
|
|
x a |
|
|
x a |
||
|
|
(последний при дополнительном предположении, что и lim g(x) 0 ), |
|
|
|||||||||
|
|
|
|
|
|
|
|
x a |
|
|
|
|
|
причем |
|
|
|
|
|
|
|
|
|
|
|
|
а’) |
lim cf (x) c lim f (x) , |
|
|
||||
|
x a |
|
|
x a |
|
|
|
|
|
|
|
|
|||
б’) |
lim( f (x) g(x)) lim f (x) lim g(x) |
||||||
|
x a |
|
|
x a |
x a |
||
|
|
|
|
||||
в’) |
lim f (x)g(x) lim f (x) lim g(x) |
|
|||||
|
x a |
|
|
x a |
x a |
|
|
|
|
|
|
|
|
|
|
|
|
f ( x) |
|
lim f ( x) |
|
|
|
г’) |
lim |
x a |
|
|
|
||
|
lim g( x) |
|
|
|
|||
|
x a |
g( x) |
|
|
|
||
|
|
|
|
x a |
|
|
|
Теорема 6 (о пределе степени с целым показателем). |
|
|
|
|
Если n – целое и f (x) A , то |
f (x) A (при считается, что |
f (x) 0 |
и A 0) ) |
|
x a |
x a |
|
|
При выполнении условий теоремы 5
–утверждение б) б’) называют теоремой о пределе суммы и разности;
–утверждение в) в’) называют теоремой о пределе произведения;
–утверждение г) г’) называют теоремой о пределе частного
Утверждение а) а’) о том, что постоянную можно выносить за знак предела являются частным случаем теоремы о пределе произведения при условии, что g(x) c const x X .

§ 3. Односторонние пределы
Пусть задана функция f : X R и точка a R . Рассмотрим множества
X l {x X | x a}
и
X r {x X | x a} .
Положим
fl f |Xl
Определение 1. Пусть a - точка сгущения множества X l . Если
существует предел lim fl (x) то его называют |
левосторонним пределом |
|
||||||||
|
|
|
|
|
x a |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
функции |
|
f в точке a |
или также |
пределом функции f в точке |
a слева. |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
. Если |
||||||||
|
Определение 2. |
Пусть a - точка сгущения множества X l |
||||||||
|
|
|
|
|
|
|
|
|
|
|
существует предел lim fr (x) то его называют правосторонним пределом
x a
функции f в точке a или также пределом функции f в точке a справа.
На языке эти определения формулируются следующим образом

|
Определение 1’. |
Пусть a - точка сгущения множества X l |
. Если |
|
|
|
||||||||
0 ( ) 0 такое, что x X , удовлетворяющего неравенствам |
|
|
||||||||||||
|
|
|
|
|
a x a |
|
|
|
|
|
|
|
|
|
имеет место неравенство |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
| f (x) b | , |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
||||||||
то число b R называется левосторонним пределом функции f |
|
в точке a или |
||||||||||||
также пределом функции f в точке a слева. |
|
|
|
|
|
|
|
|||||||
|
Аналогично вводится и понятие предела справа: |
|
|
|
|
|
|
|||||||
|
Определение 2’. Пусть a - точка сгущения множества X r . Если 0 |
( ) 0 такое, |
что x X , удовлетворяющего неравенствам
a x a
имеет место неравенство
| f (x) b | .
то число b R называется правосторонним пределом функции f в точке a , или также пределом функции f в точке a справа.
Левосторонний предел функции f в точке a обозначается обычно одним из символов
lim f (x) или f (a 0) ,
x a 0
а правосторонний, соответственно, – одним из символов
lim f (x) или f (a 0) .
x a 0

|
Левосторонний и правосторонний пределы вместе называют |
|
|
||
односторонними В отличие от них «обычный» предел функции f при |
x a |
||||
называется иногда двусторонним. |
|
|
|
||
|
|
||||
|
Замечание 1. |
Очевидно, левосторонний предел функции f : X R в точке a есть в то же время |
|||
обычный предел в этой точке сужения fl f |X |
функции f на множество X l . Аналогично, правосторонний |
||||
|
|
|
l |
|
|
предел функции f : X R в точке a является обычным пределом в этой точке ее сужения fr |
f |X |
на |
|||
|
|
|
|
|
r |
множество X r . Поскольку односторонние пределы являются в то же время и обычными пределами, то для них справедливы все теоремы, которые были установлены для обычных – двусторонних пределов.
Замечание 2. Если точка a является точкой сгущения обоих множеств X l и X r , и при этом, существует двусторонний предел функции f в этой точке, то в ней, очевидно, существуют и
равные ему оба односторонних предела этой функции в той же точке. Верно и обратное утверждение:
Теорема 1. Пусть X R , f : X R и a R – точка сгущения каждого из множеств X l и X r . Тогда, если существуют равные между собой односторонние пределы f (a 0) и f (a 0) , то существует и равный им двусторонний предел
lim f (x) = f (a 0) = f (a 0) .
x a
Справедливость этой теоремы прямо следует из определений двустороннего и односторонних пределов.