Image of Convergent Sequence in Topological Vector Space is von Neumann-Bounded/Proof 1
Jump to navigation
Jump to search
Theorem
Let $\struct {X, \tau}$ be a topological vector space.
Let $\sequence {x_n}_{n \in \N}$ be a convergent sequence with $x_n \to x$.
Let:
- $E = \set {x_n : n \in \N}$
Then $E$ is von Neumann-bounded.
Proof
From Convergent Sequence in Topological Vector Space is Cauchy, $\sequence {x_n}_{n \in \N}$ is a Cauchy sequence.
From Image of Cauchy Sequence in Topological Vector Space is von Neumann-Bounded, $E$ is von Neumann-bounded.
$\blacksquare$