Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
MATAN.DOC
Скачиваний:
74
Добавлен:
17.05.2013
Размер:
344.06 Кб
Скачать

34.Теорема Вейрштрасса об ограниченности непрерывной функции на отрезке.

Функция х®f(x) называется непрерывной на множестве Х если она непрерывна в каждой точке х этого множества.

Теорема: Функция непрерывная на отрезке [a,b], является ограниченной на этом отрезке (1 теорема Вейрштрасса) и имеет на нем наибольшее и наимень шее значение (2 теорема Вейрштрасса).

Доказательство: Пусть m=Sup{f(x):xО[a,b]}. Если f не ограничена сверху на [a,b], то m=Ґ, иначе mОR. Выберем произвольную возрастающую посл-ть (сN), такую что Lim cN=m. Т.к. "nОN: cN<m то $ xNО[a,b]: cN<f(xN)Јm. xN - ограничена => $ xKn®a. Т.к. aЈxКnЈb => aО[a,b].

Для mОR - по теореме о том, что предел произвольной подпосл-ти равен пределу посл-ти получаем cKn®m.

Для m=+Ґ - по Лемме о том что всякая подпосл-ть бб посл-ти явл-ся бб посл-тью получаем cKn®m. Переходя к пределу в нер-вах cKn<f(xKn)Јm, получим

Lim f(xKn)=b n®Ґ, но в силу непрерывности ф-ции f имеем Lim f(xKn)=f(a) => f(a)=m - что и означает что функция f ограничена сверху и достигает верхней

граница в точке a. Существование точки b=Inf{f(x):xО[a,b]} доказывается аналогично.

35. Равномерная непрерывность. Ее характеризация в терминах колебаний.

Определение: "Е>0 $ d>0: "х’,х”: |х’-х”|<d => |f(x’)-f(x”)|<Е => функция называется равномерно непрерывной

Отличие от непрерывности состоит в том, что там d зависит от Е и от х”, то здесь d не зависит от х”.

Определение: Ф-ция f - не равномерно непрерывна, если $ Е>0 "d >0: $ х’,х”: |х’-х”|<d => |f(x’)-f(x”)|іЕ>0

Рассмотрим множество {|f(x’)-f(x”)|:|x’-x”|<d, x’,x”ОI}, IНDf.

Верхняя точная граница этого множества обозначаемое Wf(d) называется колебанием функции f на множестве I вызванное колебаниями аргумента:

1/х - Wf(d) = +Ґ; Sin x - Wf(d) = 1

Таким образом равномерно непрерывную функцию можно определить по другому: "Е>0 $ d>0: Wf(d)ЈЕ Lim Wf(d)=0 d®0

36.Теорема Кантора о равномерной непрерывности непрерывной функции на отрезке.

Теорема: Если f непрерывна на [a,b], то она равномерно непрерывна на [a,b].

Доказательство(от противного):

Пусть f не равномерно непрерывна на [a,b]=>$Е>0 "d>0 $х’,х”: |х’-х”|<d=>|f(x’)-f(x”)|іЕ. Возьмем d =1/к, кОN $хK, х’KО[a,b]: |хK-х’K|<1/к |f(xK)-f(x’K)|іE

Т.к хK - ограничена => из нее по теореме Больцано-Вейерштрасса можно выделить подпосл-ть xKs сходящуюся к х0. Получаем: |хKs-х’Ks|<1/к

хKs-1/k<х’KsKs-1/k по Лемме о зажатой посл-ти х’Ks®х0 kS®Ґ |f(xKs)-f(x’Ks)|іE кS®Ґ => 0іE - противоречие с условием.

37.Определение производной и дифференциала.

