Математический форум Math Help Planet
http://mathhelpplanet.com/

Проверка метрики на l1
http://mathhelpplanet.com/viewtopic.php?f=34&t=40055
Страница 1 из 1

Автор:  uriy [ 04 апр 2015, 14:20 ]
Заголовок сообщения:  Проверка метрики на l1

День добрый!
Пытаюсь разобраться
Дано - метрика [math]p_1(x,y)[/math] на множестве [math]l_1[/math]
[math]\left\begin{gathered}x = ({x_1},{x_2},...,{x_k},...) \hfill \\ y = ({y_1},{y_2},...,{y_k},...) \hfill \\{p_1}(x,y) = \sum\limits_{k = 1}^\infty{\frac{{\left|{{x_k}-{y_k}}\right|}}{{{k^2}- ak + b}}}\hfill \\ \hfill \\ \end{gathered} \right[/math]
[math]a=12, b=38[/math]
Нужно проверить - является ли [math]p_1(x,y)[/math] метрикой на данном множестве и сравнить ее со стандартной метрикой на существующем пространстве.

для проверки является ли [math]p_1(x,y)[/math] метрикой данного множества нужно выполнить проверку на удовлетворение аксиомам (неотрицательность, симметрия и аксиома треугольника). По поводу неотрицательности - в знаменателе параболическая функция, которая в моем конкретном случае всегда положительна (в общем виде, когда [math]a*k^2+b*k+c[/math] может принимать значения меньше нуля при конкретных [math]a,b,c[/math] аксиома неотрицательности может быть недействительной).
По поводу аксиомы треугольника:
[math]\left\sum\limits_{k = 1}^\infty {\frac{{\left| {{x_k} - {y_k}} \right|}}{{{k^2} - 12k + 38}}} \leqslant \sum\limits_{k = 1}^\infty {\frac{{\left| {{x_k} - {z_k}} \right|}}{{{k^2} - 12k + 38}}} + \sum\limits_{k = 1}^\infty {\frac{{\left| {{z_k} - {y_k}} \right|}}{{{k^2} - 12k + 38}}} \right[/math]
Можно ли обе части неравенства умножить на [math]\left\sum\limits_{k = 1}^\infty {{k^2} - 12k + 38}\right[/math] и тем самым перейти к неравенству
[math]\left\sum\limits_{k = 1}^\infty {\left| {{x_k} - {y_k}} \right|} \leqslant \sum\limits_{k = 1}^\infty {\left| {{x_k} - {z_k}} \right|} + \sum\limits_{k = 1}^\infty {\left| {{z_k} - {y_k}} \right|} \right[/math], которое является верным?

