Теория пределов функции. Теория пределов. Методика вычисления. Бесконечные пределы функции

Понятие предела и понятие функции - фундаментальные понятия математического анализа. Начало изучению понятия предела положено в элементарной математике, где с помощью предельных переходов определяются длина окружности, объём цилиндра, конуса и т.д. Оно также было использовано при определении суммы бесконечно убывающей геометрической прогрессии. Операция предельного перехода является одной из основных операций анализа.

Предемл фумнкции (предельное значение функции ) в заданной точке, предельной для области определения функции, -- такая величина, к которой стремится значение рассматриваемой функции при стремлении её аргумента к данной точке.

Предел функции является обобщением понятия предела последовательности: изначально под пределом функции в точке понимали предел последовательности элементов области значений функции, составленной из образов точек последовательности элементов области определения функции, сходящейся к заданной точке (предел в которой рассматривается); если такой предел существует, то говорят, что функция сходится к указанному значению; если такого предела не существует, то говорят, что функция расходится.

Наиболее часто определение предела функции формулируют на языке окрестностей. То, что предел функции рассматривается только в точках, предельных для области определения функции, означает, что в каждой окрестности данной точки есть точки области определения; это позволяет говорить о стремлении аргумента функции (к данной точке). Но предельная точка области определения не обязана принадлежать самой области определения: например, можно рассматривать предел функции на концах открытого интервала, на котором определена функция (сами концы интервала в область определения не входят).

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

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

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

Если в некоторой точке области определения функции существует предел и этот предел равен значению функции в данной точке, то функция оказывается непрерывной(в данной точке).

Пусть функция определена в некоторой окрестности точки а, кроме, может быть, самой точки а.

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

Число А называется пределом функции в точке x=х0 (или при), если для любой сходящейся к х0 последовательности (1) значении аргумента x , отличных от х0 , соответствующая последовательность (2) значений функции сходится к числу А . Обозначается.

Функция может иметь в точке х0 только один предел. Это следует из того, что последовательность имеет только один предел.

1). Функция =с=const имеет предел в каждой точке х0 числовой прямой, т.е.

gif" name="object9" align=absmiddle width=63 height=29>

2). Функция =x имеет в любой точке х0 числовой прямой предел, равныйх0 , т.е.

Определение 2. Число А называется пределом функции в точке х=х0 , если для любого числа существует число такое, что для всех, удовлетворяющих неравенству, выполняется неравенство. предельный функция числовой множитель

Первое определение основано на понятии предела числовой последовательности, поэтому его часто называют определением ""на языке последовательностей"", или определением по Гейне (1821-1881 - немецкий математик). Второе определение называют определение на языке "", или определением по Коши (1789-1857 - французский математик).

Можно доказать, что оба определения предела функции в точке х0 эквивалентны, а это значит, что можно использовать любое из них в зависимости от того какое более удобно при решении той или иной задачи.

Кроме рассмотренного понятия предела функции при существует также понятие предела функции при.

Определение. Число А называется пределом функции при, если для любого Е>0 можно указать такое положительное число N , что для всех значений x , удовлетворяющих неравенству, будет выполнятся неравенство.

Пределы доставляют всем студентам, изучающим математику, немало хлопот. Чтобы решить предел, порой приходится применять массу хитростей и выбирать из множества способов решения именно тот, который подойдет для конкретного примера.

В этой статье мы не поможем вам понять пределы своих возможностей или постичь пределы контроля, но постараемся ответить на вопрос: как понять пределы в высшей математике? Понимание приходит с опытом, поэтому заодно приведем несколько подробных примеров решения пределов с пояснениями.

Понятие предела в математике

Первый вопрос: что это вообще за предел и предел чего? Можно говорить о пределах числовых последовательностей и функций. Нас интересует понятие предела функции, так как именно с ними чаще всего сталкиваются студенты. Но сначала - самое общее определение предела:

Допустим, есть некоторая переменная величина. Если эта величина в процессе изменения неограниченно приближается к определенному числу a , то a – предел этой величины.

Для определенной в некотором интервале функции f(x)=y пределом называется такое число A , к которому стремится функция при х , стремящемся к определенной точке а . Точка а принадлежит интервалу, на котором определена функция.