Касательная в точке x0 к функции x®f(x): возьмем еще одну точку х соединим x0 и х - получим секущую. Касательной назовем предельное положение секущей при х®x0, если это предельное положение существует. Т.к. касательная должна пройти ч/з точку (x0,f(x0) => уравнение этой касательной (если она не вертикальна) имеет вид y=k*(x-x0)+f(x0). Необходимо только опр-ть наклон k касательной. Возьмем произвольное число Dх№0 так, чтобы x0+DхОХ. Рассмотрим секущую МОМ, МО(x0,f(x0)), М(x0+Dх,f(x0+Dх)). Уравнение секущей имеет вид: у=к(Dх)(х-x0)+f(x0), где k=f((x0+Dх)-f(x0))/Dх - наклон секущей. Если существует Lim к(Dх) при Dх®0, то в качестве искомого наклона k возьмем это предел. Если Lim к(Dх)=Ґ при Dх®0, то перепишем уравнение секу щей в виде x=(1/k(Dх))*(y-f(x0))+x0 перейдя к пределам при Dх®0, получим x=x0 (Lim x=Lim x0 Dх®0 => x = Lim x0)

Определение: Производным значением функции f в точке х0 называется число f’(х0)=Lim (f(x0+Dх)-f(x0))/ Dх x®x0, если этот предел существует.

Геометрически f’(х0) - это наклон невертикальной касательной в точке (x0,f(x0)). Уравнение касательной y=f’(x0)*(x-x0)+f(x0). Если Lim (f(x0+Dх)-f(x0))/Dх=Ґ Dх®0, то пишут f`(x0)=Ґ касательная в этом случае вертикальна и задается уравнением х=x0. f`(x0)=lim(f(x0+Dх)-f(x0))/Dх x®x0=>(f(x0+Dх)-f(x0))/Dх=f’(x0)+a(x), a(x)®0 при x®x0. f(x0+Dх)-f(x0)=f`(x0)*Dх+a(x)*Dх учитывая, что x0+Dх=x и обозначая a(x)*Dх через o(x-x0) получим f(x)=f’(x0)*(x-x0)+f(x0)+o(x-x0). Необхо димо заметить, что o(x-x0) уменьшается быстрее чем (x-x0) при x®x0 (т.к. o(x-x0)/(x-x0)®0 при x®x0)

Определение: Ф-ция f называется дифференцируемой в точке x0 если $сОR: в некоторой окрестности точки x0 f(x)=С(x-x0)+f(x0)+o(x-x0)

Теорема: Функция диффференцируема в точке x0 <=> $ f’(x0)

Доказательство:

<=: f(x)=f’(x0)*(x-x0)+f(x0)+o(x-x0) => f`(x0)=C

=>: f(x)=C(x-x0)+f(x0)+o(x-x0) => (f(x)-f(x0))/(x-x0)=C+o(x-x0)/(x-x0)=C+a(x), a(x)®0 при x®x0.

Переходим к пределу при x®x0 => Lim (f(x)-f(x0))/(x-x0)=C+0=C => Слева записано производное значение ф-ции f => по определению C=f`(x0)

Определение: Если функция х®f(x) дифференцируема в точке x0, то линейная функция Dх®f’(x0)*Dх называется дифференциалом функции f в точке x0 и

обозначается df(x0). (диф-ал ф-ции х®х обозначают dx). Т.о. df(x0):Dх®f`(x0)*Dх и dх:Dх®Dх. Отсюда df(x0)=f’(x0)*dх => df(x0)/dх: Dх®f`(x0)*Dх/Dх=f’(x0) при Dх№0. В силу этого пишут также f’(x0)=df(x0)/dх - обозначение Лейбница. График диф-ла получается из графика касательной переносом начала коор динат в точку касания.

Теорема: Если ф-ция f диф-ма в точке x0, то f непрерывна в точке x0.

Докозательство: f(x)=f(x0)+f’(x0)*(x-x0)+o(x-x0)®f(x0) при x®x0 => f непрерывна в точке x0.

Определение: Нормаль к ф-ции f в точке x0: это прямая перпендикулярная касательной к ф-ции f в точке x0. Учитывая что тангенс угла наклона нормали равен tg(90+угол наклона касательной)= -Ctg(наклона касательной), получаем уравнение нормали: y=-1/f’(x0)*(x-x0)+f(x0)