Manuscript Em05-A@1 · Em05-A-v1.tex · proposition · 9cac0def
Proposition: No exact finite-time continuum transfer
Continuum interpretation and endpoint attainability · lines 1356–1383 · proof included or linked
Em05-A@1#prop:noexact
In this declared continuum model, for finite .
Proof. If , unitarity forces . Since , the packet formula implies
for almost every positive . The function is bounded and integrable. Both sides extend to entire functions. Their equality on a full-measure subset of a real interval gives equality everywhere by continuity and the identity theorem.
At , , the left side is , whereas
The right side tends to zero and the left side is at least one, a contradiction.
Displayed formulas in this passage
unlabeled · line 1364
unlabeled · line 1377