дипломы,курсовые,рефераты,контрольные,диссертации на заказ
 

Пределы Общие свойства пределов

Общие свойства пределов

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

Теорема 2.8 Пусть функции $ f(x)$ и $ g(x)$ имеют пределы при одной и той же базе $ \mathcal{B}$:
$\displaystyle \lim\limits_{\mathcal{B}}f(x)=L_1;\quad \lim\limits_{\mathcal{B}}g(x)=L_2.$
Тогда функция $ h(x)=f(x)+g(x)$ также имеет предел при базе $ \mathcal{B}$, и этот предел $ L$ равен сумме пределов слагаемых:
$\displaystyle \lim\limits_{\mathcal{B}}h(x)=\lim\limits_{\mathcal{B}}f(x)+\lim\limits_{\mathcal{B}}g(x)=L_1+L_2=L.$

Доказательство. Равенство $ \lim\limits_{\mathcal{B}}f(x)=L_1$ означает, в соответствии с теоремой 2.4, что величина $ {\alpha}(x)=f(x)-L_1$-- бесконечно малая; равенство $ \lim\limits_{\mathcal{B}}g(x)=L_2$-- что $ {\beta}(x)=g(x)-L_2$-- бесконечно малая. Поэтому по теореме 2.5 сумма

$\displaystyle {\alpha}(x)+{\beta}(x)=(f(x)+g(x))-(L_1+L_2)=h(x)-L$
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.

также является бесконечно малой. Теорема 2.4 утверждает, что тот факт, что разность $ h(x)-L$ бесконечно мала, означает, что $ \lim\limits_{\mathcal{B}}h(x)=L$; это и требовалось доказать.

Замечание 2.2 В доказанной теореме не утверждается, что если существует предел суммы, то существуют и пределы слагаемых. Это неверно, что показывает простейший пример: пусть $ f(x)=x$ и $ g(x)=-x$. Тогда $ f(x)+g(x)=0$ и предел $ \lim\limits_{x\to\pm\infty}(f(x)+g(x))=0$, в то время как пределы при $ x\to\pm\infty$ функций $ f(x)$ и $ g(x)$ не существуют.
Так что из несуществования пределов слагаемых не следует несуществование предела суммы.

Теорема 2.9 Пусть функции $ f(x)$ и $ g(x)$ имеют пределы при одной и той же базе $ \mathcal{B}$:
$\displaystyle \lim\limits_{\mathcal{B}}f(x)=L_1;\quad \lim\limits_{\mathcal{B}}g(x)=L_2.$
Тогда функция $ h(x)=f(x)g(x)$ также имеет предел при базе $ \mathcal{B}$, и этот предел $ L$ равен произведению пределов сомножителей:
$\displaystyle \lim\limits_{\mathcal{B}}h(x)=\lim\limits_{\mathcal{B}}f(x)\cdot\lim\limits_{\mathcal{B}}g(x)=L_1L_2=L.$

Доказательство. Равенство $ \lim\limits_{\mathcal{B}}f(x)=L_1$ означает, в соответствии с теоремой 2.4, что величина $ {\alpha}(x)=f(x)-L_1$-- бесконечно малая; равенство $ \lim\limits_{\mathcal{B}}g(x)=L_2$-- что $ {\beta}(x)=g(x)-L_2$-- бесконечно малая. Поэтому $ f(x)=L_1+{\alpha}(x)$ и $ g(x)=L_2+{\beta}(x)$, откуда

$\displaystyle f(x)g(x)=(L_1+{\alpha}(x))(L_2+{\beta}(x))=L_1L_2+L_2{\alpha}(x)+L_1{\beta}(x)+{\alpha}(x){\beta}(x)$

или

$\displaystyle f(x)g(x)-L_1L_2=L_2{\alpha}(x)+L_1{\beta}(x)+{\alpha}(x){\beta}(x).$

Покажем, что в правой части этого равенства стоит бесконечно малая величина. Величина $ L_2{\alpha}(x)+L_1{\beta}(x)$-- бесконечно малая согласно следствию 2.3, а величина $ {\alpha}(x){\beta}(x)$-- бесконечно малая по теореме 2.7 (величина $ {\beta}(x)$ имеет предел, равный 0, и, следовательно, локально ограничена по теореме 2.6). Поскольку разность между функцией $ h(x)=f(x)g(x)$ и постоянной $ L=L_1L_2$ бесконечно мала при базе $ \mathcal{B}$, то по теореме 2.4 $ \lim\limits_{\mathcal{B}}h(x)=L$; это и требовалось доказать.

 

Кольца Алгебраические структуры

 Пример 16.5   Пусть $ \mathcal{K}$ -- множество, содержащее $ n$ элементов. Чтобы не вводить дополнительные обозначения, будем считать, что эти элементы являются числами 0, 1, 2,..., $ n-1$ .
Обозначим $ {\rm mod}\,(k,n)$ , при $ k\geqslant 0$ , остаток от деления числа $ k$ на число $ n$ . Операцию сложения на множестве $ \mathcal{K}$ определим следующим образом: для любых $ a$ , $ b$ из $ \mathcal{K}$
$\displaystyle a+b={\rm mod}\,(a+b,n),$
где в левой части стоит сложение на множестве $ \mathcal{K}$ , а в правой части под знаком $ ''{\rm mod}\,''$ стоит обычное сложение чисел.
Если взять $ n=5$ , то по новому правилу сложения получим: $ {1+2=3}$ , $ {2+3=0}$ (число 5 делится на 5, остаток равен 0), $ {4+4=3}$ (число 8 при делении на 5 дает в остатке 3).
Операцию умножения на множестве $ \mathcal{K}$ определим аналогично:
$\displaystyle a\cdot b={\rm mod}\,(ab,n),$
где в левой части стоит умножение на множестве $ \mathcal{K}$ , а в правой части, под знаком $ ''{\rm mod}\,''$ стоит обычное произведение чисел.
Если, как и раньше, взять $ {n=5}$ , то по новому правилу умножения получим: $ {2\cdot 2=4}$ , $ {2\cdot 3=1}$ (число 6 делится на 5 с остатком 1), $ {4\cdot 3=2}$ (число 12 делится на 5 с остатком 2).
Можно показать, что множество $ \mathcal{K}$ с введенными таким образом операциями является коммутативным кольцом. Обозначается оно обычно $ \mathbb{Z}_n$ .
Если $ n$ не является простым числом, то в кольце $ \mathbb{Z}_n$ есть делители нуля. Например, в $ \mathbb{Z}_6$ выполнено $ {3\cdot4=0}$ , так как число 12 делится на 6.         

Если в примере 16.1, указанную там операцию назвать сложением и обозначить знаком "+", а умножение определить так:

$\displaystyle aa=a,\quad ab=ba=a,\quad bb=b,$

то получим кольцо $ \mathbb{Z}_2$ . Элемент $ a$ соответствует нулю, а элемент $ b$ соответствует единице.

 

Неопределенный интегралВекторное произведение векторов

Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды