Riesz's lemma¶
In mathematics, Riesz's lemma (after Frigyes Riesz) is a lemma in functional analysis.
Core Idea¶
Riesz's lemma is treated here as the recurring functional analysis identity summarized by this source-grounded definition: In mathematics, Riesz's lemma (after Frigyes Riesz) is a lemma in functional analysis. 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.
Scope of Application¶
-
Proof. The proof can be found in functional analysis texts such as Kreyszig.
-
Examples. Since the distance function d(\cdot, Y) is continuous, its image on the closed unit ball B must be a compact subset of the real line, proving the claim.
-
Documented setting. In mathematics, Riesz's lemma (after Frigyes Riesz) is a lemma in functional analysis.
-
Statement. If X is a reflexive Banach space then this conclusion is also true when \alpha = 1.
-
Metric reformulation. d(u, Y) := \inf{y \in Y} d(u, y) = \inf{y \in Y} |u - y|.
Clarity¶
A clear use of Riesz's lemma names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, Riesz's lemma (after Frigyes Riesz) is a lemma in functional analysis. The strongest recognition evidence in the frozen account is: We claim that the finite dimensional subspace Y spanned by {c1, \ldots, cn} is dense in X, or equivalently, its.
Manages Complexity¶
Riesz's lemma compresses multiple functional analysis details into a stable diagnostic relation. The source shows both the central mechanism—the "perpendicular" vector may be found pictorially by drawing a unit sphere that is supported by Y at the origin.—and the practical consequence—but if X = \Reals^3 was endowed with the |\cdot|1 taxicab norm (instead of the Euclidean norm), then the conclusion d(u, Z) = 1 would be.
Abstract Reasoning¶
- Type the carrier. Identify the functional analysis entities to which the claim applies.
- State the relation. Use the source-grounded identity: In mathematics, Riesz's lemma (after Frigyes Riesz) is a lemma in functional analysis.
- Check operation and conditions. This sequence can be constructed by induction for any constant 0 Start by picking any element x1 from the unit sphere.
- Demand recognition evidence. We claim that the finite dimensional subspace Y spanned by {c1, \ldots, cn} is dense in X, or equivalently, its closure is X.
Knowledge Transfer¶
Within the home domain. Knowledge about Riesz's lemma transfers literally when a new case preserves the same carrier type, relation, and recognition test. The proof can be found in functional analysis texts such as Kreyszig. Since the distance function d(\cdot, Y) is continuous, its image on the closed unit ball B must be a compact subset of the real line, proving the claim. Beyond the home domain. No canonical parent is asserted for Riesz's lemma.
Neighborhood in Abstraction Space¶
Riesz's lemma sits in a moderately populated region (41st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Named Analytic Theorems & Operators (39 abstractions)
Nearest neighbors
- Filling radius — 0.87
- Rees decomposition — 0.87
- Terminal singularity — 0.87
- Vector-valued differential form — 0.87
- Hochschild homology — 0.87
Computed from structural-signature embeddings · 2026-10-08