Пример 2.7 Пусть производится заменапри базе
. Интуитивно ясно, что когда
приближается к1, то и
тоже будет приближаться к1, причём "ловушки" предыдущего примера здесь нет: так как при
функция
возрастает, то при
и близких к1 будет получаться
, близкое к1, а при
и близких к1 будет получаться
, близкое к1. Поэтому должна бы, вроде, при такой замене получиться база
. Однако и это не вполне так. Глядя на следующий чертёж, можно заметить, что образ окончания
-- это множество
Эти два интервала, примыкающие к точке 1 слева и справа, имеют разную длину: левый имеет длину, а правый-- длину
, то есть левый короче правого на
.
Рис.2.15.Графики преобразование базы
![]()
Однако по определению базыокончания этой базы состоят из пары примыкающих к точке 1 симметричных интервалов! Так что формально получилась не база
, а нечто на неё похожее, но не совсем то же самое.
На самом деле получившаяся в этом примере после замены база
эквивалентна базе
в смысле следующего определения.
Определение 2.8 Две базыи
назовём эквивалентными, если в любом окончании
содержится некоторое окончание
, и наоборот, в любом окончании
содержится некоторое окончание
.
Базы
и
, рассмотренные в предыдущем примере, эквивалентны, так как любое несимметричное окончание базы
, имеющее, как мы выяснили, вид
, содержится в симметричном окончании
и содержит симметричное окончание
базы
.
Пределы, вычисленные по эквивалентным базам, совпадают, так что эквивалентные базы нет смысла отличать друг от друга. В этом мы убедимся, доказав следующую теорему.
Теорема 2.3 Пустьи
-- две эквивалентные базы, и существует
. Тогда предел
тоже существует, и
.
Доказательство. Пусть фиксировано число
. Так как по предположению теоремы
, то для этого
можно указать такое окончание
базы
, при любом
из которого будет
. Поскольку база
эквивалентна базе
, найдётся окончание
, такое что
следовательно,
при любом
. Значит,
, что и требовалось доказать.
Итак, вычисление пределов по эквивалентным базам даёт один и тот же результат, и в дальнейшем мы не будем различать эквивалентные базы, в том числе и при их обозначении. В частности, все базы, эквивалентные введённой выше базе
, мы будем тоже обозначать
, все базы, эквивалентные введённой выше базе
,-- обозначать
, ит.п.
Компьютерная математика Mathematica электронный учебник
Ускорение численных расчетов и повышение их точности
Большинство пользователей с трудом уловят разницу между версиями Mathematiea 3 и Mathematica 4. Именно поэтому основной материал данной книги полностью относится к этим двум последним версиям. Тем не менее, различия между версиями есть, и достаточно серьезные.
Пожалуй, главной отличительной особенностью системы Mathematica 4 стало кардинальное ускорение численных расчетов. Традиционно системы символьной математики проигрывали численным системам, таким как MATLAB. До сих пор скорость вычислений в системе MATLAB в 5-10 раз превышала скорость вычислений, производимых системами символьной математики. Поэтому в системе Mathematica 4 были предприняты необычные для систем символьной математики и даже беспрецедентные меры по ускорению численных расчетов. Они перечислены ниже:
Закон
Вина ;Парабола
– кривая второго порядка, прямая пересекает ее в двух точках драйверы
режима ядра программное обеспечение
необходимо для разработки и отладки драйверов
Первый способ задания функции: табличный
Степенная функция
Обратные тригонометрические функции
Определение непрерывности функции
Оценки ошибок в формулах приближённого
дифференцирования Производные функции, заданной параметрически
Примеры исследования функций и построения графиков Приближённое
нахождение корней уравнений и точек экстремума
Тригонометрическая форма комплексного
числа
Изменить порядок интегрирования Вычислить
двойной интеграл
Вычисление тройных интегралов Сферические
координаты Два основных метода интегрирования
Замена переменных в двойном интеграле
Дифференцирование интегралов, зависящих от параметра