Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 19 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 15:25 
Не в сети
Начинающий
Зарегистрирован:
30 янв 2018, 14:48
Сообщений: 25
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Здравствуйте!

Помогите, пожалуйста, разобраться со скалярным произведением в [math]C[a,b][/math]. Хочу доказать, что в этом пространстве нельзя ввести скалярное произведение таким образом, чтобы в нём была задана евклидова норма [math]\left\| f(x)_{C[a,b]} \right\| = \sqrt{\left( f(x), f(x) \right) }[/math].
То есть для доказательства мне достаточно найти одно условие, которое позволит утверждать, что данное выражение не является нормой. Тем не менее, какая именно из аксиом нормы не выполняется, мне установить не удаётся: норма, введённая таким образом, неотрицательна и равна нулю в том случае, если [math]f(x) = 0[/math], из свойства линейности скалярного произведения следует, что выполняется и условие [math]\left\| \alpha \cdot f(x) \right\| = \left| \alpha \right| \left\| f(x) \right\|[/math], неравенство треугольника можно доказать пользуясь неравенством Коши-Буняковского. Получается, что все аксиомы выполнены... Помогите найти ошибку.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 16:12 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
15 мар 2016, 16:08
Сообщений: 3958
Cпасибо сказано: 39
Спасибо получено:
591 раз в 561 сообщениях
Очков репутации: 133

Добавить очки репутацииУменьшить очки репутации
mathfunk писал(а):
Хочу доказать, что в этом пространстве нельзя ввести скалярное произведение таким образом, чтобы в нём была задана евклидова норма [math]\left\| f(x)_{C[a,b]} \right\| = \sqrt{\left( f(x), f(x) \right) }[/math].

Не то вы хотите доказать. Вам надо доказать, что нельзя ввести скалярное произведение, которое порождало исходную норму в [math]C[a,b][/math]. Какое бы вы скалярное произведение ни ввели, оно всегда будет порождать норму. Вот только норма эта будет не такой, какая нам требуется.


Последний раз редактировалось searcher 30 янв 2018, 16:30, всего редактировалось 2 раз(а).
Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 16:20 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
15 мар 2016, 16:08
Сообщений: 3958
Cпасибо сказано: 39
Спасибо получено:
591 раз в 561 сообщениях
Очков репутации: 133

Добавить очки репутацииУменьшить очки репутации
Если самостоятельно доказать это не удастся, то откройте любой учебник и прочтите на этот счёт теоремку, каким свойствам должна обладать норма, чтобы она порождалась скалярным произведением - тождество параллелограмма.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 18:05 
Не в сети
Начинающий
Зарегистрирован:
30 янв 2018, 14:48
Сообщений: 25
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
searcher, идею уловить удалось (надеюсь): норма должна подчиняться евклидовой геометрии. Но продемонстрировать, что это в случае пространства непрерывных функций не выполняется, не получается. Точнее получается, что это тождество выполнено.

Предполагаю, что нужно просто в качестве примера взять 2 непрерывные функции. Для наглядности.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 18:13 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
15 мар 2016, 16:08
Сообщений: 3958
Cпасибо сказано: 39
Спасибо получено:
591 раз в 561 сообщениях
Очков репутации: 133

Добавить очки репутацииУменьшить очки репутации
mathfunk писал(а):
Точнее получается, что это тождество выполнено.Предполагаю, что нужно просто в качестве примера взять 2 непрерывные функции. Для наглядности

Возьмите две функции с единичной нормой так, чтобы их сумма также была функция с единичной нормой.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 18:40 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
15 мар 2016, 16:08
Сообщений: 3958
Cпасибо сказано: 39
Спасибо получено:
591 раз в 561 сообщениях
Очков репутации: 133

Добавить очки репутацииУменьшить очки репутации
searcher писал(а):
Возьмите две функции с единичной нормой так, чтобы их сумма также была функция с единичной нормой.

Но это не обязательно, хотя прокатывает. Посмотрел Колмогорова-Фомина. Там в качестве функций берутся [math]f(t)=\sin t[/math], [math]g(t)=\cos t[/math].

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 18:46 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
15 мар 2016, 16:08
Сообщений: 3958
Cпасибо сказано: 39
Спасибо получено:
591 раз в 561 сообщениях
Очков репутации: 133

Добавить очки репутацииУменьшить очки репутации
searcher писал(а):
Возьмите две функции с единичной нормой так, чтобы их сумма также была функция с единичной нормой.

