Функции одной переменной. Начальные сведения
Кафедра высшей математики КузГТУ Конспекты проф. Д. В. Алексеева
при помощи следующего преобразования исходной функции
)))(ln()(exp()(
)(
xfxgxf
xg
Особо выделим принципиально важную неопределенность, называемую «сумма беско-
нечного числа бесконечно малых слагаемых», которая будет подробно рассмотрена в раз-
деле, посвященном представлению функции рядами, - бесконечными суммами.
Непрерывные функции
Функция называется непрерывной, если ее график непрерывная линия. Линия является
непрерывной, если любую пару точек, расположенных на ней, можно переместить в одну
и ту же точку при помощи перемещения по рассматриваемой линии. Для описания близо-
сти точек естественно использовать функцию, выражающую квадрат расстояния между
точками линии
. Когда точки, расположенные на непрерывной
линии сближаются, расстояние между ними стремится к нулю.
В случае графика функции расстояние между парой его точек выражается формулой
222
))()(()(),( afxfaxaxd
. Тогда из условия обращения в нуль расстояния при
сближении точек
, следует, что одновременно выполняются два условия
, и
. Это следствие записывается в виде
, или
.
Формальное определение непрерывности функции.
Функция непрерывна в точке
, если она определена при
, и
.
Из тождества
следует важный вывод о структуре непрерывной
функции, - в окрестности любой точки в которой функция непрерывна, она может быть
представлена в виде суммы константы и бесконечно малой функции
ax
ax
xxafxf
0|)(|),()()(
.
Это типичный пример формулы, выражающей локальное свойство функции.
Последняя формула используется для анализа неопределенностей, возникающих в форму-
лах функций. Например, функция
не определена при
, но из тож-
дества
)3(4()3/()1)(3( xxxx
видно, что данная функция имеет вблизи
структуру непрерывной функции, то есть
. Похожая ситуация име-
ет место и для функции
при
, так как
.
Подобные функции обычно «доопределяют по непрерывности», полагая что в точке, где
функция не определена, она равна предельному значению. В то же время, разложение
квадратичной функции на сомножители позволяет преобразовать исходную формулу к
виду, не содержащему неопределенности
. Со второй дробью
дело несколько сложнее. Ниже будет показано (подробности будут изложены в соответст-
вующем разделе), что синус может быть представлен в виде бесконечной суммы степеней,
- абсолютно сходящегося степенного ряда,
, при этом дробь
также является абсолютно сходящимся степенным рядом,
не содержащем неопределенности. Поскольку приведенные формулы получены при по-
мощи тождественных преобразований, нет веских оснований считать, что рассматривае-
мые функции не являются непрерывными. Другими словами, неформальное «доопределе-