Gradient Maps of a Function on an Open Subset of Euclidean Space
definitionAnalysisdef:gradient-map-euclidean-2026aA gradient map of a real function on an open subset of Euclidean space is a Borel vector field on the whole space that agrees with the gradient of the function at every point of the open set outside a Lebesgue-null set, the function being differentiable there.
Let be a natural number, let be Lebesgue measure on , with its null sets, let be open and let . At a point at which is differentiable, is the gradient of at .
(Gradient map)¶ A gradient map of is a map , measurable with respect to on both sides, for which there is a null set such that at every the function is differentiable and .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.