Definition:Compact Space/Normed Vector Space

Definition
Let $(X,\norm \cdot)$ be a normed vector space.

Let $K \in X$.

Then $K$ is compact if and only if every sequence in $K$ has a convergent subsequence with limit $K$.

That is, if:


 * $(x_n)_{n \in \N} :\forall n \in \N : x_n \in K \implies \exists \paren{x_{n_k}}_{k \in \N} : \exists L \in K: \paren{x_{n_k}}_{k \in \N}$ converges to $L$.