In mathematics, a varifold is, loosely speaking, a measure-theoretic generalization of the concept of a differentiable manifold, by replacing differentiability requirements with those provided by rectifiable sets, while maintaining the general algebraic structure usually seen in differential geometry. More closely, the varifold generalize the idea of a rectifiable current. Varifolds are one of the topics of study in geometric measure theory.
Contents
Historical note
Varifolds were first introduced by L.C. Young in (Young 1951), under the name "generalized surfaces". Frederick Almgren slightly modified the definition in his mimeographed notes (Almgren 1965) and coined the name varifold: he wanted to emphasize that these objects are substitutes for ordinary manifolds in problems of the calculus of variations. The modern approach to the theory was based on Almgren's notes and laid down by William Allard, in the paper (Allard 1972).
Definition
Given an open subset
where
The particular case of a rectifiable varifold is the data of a m-rectifiable set M (which is measurable with respect to the m-dimensional Hausdorff measure), and a density function defined on M, which is a positive function θ measurable and locally integrable with respect to the m-dimensional Hausdorff measure. It defines a Radon measure V on the Grassmannian bundle of ℝn
where
Rectifiable varifolds are weaker objects than locally rectifiable currents: they do not have any orientation. Replacing M with more regular sets, one easily see that differentiable submanifolds are particular cases of rectifiable manifolds.
Due to the lack of orientation, there is no boundary operator defined on the space of varifolds.