Звучит громоздко, но записывается очень просто:

Lim - от английского limit - предел.

Существует также геометрическое объяснение определения предела, но здесь мы не будем лезть в теорию, так как нас больше интересует практическая, нежели теоретическая сторона вопроса. Когда мы говорим, что х стремится к какому-то значению, это значит, что переменная не принимает значение числа, но бесконечно близко к нему приближается.

Приведем конкретный пример. Задача - найти предел.

Чтобы решить такой пример, подставим значение x=3 в функцию. Получим:

Кстати, если Вас интересуют , читайте отдельную статью на эту тему.

В примерах х может стремиться к любому значению. Это может быть любое число или бесконечность. Вот пример, когда х стремится к бесконечности:

Интуитивно понятно, что чем больше число в знаменателе, тем меньшее значение будет принимать функция. Так, при неограниченном росте х значение 1/х будет уменьшаться и приближаться к нулю.

Как видим, чтобы решить предел, нужно просто подставить в функцию значение, к которому стремиться х . Однако это самый простой случай. Часто нахождение предела не так очевидно. В пределах встречаются неопределенности типа 0/0 или бесконечность/бесконечность . Что делать в таких случаях? Прибегать к хитростям!

Неопределенности в пределах

Неопределенность вида бесконечность/бесконечность

Пусть есть предел:

Если мы попробуем в функцию подставить бесконечность, то получим бесконечность как в числителе, так и в знаменателе. Вообще стоит сказать, что в разрешении таких неопределенностей есть определенный элемент искусства: нужно заметить, как можно преобразовать функцию таким образом, чтобы неопределенность ушла. В нашем случае разделим числитель и знаменатель на х в старшей степени. Что получится?

Из уже рассмотренного выше примера мы знаем, что члены, содержащие в знаменателе х, будут стремиться к нулю. Тогда решение предела:

Для раскрытия неопределенностей типа бесконечность/бесконечность делим числитель и знаменатель на х в высшей степени.

Кстати! Для наших читателей сейчас действует скидка 10% на

Еще один вид неопределенностей: 0/0

Как всегда, подстановка в функцию значения х=-1 дает 0 в числителе и знаменателе. Посмотрите чуть внимательнее и Вы заметите, что в числителе у нас квадратное уравнение. Найдем корни и запишем:

Сократим и получим:

Итак, если Вы сталкиваетесь с неопределенностью типа 0/0 – раскладывайте числитель и знаменатель на множители.

Чтобы Вам было проще решать примеры, приведем таблицу с пределами некоторых функций:

Правило Лопиталя в пределах

Еще один мощный способ, позволяющий устранить неопределенности обоих типов. В чем суть метода?

Если в пределе есть неопределенность, берем производную от числителя и знаменателя до тех пор, пока неопределенность не исчезнет.

Наглядно правило Лопиталя выглядит так:

Важный момент : предел, в котором вместо числителя и знаменателя стоят производные от числителя и знаменателя, должен существовать.

А теперь – реальный пример:

Налицо типичная неопределенность 0/0 . Возьмем производные от числителя и знаменателя:

Вуаля, неопределенность устранена быстро и элегантно.

Надеемся, что Вы сможете с пользой применить эту информацию на практике и найти ответ на вопрос "как решать пределы в высшей математике". Если Вам нужно вычислить предел последовательности или предел функции в точке, а времени на эту работу нет от слова «совсем», обратитесь к за быстрым и подробным решением.

В этой главе изучается операция предельного перехода - основная операция математического анализа. Сначала рассмотрим предел функции натурального аргумента, поскольку все основные результаты теории пределов отчетливо видны в этой простой ситуации. Затем рассмотрим предел в точке функции действительной переменной.

2.1 Предел последовательности

2.1.1 Определение и примеры

Определение 2.1. Функцияf: N → X , областью определения которой является множество натуральных чисел, называется последовательностью.

Значения f(n), n N, называются членами последовательности. Их принято обозначать символом элемента того множества, в которое происходит отображение, снабжая символ соответствующим индексом (аргументом функции f): xn = f(n). Элемент xn называется n-м членом последовательности. В связи с этим последовательность часто обозначают символом {xn } или {xn }+ n=1 ∞ , а также записывают в виде x1 , x2 , . . . , xn , . . . .

