07.06.2013 Views

Scarica la tesi Integrale di Feynman sui Cammini e Processi Stocastici

Scarica la tesi Integrale di Feynman sui Cammini e Processi Stocastici

Scarica la tesi Integrale di Feynman sui Cammini e Processi Stocastici

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

.2 Appen<strong>di</strong>ce B: un paio <strong>di</strong> Definizioni e un Teorema<br />

Definiamo cosa s’intende per Dimesione <strong>di</strong> Hausdorff e per σ − ad<strong>di</strong>tività. Presentiamo<br />

infine anche un teorema <strong>di</strong> teoria del<strong>la</strong> misura che permette <strong>di</strong> ottenere<br />

le conclusioni esposte al termine del<strong>la</strong> sezione 0.7 :<br />

Definizione 1 Sia A un sottoinsieme <strong>di</strong> uno spazio metrico. Si consideri un<br />

ricoprimento <strong>di</strong> A con insiemi Ai, i ∈ I, tali che <strong>di</strong>am(Ai) ≤ s e si consideri<br />

anche l’insieme:<br />

<br />

<br />

mD(A, s) = inf (<strong>di</strong>am(Ai)) D<br />

<br />

Diciamo ora misura D-<strong>di</strong>mensionale (<strong>di</strong> Hausdorff) del sottoinsieme A il valore:<br />

lims→0 mD(A, s). Qualunque sia l’insieme A, esiste un unico valore <strong>di</strong> D, che<br />

in<strong>di</strong>chiamo con <strong>di</strong>mH(A) tale che per D < <strong>di</strong>mH(A) <strong>la</strong> misura D-<strong>di</strong>mensionale<br />

è infinita, mentre per D > <strong>di</strong>mH(A) è nul<strong>la</strong>. Si <strong>di</strong>ce dunque <strong>di</strong>mensione <strong>di</strong><br />

Hausdorff il valore <strong>di</strong>mH(A).<br />

Definizione 2 Una misura µ complessa sul<strong>la</strong> σ − algebra Sµ dei sottoinsiemi<br />

dell’insieme E è una funzione complessa σ − ad<strong>di</strong>tiva, cioè<br />

n=1<br />

i∈I<br />

∞<br />

∞<br />

µ( En) = µ(En) ∈ C<br />

n=1<br />

per ogni insieme E1, ..., En, ... ∈ Sµ che sod<strong>di</strong>sfi <strong>la</strong> con<strong>di</strong>zione Ei∩Ej = ∅ (i = j)<br />

Per il nostro interesse è anche utile il seguente teorema [5]:<br />

Teorema 1 Sia µ una misura complessa, allora:<br />

i) dµ = d|µ| · f con |f| = 1.<br />

ii) <br />

d|µ| < ∞.<br />

E<br />

19

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!