Manuscript Oai212-A@1 · Oai212-A.tex · proposition · 79323841
Proposition: Fixed comparison errors do not transfer regularity
The macroscopic transfer theorem and geometric corrections › Differentiability and strict convexity are different · lines 448–462 · proof included or linked
Oai212-A@1#prop:nonstable
A bounded multiplicative comparison with a smooth strictly convex body does not imply that the compared body is smooth or strictly convex. Even arbitrarily small Hausdorff error does not imply either property for the approximating bodies.
Proof. Inscribed regular polygons converge in Hausdorff distance to the Euclidean disk. Each polygon has flat edges and corners. For sufficiently many sides it lies between and dilates of the disk. Thus neither conclusion follows from a fixed comparison allowance.