Шпаргалка: Высшая математика
f(x) непрерывна в т-ке х0 <º> Dy®0 при Dх®0.
Если понятие предела приводит к понятию непр. Ф-ции то понятие одностороннего предела приводит к понятию односторонней непр. точки.
Опр . Если f(x) имеет предел справа в т-ке х0(=f(x0+)) и этот предел равен значению ф-ции ф-ции в т-ке х0, т.е. f(x0+)=lim(x®x0,x>x0)f(x)=f(x0), то ф-ция f(x) наз-ся непр. справа в т-ке х0.
Аналогично при вып-нии усл. f(x0-)=lim(x®x0, x<x0)f(x)=f(x0), то ф-ция наз-ся непр. слева в т. х0.
Ясно что справедлива сл.теорема вытекающая из связи односторонних пределов ф-ция f(x) непр. в т-ке х тогда, когда она непр. в этой т-ке, как справа, так и слева. f(x0-)=f(x0+)=f(x0)
Опр . Ф-ция f(x) непрерывна на некотором пр-ке D, если в каждой т-ке этого пр-ка при этом, если пр-ток D содержит граничную т-ку, то будем подразумевать соотв. одностор. непр. ф-ции в этой т-ке.
Пример Р-рим степенную производст. ф-цию
Q=f(k)=k^1/2 Q-объем выпуска продукции, к – объем капитала. D(f)=R+=>f(0)=0 и очевидно f(0+) $ и равно 0 => что данная ф-ция непр. на своей обл. опр-ния. Большинство ф-ций исп-мых в эк-ке непр. Например непр. ф-ции означает, что при малом изменении капитала мало будет меняться и выпуск пр-ции (DQ®0 при Dk®0). Ф-ции которые не явл. непр. наз-ют разрывными соотв. т-ки в которых ф-ция не явл. непр. наз-ся т-кой разрыва
Классификация т-ки разрыва
Непр. ф-ции на пр-ке
Теорема ВЕЙЕРШТРАССА
15. Классификация т-ки разрыва
Все т-ки р-рыва делятся на 3 вида: т. устранимого р-рыва; точки р-рыва 1-го , и 2-го рода.
а) если в т-ке х0 $ оба односторонних предела, которые совпадают между собой f(x0+)= f(x0-), но ¹f(x0), то такая т-ка наз-ся точкой устранимого р-рыва.
Если х0 т-ка устранимого р-рыва, то можно перераспределить ф-цию f так чтобы она стала непр. в т-ке х0. Если по ф-ции f построить новую ф-цию положив для нее знач. f(x0)= f(x0-)=f(x0+) и сохранить знач. в др. т-ках, то получим исправл. f.
б) если в т-ке х0 $ оба 1-стороних предела f(x0±), которые не равны между собой f(x0+)¹f(x0-), то х0 наз-ся т-кой р-рыва первого рода.
в) если в т-ке х0 хотя бы 1 из односторонних пределов ф-ции не $ или бесконечен, то х0 наз-ся т-кой р-рыва 2-го рода.
При исслед. Ф-ции на непр. классификации возможных т-к р-рыва нужно применять во внимание сл. замечания:
1) Все элементарные ф-ции непрер. во внутренних т-ках своих областей определения => при исл. элементарных ф-ций нужно обращать внимание на гранич. т-ки обл-ти опр-ния.
2) Если ф-ция задана кусочно, т.е. различными соотношениями на частях своей обл. опр., то подозрительными на разрыв явл. граничные т-ки частей обл-ти опр.
3) Св-ва непр. ф-ций. Многие св-ва непр. ф-ций легко понять опираясь на их геометр. св-ва:
график непр. ф-ции на пр-ке D представляет сплошную(без р-рывов) кривую на пл-тях и след-но может отображена без отрыва ручки от бумаги.
I) Ф-ция непр. в т-ке х0 обязательно ограничена в окрестностях этой т-ки.(св-во локал. огранич-ти)
Док-во использует опр-ние на языке e и d. Если f непр. в т-ке х0 то взяв любое e>0 можно найти d>0 ½f(x)-f(x0)½<e при ½х-х0½<d ~ f(x0)-e<f(x)<f(x0)+e в окрестности в т-ке х0.
II) Св-ва сохранения знака Если f(x) непр. в т-ке х0 и f(x0)¹0 то $ окрестность этой т-ки в которой ф-ция принимает тот же знак что и знак х0.
III)Теорема о промежуточных знач. ф-ции f ( x ) непр. на отрезке [a,b] и f(a)=A, f(b)=B причем A¹B => CÎ(A,B) $cÎ(a,b):f(c)=Cf(c)=f(c‘)=f(c‘‘).
IV)Теорема о прохожд. непр. ф-ции через 0 . Если f(x) непр. на отрезке (a,b) и принимает на концах этого отрезка значение разных знаков f(a) f(b), то $ т-ка сÎ(a,b).
Док-во Одновременно содержит способ нах-ния корня ур-ния f(x0)=0 методом деления отрезка пополам. f(d)=0 c=d Т-ма доказана.
Пусть f(d)¹0 [a,d] или [d,b] ф-ция f принимает значение разных знаков. Пусть для определ-ти [a,d] обозначим через [a1,b1]. Разделим этот отрезок на 2 и проведем рассуждение первого шага док-ва в итоге или найдем искомую т-ку d или перейдем к новому отрезку [a2,d2] продолжая этот процесс мы получим посл-ть вложения отрезков [a1,b1]>[a2,b2] длинна которых (a-b)/2^n®0, а по т-ме о вл-ных отрезков эти отрезки стягиваются к т-ке с. Т-ка с явл. искомой с:f(c)=0. Действительно если допустить, что f(c)¹0 то по св-ву сохр. знаков в некоторой d окрестности, т-ке с f имеет тот же знак что и значение f(c) между тем отрезки [an,bn] с достаточно N попабают в эту окрестность и по построению f имеет разный знак на концах этих отрезков.