Skip to content

Commit

Permalink
Aaand one more fix
Browse files Browse the repository at this point in the history
  • Loading branch information
DanMax03 committed May 19, 2024
1 parent 148d162 commit 7eeed56
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@

\item Докажем, что $F \in [S]^*$. Это делается аналогично тому, как это производилось в серии теорем о сходимости операторов

\item Воспользуемся теоремой 5.3 и продлим $F$ на всё пространство $E^*$, коль скоро $\cl [S]^* = E^*$.
\item Воспользуемся теоремой 5.3 и продлим $F$ на всё пространство $E^*$, коль скоро $\cl [S] = E^*$.

\item В силу того, что теперь $\forall f \in E^*\ \ F_{x_n}(f) \to F(f)$, причём $F \in E^{**}$ и пространство $E$ рефлексивно, то $F$ однозначно сопоставлен некоторый элемент $x \in E$, который и является искомым слабым пределом.
\end{enumerate}
Expand Down

0 comments on commit 7eeed56

Please sign in to comment.