2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2  След.
 
 Предкомпактность
Сообщение14.04.2015, 21:17 
Доброго времени суток. Решаю задачу на проверку, является ли множество предкомпактным в МП $(X, \rho )$
$M= \{ x: x(t)=\arctg(nt),n\in N\} \quad X=C[0,1]$
По теореме Арцела-Асколли
1) Равномерная ограниченность: $\exists K>0 \forall x=x(t)\in M\quad \forall t\in [0,1]\quad \forall n\in N:\left| \arctg(nt) \right| <\frac { \pi  }{ 2 } $
2) А вот с равностепенной непрерывностью не так все понятно
По теореме Лагранжа хотел оценить производную, но не удалось. $(\arctg(nt))' = \frac { n }{ { n }^{ 2 }{ t }^{ 2 }+1 } $
Что можно предпринять теперь ?
Можно ли здесь выделить нужную подпоследовательность, чтобы доказать по теореме:
Множество $M\subset X$ предкомпактным тогда и только тогда, когда $\forall \{ { x }_{ n }\} \subset M\quad \exists { \{ x }_{ { n }_{ k } }\} \quad \exists { x }_{ 0 }\in X\quad { x }_{ { n }_{ k } }\underset { k\rightarrow \infty  }{ \longrightarrow  } { x }_{ 0 }$

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 21:57 
Аватара пользователя
Во-первых, здесь
Danmir в сообщении #1003926 писал(а):
$\exists K>0 \forall x=x(t)\in M\quad \forall t\in [0,1]\quad \forall n\in N:\left| \arctg(nt) \right| <\frac { \pi  }{ 2 } $

один из кванторов всеобщности лишний (какой?).
Во-вторых, это
Danmir в сообщении #1003926 писал(а):
$(\arctg(nt))' = \frac { n }{ { n }^{ 2 }{ t }^{ 2 }+1 } $

должно вас натолкнуть на какие-то мысли по поводу равностепенной непрерывности.

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 21:59 
В нуле производная чему равна?

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:12 
mihailm
$n$
demolishka
Доказывать от противного ?

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:14 
а $n$ это много?

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:16 
mihailm
Но нам же нужна константа для того, чтобы ограничить ? Не совсем понимаю о чем речь ?

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:19 
Аватара пользователя
Ограничить что и для чего? Выпишите определение равностепенной непрерывности.

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:25 
demolishka

$\forall \varepsilon >0\quad \exists { \delta  }_{ \varepsilon  }>0 \forall f\in A\quad \forall { x }^{ ' },{ x }^{ '' }\in \left[ 0,1 \right] :\quad \left| { x }^{ ' }-{ x }^{ '' } \right| <\delta \Rightarrow \left| f({ x }^{ ' })-f({ x }^{ '' }) \right| <\varepsilon $

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:28 
Аватара пользователя
Ну вот возьмите маленькую дельту. Что можно сказать о величине $|f(x')-f(x'')|$? Применительно к вашей задаче конечно.

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:39 
demolishka
Вот по теореме Лагранжа $\forall \left[ { t }_{ 1 };{ t }_{ 2 } \right] \in \left[ 0,1 \right] \left| x({ t }_{ 1 })-x({ t }_{ 2 }) \right| =\left| { x }^{ ' }(c) \right| \left| { t }_{ 2 }-{ t }_{ 1 } \right| \le A\left| { t }_{ 2 }-{ t }_{ 1 } \right| $
и нужно найти дельту

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:43 
Аватара пользователя
Ну подставьте вместо $x(t)$ то, что в задаче дано и посмотрите при каких $t_1$ и $t_2$ эта разность большая.

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:51 
demolishka
$\arctg({ t }_{ 1 })-\arctg({ t }_{ 2 })$
При ${ t }_{ 1 },{ t }_{ 2 }\rightarrow \infty $ разность будет $-\pi $

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 22:58 
Аватара пользователя
По теореме Лагранжа получается
$$|\arctg(nt_1)-\arctg(nt_2)|=\frac{n}{n^2\xi^2 + 1}\cdot|t_1-t_2|, \\ \xi \in (t_1,t_2)$$
Считайте, что дельта уже выбрана. Где надо взять точки $t_1$ и $t_2$, чтобы модуль разности стал относительно большим?

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 23:01 
demolishka
На концах отрезка получается 0 и 1 и разность 1

 
 
 
 Re: Предкомпактность
Сообщение14.04.2015, 23:06 
Аватара пользователя
Имелся в виду модуль разности арктангенсов :D . Да и дельта очень маленькая.

 
 
 [ Сообщений: 24 ]  На страницу 1, 2  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group