Teorema di densità di Lebesgue

In matematica, il teorema di densità di Lebesgue afferma che per ogni insieme Lebesgue-misurabile $A$ la densità di $A$ è pari 1 in quasi ogni punto di $A$, dove la densità in un punto è il limite della misura dell'intersezione tra $A$ e una palla centrata nel punto, diviso per la misura della palla, nel limite in cui quest'ultima ha un raggio che tende a zero.

Si tratta di un caso particolare del teorema di Lebesgue.

Il teorema

Sia $\mu$ la misura di Lebesgue su ${ℝ}^n$ e sia $A$ un insieme Lebesgue-misurabile contenuto in ${ℝ}^n$. La "densità approssimata" di $A$ in una palla $B_{\epsilon }$ di raggio $\epsilon$ centrata in $x\in {ℝ}^n$ è definita come:

$d_{\epsilon }(x)=\frac{\mu (A\cap B_{\epsilon }(x))}{\mu (B_{\epsilon }(x))}$

Il teorema di densità di Lebesgue afferma che per quasi ogni punto $x\in A$ la densità, definita come:

$d(x)=\underset{\epsilon \to 0}{\lim }{d}_{\epsilon }(x)$

esiste e vale 1.

La densità di ogni $A$ misurabile può essere quindi 0 oppure 1 quasi ovunque in ${ℝ}^n$. Se si verifica che $\mu (A)>0$ e $\mu ({ℝ}^n\setminus A)>0$, inoltre, allora è certa l'esistenza di punti in ${ℝ}^n$ dove la densità non è né 0 né 1. Ad esempio, se si considera un quadrato in un piano, la densità al suo interno è 1, sul bordo 1/2 e negli angoli 1/4. L'insieme dei punti nel piano in cui la densità non è né 0 né 1 non è vuoto (i bordi del quadrato), ma costituisce un insieme di misura nulla.

Bibliografia

• Template:EnTemplate:Cita libro
• Template:En Hallard T. Croft. Three lattice-point problems of Steinhaus. Quart. J. Math. Oxford (2), 33:71-83, 1982.
• Template:Cita libro

Voci correlate

• Frontiera (topologia)
• Misura di Lebesgue
• Punto di Lebesgue
• Teorema di Lebesgue

Collegamenti esterni

• Template:Planetmath