2014 dxdy logo

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

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




 
 Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 00:37 
Аватара пользователя
Есть много непрерывных функций $f(t)$, которые для любой метрики $\rho$ дают новую метрику $f(\rho)$.
А может ли такая функция быть разрывной? Или всё-таки можно доказать непрерывность?

Мысли:
Из непрерывности в точке 0 быстро получается непрерывность в любой другой точке $t$, поэтому достаточно доказать в нуле.
Если где-то и "ловить за руку", то на нарушении третьей аксиомы (неравенство треугольника)

Пытался доказать обязательную непрерывность $f(t)$ на примере действия на стандартные метрики на прямой или плоскости. Как-то так: Давайте посмотрим на отрезок длины $t_0$. Если метрика разрывна в $t_0$, то немного удлиним (укортим) отрезок до некоторого $t_0+\delta$, такого что новая метрика скакнёт достаточно сильно (на $\varepsilon$) И уже хочется сказать, что вот тут-то неравенство треугольника и нарушится, но $f(\delta)$ может быть чёрт-те чем, в том числе и сравнимым с $\varepsilon$. Или не может быть - если функция непрерывна в нуле.

Правильный ответ на вопрос в названии темы мне не известен, вполне возможно, что примеры разрывных функций $f(t)$ существуют.

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 00:41 
$f(t)=\mbox{знак}(t)$ не подойдет? :-)

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 01:05 
Аватара пользователя
Подойдёт, спасибо.
Правда, особо легче не стало...

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 12:19 
Legioner93 в сообщении #904850 писал(а):
Есть много непрерывных функций $f(t)$, которые для любой метрики $\rho$ дают новую метрику $f(\rho)$.

может стоит перечислить свойства которыми такая функция должна обладать

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 12:48 
Аватара пользователя
Oleg Zubelevich
В этом и состояла изначальная задача :mrgreen:
Пока у меня гипотеза, что $f$ должна быть выпуклой вверх на $[0, + \infty)$
В одну сторону доказал, в другую тоже докажу, надеюсь. Но всё это для достаточно хороших функций. Например для непрерывных. Хотя ещё проще для дифференцируемых.
А для разрывных доказательство не работает.

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 13:33 
Legioner93 в сообщении #905011 писал(а):
Пока у меня гипотеза, что $f$ должна быть выпуклой вверх на $[0, + \infty)$

вроде бы это не обязательно: $f(0)=0, f(1)=2, f(x)=1$ иначе. Похоже, кроме самого простого условия тут ничего не придумать

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 15:30 
Аватара пользователя
patzer2097
Oleg Zubelevich
А вам известные какие-нибудь свойства? Из неравенства треугольника я вывел например $f(x+y) \leq f(x)+f(y)$ - субаддитивность. Любая выпуклая вверх функция удовлетворяет такому неравенству, но обратное, вообще говоря, неверно (даже для непрерывных). Также получил похожее $f(x-y) \geq f(x) - f(y)$

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 16:48 
Аватара пользователя
Если функция дифференцируема, то $|f'(x)| \leq f'(0)$

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение07.09.2014, 23:44 
Аватара пользователя
В общем, решил остановиться на двух условиях, которые смог доказать:
1) Достаточное: выпуклость вверх. Доказал даже для разрывных $f(t)$. Не является необходимым условием, пример привёл patzer2097
2) Условно-необходимое: если $f(t)$ дифференцируема (1 раз), то $|f'(t)| \leq f'(0)$

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение08.09.2014, 00:19 
Аватара пользователя
Для дважды дифференцируемых функций выпуклость вверх является необходимым и достаточным условием. Для менее гладких непонятно.

 
 
 
 Re: Может ли разрывная функция оставлять любую метрику метрикой
Сообщение08.09.2014, 01:13 
Аватара пользователя
Вы можете привести доказательство необходимости? Хотя бы на пальцах. Чисто интуитивно функция типа "прямая с небольшими колебаниями", например такая может и не "ломать" метрику.
P.S. График по ссылке строится секунд 10

-- Пн сен 08, 2014 02:36:18 --

Хотя эта ломает, конечно. Завтра попробую построить что-нибудь получше

 
 
 [ Сообщений: 11 ] 


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