В Дополнении к книге КФ, параграф 4, пункт 1-2 исследуется множество
![$\mathcal{M}$ $\mathcal{M}$](https://dxdy-04.korotkov.co.uk/f/b/5/e/b5eaea000e06d5cf2e882f8fdbc71e3682.png)
непр. мультипликативных функционалов заданных на коммутативной банаховой алгебре
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
с единицей. Это множество оказывается подмножеством единичной сферы
![$X^*$ $X^*$](https://dxdy-02.korotkov.co.uk/f/d/b/b/dbbd67b6889330c308997d5bec5fbf1582.png)
. Доказывается, что
![$\mathcal{M}$ $\mathcal{M}$](https://dxdy-04.korotkov.co.uk/f/b/5/e/b5eaea000e06d5cf2e882f8fdbc71e3682.png)
замкнуто в *-слабой топологии.
Далее, приводится факт, доказанный в основном тексте:
Единичный шар в
![$X^*$ $X^*$](https://dxdy-02.korotkov.co.uk/f/d/b/b/dbbd67b6889330c308997d5bec5fbf1582.png)
, сопряженного к банахову пространству, компактен в *-слабой топологии.
Пока в принципе все было понятно. Непонятно следующее утверждение:
Из вышепривиденных фактов следует, что
![$\mathcal{M}$ $\mathcal{M}$](https://dxdy-04.korotkov.co.uk/f/b/5/e/b5eaea000e06d5cf2e882f8fdbc71e3682.png)
компактно.
Пож-ста, кто-нибудь может это объяснить, как это получить, желательно без сложных теорем?
Правильно ли я понимаю, что это утверждение можно получить из следующего рассуждения:
Известно, что замкнутое подмножество компактного множества компактно в метрическом случае. Но *-слабая топология на единичном шаре метризуема (глава IV, параграф 3, теорема 4). Единичный шар компактен в *-слабой топологии. Отсюда получается, что замкнутое подмножество единичного шара компактно в *-слабой топологии. Остается заметить, что
![$\mathcal{M}$ $\mathcal{M}$](https://dxdy-04.korotkov.co.uk/f/b/5/e/b5eaea000e06d5cf2e882f8fdbc71e3682.png)
замкнутое подмножество единичного шара, откуда сразу следует компактность
![$\mathcal{M}$ $\mathcal{M}$](https://dxdy-04.korotkov.co.uk/f/b/5/e/b5eaea000e06d5cf2e882f8fdbc71e3682.png)
.
Есть ли ошибки в этом рассуждении?