2014 dxdy logo

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

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


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


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

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Несколько несложных задачек для ф-ции многих переменных
Сообщение01.05.2007, 22:20 


21/12/06
88
Здравствуйте. Хотелось бы попросить помощи в доказательстве нескольких, казалось бы, очевидных утверждений:

Доказать, что:
1) функции $f_i(x_1;x_2;...;x_n) = x_i, i = 1,2,...n$, непрерывны в пространстве $\mathbb{R}^n$

2) Если $g(x)$, $x \in \mathbb{R}$, непрерывна, то функции $f_i(x_1;x_2;...;x_n) = g(x_i), i = 1,2,...n$, непрерывны в пространстве $\mathbb{R}^n$
3) функция $f_i(x_1;x_2;...;x_n) = \sum\limits^{n}_{k=1}\|x_k|}$ непрерывна в пространстве $\mathbb{R}^n$
4) функция $f_i(x_1;x_2;...;x_n) = max{|x_k|} $ непрерывна в пространстве $\mathbb{R}^n$

Примечание : в 3-ем примере $||x_k|$ следует понимать, как $|x_k|$; просто мне не удалось правильно написать это с помощью тега math

Мои предположения по решению №1:
Воспользовавшись формальным определением предела для точки $x_0$:
$\forall \epsilon>0    \exists \delta = \delta ({\epsilon}) : \forall x |x-x_0| < \delta => f(x) - f(x_0) < \epsilon $ (извиняюсь за немного "кривую" запись)
Т.к. $f_i(x_1;x_2;...;x_n) = x_i $, то получаем, что $|f(x) - f(x_0)| = (x-x_0)$. Применяем формулу для вычисления расстояния между 2мя точками $\rho = {\sqrt{ (x-x_0)^2 + ... + (x-x_0_n)^2}} >= |x_1 - x_0| < \delta$, немедленно получаем ответ (доказанное утверждение).

С остальными пунктами почему-то в голову ничего не приходит. Кажется, что ответ лежит на поверхности, однако строгого доказательства дать, к сожалению, не могу. Если не сложно - подскажите, пожалуйста, как оформить строгое док-во. Заранее благодарю.
с уважением, Lister.

 Профиль  
                  
 
 
Сообщение01.05.2007, 22:28 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Да, записали Вы все просто образцово-безобразно, хотя суть решения п.1 верная. По п.2: композиция непрерывных отображений непрерывна. По п.3: композиция и сумма непрерывных отображений непрерывна . По п.4: записать максимум через алгебраические операции и модуль и воспользоваться предыдущими п..

 Профиль  
                  
 
 
Сообщение02.05.2007, 01:09 
Экс-модератор


12/06/05
1595
MSU
В первом пункте у вас не написано, чему равно дельта. Вы должны были написать $\delta(\varepsilon)=\varepsilon$.

 Профиль  
                  
 
 
Сообщение02.05.2007, 15:07 


21/12/06
88
Спасибо большое, с первыми тремя пунктами разобрался. С четвертым, к сожалению, не совсем понятно - мне кажется, задачка значительно менее тривиальна, чем первые три - никак не выходит выразить $\delta ({\epsilon})$. Если не затруднит - напишите, пожалуйста, примерно, как надо действовать. Спасибо.

 Профиль  
                  
 
 
Сообщение02.05.2007, 15:11 
Экс-модератор


12/06/05
1595
MSU
А его не надо выражать для всей этой функции.

Докажите, что функция $\max(f(x),g(x))$, где $f$ и $g$ непрерывны, будет сама непрерывной. Запишите максимум модуля по всем переменным через композицию нескольких максимумов от двух переменных. И готово.

 Профиль  
                  
 
 
Сообщение02.05.2007, 15:23 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Воспользуйтесь равенством \[\max (p\;,\;q) = \frac{1}{2}(p + q + \left| {p - q} \right|)\], правая часть которого является непрерывной функцией своих аргументов.

 Профиль  
                  
 
 
Сообщение02.05.2007, 21:03 


21/12/06
88
Спасибо.
Dan_Te
Насколько я понимаю, данное доказательство состоит исключительно в проверке определения предела по Гейне?
И затем необходимо воспользоваться доказанным утверждением, обощая его для случая многих переменных (или использовать для док-ва моей задачи принцип, использовавшийся при док-ве выдвинутого Вами утверждения?) Фраза "Запишите максимум модуля по всем переменным через композицию нескольких максимумов от двух переменных" меня, к сожалению, немного смущает :oops:
Brukvalub
Данное утверждение необходимо обобщить на случай многих переменных, или оно может помочь при доказательстве выдвинутого Dan_Te утверждения? Просто с затруднением представляю себе, как здесь его можно применить :(

Извините за глупые, быть может, вопросы, просто желаю разобраться в данной задаче до конца.

 Профиль  
                  
 
 
Сообщение02.05.2007, 21:11 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Lister писал(а):
Данное утверждение необходимо обобщить на случай многих переменных, или оно может помочь при доказательстве выдвинутого Dan_Te утверждения?
Даю наводящее соображение: максимум из трёх чисел равен максимуму из двух чисел, одно из которых является максимумом первых двух чисел, а второе - третьим числом.

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

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



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

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


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

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