I can recall that from here about 'the sequence $(a_n)$ has no converging subsequence if and only if $|a_n|$ tends to infinity'. Can I extend this lemma into the sequence of functions and replaces the modulus function with a norm function? Would the result still hold?
Also are there other strategies to show a sequence of functions do not have a converging subsequence?
The Bolzano-Weierstrass theorem tells us that any bounded sequence in $\mathbb{R}^n$ has a convergent subsequence. This does not hold for metric spaces in general, and fails in most function spaces.