В данном случае (тут ещё как выбрать функции, но можно тут их так выбрать) [math]\|f\|=1[/math], [math]\|g\|=1[/math], [math]\|f+g\|=1[/math], [math]\|f-g\|=2[/math]. И [math]\|f+g\|^2+\|f-g\|^2=5 \ne 2(\|f\|^2+\|g\|^2)=4[/math].

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 19:18 
Не в сети
Начинающий
Зарегистрирован:
30 янв 2018, 14:48
Сообщений: 25
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
searcher, ммм... не понимаю, как получаются значения нормы такие. В том смысле, что мы рассматриваем норму в смысле [math]\sqrt{f(t), f(t)}[/math], то есть тогда я просто получу следующие выражения (вместо чисел): [math]\left\| f(t) \right\| = \left| \sin{t} \right|[/math], [math]\left\| g(t) \right\| = \left| \cos{t} \right|[/math], [math]\left\| f(t) + g(t) \right\| = \left| 1 + \sin{2 \cdot t} \right|[/math], [math]\left\| f(t) - g(t) \right\| = \left| 1 - \sin{2 \cdot t} \right|[/math].

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 20:16 
Не в сети
Light & Truth
Аватара пользователя
Зарегистрирован:
15 мар 2016, 16:08
Сообщений: 3958
Cпасибо сказано: 39
Спасибо получено:
591 раз в 561 сообщениях
Очков репутации: 133

Добавить очки репутацииУменьшить очки репутации
mathfunk писал(а):
searcher, ммм... не понимаю, как получаются значения нормы такие. В том смысле, что мы рассматриваем норму в смысле [math]\sqrt{f(t), f(t)}[/math],

Не понял смысл вашей нормы. Пока речь идёт о стандартной норме в [math]C[a,b][/math]. Там ещё супремум по промежутку [math][a,b][/math]. Значение нормы - это число, а не функция.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Доказать, что в C[a,b] скалярное произведение неевклидово
СообщениеДобавлено: 30 янв 2018, 22:30 
Не в сети
Начинающий
Зарегистрирован:
30 янв 2018, 14:48
Сообщений: 25
Cпасибо сказано: 2
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
searcher, наверно, я некорректно вопрос сформулировал. Наткнулся я на него при просмотре этой лекции. Если Вас не затруднит, уделите, пожалуйста, минуту времени просмотру, вопрос формулируется начиная примерно с 03:45. Я понял, что требуется, пользуясь аксиомами скалярного произведения, доказать, что ввести его в форме [math]\sqrt{f(x) \cdot g(x)}[/math] в [math]C[a,b][/math] нельзя. Как раз и смутил тот факт, что опираться-то не на что, если это произвольная функция, характеристики нет никакой...

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 19 ]  На страницу 1, 2  След.

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Вычислить векторное произведение и скалярное произведение

в форуме Аналитическая геометрия и Векторная алгебра

GRAND799

8

324

28 янв 2016, 15:46

Скалярное произведение

в форуме Аналитическая геометрия и Векторная алгебра

stesha11111

1

768

27 фев 2014, 20:48

Скалярное произведение

в форуме Аналитическая геометрия и Векторная алгебра

Happy_End

1

247

30 янв 2013, 08:55

Скалярное произведение

в форуме Функциональный анализ, Топология и Дифференциальная геометрия

aleksskay

3

415

28 янв 2014, 15:35

Скалярное произведение

в форуме Аналитическая геометрия и Векторная алгебра

Finn_parnichka

1

34

30 сен 2018, 02:09

Скалярное произведение и перемножение

в форуме Геометрия

Gadimli

1

126

01 янв 2016, 16:50

Скалярное произведение векторов

в форуме Аналитическая геометрия и Векторная алгебра

Kto_Kto_Tanya

1

260

12 ноя 2014, 20:06

Скалярное произведение векторов

в форуме Аналитическая геометрия и Векторная алгебра

YoungMathematician

5

146

23 дек 2017, 13:23

Найти скалярное произведение

в форуме Аналитическая геометрия и Векторная алгебра

Yana Kostyuk

1

219

23 ноя 2012, 22:29

Скалярное произведение векторов

в форуме Размышления по поводу и без

anderlo

2

130

13 ноя 2016, 01:57


Часовой пояс: UTC + 4 часа [ Летнее время ]



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 9


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved