Misplaced Pages

Intensity (measure theory)

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (June 2018) (Learn how and when to remove this message)
This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (June 2018) (Learn how and when to remove this message)
(Learn how and when to remove this message)

In the mathematical discipline of measure theory, the intensity of a measure is the average value the measure assigns to an interval of length one.

Definition

Let μ {\displaystyle \mu } be a measure on the real numbers. Then the intensity μ ¯ {\displaystyle {\overline {\mu }}} of μ {\displaystyle \mu } is defined as

μ ¯ := lim | t | μ ( ( s , t s ] ) t {\displaystyle {\overline {\mu }}:=\lim _{|t|\to \infty }{\frac {\mu ((-s,t-s])}{t}}}

if the limit exists and is independent of s {\displaystyle s} for all s R {\displaystyle s\in \mathbb {R} } .

Example

Look at the Lebesgue measure λ {\displaystyle \lambda } . Then for a fixed s {\displaystyle s} , it is

λ ( ( s , t s ] ) = ( t s ) ( s ) = t , {\displaystyle \lambda ((-s,t-s])=(t-s)-(-s)=t,}

so

λ ¯ := lim | t | λ ( ( s , t s ] ) t = lim | t | t t = 1. {\displaystyle {\overline {\lambda }}:=\lim _{|t|\to \infty }{\frac {\lambda ((-s,t-s])}{t}}=\lim _{|t|\to \infty }{\frac {t}{t}}=1.}

Therefore the Lebesgue measure has intensity one.

Properties

The set of all measures M {\displaystyle M} for which the intensity is well defined is a measurable subset of the set of all measures on R {\displaystyle \mathbb {R} } . The mapping

I : M R {\displaystyle I\colon M\to \mathbb {R} }

defined by

I ( μ ) = μ ¯ {\displaystyle I(\mu )={\overline {\mu }}}

is measurable.

References

Category: