Manuscript En08-B@1 · En08-B.tex · proposition · 23cac52a
Proposition: Fixed-stencil directional obstruction
Failure tests and finite-scale attainment › Fixed normalized stencils · lines 1286–1310 · proof included or linked
En08-B@1#prop:fixed-stencil
Suppose the available one-tick velocities at every refinement lie in one fixed finite set . If all positions are obtained by concatenating those steps, then every positive-time endpoint velocity lies in
For , these permissions cannot approximate every point of the Euclidean speed- sphere at its null travel time.
Proof. The endpoint velocity of an -step route is the arithmetic mean of its step velocities, hence belongs to .
The finite convex hull is a polytope contained in the Euclidean ball. It cannot contain the entire sphere when , since that would force it to contain the ball and hence equal the ball. Choose a unit vector with . If endpoints and positive arrival times approached , their endpoint velocities would approach , contradicting closedness of .
Displayed formulas in this passage
unlabeled · line 1292