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.
A terminal weak limit does not imply a path-space weak limit
Statement
Let with the supremum norm, choose a unit vector , and define deterministic paths Every terminal value is zero, so the laws of converge to the point mass at in . The laws of the paths do not converge weakly on . This illustrates why the sample-sum CLT in Hilbert-valued CLT for L2-m-approximable Bernoulli shifts is not a time-indexed process CLT.
Facts & Assumptions
Given: The metric space with and the deterministic paths in the Statement.
Weak convergence of Borel probability laws entails convergence of integrals of bounded continuous real functions (Convergence in distribution of random elements).
The preceding Hilbert-valued theorem concerns normalized sample sums as single -valued random elements, not paths indexed by (Hilbert-valued CLT for L2-m-approximable Bernoulli shifts).
Proof
Given: The paths and their point-mass laws.
Since , both even and odd paths satisfy . Thus their terminal laws are all the point mass and in particular converge weakly to in .
Define by . The supremum norm inequality gives and truncation by is 1-Lipschitz on . Hence is bounded and continuous. It equals on every even path and on every odd path, so its expectations under the path laws alternate between and and do not converge. By [F1], those path laws cannot converge weakly.
The example has convergence only after applying the terminal evaluation map; the bounded continuous path functional in step 1.2 detects the missing path-space convergence. Therefore endpoint convergence alone supplies no functional CLT conclusion, consistently with the scope in [F2].
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
31 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.