Ehrling's lemma

Ehrling's lemma is a result in functional analysis, particularly in the context of Banach spaces. It is often used to establish properties of linear operators and to analyze the behavior of certain classes of functions or sequences. In the context of Banach spaces, Ehrling's lemma provides conditions under which a bounded linear operator can be approximated in some sense by a sequence of simpler operators.