Inner Limit in Normed Spaces by Open Balls

Theorem
Let $\sequence {C_n}_{n \mathop \in \N}$ be a sequence of sets in a normed vector space $\struct {\XX, \norm {\, \cdot \,} }$.

Then the inner limit of $\sequence {C_n}_{n \mathop \in \N}$ is:


 * $\ds \liminf_n C_n = \set {x: \forall \epsilon > 0: \exists N \in \NN_\infty: \forall n \in N: x \in C_n + B_\epsilon}$

where $B_\epsilon$ denotes the open $\epsilon$-ball of the space.

Proof
The proof is an immediate result of Inner Limit in Hausdorff Space by Open Neighborhoods since the arbitrary open sets can be here replaced by open balls.

Also see

 * Inner Limit in Hausdorff Space by Open Neighborhoods
 * Inner Limit of Sequence of Sets in Normed Space
 * Inner Limit in Hausdorff Space by Set Closures