2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Открытое множество (многочлены в пространстве C[a,b])
Сообщение27.11.2006, 17:36 
Аватара пользователя
Не могу понять с чего начать проверку того,
будет ли множество всех многочленов в пространстве С_{[a,b]} открытым?

 
 
 
 
Сообщение27.11.2006, 18:07 
Аватара пользователя
Я бы начал с того, что спросил бы себя, а что такое в этом случае норма, окрестность, что означает сходимость по такой норме и порылся бы в памяти, а нет ли чего-нибудь такого, что бы говорило о том, какие объекты могут попасть в $\varepsilon$-окрестность многочлена?

 
 
 
 
Сообщение28.11.2006, 16:39 
Аватара пользователя
Цитата:
какие объекты могут попасть в $\varepsilon$-окрестность многочлена

Вот, с этим и проблема.

 
 
 
 
Сообщение28.11.2006, 16:54 
Аватара пользователя
Возьмите, например, нулевой многочлен. Что значит, что функция лежит в его $\varepsilon$-окрестности?

 
 
 
 
Сообщение28.11.2006, 22:41 
Аватара пользователя
Вспомните теорему Вейерштрасса: в любой епсилон-окрестности ( в равномерной метрике на отрезке) любой непрерывной на отрезке функции лежит некоторый многочлен.

 
 
 
 
Сообщение29.11.2006, 12:37 
Аватара пользователя
Brukvalub писал(а):
Вспомните теорему Вейерштрасса: в любой епсилон-окрестности ( в равномерной метрике на отрезке) любой непрерывной на отрезке функции лежит некоторый многочлен.

Думается, задача спрашивает несколько о другом: для любого ли многочлена на отрезке существует епсилон-окрестность, которая состоит целиком из многочленов.

 
 
 
 
Сообщение29.11.2006, 13:33 
Аватара пользователя
А какая разница? Окрестность можно сдвинуть. :D
Если сказанное мной ещё можно было рассматривать как подсказку, то RIP+Brukvalub уже открытым текстом сказали всё, что нужно.

 
 
 
 
Сообщение29.11.2006, 13:46 
Аватара пользователя
Конечно, Вы правы, но я предполагал несколько иное развитие темы: из т. Вейерштрасса следует всюду плотность множества многочленов в метрическом пространстве непрерывных на отрезке функций и т.д....

 
 
 
 
Сообщение30.11.2006, 05:32 
Аватара пользователя
Не сразу дошло, что разница в способе доказательства импликации. :D
Темнить уже собственно нечего. Я имел в виду следующее:
Возьмём произвольную непрерывную функцию $f$, не являющуюся многочленом и для любого $\varepsilon > 0$ по теореме Вейерштрасса найдём полином $p$, удовлетворяющий неравенству $||f-p|| < \varepsilon$. Тогда неполином $f-p$ окажется в $\varepsilon$-окрестности полинома $0$.
Brukvalub предлагает развернуть это в обратную сторону и в предположении открытости указанного множества получить, что любая непрерывная функция является полиномом.

 
 
 
 
Сообщение02.12.2006, 19:36 
Аватара пользователя
Спасибо за помощь, B_{\varepsilon}(x_{0})=\{x(t)\in C_{[a,b]}\left| max\left| x(t)-x_{0}(t)\right| <\varepsilon\} - \varepsilon-окрестность многочлена x_{0} , теперь надо доказать что она содержится в множестве многочленов, т.е, что она не содержит других элементов, кроме многочленов.

Добавлено спустя 2 минуты 6 секунд:

Что-то я плохо соображаю, а как доказать, что любой элемент окрестности многочлена является многочленом?

 
 
 
 
Сообщение02.12.2006, 19:37 
Аватара пользователя
На самом деле, она содержит немногочлены...

 
 
 
 
Сообщение02.12.2006, 19:59 
Аватара пользователя
Надо доказать, что существует такая окрестность, содержащаяся в мн-ве многочленов. Может ли существовать такая окрестность?

Добавлено спустя 42 секунды:

Что-то я не понимаю, что не понимаю. :)

 
 
 
 
Сообщение02.12.2006, 21:02 
Аватара пользователя
Как я уже писал, возьмем для простоты нулевой многочлен. Верно ли, что любая функция, принимающая на отрезке только маленькие значения, обязательно является многочленом?

Добавлено спустя 6 минут 1 секунду:

Кстати, bot уже показывал, что это не так.Есть, правда, способ и попроще.

 
 
 
 
Сообщение02.12.2006, 21:31 
Аватара пользователя
Еще проще скажу. Вы, надеюсь, согласитесь, что существуют непрерывные неотрицательные функции, не являющиеся многочленами. Пусть $f(x)$ - такая функция. Обозначим через $M$ максимум этой функции на отрезке $[a,b]$ (он конечен, так как функция непрерывна). Теперь рассмотрим функцию $g(x)=\frac{\varepsilon}{M}f(x)$. От умножения на ненулевую константу функция многочленом не станет. По построению, $g(x)$ принимает только значения, не превосходящие $\varepsilon$. Т.е. мы получили функцию, не многочлен, лежащую в $\varepsilon$-окрестности нуля.

 
 
 
 
Сообщение03.12.2006, 07:45 
Аватара пользователя
Спасибо большое, то есть мы показали, что существует многочлен, в любой окрестности которого лежит функция, не являющаяся многочленом, следовательно множество всех многочленов не является открытым.

Добавлено спустя 37 минут 58 секунд:

А для множества многочленов множеством предельных точек является все множество С_{[a,b]}, следовательно замыкание множества многочленов это так же С_{[a,b]}, а так как множество многочленов не совпадает со своим замыканием, то оно не является замкнутым. Правильно я рассуждаю?

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


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