title: Misura gaussiana
text: # Misura gaussiana
  
  In matematica, una misura gaussiana è una misura di Borel su uno spazio euclideo finito-dimensionale $R^n,$ strettamente correlata alla distribuzione normale in statistica. Esiste anche una generalizzazione a spazi infinito-dimensionali. Le misure gaussiane portano il nome del matematico tedesco Carl Friedrich Gauss. Una ragione per la quale le misure gaussiane sono così diffuse nella teoria della probabilità è il teorema del limite centrale. In parole povere, esso stabilisce che se una variabile casuale X è ottenuta sommando un gran numero N di variabili casuali indipendenti di ordine 1, allora X è di ordine ${\sqrt {N}}$ e la sua legge è approssimativamente gaussiana.
  
  ## Definizioni
  
  Sia n ∈ N e indichiamo con $B_0(R^n)$ il completamento della 'σ-algebra di Borel su $R^n.$ Indichiamo con $λ^n$ : $B_0(R^n)$ → [0, +∞] l'usuale misura di Lebesgue n-dimensionale. Allora la misura gaussiana standard $γ^n$ : $B_0(R^n)$ → [0, 1] è definita da
  
      $\gamma ^{n}(A)={\frac {1}{{\sqrt {2\pi }}^{n}}}\int _{A}\exp \left(-{\frac {1}{2}}\|x\|_{\mathbb {R} ^{n}}^{2}\right)\,\mathrm {d} \lambda ^{n}(x)$
  
  per ogni insieme misurabile A ∈ $B_0(R^n).$ In termini della derivata di Radon-Nikodym,
  
      ${\frac {\mathrm {d} \gamma ^{n}}{\mathrm {d} \lambda ^{n}}}(x)={\frac {1}{{\sqrt {2\pi }}^{n}}}\exp \left(-{\frac {1}{2}}\|x\|_{\mathbb {R} ^{n}}^{2}\right).$
  
  Più in generale, la misura gaussiana con media μ ∈ $R^n$ e varianza $σ^2$ > 0 è data da
  
      $\gamma _{\mu ,\sigma ^{2}}^{n}(A):={\frac {1}{{\sqrt {2\pi \sigma ^{2}}}^{n}}}\int _{A}\exp \left(-{\frac {1}{2\sigma ^{2}}}\|x-\mu \|_{\mathbb {R} ^{n}}^{2}\right)\,\mathrm {d} \lambda ^{n}(x).$
  
  Le misure gaussiane con media μ = 0 sono note come misure gaussiane centrate.
  
  La misura di Dirac $δ_μ$ è il limite debole di $\gamma _{\mu ,\sigma ^{2}}^{n}$ per σ → 0, ed è considerata una misura gaussiana degenere; viceversa, le misure gaussiane con varianza finita non nulla sono chiamate misure gaussiane non degeneri.
  
  ## Proprietà
  
  La misura gaussiana standard $γ^n$ su $R^n$
  
  * è una misura di Borel (infatti, come osservato sopra, essa è definita sul completamento della 'σ-algebra di Borel, che è una struttura più raffinata);
  * è equivalente alla misura di Lebesgue: $\lambda ^{n}\ll \gamma ^{n}\ll \lambda ^{n}$, dove $\ll$ sta per continuità assoluta delle misure;
  * è supportata in tutto lo spazio euclideo: $supp(γ^n)$ = $R^n;$
  * è una misura di probabilità $(γ^n(R^n)$ = 1), sicché è localmente finita;
  * è strettamente positiva: ogni insieme aperto non vuoto ha una misura positiva;
  * è regolare interna: per ogni insieme di Borel A,
  
         $\gamma ^{n}(A)=\sup\{\gamma ^{n}(K)|K\subseteq A,K{\mbox{ is compact}}\},$
  
  sicché la misura gaussiana è una misura di Radon;
  
  * non è invariante per traslazione, ma soddisfa la relazione
  
         ${\frac {\mathrm {d} (T_{h})_{*}(\gamma ^{n})}{\mathrm {d} \gamma ^{n}}}(x)=\exp \left(\langle h,x\rangle _{\mathbb {R} ^{n}}-{\frac {1}{2}}\|h\|_{\mathbb {R} ^{n}}^{2}\right),$
      dove la derivata al membro sinistro è la derivata di Radon-Nikodym, e $(T_h)_∗(γ^n)$ è la misura immagine (pushforward measure) della misura gaussiana standard data dalla trasformazione di traslazione $T_h$ : $R^n$ → $R^n,$ $T_h(x)$ = x + h;
  * è la misura di probabilità associata ad una distribuzione di probabilità normale:
  
         $Z\sim \mathrm {Normal} (\mu ,\sigma ^{2})\implies \mathbb {P} (Z\in A)=\gamma _{\mu ,\sigma ^{2}}^{n}(A).$
  
  ## Misure gaussiane su spazi infinito-dimensionali
  
  Si può dimostrare che non esiste un analogo della misura di Lebesgue in uno spazio vettoriale infinito-dimensionale. Comunque, è possibile definire misure gaussiane in spazi infinito-dimensionali; l'esempio più importante è la costruzione dello spazio di Wiener astratto. Una misura di Borel γ in uno spazio di Banach separabile E è detta misura gaussiana (centrata) non degenere se, per ogni funzionale lineare L ∈ $E^∗$ eccetto L = 0, la misura immagine $L_∗(γ)$ è una misura gaussiana (centrata) non degenere su R nel senso definito sopra.
  
  Per esempio, la misura di Wiener classica sullo spazio degli archi continui è una misura gaussiana.
  
  