Для сравнения метрик [math]p_1(x,y), p_2(x,y)[/math] нужно определить что следует из сходимости по этим метрикам (т.е. если из сходимости по [math]p_1[/math] следует сходимость по [math]p_2[/math], то [math]p_1[/math] не слабее [math]p_2[/math] и т.д. - как это проверить на практике??? дайте какие нибудь конкретные примеры, чтобы разобраться...

ps в моем конкретном случае метрикой [math]l_1[/math] является норма [math]\sum\limits_{k=1}^{\infty}\left\lvert x_k \right\lvert[/math], которая сходится, т.к. по определению элементами пространства [math]l_1[/math] являются сходящиеся последовательности и в итоге мы имеем сумму, каждый член которой сходится, т.е. и сумма в итоге тоже сходится. А вот как сравнить эту стандартную метрику с заданной - вообще никаких мыслей (((

Заранее спасибо

Автор:  Prokop [ 05 апр 2015, 09:53 ]
Заголовок сообщения:  Re: Проверка метрики на l1

Нет, так умножать нельзя. Вы, лучше, убедитесь в том, что нужные неравенства выполнены для каждой координаты (при каждом [math]k[/math]). Потом сложите неравенства.
Данная метрика порождается нормой, которую обозначим
[math]\left[\kern-0.15em\left[ x \right]\kern-0.15em\right] = \sum\limits_{k = 1}^\infty{{p_k}\left|{{x_k}}\right|}[/math],
где [math]{p_k}={\left({{k^2}- 12k + 38}\right)^{- 1}}[/math] - "вес".
Стандартная норма (метрика) [math]\left\| x \right\|[/math] в [math]l_1[/math] сильнее "весовой" нормы (метрики) [math]\left[\kern-0.15em\left[ x \right]\kern-0.15em\right][/math], т.к. из неравенства
[math]\left[\kern-0.15em\left[ x \right]\kern-0.15em\right] \leqslant \frac{1}{2}\left\| x \right\|[/math]
вытекает, что из сходимости в стандартной метрике следует сходимость в "весовой" метрике (в другую сторону утверждение неверно).

Автор:  uriy [ 05 апр 2015, 21:17 ]
Заголовок сообщения:  Re: Проверка метрики на l1

Спасибо за помощь.
1.Только не совсем понятно, почему нельзя умножать (это я про неравенство). Ведь при любом [math]k[/math] [math]k^2-12k+38>0[/math], а если обе части верного неравенства умножить на одно и то же положительное число, то получится верное неравенство (одно из свойств неравенств)... т.е. по идее можно взять верное неравенство [math]\left\sum\limits_{k = 1}^\infty {\left| {{x_k} - {y_k}} \right|} \leqslant \sum\limits_{k = 1}^\infty {\left| {{x_k} - {z_k}} \right|} + \sum\limits_{k = 1}^\infty {\left| {{z_k} - {y_k}} \right|} \right[/math] и умножить обе части на положительное число [math]{\left({{k^2}- 12k + 38}\right)^{- 1}[/math]... (для доказательства этого процесса можно рассмотреть неравенства для любого [math]k[/math],убедиться в их верности, а потом их сложить )))

2.Исходя из описанных выше логических рассуждений (про сравнение метрик) следует ли, что если бы [math]{p_k}={\left({{k^2}- 12k + 38}\right)}[/math] то из неравенства [math]\left[\kern-0.15em\left[ x \right]\kern-0.15em\right] \geqslant 2\left\| x \right\|[/math] следует, что из сходимости в "весовой" метрике вытекает сходимость в стандартной метрике?

И где можно взять информацию (желательно с примерами) про "взаимоотношения" метрик разных пространств?

Заранее спасибо

Автор:  uriy [ 06 апр 2015, 12:05 ]
Заголовок сообщения:  Re: Проверка метрики на l1

Продолжаем разговор ))
по поводу 2.: уважаемый Prokop откуда взялось приведенное Вами неравенство [math]\left[\kern-0.15em\left[ x \right]\kern-0.15em\right] \leqslant \frac{1}{2}\left\| x \right\|[/math]?
Вот что я нашел в пространстве инета:
Теорема Рисса: В конечномерных пространствах любые две нормы эквивалентны

Из википедии:
Цитата:
Конечномерное пространство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.

Базис — это (одновременно) и минимальная порождающая (полная) система, и максимальная линейно независимая система векторов. Все базисы содержат одно и то же количество элементов, которое называется размерностью векторного пространства.

Конечномерное пространство, в котором введено скалярное произведение его элементов называется евклидовым. Конечномерное пространство, в котором введена норма его элементов называется конечномерным нормированным. Наличие скалярного произведения или нормы порождает в конечномерном пространстве метрику.

Следует ли, что если в конечномерном пространстве есть метрика, то значит в нем автоматически введено скалярное произведение его элементов?

Здесь пример 1.5:
Изображение
т.е. любое пространство [math]l_p[/math] является векторным и если у него есть метрика, то оно становится конечномерным, а следовательно, любые его метрики эквиваленты???

Автор:  Prokop [ 06 апр 2015, 21:35 ]
Заголовок сообщения:  Re: Проверка метрики на l1

1. Неравенство между нормами следует из оценки
[math]{p_k}={\left({{{\left({k - 6}\right)}^2}+ 2}\right)^{- 1}}\leqslant \frac{1}{2}[/math]
2. В конечномерном пространстве можно ввести скалярное произведение, которое определит норму, эквивалентную исходной.
3. Пространство[math]l_p[/math] не является конечномерным.

Страница 1 из 1 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/