Высшая математика. Первый семестр/Пределы: различия между версиями

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
Новая: даны координаты вершин пирамиды ABCD.Найти: угол между ребрами AB и AC;
 
+1
Строка 1: Строка 1:
Пусть задана некоторая меняющаяся величина <math>y</math>, зависящая от переменного <math>x</math>. Предположим, что это переменное <math>x</math> можно менять так, что выполняется некоторое условие <math>\mathcal{B}</math>: переменное «приближается» («стремится») к чему-нибудь (что это означает, мы уточним позже при помощи строгих определений). Тогда встаёт вопрос о том, не ведёт ли себя величина <math>y</math> каким-либо «правильным» образом, тоже «стремясь» к чему-нибудь, например, к числу <math>L</math>. Если это так, то это «что-то» называется пределом величины <math>y</math> при данном условии <math>\mathcal{B}</math> для <math>x</math> и обозначается
даны координаты вершин пирамиды ABCD.Найти:

угол между ребрами AB и AC;
<math>\displaystyle \lim_{\mathcal{B}}y.</math>

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

== Предел функции при x→x<sub><small>0</small></sub> ==
[[Изображение:limit1.png|thumb|Предел при <math>x\to x_0</math>]]
Пусть <math>y=f(x)</math> — это функция вещественного переменного <math>x</math>, определённая во всех точках интервала <math>(a;b)</math>, кроме, быть может, точки <math>x_0\in(a;b)</math>. Дадим определение предела величины <math>y</math> при условии, что <math>x</math> стремится к точке <math>x_0</math>. Это условие кратко обозначается <math>x\rightarrow x_0</math>. Стремление <math>x</math> к <math>x_0</math> означает, что при своём изменении <math>x</math> оказывается во всё более узких окрестностях, окружающих точку <math>x_0</math>, но не совпадает с <math>x_0</math>, то есть значение <math>\vert x-x_0\vert</math> становится всё меньше и меньше, приближаясь к 0, но нулём не становится. При этом может оказаться, что соответствующие <math>x</math> значения <math>y=f(x)</math> становятся всё ближе и ближе к некоторому фиксированному числу <math>y_0</math>, причём для любой, сколь угодно малой, окрестности числа <math>y_0</math> можно указать, насколько близко <math>x</math> должен подойти к <math>x_0</math>, чтобы значения <math>y=f(x)</math> уже попадали в эту окрестность числа <math>y_0</math>. Тогда число <math>y_0</math> есть предел функции <math>f(x)</math> при условии <math>x\rightarrow x_0</math>, что записывается так:

<math>\displaystyle y_0=\lim_{x\rightarrow x_0}f(x).</math>

Формализуем сказанное для придания большей математической ясности. Любая окрестность точки <math>y_0</math> (симметричная относительно <math>y_0</math>) характеризуется её полушириной <math>{\varepsilon}>0</math>, то есть имеет вид интервала <math>(y_0-{\varepsilon};y_0+{\varepsilon})</math>. Если значение <math>y</math> попало в такую <math>{\varepsilon}</math>-окрестность, то это означает, что <math>\vert y-y_0\vert<{\varepsilon}</math>. Любая окрестность точки <math>x_0</math>, не содержащая самой точки <math>x_0</math> (и симметричная относительно <math>x_0</math>), — это объединение двух смежных интервалов3 <math>{(x_0-{\delta};x_0)\cup(x_0;x_0+{\delta})=(x_0-{\delta};x_0+{\delta})\diagdown \{x_0\}}</math>. Попадание точки <math>x</math> в эту окрестность означает, что выполнено неравенство <math>\vert x-x_0\vert<{\delta}</math> и <math>x\ne x_0</math>. Равенство <math>y_0=\lim\limits_{x\rightarrow x_0}f(x)</math> означает тогда, что

для любого, сколь угодно малого, числа <math>{\varepsilon}>0</math> можно найти такое число <math>{\delta}>0</math> (зависящее от <math>{\varepsilon}</math>), что при <math>\vert x-x_0\vert<{\delta},\ x\ne x_0</math> будет <math>\vert f(x)-y_0\vert<{\varepsilon}</math>.

