2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 При каких p функция является метрикой на плоскости?
Сообщение28.02.2014, 20:10 


01/06/13
27
В $\mathbb R^2$ определена функция $\rho (x,y) = (|x_1-y_1|^p+|x_2-y_2|^p)^{{1 \over p}} $ двух переменных $x=(x_1,x_2)$ и $y=(y_1,y_2)$.
При каких $p>0$ она является метрикой, а при каких - нет?
То, что она не является метрикой при $0<p<1$ я доказывал так:
Первые две аксиомы доказаны для всех p. Достаточно указать три точки, такие, что для любых p $0<p<1$ неравенство треугольника не имеет места.
Я взял точки $O=(0,0), A=(1,- \varepsilon)$ и $B=(- \varepsilon,1)$.
Если теперь я докажу, что существует число $C$, такое, что $\rho (A,B)>C>\rho (A,O) + \rho (B,O)$, то я докажу, что при $0<p<1$ представленная функция не является метрикой.
Будем искать такое $C$:
$(2(1+\varepsilon)^p)^{{1 \over p}}>C>2(1+\varepsilon^p)^{{1 \over p}}\Rightarrow$
$2(1+\varepsilon)^p>C^p>2^p(1+\varepsilon^p)\Rightarrow$
$(1+\varepsilon)^p>C^p/2>2^{{p-1}}(1+\varepsilon^p)\Rightarrow$
$(1+\varepsilon)^p>C^p/2>(1+\varepsilon^p)>2^{{p-1}}(1+\varepsilon^p)$,
но имеет место $(1+\varepsilon)^p>\varepsilon^p>(1+\varepsilon^p)$,
тогда можно принять $C^p/2=\varepsilon^p$, а $C=\varepsilon \cdot 2^{{1 \over p}}$.
Верно ли это доказательство?
И как доказать тот факт, что при $p\geqslant 1$ функция - метрика?

 Профиль  
                  
 
 Re: При каких p функция является метрикой на плоскости?
Сообщение28.02.2014, 21:13 


19/01/14
1
На последний вопрос: очевидно, что св-ва неотрицательности и симметричности выполняются. Для проверки нер-ва треугольника попробуйте поплясать от нер-ва Минковского.

 Профиль  
                  
 
 Re: При каких p функция является метрикой на плоскости?
Сообщение01.03.2014, 09:01 


01/06/13
27
По-моему, неравенство Минковского для $\mathbb R^2$ и есть требование третьей аксиомы, тогда вопрос эквивалентен такому: как доказать неравенство Минковского для $\mathbb R^2$?

 Профиль  
                  
 
 Re: При каких p функция является метрикой на плоскости?
Сообщение01.03.2014, 09:22 


19/05/10

3940
Россия
Как обычно, через Гельдера

 Профиль  
                  
 
 Re: При каких p функция является метрикой на плоскости?
Сообщение01.03.2014, 22:45 


01/06/13
27
Какую книгу посоветуете? А то в Колмогорове - Фомине это опущено.

 Профиль  
                  
 
 Re: При каких p функция является метрикой на плоскости?
Сообщение01.03.2014, 22:57 


19/05/10

3940
Россия
Dima S в сообщении #831842 писал(а):
Какую книгу посоветуете? А то в Колмогорове - Фомине это опущено.

Удивился и полез в КФ - 2 глава, 1 параграф, ближе к концу.

 Профиль  
                  
 
 Re: При каких p функция является метрикой на плоскости?
Сообщение02.03.2014, 10:13 


01/06/13
27
Был невнимателен. Спасибо.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Bing [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group