Difference between revisions of "Density of a set"
Line 8: | Line 8: | ||
A concept of classical measure theory generalized further in [[Geometric measure theory]] | A concept of classical measure theory generalized further in [[Geometric measure theory]] | ||
− | + | ===Lebesgue density of a set=== | |
Given a Lebesgue measurable set $E$ in the standard Euclidean space $\mathbb R^n$ and a point $x\in\mathbb R^n$, the upper and lower densities of $E$ at $x$ are defined | Given a Lebesgue measurable set $E$ in the standard Euclidean space $\mathbb R^n$ and a point $x\in\mathbb R^n$, the upper and lower densities of $E$ at $x$ are defined | ||
respectively as | respectively as | ||
Line 24: | Line 24: | ||
The density of a Lebesgue measurable set $E\subset \mathbb R^n$ is $1$ at $\lambda$--a.e. $x\in E$ and $0$ at $\lambda$--a.e. $x\not \in E$. | The density of a Lebesgue measurable set $E\subset \mathbb R^n$ is $1$ at $\lambda$--a.e. $x\in E$ and $0$ at $\lambda$--a.e. $x\not \in E$. | ||
− | + | ===Density of a measure=== | |
− | The concept above has been generalized in geometric measure theory to measures, starting from the work of Besicovitch. Consider a (locally finite) Radon measure $\mu$ in the Euclidean space $\mathbb R^n$, a point $x\in \mathbb R^n$ and a nonnegative real number $\alpha$. The $\alpha$-dimensional upper and lower densities of $\mu$ at $x$ are defined as | + | The concept above has been generalized in geometric measure theory to measures, starting from the work of Besicovitch. Consider a (locally finite) [[Radon measure]] $\mu$ in the Euclidean space $\mathbb R^n$, a point $x\in \mathbb R^n$ and a nonnegative real number $\alpha$. The $\alpha$-dimensional upper and lower densities of $\mu$ at $x$ are defined as |
\[ | \[ | ||
\theta^{\alpha,*} (\mu, x) := \limsup_{r\downarrow 0} \frac{\mu (B_r (x))}{\omega_\alpha r^\alpha} | \theta^{\alpha,*} (\mu, x) := \limsup_{r\downarrow 0} \frac{\mu (B_r (x))}{\omega_\alpha r^\alpha} | ||
Line 31: | Line 31: | ||
\] | \] | ||
where the normalizing factor $\omega_\alpha$ is the $\alpha$-dimensional volume of the unit ball in $\mathbb R^\alpha$ when $\alpha$ | where the normalizing factor $\omega_\alpha$ is the $\alpha$-dimensional volume of the unit ball in $\mathbb R^\alpha$ when $\alpha$ | ||
− | is a positive integer and in general $\omega_\alpha = \pi^{\alpha/2} \Gamma (1+\alpha/2)$. If the two numbers coincide, the resulting | + | is a positive integer and in general $\omega_\alpha = \pi^{\alpha/2} \Gamma (1+\alpha/2)$. |
− | value is called the $\alpha$-dimensional density of $\mu$ at $x$. The following Theorem by Marstrand shows that the density might | + | If the two numbers coincide, the resulting value is called the $\alpha$-dimensional density of $\mu$ at $x$. The following Theorem by Marstrand shows that the density might exist and be nontrivial if and only if $\alpha$ is an integer. |
− | exist and be nontrivial if and only if $\alpha$ is an integer | ||
'''Theorem 2''' | '''Theorem 2''' | ||
− | Let $\mu$ be a locally finite Radon measure on $\mathbb R^n$ and $\alpha$ a nonnegative real number such that the $\alpha$-dimensional density of $\mu$ exists and is positive on a set of positibe $\mu$-measure. Then $\alpha$ is necessarily an integer. | + | Let $\mu$ be a locally finite Radon measure on $\mathbb R^n$ and $\alpha$ a nonnegative real number such that the $\alpha$-dimensional density of $\mu$ exists and is positive on a set of positibe $\mu$-measure. Then $\alpha$ is necessarily an integer. |
− | ====Lower-dimensional densities of a set | + | ====Lebesgue theorem==== |
+ | Concerning $n$-dimensional densities, the following | ||
+ | theorem corresponds to the fact that, given a summable function $f$, $\lambda$-a.e. point $x$ is a [[Lebesgue point]] for $f$: | ||
+ | |||
+ | '''Theorem 3''' | ||
+ | Let $f\in L^1_{loc} (\mathbb R^n)$ and consider the measure | ||
+ | \begin{equation}\label{e:densita} | ||
+ | \mu (A):= \int_A f\, d\lambda\, . | ||
+ | \end{equation} | ||
+ | Then the $n$--dimensional density of $\mu$ exists at $\lambda$--a.e. $x\in \mathbb R^n$ and coincides with $f(x)$. | ||
+ | |||
+ | The converse is also true and is a particular case of a more general result on the [[Differentiation of measures]]: | ||
+ | |||
+ | '''Theorem 4''' | ||
+ | Let $\mu$ be a locally finite Radon measure on $\mathbb R^n$. If the $n$-dimensional density $\theta^n (\mu, x)$ exists for $\lambda$-a.e. $x$, then the measure $\mu$ is given by the formula \ref{e:densita} where $f = \theta^n (\mu, \cdot)$. | ||
+ | |||
+ | ===Lower-dimensional densities of a set=== | ||
Assume $E\subset \mathbb R^n$ is a Borel set with finite $\alpha$-dimensional [[Hausdorff measure]]. The $\alpha$-dimensional upper and lower $\alpha$-dimensional densities $\theta^{\alpha, *} (E, x)$ and $\theta^\alpha_* (E,x)$ of $E$ at $x$ are defined as | Assume $E\subset \mathbb R^n$ is a Borel set with finite $\alpha$-dimensional [[Hausdorff measure]]. The $\alpha$-dimensional upper and lower $\alpha$-dimensional densities $\theta^{\alpha, *} (E, x)$ and $\theta^\alpha_* (E,x)$ of $E$ at $x$ are defined as | ||
\[ | \[ | ||
Line 48: | Line 63: | ||
\mu (A) := \mathcal{H}^\alpha (A\cap E)\, . | \mu (A) := \mathcal{H}^\alpha (A\cap E)\, . | ||
\] | \] | ||
+ | The following is a classical theorem in Geometric measure theory: | ||
+ | |||
+ | '''Theorem 5''' | ||
+ | If $E\subset \mathbb R^n$ is a Borel set with finite $\alpha$-dimensional [[Hausdorff measure]], then | ||
+ | * $\theta^{\alpha,*} (E, x) =0$ for $\mathcal{H}^\alpha$-a.e. $x\not\in E$. | ||
+ | * $1\geq \theta^\alpha_* (E,x) \geq 2^{-\alpha}$ for $\mathcal{H}^\alpha$--a.e. $x\in E$. | ||
Revision as of 07:03, 3 August 2012
2020 Mathematics Subject Classification: Primary: 28A33 Secondary: 49Q15 [MSN][ZBL]
A concept of classical measure theory generalized further in Geometric measure theory
Lebesgue density of a set
Given a Lebesgue measurable set $E$ in the standard Euclidean space $\mathbb R^n$ and a point $x\in\mathbb R^n$, the upper and lower densities of $E$ at $x$ are defined respectively as \[ \limsup_{r\downarrow 0} \frac{\lambda (B_r (x)\cap E)}{\omega_n r^n} \qquad \mbox{and} \qquad \liminf_{r\downarrow 0} \frac{\lambda (B_r (x)\cap E)}{\omega_n r^n}\, , \] where $\lambda$ denotes the Lebesgue measure and $\omega_n$ the volume of the unit $n$-dimensional ball. If the two numbers coincides, i.e. if the following limit exists, \[ \lim_{r\downarrow 0} \frac{\lambda (B_r (x)\cap E)}{\omega_n r^n}\, , \] the resulting number is called the density of $E$ at $x$. The following is a classical result in measure theory, due to Lebesgue in the case $n=1$:
Theorem 1 The density of a Lebesgue measurable set $E\subset \mathbb R^n$ is $1$ at $\lambda$--a.e. $x\in E$ and $0$ at $\lambda$--a.e. $x\not \in E$.
Density of a measure
The concept above has been generalized in geometric measure theory to measures, starting from the work of Besicovitch. Consider a (locally finite) Radon measure $\mu$ in the Euclidean space $\mathbb R^n$, a point $x\in \mathbb R^n$ and a nonnegative real number $\alpha$. The $\alpha$-dimensional upper and lower densities of $\mu$ at $x$ are defined as \[ \theta^{\alpha,*} (\mu, x) := \limsup_{r\downarrow 0} \frac{\mu (B_r (x))}{\omega_\alpha r^\alpha} \qquad \mbox{and}\qquad \theta^\alpha_* (\mu, x) =\liminf_{r\downarrow 0} \frac{\mu (B_r (x))}{\omega_\alpha r^\alpha}\, , \] where the normalizing factor $\omega_\alpha$ is the $\alpha$-dimensional volume of the unit ball in $\mathbb R^\alpha$ when $\alpha$ is a positive integer and in general $\omega_\alpha = \pi^{\alpha/2} \Gamma (1+\alpha/2)$. If the two numbers coincide, the resulting value is called the $\alpha$-dimensional density of $\mu$ at $x$. The following Theorem by Marstrand shows that the density might exist and be nontrivial if and only if $\alpha$ is an integer.
Theorem 2 Let $\mu$ be a locally finite Radon measure on $\mathbb R^n$ and $\alpha$ a nonnegative real number such that the $\alpha$-dimensional density of $\mu$ exists and is positive on a set of positibe $\mu$-measure. Then $\alpha$ is necessarily an integer.
Lebesgue theorem
Concerning $n$-dimensional densities, the following theorem corresponds to the fact that, given a summable function $f$, $\lambda$-a.e. point $x$ is a Lebesgue point for $f$:
Theorem 3 Let $f\in L^1_{loc} (\mathbb R^n)$ and consider the measure \begin{equation}\label{e:densita} \mu (A):= \int_A f\, d\lambda\, . \end{equation} Then the $n$--dimensional density of $\mu$ exists at $\lambda$--a.e. $x\in \mathbb R^n$ and coincides with $f(x)$.
The converse is also true and is a particular case of a more general result on the Differentiation of measures:
Theorem 4 Let $\mu$ be a locally finite Radon measure on $\mathbb R^n$. If the $n$-dimensional density $\theta^n (\mu, x)$ exists for $\lambda$-a.e. $x$, then the measure $\mu$ is given by the formula \ref{e:densita} where $f = \theta^n (\mu, \cdot)$.
Lower-dimensional densities of a set
Assume $E\subset \mathbb R^n$ is a Borel set with finite $\alpha$-dimensional Hausdorff measure. The $\alpha$-dimensional upper and lower $\alpha$-dimensional densities $\theta^{\alpha, *} (E, x)$ and $\theta^\alpha_* (E,x)$ of $E$ at $x$ are defined as \[ \theta^{\alpha,*} (\mu, x) := \limsup_{r\downarrow 0} \frac{\mathcal{H}^\alpha (E\cap B_r (x))}{\omega_\alpha r^\alpha} \qquad \mbox{and}\qquad \theta^\alpha_* (\mu, x) =\liminf_{r\downarrow 0} \frac{\mathcal{H}^\alpha (E \cap B_r (x))}{\omega_\alpha r^\alpha}\, . \] They correspond, therefore, to the $\alpha$-dimensional densities of the Radon measure $\mu$ given by \[ \mu (A) := \mathcal{H}^\alpha (A\cap E)\, . \] The following is a classical theorem in Geometric measure theory:
Theorem 5 If $E\subset \mathbb R^n$ is a Borel set with finite $\alpha$-dimensional Hausdorff measure, then
- $\theta^{\alpha,*} (E, x) =0$ for $\mathcal{H}^\alpha$-a.e. $x\not\in E$.
- $1\geq \theta^\alpha_* (E,x) \geq 2^{-\alpha}$ for $\mathcal{H}^\alpha$--a.e. $x\in E$.
that is measurable on the real line
, at a point
The limit (if it exists) of the ratio
![]() | (1) |
where is any segment containing
and
is its length. If one considers an outer measure instead of a measure, one obtains the definition of the outer density of
at
. Similarly one can introduce the density in
-dimensional space. Here the lengths of the segments in
are replaced by the volumes of the corresponding
-dimensional parallelepipeds with faces parallel to the coordinate planes, while the limit is considered as the diameters of the parallelepipeds tend to zero. For sets from
it is useful to employ the concept of the right (left) density of a set
at a point
, which is obtained from the general definition if in it one considers only segments
having left (right) ends at
. Very often, the concept of density is used when the density of the set is equal to one (see Density point) or zero (see Thinness of a set).
References
[1] | I.P. Natanson, "Theorie der Funktionen einer reellen Veränderlichen" , H. Deutsch , Frankfurt a.M. (1961) (Translated from Russian) |
[2] | S. Saks, "Theory of the integral" , Hafner (1952) (Translated from French) |
Comments
See [a1] for a nice topological application of these notions.
References
[a1] | F.D. Tall, "The density topology" Pacific J. Math , 62 (1976) pp. 275–284 |
Density of a set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Density_of_a_set&oldid=27340