В дальнейшем в этой главе будем рассматривать только последовательность f: N → R действительных чисел.

Определение 2.2. Интервал, содержащий точкуa R, называют окрестностью этой точки. Интервал(a − δ, a + δ) ,δ > 0 , называют δ -окрестностью точкиa и обозначаютU a (δ) илиV a (δ) (часто пишут короче:U a илиV a ).

Определение 2.3. Числоa R называют пределом числовой последовательности{x n } , если для любой окрестности точкиa существует номерN N такой, что все элементыx n последовательности, номера которых большеN, содержатся вU a . При этом пишут

n lim→∞ xn = aили lim xn = aили xn → aпри n → ∞.

В логической символике определение 2.3 имеет вид:

a R. a = lim xn Ua N = N(Ua ) N: n > N xn Ua .

Поскольку Ua (ε) = (a − ε, a + ε) = {x R: |x − a| < ε}, то часто употребляют следующую равносильную формулировку определения2.3

Определение 2.4. Числоa называют пределом числовой последовательности{x n } , если для любого положительного числаε найдется номерN = N(ε) такой, что все члены последовательности с номерамиn > N удовлетворяют неравенству|x n − a| < ε .

Соответственно, в логической символике это определение имеет вид: a R, a = lim xn ε > 0 N = N(ε) N: n > N |xn − a| < ε

Замечание. Первые члены последовательности не влияют на существование и величину предела в случае его существования.

Иногда полезна следующая геометрическая интерпретация определения 2.3 предела последовательности:

Число a называется пределом последовательности{x n } , если вне любой окрестности точкиa находится не более конечного числа членов последовательности{x n } .

Ясно, что если вне некоторой окрестности точки a находится бесконечное число членов {xn }, то a не является пределом {xn }.

Рассмотрим несколько примеров.

Пример 2.1. Если {xn } : xn = c, то lim xn = c, так как все члены последовательности, начиная с первого, принадлежат любой окрестности

Поскольку q > 1, то q = 1 + α, где α > 0. Поэтому n > 1 по формуле бинома Ньютона

qn = 1 + nα +n(n − 1) α2 + · · · + αn > nα.

Итак, ε > 0 N = max{1, } N: n > N |1/qn | < ε.

Пример 2.4. Покажем, что последовательность {xn } : xn = (−1)n , не имеет предела.

Для любого числа a укажем такую окрестность, вне которой расположено бесконечное множество членов данной последовательности. Для этого зафиксируем точку a R и рассмотрим ee единичную окрестность Ua (1) = (a − 1, a + 1). Поскольку x2k = 1, x2k+1 = −1, k N, и хотя бы одно из чисел +1 или −1 не принадлежит Ua (1), то вне Ua (1) находится бесконечное множество членов последовательности {xn }. Следовательно, число a не является её пределом. В силу произвольности числа a заключаем, что @ lim xn .

Определение 2.5. Числовая последовательность, имеющая пределом число, называется сходящейся. Все остальные последовательности называются расходящимися.

В логической символике определение 2.5 имеет вид: {xn } сходится a R: lim xn = a.

дящимися, а последовательность {(−1)n } - расходящейся.

2.1.2 Свойства сходящихся последовательностей

Теорема 2.1. Последовательность не может иметь двух различных пределов.

Пусть числовая последовательность {xn } имеет два различных предела a и b. Для определенности будем считать, что a < b. Положим

ε = b − 2 a . По определению2.4 предела последовательности найдем N1 и

Определение 2.6. Числовая последовательность {x n } называется ограниченной сверху (соответственно, снизу или ограниченной), если множество X = {x n | n N} является ограниченным сверху (снизу или ограниченным). Если X - неограниченное множество, то {x n } называется неограниченной последовательностью.

C учетом определений 2.1 и2.2 имеем:

{xn } ограничена сверху M R: n N xn ≤ M, {xn } ограничена снизу M R: n N xn ≥ M, {xn } ограничена M > 0: n N |xn | ≤ M,

{xn } не ограничена M > 0 n N: |xn | > M.

Теорема 2.2. Сходящаяся последовательность ограничена.

