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

Back to manuscript

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

Nearby in this section