При этом число <math>y_0</math> называется пределом функции <math>f(x)</math> при условии <math>x\rightarrow x_0</math>. Тот факт, что <math>\lim\limits_{x\rightarrow x_0}f(x)=y_0</math>, записывают ещё в виде

<math>\displaystyle f(x)\xrightarrow {x\to x_0}y_0.</math>

[[Изображение:limit2.png|thumb|График <math>y=2\sin x+1</math>]]
'''Пример 1:''' Пусть <math>x_0=0</math> и рассматривается функция <math>f(x)=2\sin x+1</math>. Покажем, что
<math>\displaystyle \lim_{x\rightarrow 0}(2\sin x+1)=1.</math>

Для этого фиксируем произвольное число <math>{\varepsilon}>0</math>, задающее окрестность <math>(1-{\varepsilon};1+{\varepsilon})</math>, и выясним, при каких <math>x</math> значения функции <math>f(x)</math> будут попадать в эту окрестность точки 1.

Попадание значений <math>f(x)</math> в окрестность <math>(1-{\varepsilon};1+{\varepsilon})</math> означает, что выполняется неравенство <math>{\vert(2\sin x+1)-1\vert<{\varepsilon}}</math>, то есть <math>{\vert\sin x\vert<\dfrac{{\varepsilon}}{2}}</math>. При этом нас интересуют только те решения этого неравенства, которые лежат вблизи точки <math>{x_0=0}</math>. Решая неравенство, получаем, что оно выполняется при <math>{\vert x\vert<\arcsin\dfrac{{\varepsilon}}{2}}</math>. Таким образом, если взять <math>{{\delta}=\arcsin\dfrac{{\varepsilon}}{2}}</math> (это число больше 0), то при <math>{x\in(-{\delta};0)\cup(0;{\delta})}</math> будет выполнено неравенство <math>{\vert f(x)-1\vert<{\varepsilon}}</math>, что и означает, что предел равен числу 1: <math>\lim\limits_{x\rightarrow 0}(2\sin x+1)=1</math>, или <math>{2\sin x+1\xrightarrow {x\to0}1}</math>.

Рассмотрим теперь другой важный случай предела.

== Предел последовательности при n→∞ ==
[[Изображение:limit3.png|thumb|Последовательность и её предел]]
Пусть дана бесконечная последовательность <math>\{y_n\}</math> чисел, занумерованных по порядку:

<math>\displaystyle y_1, y_2, y_3, \dots, y_n, \dots\ .</math>

(Эту последовательность можно рассматривать как функцию <math>f(n)=y_n</math>, определённую при всех натуральных значениях аргумента <math>n</math>.) Дадим определение предела последовательности <math>\{y_n\}</math> при условии, что номер <math>n</math> неограниченно растёт (это условие обозначается <math>n\rightarrow \infty</math>). Стремление <math>n</math> к бесконечности означает, что при своём изменении номер становится большим любого наперёд заданного числа <math>N\in\mathbb{N}</math>, то есть начинает выполняться неравенство <math>n>N</math>. Если при этом числа <math>y_n</math> становятся всё ближе к некоторому фиксированному числу <math>L</math>, то это число — предел последовательности, что записывается так:

<math>\displaystyle L=\lim_{n\rightarrow \infty}y_n.</math>

Формализуем сказанное. Множества чисел <math>n</math>, заданные условиями <math>n>N</math>, можно назвать окрестностями бесконечности. Равенство <math>L=\lim\limits_{n\rightarrow \infty}y_n</math> означает тогда, что