Пусть последовательность {xn } сходится и lim xn = d. Полагая в определении2.4 ε = 1, найдем номер N такой, что |xn − d| < 1, n > N, то есть d − 1 < xn < d + 1, n > N. Введем обозначения:

a = min{x1 , x2 , . . . , xN , d − 1}, b = max{x1 , x2 , . . . , xN , d + 1}.

Тогда a ≤ xn ≤ b, n N.

Замечание. Ограниченность последовательности - необходимое, но недостаточное условие сходимости (см.пример 4) .

Теорема 2.3. Если числовая последовательность {x n } сходится и lim x n = a , то последовательность {|x n |} сходится и lim |x n | = |a|.

Так как a = lim xn , то ε > 0 N = N(ε) N: n > N |xn − a| < ε.

Отсюда следует, что n > N ||xn | − |a|| ≤ |xn − a| < ε.

Замечание 1. Из теоремы2.3 и примера3 следует, что при |q| > 1

lim q n = 0.

Замечание 2. Обратное утверждение к теореме2.3 не имеет места.

Посвящены одному из основных понятий математического анализа - пределу. И в случае числовой последовательности и в случае действительной функции действительного переменного исследовано неограниченное приближение к некоторому постоянному значению переменной величины, зависящей от другой переменной при определенном ее изменении. В этой главе попытаемся обобщить понятие предела для отображений произвольных метрических пространству причем обобщение коснется и способа стремления независимого переменного к заданному значению. 8.1. Понятие предела отображения Пусть X и У - метрические пространства с заданными на них метриками р и d соответственно, X - некоторое подмножество в X с той же метрикой />, имеющее а 6 X своей предельной точкой. Подчеркнем, что в силу определения 5.9 эта предельная для А точка может как принадлежать, так и не принадлежать подмножеству А. Будем рассматривать ТЕОРИЯ ПРЕДЕЛОВ. Понятие предела отображения проколотую окрестность U(a) = U(a) \ {а} данной точки. Пусть область определения отображения /: А У включат ет множество А. Отметим, что для точки а это отображение может и не быть определено. Определение 8.1. Точку 6 € У называют пределом отображения /: A -f У в точке а по множеству А и записывают b = lim f(x) или f(x) -> b при х-^а, если, како- ва бы ни была окрестность V(6) точки 6, существует такая проколотая окрестность U(a) точки а в X, что ее образ для любой точки ж€Ща)ПЛ принадлежит У(6),т.е. При выполнении (8.1) говорят также, что функция f(x) стремится к Ь при стремлении х по множеству А к точке а. Определение 8.1 является достаточно общим. В зависимости от того, какими множествами являются X, У, АСХ и какова точка а € X, можно получить различные конкретизации этого определения. Напомним (см. 5.2), что любая окрестность точки включает е-окрестность этой точки и всякая ^-окрестность является окрестностью. Поэтому, заменяя в (8.1) произвольную окрестность V (6) точки b б Y на ее ^-окрестность а проколотую окрестность точки а € X - на ее проколотую -окрестность приходим к следующей символической записи определения предела отображения, эквивалентного определению 8.1: При Y С R из (8.1) следует символическая запись определения предела отображения /: (предела действительной функции): . Бели в (8.5) 6 = 0) то функцию f(x) называют бесконечно малой при стремлении х по множеству А к точке а € X и записывают При У С R можно говорить о бесконечных пределах отображения, если точка 6 является одной из бесконечных точек (+оо или -оо) расширенной числовой прямой R или их объединением (оо). В этом случае окрестность каждой из перечисленных точек при выборе произвольного М > О примет вид Тогда из (8.1) следуют три довольно похожих между собой за-писи в символической форме определений бесконечных пределов функции: . Пример 8.1. Покажем, что lim f(x) = с, если отображение / в точках множества А принимает одно и то же значение с. В самом деле, какой бы ни была окрестность ТЕОРИЯ ПРЕДЕЛОВ. Понятие предела отображения V(c) точки с} Vx в U (а) П A /(х) = с, так как хе А. Поэтому /(U (а) П А) = с € V(c), что соответствует определению 8.1. Убедимся, что lim /(х) = а, если отображение / тождественно, т.е. /(я) = х Vx 6 А. В этом случае для любой окрестности V(a) при выборе U(a) = = V(a) \ {а} для тождественного отображения получим что отвечает (8.1). В частности, когда А = R и а соответствует бесконечной точке +оо расширенной числовой прямой, имеем: /(х) -f оо при х +оо. Действительно, при произвольном М > 0 в качестве проколотой окрестности бесконечной точки +оо достаточно выбрать множество U (+оо) = = {s € R: х > М}, чтобы получить /(х) > М и удовлетворить условию (8.7). # Если в определении 8.1 X = У = R и подмножество А = = {а: € R: х > а}, то приходим к понятию правостороннего предела действительной функции действительного переменного в точке а, обозначенного в 7.2 lim fix). Если же X = У = R Отметим, что множество А может совпадать со всем множеством X. При X = Y = R этот случай в определении 8.1 соответствует понятию двустороннего предела действительной функции действительного переменного, причем (если нет угрозы путаницы) вместо lim /(х) пишут просто lim /(х). Конечно, говоря о lim /(х), можно рассматривать всевоз-можные мыслимые подмножества А, но не всегда это приводит к содержательным нетривиальным результатам. Так, если функцию Дирихле рассматривать на подмножестве Q С R рациональных чисел, то получим просто постоянную функцию, предел которой установлен в примере 8.1. При определение 8.1 приведет к понятию предела последовательности точек произвольного метрического пространства У. В связи с этим дадим следующее определение. Определение 8.2. Точку 6 € У называют пределом последовательности {уп} точек уп метрического пространства У, если, какова бы ни была окрестность V(6) С У точки 6, существует натуральное число N , такое, что начиная с номера N +1 все точки данной последовательности попадают в эту окрестность, т.е. ТЕОРИЯ ПРЕДЕЛОВ. Понятие предела отображения При выполнении (8.10) говорят также, что {уп} стремится к точке 6. Использовав в (8.10) вместо произвольной окрестности точки 6 ее произвольную ^-окрестность, будем иметь Сравнивая (8.11) с (6.28) и определением 6.5, заключаем, что последовательность {уп} точек уп метрического пространства стремится к точке 6, если числовая последовательность {d(yn> 6)} расстояний d(yni b) € R бесконечно малая, т.е. Иначе говоря, исследование поведения последовательностей точек произвольного метрического пространства опирается на исследование сходимости числовых последовательностей. Более того, и предел отображения произвольных метрических пространств тесно связан с пределом последовательностей. Эту связь устанавливает следующая теорема. Теорема 8.1. Отображение /:У имеет точку 6 € У своим пределом при стремлении х по множеству А к точке а тогда и только тогда, когда при отображении / образ любой стремящейся к а последовательности точек из А является последовательностью точек из У, стремящейся к 6, т.е. Предположим, что точка 6 б У удовлетворяет определению 8.1 предела отображения и {х„} - произвольная последовательность точек хп из А, стремящаяся к точке a € X. Тогда, согласно (8.1), какова бы ни была окрестность V(b) С У точки 6, существует проколотая окрестность U(a) С X точ- ки а, такая, что /(и(а)ПА) С V(6). По определению 8.2, в U(a)nA должны лежать начиная с некоторого номера W + 1 все точки стремящейся к а последовательности {хп}» т.е. в силу (8.10) Тогда начиная с того же номера все точки f(xn) Е У последовательности {f(xn)} лежат в V(6), что, согласно определению 8.2, означает, что эта последовательность стремится к 6. Чтобы доказать достаточность условия теоремы, предположим, что для любой стремящейся к а последовательности {хп} точек хп из А последовательность {/(х„)} точек f(xn) из У стремится к 6. Если бы lim f(x) ф 6, то это означало бы существование такого числа е > 0, что при любом выборе 8 > 0 имеется точка х € А, удовлетворяющая условиям р(х, а) и d(f(x)y 6) > е. При сколь угодно малом S > О можно указать натуральное число N) такое, что 1 /N . Тогда для каждого номера п > N найдется хотя бы одна точка из А, которую обозначим хп, такая, что р(хп, ^ Таким образом, последовательность {хп}, составленная из таких точек хп 6 Ау в силу (8.11) стремится к а, тогда как {/(хп)} не стремится к 6, а это противоречит исходному предположению. Полученное противоречие доказывает достаточность условия теоремы. Эта теорема позволяет сформулировать определение, эквивалентное определению 8.1. Определение 8.3. Точку б€ У называют пределом отображения /: А -> У в точке а по множеству А, если при отображении / образ любой стремящейся к а последоваг тельности точек из А является последовательностью точек из У, стремящейся к Ь. Символические формы записи этого определения и теоремы 8.1 совпадают. Пример 8.2. Пусть X = R, А = R, а = +оо и в отображении /: R R f(x) = cos2 Vx 6 R. Покажем, что lim f(x) = lim cos a; не существует. Возьмем последовательность {a:n} = {2птг}, которая стремится к +оо. Тогда cosin = соз2птг = 1, и в силу (6.9) lim {cos xn} = 1. Если же взять последовательность {хп} = {(2п + 1)тг/2}, также стремящуюся к +оо, то ее образ сходится к нулю. Это противоречит определению 8.3 предела отображения, т.е. указанный выше предел не существует. Рассмотрение стремящихся к оо последовательностей {2п(-1)п7г} и {(2п+ 1)(-1)птг/2} приводит к тому же выводу. Отметим, что если обозначить то правомерна запись lim cosx = 1 и limcoex = 0. # Сопоставлением определений 8.1 и 5.13 может быть доказана следующая теорема. Теорема 8.2. Отображение /: X -+Y будет непрерывным в точке а € X в том и только том случае, когда предел отображения при стремлении х по множеству X к точке а совпадает со значением /(а), т.е. когда Л Пусть отображение / непрерывно в точке а в X. Тогда, по определению 5.13 непрерывного отображения, какова бы ни была окрестность V(6) точки 6 = /(а) € У, существует такая окрестность U(a) точки а € А} что /(U(a)) С V(6), а ТЕОРИЯ ПРЕДЕЛОВ. Понятие предела отображения стало быть, существует и проколотая окрестность U (а) точки а, такая, что /(U(a)) С V(b). Согласно определению 8.1 это означает, что справедливо (8.12). Обратно, пусть выполнено (8.12). Тогда в силу определения 8.1 для любой окрестности V (Ь) точки b = /(a) су- ществует проколотая окрестность U(a) точки а, такая, что /(U(a)) С V(6). Рассмотрим окрестность U(a) = U(a) U {a}. Поскольку /(a) G V(6), согласно свойствам отображения множеств (см. 2.1), имеем 4 т.е. отображение / по определению 5.13 непрерывно в точке аеХ. С учетом теоремы 8.2 можно сформулировать определение, эквивалентное определению 5.13. Определение 8.4. Отображение /: называют непрерывным в точке а 6 Ху если справедливо (8.12). Учитывая теоремы 8.1 и 8.2, получаем следующее утверждение. Утверждение 8.1. Для непрерывности отображения /: X -У Y в предельной точке абХ необходимо и достаточно, чтобы образ при отображении / любой стремящейся к а последовательности точек из X был последовательностью точек из У, сходящейся к точке /(а). 8.2. Некоторые свойства предела отображения Пусть X и У, так же как и в 8.1, - метрические пространства, AC X и а € X - предельная точка множества А. Теорема 8.3. Бели при стремлении х по множеству А к точке а отображение /: X У имеет предел, то он единственный. Предположим, что при х-^а отображение / имеет два предела 6i и 62, причем 61 ф 62. Тогда при выборе непересекающихся окрестностей этих точек (V(61)flV(62) = 0), по определению 8.1, у точки а существует проколотая окрестность U(a), такая, что и, а это невозможно в силу определения 2.1 отображения. Теорема 8.4 (о пределе композиции). Бели существуют пределы отображений /: AC X и д: У Z, причем {(х)фЬ при г-^a, где Ху У и Z - метрические пространства предельные точки соответственно для А С X и f(A) С У, то существует при х-^а и предел композиции (сложной функции) Выберем произвольную окрестность W (с) точки с. Тогда в силу определения 8.1 предела отображения всегда можно найти такую проколотую окрестность V(6) точки 6, что д(V(6) П f}