In mathematics, Riesz's lemma (after Frigyes Riesz) is a lemma in functional analysis. It specifies (often easy to check) 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 orthogonality when the normed space is not an inner product space.
Statement
If X {\displaystyle X} is a reflexive Banach space then this conclusion is also true when α = 1. {\displaystyle \alpha =1.}
Metric reformulation As usual, let d ( x , y ) := ‖ x − y ‖ {\displaystyle d(x,y):=\|x-y\|} denote the canonical metric induced by the norm, call the set { x ∈ X : ‖ x ‖ = 1 } {\displaystyle \{x\in X:\|x\|=1\}} of all vectors that are a distance of 1 {\displaystyle 1} from the origin the unit sphere, and denote the distance from a point u {\displaystyle u} to the set Y ⊆ X {\displaystyle Y\subseteq X} by
d ( u , Y ) := inf y ∈ Y d ( u , y ) = inf y ∈ Y ‖ u − y ‖ . {\displaystyle d(u,Y)~:=~\inf _{y\in Y}d(u,y)~=~\inf _{y\in Y}\|u-y\|.} The inequality α ≤ d ( u , Y ) {\displaystyle \alpha \leq d(u,Y)} holds if and only if ‖ u − y ‖ ≥ α {\displaystyle \|u-y\|\geq \alpha } for all y ∈ Y , {\displaystyle y\in Y,} and it formally expresses the notion that the distance between u {\displaystyle u} and Y {\displaystyle Y} is at least α . {\displaystyle \alpha .} Because every vector subspace (such as Y {\displaystyle Y} ) contains the origin 0 , {\displaystyle 0,} substituting y := 0 {\displaystyle y:=0} in this infimum shows that d ( u , Y ) ≤ ‖ u ‖ {\displaystyle d(u,Y)\leq \|u\|} for every vector u ∈ X . {\displaystyle u\in X.} In particular, d ( u , Y ) ≤ 1 {\displaystyle d(u,Y)\leq 1} when ‖ u ‖ = 1 {\displaystyle \|u\|=1} is a unit vector. Using this new notation, the conclusion of Riesz's lemma may be restated more succinctly as: d ( u , Y ) ≥ α {\displaystyle d(u,Y)\geq \alpha } holds for some unit vector u ∈ X . {\displaystyle u\in X.}
Using this new terminology, Riesz's lemma may also be restated in plain English as:
Given any closed proper vector subspace of a normed space X , {\displaystyle X,} for any desired minimum distance α {\displaystyle \alpha } less than 1 , {\displaystyle 1,} there exists some vector in the unit sphere of X {\displaystyle X} that is at least this desired distance away from the subspace.
… excerpt ends here. Continue reading the full article.