для любого, сколь угодно малого, числа <math>{\varepsilon}>0</math> можно найти такое число <math>N</math> (зависящее от <math>{\varepsilon}</math>), что при <math>n>N</math> (то есть в достаточно далёкой окрестности бесконечности будет выполняться неравенство <math>\vert y_n-L\vert<{\varepsilon}</math>.

При этом число <math>L</math> называется пределом последовательности <math>\{y_n\}</math> при условии <math>{n\rightarrow \infty}</math>. Тот факт, что <math>\lim\limits_{n\rightarrow \infty}y_n=L</math>, записывают также в виде

<math>\displaystyle y_n\xrightarrow {n\to\infty}L.</math>

[[Изображение:limit4.png|thumb|Последовательность <math>\dfrac{1}{n^2}</math>]]
'''Пример 2:''' Покажем, что предел последовательности <math>y_n=\dfrac{1}{n^2}</math> равен 0.

Фиксируем произвольное число <math>{\varepsilon}>0</math> и подберём число <math>N</math> в зависимости от <math>{\varepsilon}</math> так, чтобы при <math>n>N</math> выполнялось неравенство <math>\vert y_n-0\vert<{\varepsilon}</math>, то есть <math>\dfrac{1}{n^2}<{\varepsilon}</math>. Решая это неравенство, получаем, что оно выполняется при <math>n>\dfrac{1}{\sqrt{{\varepsilon}}}</math>. Значит, достаточно выбрать в качестве <math>N</math> натуральное число, ближайшее к <math>\dfrac{1}{\sqrt{{\varepsilon}}}</math> справа на вещественной оси4, то есть <math>N=\lceil\dfrac{1}{\sqrt{{\varepsilon}}}\rceil</math>, и тогда при любом <math>n>N</math> неравенство <math>\dfrac{1}{n^2}<{\varepsilon}</math> будет верным. Это означает, что

<math>\displaystyle \lim_{n\rightarrow \infty}\dfrac{1}{n^2}=0,</math>

или <math>\dfrac{1}{n^2}\xrightarrow {n\to\infty}0</math>.

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

== Предел функции f(x) при условии x→+∞ ==
[[Изображение:limit5.png|thumb|Предел при <math>x\to+\infty</math>]]
Определим окрестности бесконечности как множества точек <math>x</math>, заданные неравенствами <math>x>a</math>, то есть лучи <math>(a;+\infty)</math>. Потребуем, чтобы для любой, сколь угодно малой, окрестности <math>(y_0-{\varepsilon};y_0+{\varepsilon})</math> точки <math>y_0</math> можно было найти такую окрестность бесконечности <math>(a_{{\varepsilon}};+\infty)</math>, что при попадании <math>x</math> в эту окрестность, то есть при <math>x>a_{{\varepsilon}}</math>, соответствующее значение <math>y=f(x)</math> попадает в заданную вначале окрестность точки <math>y_0</math>, то есть выполняется неравенство <math>\vert f(x)-y_0\vert<{\varepsilon}</math>. Выполнение этого требования будет означать, что <math>y_0</math> — предел функции <math>f(x)</math> при условии <math>x\rightarrow +\infty</math>, то есть

<math>\displaystyle y_0=\lim\limits_{x\rightarrow +\infty}f(x).</math>

Тот факт, что <math>\lim\limits_{x\rightarrow +\infty}f(x)=y_0</math>, записывают ещё в виде

<math>\displaystyle f(x)\xrightarrow {x\to+\infty}y_0.</math>

[[Изображение:limit6.png|thumb|График функции <math>y=\dfrac{3x-2}{x+1}</math>]]
'''Пример 3:''' Покажем, что предел функции <math>f(x)=\dfrac{3x-2}{x+1}</math> при <math>x\to+\infty</math> равен числу 3.

Фиксируем <math>{\varepsilon}>0</math> и подберём по этому числу <math>{\varepsilon}</math> такое число <math>a</math>, что при любом <math>x>a</math> выполняется неравенство

<math>\displaystyle \left\vert\dfrac{3x-2}{x+1}-3\right\vert<{\varepsilon}.</math>

Сразу будем считать, что <math>a</math> — неотрицательное число. Неравенство можно записать в виде <math>\left\vert-\dfrac{5}{x+1}\right\vert<{\varepsilon}</math> или <math>\vert x+1\vert>\dfrac{5}{{\varepsilon}}</math>. Так как <math>x>a\geqslant 0</math>, то <math>x+1>0</math> и неравенство имеет вид <math>x+1>\dfrac{5}{{\varepsilon}}</math>, откуда <math>x>\dfrac{5}{{\varepsilon}}-1</math>. Если теперь взять число <math>a_{{\varepsilon}}</math> равным <math>\dfrac{5}{{\varepsilon}}-1</math> (или равным 0, если эта разность отрицательна), то при <math>x>a_{{\varepsilon}}</math> будет выполняться неравенство <math>\left\vert\dfrac{3x-2}{x+1}-3\right\vert<{\varepsilon}</math>; это означает, что

<math>\displaystyle \lim_{x\to+\infty}\dfrac{3x-2}{x+1}=3,</math>

или <math>\dfrac{3x-2}{x+1}\xrightarrow {x\to+\infty}3</math>.

Версия от 07:53, 20 января 2008

Пусть задана некоторая меняющаяся величина , зависящая от переменного . Предположим, что это переменное можно менять так, что выполняется некоторое условие : переменное «приближается» («стремится») к чему-нибудь (что это означает, мы уточним позже при помощи строгих определений). Тогда встаёт вопрос о том, не ведёт ли себя величина каким-либо «правильным» образом, тоже «стремясь» к чему-нибудь, например, к числу . Если это так, то это «что-то» называется пределом величины при данном условии для и обозначается

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

Предел функции при x→x0

Предел при

Пусть  — это функция вещественного переменного , определённая во всех точках интервала , кроме, быть может, точки . Дадим определение предела величины при условии, что стремится к точке . Это условие кратко обозначается . Стремление к означает, что при своём изменении оказывается во всё более узких окрестностях, окружающих точку , но не совпадает с , то есть значение становится всё меньше и меньше, приближаясь к 0, но нулём не становится. При этом может оказаться, что соответствующие значения становятся всё ближе и ближе к некоторому фиксированному числу , причём для любой, сколь угодно малой, окрестности числа можно указать, насколько близко должен подойти к , чтобы значения уже попадали в эту окрестность числа . Тогда число есть предел функции при условии , что записывается так:

Формализуем сказанное для придания большей математической ясности. Любая окрестность точки (симметричная относительно ) характеризуется её полушириной , то есть имеет вид интервала . Если значение попало в такую -окрестность, то это означает, что . Любая окрестность точки , не содержащая самой точки (и симметричная относительно ), — это объединение двух смежных интервалов3 . Попадание точки в эту окрестность означает, что выполнено неравенство и . Равенство означает тогда, что

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

При этом число называется пределом функции при условии . Тот факт, что , записывают ещё в виде

График

Пример 1: Пусть и рассматривается функция . Покажем, что

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

Попадание значений в окрестность означает, что выполняется неравенство , то есть . При этом нас интересуют только те решения этого неравенства, которые лежат вблизи точки . Решая неравенство, получаем, что оно выполняется при . Таким образом, если взять (это число больше 0), то при будет выполнено неравенство , что и означает, что предел равен числу 1: , или .

Рассмотрим теперь другой важный случай предела.

Предел последовательности при n→∞

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

Пусть дана бесконечная последовательность чисел, занумерованных по порядку:

(Эту последовательность можно рассматривать как функцию , определённую при всех натуральных значениях аргумента .) Дадим определение предела последовательности при условии, что номер неограниченно растёт (это условие обозначается ). Стремление к бесконечности означает, что при своём изменении номер становится большим любого наперёд заданного числа , то есть начинает выполняться неравенство . Если при этом числа становятся всё ближе к некоторому фиксированному числу , то это число — предел последовательности, что записывается так:

Формализуем сказанное. Множества чисел , заданные условиями , можно назвать окрестностями бесконечности. Равенство означает тогда, что

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

При этом число называется пределом последовательности при условии . Тот факт, что , записывают также в виде

Последовательность

Пример 2: Покажем, что предел последовательности равен 0.

Фиксируем произвольное число и подберём число в зависимости от так, чтобы при выполнялось неравенство , то есть . Решая это неравенство, получаем, что оно выполняется при . Значит, достаточно выбрать в качестве натуральное число, ближайшее к справа на вещественной оси4, то есть , и тогда при любом неравенство будет верным. Это означает, что

или .

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

Предел функции f(x) при условии x→+∞

Предел при

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

Тот факт, что , записывают ещё в виде

График функции

Пример 3: Покажем, что предел функции при равен числу 3.

Фиксируем и подберём по этому числу такое число , что при любом выполняется неравенство

Сразу будем считать, что  — неотрицательное число. Неравенство можно записать в виде или . Так как , то и неравенство имеет вид , откуда . Если теперь взять число равным (или равным 0, если эта разность отрицательна), то при будет выполняться неравенство ; это означает, что

или .