Math 2.0

Calculus of variations and optimal control; optimization Definition

Varifold

Builds on Radon measureOpen set

Definition

Let U⊆ℝnU \subseteq \R^n be an open set and let 0≤m≤n0 \le m \le n. Let G(n,m)G(n, m) be the Grassmannian of mm-dimensional linear subspaces of ℝn\R^n, with its usual compact metric topology. An mm-dimensional varifold in UU is a Radon measure VV on the locally compact space U×G(n,m)U \times G(n, m). The weight of VV is the Radon measure ∥V∥\norm{V} on UU given by ∥V∥(A)=V(A×G(n,m))\norm{V}(A) = V(A \times G(n, m)).

Remarks

Example: let M⊆UM \subseteq U be an mm-dimensional C1C^1 submanifold that is a closed subset of UU, with tangent plane TxMT_x M at x∈Mx \in M. Let ℋm\mathcal{H}^m be the mm-dimensional Hausdorff measure, which is surface area on MM. Set V(B)=ℋm({x∈M:(x,TxM)∈B})V(B) = \mathcal{H}^m(\set{x \in M : (x, T_x M) \in B}) for Borel sets B⊆U×G(n,m)B \subseteq U \times G(n, m). This is a Borel measure that is finite on compact sets, since MM has locally finite area, so VV is a varifold; its weight is ℋm\mathcal{H}^m restricted to MM. More generally, a rectifiable set with a positive density function gives a rectifiable varifold. Non-example: counting measure on a countable dense subset of U×G(n,m)U \times G(n, m) is not finite on compact sets with interior, so it is not a Radon measure and not a varifold.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Open set concept
  2. Radon measure concept
  3. Varifold definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Varifold
About this page
TagZCJEPPAFD2
URIm2://ZCJEPPAFD2
Kinddefinition
WritingW0 stub
MSC49Q15, 49Q20
DefinesVarifold
UsesRadon measure, Open set
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.