2014 dxdy logo

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

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




 
 полунепрерывность
Сообщение23.04.2013, 22:58 
Добрый вечер! Помогите с задачкой, пожалуйста!
Пусть $X$- компактное метрическое пространство, $f$- собственная полунепрерывная функция на $X$. Докажите, что существует точка, в которой $f$ достигает абсолютного минимума.
Очень надеюсь на вашу помощь.

 
 
 
 Re: полунепрерывность
Сообщение23.04.2013, 23:36 
$X=[0,1]$, $f(x) = 1-x$ при $x \in [0,1)$, $f(1)=1$. Полунепрерывна и собственна ли $f$? Компактно ли $X$? Достигается ли минимум?

 
 
 
 Re: полунепрерывность
Сообщение25.04.2013, 17:01 
Nimza, автор имел в виду полунепрерывность снизу, а не сверху.

 
 
 
 Re: полунепрерывность
Сообщение25.04.2013, 17:42 

(Оффтоп)

samsonich в сообщении #715418 писал(а):
Nimza, автор имел в виду полунепрерывность снизу, а не сверху.
samsonich,
Nimza имел в виду, что на этот вопрос ответит автор. :evil:
(Отвечая на вопросы, можно нечаянно решить задачу. У нас такой способ помощи весьма популярен.)

 
 
 
 Re: полунепрерывность
Сообщение25.04.2013, 20:38 
А еще хорошо помнить теорему: функция $f:X\to \mathbb{R}$ полунепрерывна снизу на метрическом пространстве iff для любого $c$ множество $\{x\in X\mid f(x)\le c\}$ замкнуто

 
 
 
 Re: полунепрерывность
Сообщение25.04.2013, 23:27 
Кстати, нам даже метричность не нужна, и даже топологичность. Теорема Вейерштрасса верна для компактов в категории SeqPsTop (Sequential Pseudotopological Spaces, по-русски, наверно, субсеквенциальные пространства) и соответственно секвенциально полунепрерывных снизу функций на них.

(Оффтоп)

Кстати, определение таких пространств кажется интуитивнее более широкого класса топололических. А вот кто из них определяется интуитивнее, метрические или субсеквенциальные, сразу не очевидно

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


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