# Tangent measure

In

measure theory ,**tangent measures**are used to study the local behavior ofRadon measure s, in much the same way astangent space s are used to study the local behavior ofdifferentiable manifold s. Tangent measures are a useful tool in geometric measure theory. For example, they are used in proving Marstrand’s theorem.**Definition**Consider a Radon measure "μ" defined on an

open subset Ω of "n"-dimensionalEuclidean space **R**^{"n"}and let "a" be an arbitrary point in Ω. We can “zoom in” on a smallopen ball of radius "r" around "a", "B"_{"r"}("a"), via the transformation: $T\_\{a,r\}(x)=frac\{x-a\}\{r\},$which enlarges the ball of radius "r" about "a" to a ball of radius 1 centered at 0. With this, we may now zoom in on how "μ" behaves on "B"_{"r"}("a") by looking at thepush-forward measure defined by:$T\_\{a,r\; \#\}mu(A)=mu(a+rA)$where:$a+rA=\{a+rx:xin\; A\}.$As "r" gets smaller, this transformation on the measure "μ" spreads out and enlarges the portion of "μ" supported around the point "a". We can get information about our measure around "a" by looking at what these measures tend to look like in the limit as "r" approaches zero.:

**Definition.**A "tangent measure" of a Radon measure "μ" at the point "a" is a second Radon measure "ν" such that there exist sequences of positive numbers "c"_{"i"}> 0 and decreasing radii "r"_{"i"}→ 0 such that:: $lim\_\{i\; ightarrowinfty\}\; c\_\{i\}T\_\{a,r\_\{i\}\#\}mu\; =\; u$

: where the limit is taken in the weak-∗ topology, i.e., for any

continuous function "φ" withcompact support in Ω,:: $lim\_\{i\; ightarrowinfty\}int\_\{Omega\}\; varphi\; ,\; mathrm\{d\}\; (c\_\{i\}T\_\{a,r\_\{i\}\#\}mu)=int\_\{Omega\}\; varphi\; ,\; mathrm\{d\}\; u.$

:We denote the set of tangent measures of "μ" at "a" by T("μ", "a").

There is an associated notion of the tangent space of a measure. A "k"-dimensional subspace "P" of

**R**^{"n"}is called the "k"-dimensional tangent space of "μ" at "a" ∈ Ω if — after appropriate rescaling — "μ" “looks like” "k"-dimensionalHausdorff measure "H"^{"k"}on "P". More precisely::

**Definition.**"P" is the "k"-"dimensional tangent space" of "μ" at "a" if there is a "θ" > 0 such that::$mu\_\{a,\; r\}\; xrightarrow\; [r\; o\; 0]\; \{*\}\; heta\; H^\{k\}\; lfloor\_\{P\},$

:where "μ"

_{"a","r"}is the translated and rescaled measure given by::$mu\_\{a,\; r\}\; (A)\; =\; frac1\{r^\{n\; -\; 1\; mu(a\; +\; r\; A).$

:The number "θ" is called the "multiplicity" of "μ" at "a", and the tangent space of "μ" at "a" is denoted T

_{"a"}("μ").Further study of tangent measures and tangent spaces leads to the notion of a

varifold . [*cite journal | last = Röger | first = Matthias | title = Solutions for the Stefan problem with Gibbs-Thomson law by a local minimisation | journal = Interfaces Free Bound. | volume = 6 | year = 2004 | issue = 1 | pages = 105–133 | issn = 1463-9963 MathSciNet|id=2047075*]**Examples***Suppose we have a circle in

**R**^{2}with uniform measure on that circle. Then, for any point "a" in the circle, the set of tangent measures will just be positive constants times 1-dimensionalHausdorff measure supported on the line tangent to the circle at that point.

* In1995 , Toby O'Neil produced an example of a Radon measure "μ" on**R**^{"d"}such that, for almost every point "a" ∈**R**^{"d"}, T("μ", "a") consists of all nonzero Radon measures. [*cite journal*]

last = O'Neil | first = Toby

title = A measure with a large set of tangent measures

journal = Proc. of the AMS | volume = 123 | pages = 2217–2220 | year = 1995

doi = 10.2307/2160960**References**

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**tangent**— I. adjective Etymology: Latin tangent , tangens, present participle of tangere to touch; perhaps akin to Old English thaccian to touch gently, stroke Date: 1594 1. a. meeting a curve or surface in a single point if a sufficiently small interval… … New Collegiate Dictionary**List of mathematics articles (T)**— NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia**mathematics**— /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium**Metric tensor**— In the mathematical field of differential geometry, a metric tensor is a type of function defined on a manifold (such as a surface in space) which takes as input a pair of tangent vectors v and w and produces a real number (scalar) g(v,w) in a… … Wikipedia**Curvature**— In mathematics, curvature refers to any of a number of loosely related concepts in different areas of geometry. Intuitively, curvature is the amount by which a geometric object deviates from being flat, or straight in the case of a line, but this … Wikipedia**Triangle**— This article is about the basic geometric shape. For other uses, see Triangle (disambiguation). Isosceles and Acute Triangle redirect here. For the trapezoid, see Isosceles trapezoid. For The Welcome to Paradox episode, see List of Welcome to… … Wikipedia**analysis**— /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium**Space (mathematics)**— This article is about mathematical structures called spaces. For space as a geometric concept, see Euclidean space. For all other uses, see space (disambiguation). A hierarchy of mathematical spaces: The inner product induces a norm. The norm… … Wikipedia**Derivative**— This article is an overview of the term as used in calculus. For a less technical overview of the subject, see Differential calculus. For other uses, see Derivative (disambiguation) … Wikipedia**Differential form**— In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a better[further explanation needed] definition… … Wikipedia