How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
L-p convergence of a lacunary series is equivalent to ell-two coefficients
Statement
Assume the Axiom of Choice. For a -Hadamard-lacunary sequence and coefficients , the partial sums of converge in if and only if , for every . For , they converge if and only if in the complete metric of The distance for is a complete translation-invariant metric. Completeness above one is supplied by Riesz-Fischer completeness of for , and the finite estimate is L-p norm equivalence for finite Hadamard-lacunary sums.
Facts & Assumptions
Given: The Axiom of Choice and and as in the Statement.
AC is used through the two completeness suppliers [F2] in step 2.1.
The two-sided finite lacunary estimate holds uniformly over finite coefficient sets (L-p norm equivalence for finite Hadamard-lacunary sums).
Under the Axiom of Choice, is complete for (Riesz-Fischer completeness of for ), and is complete for (The distance for is a complete translation-invariant metric).
Proof
If , its coefficient tails tend to zero. Apply the upper bound in [F1] to each difference of partial sums. The differences tend to zero in the norm for and in the metric for , since .
By [F2], these Cauchy sequences have limits in their respective spaces.
Conversely, convergence makes the partial sums Cauchy in the relevant norm or metric. The lower bound in [F1] applied to every forces uniformly as ; in the metric case take the -th root first. The nonnegative partial sums are then Cauchy and converge, so . This proves both implications.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
24 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Loukas Grafakos, Classical Fourier Analysis, 3rd ed., Theorem 3.6.4 (standard reference, not scraped)