2014 dxdy logo

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

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


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


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Теорема Тихонова
Сообщение27.12.2020, 11:08 
Заслуженный участник


13/12/05
4520
В книге Люстерник Л. А., Соболев В. И. Краткий курс функционального анализа, 1982 приведена следующая теорема
Изображение
Изображение

Теорема, очевидно, неверна. Действительно, в качестве $H$ возьмём, например, круг с выколотым центром. Вопрос: где ошибка в доказательстве?

P.S. Вообще, книжка, хорошая. Но от глупости никто не застрахован. Видимо, авторы, хотели сформулировать теорему Тихонова (в ней $H=X$) в чуть "более общем" виде. И доказательство, корректное при $H=X$ (это известное доказательство), некритически перенесли на этот "более общий" случай.

 Профиль  
                  
 
 Re: Теорема Тихонова
Сообщение27.12.2020, 11:16 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
Padawan в сообщении #1497916 писал(а):
Вопрос: где ошибка в доказательстве?
По-моему, Вы сами догадались: ни откуда не следует, что $\{x_{\alpha}\}\in H$.

 Профиль  
                  
 
 Re: Теорема Тихонова
Сообщение27.12.2020, 11:37 
Заслуженный участник


13/12/05
4520
По-моему, там ещё грубее ошибка: ниоткуда не следует, что $\{x_\alpha\}\in \bigcap\limits_\xi \overline{A_\xi}$. В качестве $H$ возьмём кольцо, а в качестве $A_\xi$ -- систему концентрических колец. $(x_1,x_2)$ пусть будет центр кольца.

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

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



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

Сейчас этот форум просматривают: Alex Krylov


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

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