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

Пределы Замена переменного и преобразование базы при такой замене

Пример 2.7 Пусть производится замена $ t={\varphi}(x)=x^2$ при базе $ x\to1$. Интуитивно ясно, что когда $ x$ приближается к1, то и $ t=x^2$ тоже будет приближаться к1, причём "ловушки" предыдущего примера здесь нет: так как при $ x\geqslant 0$ функция $ x^2$ возрастает, то при $ x<1$ и близких к1 будет получаться $ t<1$, близкое к1, а при $ x>1$ и близких к1 будет получаться $ t>1$, близкое к1. Поэтому должна бы, вроде, при такой замене получиться база $ t\to1$. Однако и это не вполне так. Глядя на следующий чертёж, можно заметить, что образ окончания $ (1-{\delta}1+{\delta})\diagdown \{1\}$-- это множество
$\displaystyle ((1-{\delta})^2(1+{\delta})^2)\diagdown \{1\}=(1-2{\delta}+{\delta}^21)\cup(11+2{\delta}+{\delta}^2).$
Эти два интервала, примыкающие к точке 1 слева и справа, имеют разную длину: левый имеет длину $ 2{\delta}-{\delta}^2$, а правый-- длину $ 2{\delta}+{\delta}^2$, то есть левый короче правого на $ 2{\delta}^2$.
Рис.2.15.График $ t=x^2$ и преобразование базы $ x\to1$


Однако по определению базы $ t\to1$ окончания этой базы состоят из пары примыкающих к точке 1 симметричных интервалов! Так что формально получилась не база $ t\to1$, а нечто на неё похожее, но не совсем то же самое.

На самом деле получившаяся в этом примере после замены база $ \mathcal{B}'={\varphi}(\mathcal{B})$ эквивалентна базе $ t\to1$ в смысле следующего определения.

Определение 2.8 Две базы $ \mathcal{B}$ и $ \mathcal{B}'$ назовём эквивалентными, если в любом окончании $ {E\in\mathcal{B}}$ содержится некоторое окончание $ {E'\in\mathcal{B}'}$, и наоборот, в любом окончании $ {E'\in\mathcal{B}'}$ содержится некоторое окончание $ {E''\in\mathcal{B}}$.

Базы $ {\mathcal{B}=\{t\to1\}}$ и $ {\mathcal{B}'={\varphi}(x\to1)}$, рассмотренные в предыдущем примере, эквивалентны, так как любое несимметричное окончание базы $ \mathcal{B}'$, имеющее, как мы выяснили, вид $ {E'=(1-2{\delta}+{\delta}^21)\cup(11+2{\delta}+{\delta}^2)}$, содержится в симметричном окончании $ {E=(1-2{\delta}-{\delta}^21)\cup(11+2{\delta}+{\delta}^2)}$ и содержит симметричное окончание $ {E''=(1-2{\delta}+{\delta}^21)\cup(11+2{\delta}-{\delta}^2)}$ базы $ \mathcal{B}$.

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

Теорема 2.3 Пусть $ \mathcal{B}$ и $ \mathcal{B}'$-- две эквивалентные базы, и существует $ {\lim\limits_{\mathcal{B}}f(x)=L}$. Тогда предел $ {\lim\limits_{\mathcal{B}'}f(x)=L'}$ тоже существует, и $ L'=L$.

Доказательство. Пусть фиксировано число $ {\varepsilon}>0$. Так как по предположению теоремы $ \lim\limits_{\mathcal{B}}f(x)=L$, то для этого $ {\varepsilon}$ можно указать такое окончание $ E$ базы $ \mathcal{B}$, при любом $ x$ из которого будет $ \vert f(x)-L\vert<{\varepsilon}$. Поскольку база $ \mathcal{B}'$ эквивалентна базе $ \mathcal{B}$, найдётся окончание $ E'\in\mathcal{B}'$, такое что $ E'\sbs E$ следовательно, $ \vert f(x)-L\vert<{\varepsilon}$ при любом $ x\in E'$. Значит, $ \lim\limits_{\mathcal{B}'}f(x)=L$, что и требовалось доказать.

Итак, вычисление пределов по эквивалентным базам даёт один и тот же результат, и в дальнейшем мы не будем различать эквивалентные базы, в том числе и при их обозначении. В частности, все базы, эквивалентные введённой выше базе $ x\to x_0$, мы будем тоже обозначать $ x\to x_0$, все базы, эквивалентные введённой выше базе $ n\to\infty$,-- обозначать $ n\to\infty$, ит.п.

 

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

 Пример 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 Линейные блоковые коды