2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Компактность замкн. подмн-ва комп. мн-ва в *-слабой топологи
Сообщение25.07.2023, 18:19 


20/09/21
54
В Дополнении к книге КФ, параграф 4, пункт 1-2 исследуется множество $\mathcal{M}$ непр. мультипликативных функционалов заданных на коммутативной банаховой алгебре $X$ с единицей. Это множество оказывается подмножеством единичной сферы $X^*$. Доказывается, что $\mathcal{M}$ замкнуто в *-слабой топологии.

Далее, приводится факт, доказанный в основном тексте:

Единичный шар в $X^*$, сопряженного к банахову пространству, компактен в *-слабой топологии.

Пока в принципе все было понятно. Непонятно следующее утверждение:

Из вышепривиденных фактов следует, что $\mathcal{M}$ компактно.

Пож-ста, кто-нибудь может это объяснить, как это получить, желательно без сложных теорем?

Правильно ли я понимаю, что это утверждение можно получить из следующего рассуждения:

Известно, что замкнутое подмножество компактного множества компактно в метрическом случае. Но *-слабая топология на единичном шаре метризуема (глава IV, параграф 3, теорема 4). Единичный шар компактен в *-слабой топологии. Отсюда получается, что замкнутое подмножество единичного шара компактно в *-слабой топологии. Остается заметить, что $\mathcal{M}$ замкнутое подмножество единичного шара, откуда сразу следует компактность $\mathcal{M}$.

Есть ли ошибки в этом рассуждении?

 Профиль  
                  
 
 Re: Компактность замкн. подмн-ва комп. мн-ва в *-слабой топологи
Сообщение25.07.2023, 18:23 
Заслуженный участник
Аватара пользователя


16/07/14
9217
Цюрих
Метризуемость не нужна: в любой топологии замкнутое подмножество компакта компактно. А так всё правильно.

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

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



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

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


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

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