CounterexampleConstruction: Literature-sourcedVerification: AI-generatedprecheck passaudited 2026-08-31

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^{1}$ is not a subset of $L^{2}$ on the line

Statement refuted

On $R$ with Lebesgue measure, every $L^{1}$ function lies in $L^{2}$ .

Facts & Assumptions

Given: The power-family thresholds from $x^{- a}$ on $(0, 1)$ and on $(1, \infty)$ calibrates $L^{p}$ membership.

[L1]

For $f_{0} (x) = x^{- a} χ_{(0, 1)} (x)$ , one has $f_{0} \in L^{p}$ exactly when $a p < 1$ ( $x^{- a}$ on $(0, 1)$ and on $(1, \infty)$ calibrates $L^{p}$ membership).

Counterexample

technique · Use the power-function family $x^{-a}$ near $0$ with $1/2\le a<1$

1.1L1given

Choose $a = 3 / 4$ and set $f (x) : = x^{- 3 / 4} χ_{(0, 1)} (x)$ . Then [L1, given] $a \cdot 1 = 3 / 4 < 1$ , so [L1] gives $f \in L^{1}$ . But $a \cdot 2 = 3 / 2 > 1$ , so [L1] also gives $f \notin L^{2}$ .

2.1step 1.1∎

Thus $f$ is an $L^{1}$ function on $R$ that does not lie in $L^{2}$ , [step 1.1] refuting the claim.

Depends on

$x^{-a}$ on $(0,1)$ and on $(1,\infty)$ calibrates $L^p$ membership

Used by

FALSE: Lᵖ includes into Lʳ on every measure space when p < r False statement

Dependency tree · two levels

5 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

Richard L. Wheeden and Antoni Zygmund, Measure and Integral, Chapter 8 (standard reference, not scraped)

L1L1 is not a subset of L2L2 on the line