Riesz's lemma is a lemma in functional analysis. It specifies conditions that guarantee that a subspace in a normed vector space is dense. The lemma may also be called the Riesz lemma or Riesz inequality. It can be seen as a substitute for... Wikipedia