Теорема доказана.
Следующая ниже теорема и есть упоминавшаяся теорема Рисса о компактности единичного шара.
Теорема 3.8.3. Если в банаховом пространстве B замыкание единич- ного шара есть компактное множество, то банахово пространство B конечномерно.
Доказательство. Пусть fe1 ; : : :g B -линейно-независимые векторы, норма которых равна единице,
Bn = Cl(spanfe1 : : : ; eng):
Тогда Bn B(n+1), è åñëè B(n+1) n Bn 6= ;, то согласно предыдущей теореме существует такой вектор yn 2 B(n+1), ÷òî
kynk = 1; dist(yn ; Bn) > 1=2:
Если последовательность fyng бесконечна, то это будет такая принад-
лежащая замыканию единичного шара последовательность, из которой нельзя извлечь сходящуюся подпоследовательность, поэтому если еди-
ничный шар компактен, то начиная с некоторого номера n должно быть выполнено равенство Bn = B(n+1). Теорема доказана.
3.8.2Теория Рисса-Шаудера.
Теория Рисса-Шаудера описывает резольвенту компактного оператора и устанавливает связь между областью значений и ядром оператора
( id T ) в том случае, если оператор T компактен. Эти результаты будут
подытожены нами в теореме 3.8.5.
Мы будем считать, что рассматриваемое нами банахово пространство рефлексивно:
B?? = B:
Начнем мы с доказательства нескольких лемм. В дальнейшем множество компактных операторов, действующих из пространства B â ïðî-
странство B мы обозначим символом K(B 7!B). ßñíî, ÷òî
K(B 7!B) L(B 7!B):
Лемма 3.8.4. Если T -компактный оператор и 6= 0, то пространство Im( id T ) замкнуто.