Metric differential

Last updated

In mathematical analysis, a metric differential is a generalization of a derivative for a Lipschitz continuous function defined on a Euclidean space and taking values in an arbitrary metric space. With this definition of a derivative, one can generalize Rademacher's theorem to metric space-valued Lipschitz functions.

Contents

Discussion

Rademacher's theorem states that a Lipschitz map f : Rn  Rm is differentiable almost everywhere in Rn; in other words, for almost every x, f is approximately linear in any sufficiently small range of x. If f is a function from a Euclidean space Rn that takes values instead in a metric space X, it doesn't immediately make sense to talk about differentiability since X has no linear structure a priori. Even if you assume that X is a Banach space and ask whether a Fréchet derivative exists almost everywhere, this does not hold. For example, consider the function f : [0,1]  L1([0,1]), mapping the unit interval into the space of integrable functions, defined by f(x) = χ[0,x], this function is Lipschitz (and in fact, an isometry) since, if 0  x  y 1, then

but one can verify that limh→0(f(x + h)   f(x))/h does not converge to an L1 function for any x in [0,1], so it is not differentiable anywhere.

However, if you look at Rademacher's theorem as a statement about how a Lipschitz function stabilizes as you zoom in on almost every point, then such a theorem exists but is stated in terms of the metric properties of f instead of its linear properties.

Definition and existence of the metric differential

A substitute for a derivative of f:Rn  X is the metric differential of f at a point z in Rn which is a function on Rn defined by the limit

whenever the limit exists (here dX denotes the metric on X).

A theorem due to Bernd Kirchheim [1] states that a Rademacher theorem in terms of metric differentials holds: for almost every z in Rn, MD(f, z) is a seminorm and

The little-o notation employed here means that, at values very close to z, the function f is approximately an isometry from Rn with respect to the seminorm MD(f, z) into the metric space X.

Related Research Articles

Diffeomorphism Isomorphism of smooth manifolds; a smooth bijection with a smooth inverse

In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are smooth.

Gradient Multi-variable generalization of the derivative of a function

In vector calculus, the gradient of a scalar-valued differentiable function f of several variables is the vector field whose value at a point is the vector whose components are the partial derivatives of at . That is, for , its gradient is defined at the point in n-dimensional space as the vector:

Normed vector space Vector space on which a distance is defined

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length" in the real world. A norm is a real-valued function defined on the vector space that is commonly denoted and has the following properties:

  1. It is nonnegative, that is for every vector x, one has
  2. It is positive on nonzero vectors, that is,
  3. For every vector x, and every scalar one has
  4. The triangle inequality holds; that is, for every vectors x and y, one has
Lipschitz continuity Strong form of uniform continuity

In mathematical analysis, Lipschitz continuity, named after Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exists a real number such that, for every pair of points on the graph of this function, the absolute value of the slope of the line connecting them is not greater than this real number; the smallest such bound is called the Lipschitz constant of the function. For instance, every function that has bounded first derivatives is Lipschitz continuous.

Harmonic function Functions in mathematics

In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f : UR, where U is an open subset of Rn, that satisfies Laplace's equation, that is,

In calculus, integration by substitution, also known as u-substitution or change of variables, is a method for evaluating integrals and antiderivatives. It is the counterpart to the chain rule for differentiation, and can loosely be thought of as using the chain rule "backwards".

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In calculus, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central operations of calculus—differentiation and integration. This relationship is commonly characterized in the framework of Riemann integration, but with absolute continuity it may be formulated in terms of Lebesgue integration. For real-valued functions on the real line, two interrelated notions appear: absolute continuity of functions and absolute continuity of measures. These two notions are generalized in different directions. The usual derivative of a function is related to the Radon–Nikodym derivative, or density, of a measure.

Isometry

In mathematics, an isometry is a distance-preserving transformation between metric spaces, usually assumed to be bijective.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an underdetermined system of first-order homogeneous linear partial differential equations. In modern geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of r vector fields mesh into coordinate grids on r-dimensional integral manifolds. The theorem is foundational in differential topology and calculus on manifolds.

Affine connection Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

In mathematical analysis, a modulus of continuity is a function ω : [0, ∞] → [0, ∞] used to measure quantitatively the uniform continuity of functions. So, a function f : IR admits ω as a modulus of continuity if and only if

In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry.

In mathematics, a real or complex-valued function f on d-dimensional Euclidean space satisfies a Hölder condition, or is Hölder continuous, when there are nonnegative real constants C, α>0, such that

In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if A is a closed subset of a Euclidean space, then it is possible to extend a given function of A in such a way as to have prescribed derivatives at the points of A. It is a result of Hassler Whitney.

In mathematical analysis, Rademacher's theorem, named after Hans Rademacher, states the following: If U is an open subset of Rn and f: URm is Lipschitz continuous, then f is differentiable almost everywhere in U; that is, the points in U at which f is not differentiable form a set of Lebesgue measure zero.

In mathematics, the intrinsic flat distance is a notion for distance between two Riemannian manifolds which is a generalization of Federer and Fleming's flat distance between submanifolds and integral currents lying in Euclidean space.

References

  1. Kirchheim, Bernd (1994). "Rectifiable metric spaces: local structure and regularity of the Hausdorff measure". Proceedings of the American Mathematical Society . 121: 113–124. doi: 10.1090/S0002-9939-1994-1189747-7 .