A Continuously Differentiable Map Whose Jacobian Matrix is Close to the Identity Maps a Cube into a Slightly Larger Cube
lemmaMultivariable Calculuslem:near-identity-cube-2026aIf every entry of the Jacobian matrix of a map differs from the identity by at most eta/d on a closed cube of half-side r, the map sends the cube into the cube about the image of the centre with half-side (1+eta)r.
In the setting of Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation, let be a natural number with , read in as in The Real Numbers: Standing Notation and Background §numbers where a real number is required; is open by claim 1 of Euclidean Space is Open in Itself, and Maps are Continuous, and denotes the entry in row and column of the identity matrix . For and a nonnegative real number let
be the closed cube with centre and half-side . Let be a map whose components are of class on .
(Cubes)¶ Let , let and be nonnegative real numbers, and suppose that
Then for every .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.