The Borsuk-Ulam theorem states that every continuous map must identify a pair of antipodal
points.
Ullrich (2026) proved an adaptive-measurement extension for the sphere ,
, of any norm on
. An adaptive measurement may choose its next continuous
real-valued function from the previous measurement values. If
, then any
such measurements take identical values on some antipodal
points
of
.
Consequently, approximating every point of the radius-
ball with worst-case error strictly less than
requires at least
measurements, where
is the ceiling function.
The sphere
has dimension
.
Ullrich (2026) reports AI assistance with the mathematical proof.