2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Счетность множества строгих локальных максимумов
Сообщение17.03.2007, 21:21 
Верно ли, что множество строгих локальных максимумов функции $f:\mathbb{R}\to\mathbb{R}$ счетно?

 
 
 
 
Сообщение17.03.2007, 22:09 
Аватара пользователя
Верно :)
Для каждого $x_0$ возьмем окрестность $O$: $f(x)<f(x_0), x\in O\setminus\{x_0\}$. Выберем две рациональные точки $q_1<x_0<q_2$ в $O$, имеет инъекцию множества строгих локальных максимумов в $\mathbb Q^2$ (инъективность очевидна).

 
 
 
 
Сообщение17.03.2007, 22:10 
Пусть в точке x локальный максимум y=f(x). Речь идёт о счётности множества х или о счётности множества y (значений максимумов). Мне почему то кажется, что эти вещи разные. Второе множество счётное, а первое может быть, что то типа Канторова множества.

 
 
 
 
Сообщение17.03.2007, 22:11 
Аватара пользователя
Руст писал(а):
первое может быть, что то типа Канторова множества.
up

 
 
 
 
Сообщение17.03.2007, 22:36 
Хорхе писал(а):
Верно :)
Для каждого $x_0$ возьмем окрестность $O$: $f(x)<f(x_0), x\in O\setminus\{x_0\}$. Выберем две рациональные точки $q_1<x_0<q_2$ в $O$, имеет инъекцию множества строгих локальных максимумов в $\mathbb Q^2$ (инъективность очевидна).

Почему бы в окрестности $O$ не быть ещё континууму локальных максимумов? Вдруг окажется так, что все рациональльные точки закончатся? :wink:

 
 
 
 
Сообщение17.03.2007, 22:40 
Аватара пользователя
Хорхе писал(а):
....(инъективность очевидна).
Разве это не так?

 
 
 
 
Сообщение17.03.2007, 22:46 
Мне не очевидна.

 
 
 
 
Сообщение17.03.2007, 22:49 
Аватара пользователя
Пусть одной и той же паре $(q_1;q_2)$ соответствуют точки $x_0$ и $x_1$. Тогда $f(x_0)>f(x_1)>f(x_0)$

 
 
 
 
Сообщение17.03.2007, 22:55 
Да, для строгих максимумов это так. А просто для максимумов имеет место то, что я говорил. Число точек максимумов может быть континиум, а число значений максимумов счётно.

 
 
 
 
Сообщение17.03.2007, 23:02 
Аватара пользователя
Руст писал(а):
Да, для строгих максимумов это так. А просто для максимумов имеет место то, что я говорил. Число точек максимумов может быть континиум, а число значений максимумов счётно.
Имея пример постоянной функции, немного странно обсуждать случай нестрогих экстремумов. :shock:

 
 
 
 
Сообщение17.03.2007, 23:10 
Можно ещё так(впрочем, у Хорхе намного изящнее): пусть максимумов континуум, тогда из того что множество значений максимумов счётно, следует, что существует континуальное подмножество множества максимумов $\mathbb{K}$ и число $y: \ f(\mathbb{K})=y$. Существует предельная точка $\mathbb{K}$, лежащая в $\mathbb{K}$ и являющаяся пределом нестабилизирующейся последовательности(следует из континуальности $\mathbb{K}$). Но тогда эта точка не может быть строгим максимумом.

 
 
 
 
Сообщение17.03.2007, 23:12 
Можно привести пример непрерывной функции, когда у любой точки максимума x в некоторой окрестности почти все значения (за исключением меры ноль) f(z)<f(x) строго меньше, тем не менее количество точек максимумов несчётно.

 
 
 
 
Сообщение17.03.2007, 23:14 
Аватара пользователя
Руст писал(а):
Можно привести пример непрерывной функции, когда у любой точки максимума x в некоторой окрестности почти все значения (за исключением меры ноль) f(z)<f(x) строго меньше, тем не менее количество точек максимумов несчётно.
Интересно было бы посмотреть на такой пример.

 
 
 
 
Сообщение17.03.2007, 23:31 
Brukvalub писал(а):
Интересно было бы посмотреть на такой пример.

Можно определить f(x) через разложение $x=\sum_{k}\frac{x_k}{10^k},f(x)=\sum_k\frac{y_k}{10^k}$ наподобии множеств Кантора, где вместо выемок кусочно линейные функции. Например, пусть А канторово множество действительных чисел все цифры которой 0 или 9, a $f(x)=-ro(x,A)$, ro(x,A) расстояние от точки х до множества А.

 
 
 
 
Сообщение18.03.2007, 03:03 
Аватара пользователя
Да, стоит поместить задачу в «Олимпиадные», как ее решение публикуется… Перемещаю в «Помогите решить» — задача вполне стандартная.

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


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