15.08.2013 Views

Un approccio probabilistico alla rappresentazione dell ... - SELP

Un approccio probabilistico alla rappresentazione dell ... - SELP

Un approccio probabilistico alla rappresentazione dell ... - SELP

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

-debolmente additivo se per ogni costante α ∈ R per ogni v ∈ V, si ha:<br />

f(v + α) = f(v) + α.<br />

Oss. <strong>Un</strong> funzionale lineare f è monotono se e solo se per ogni v ≥ 0, f(v) ≥ 0.<br />

Lemma 2.2.3. Sia V uno spazio di Riesz con unità forte u e sia f un<br />

funzionale sublineare, monotono e normalizzato su V.<br />

Per ogni v, w ∈ V, se v − w ∈ Rad(V), allora f(v) = f(w). Quindi ponendo<br />

per ogni v ∈ V,<br />

f ′<br />

(v/Rad(V)) def<br />

= f(v)<br />

si ha che f ′ è ben definito ed è un funzionale sublineare, monotono e norma-<br />

lizzato sullo spazio di Riesz semisemplice V/Rad(V). Di più, f è debolmente<br />

additivo se e solo se f ′ è debolmente additivo, e f è lineare se e solo se f ′ è<br />

lineare.<br />

Dimostrazione. Chiaramente si ha f(|v − w|) ≥ 0, perché f(0) = 0 e f è<br />

monotono. Supponiamo che f(|v − w|) > 0. Allora per qualche numero<br />

naturale n, f(n|v − w|) = nf(|v − w|) > 1 = f(u). Ma questo è impossibile<br />

perché n|v − w| ≤ u e f è monotona. Quindi f(|v − w|) = 0.<br />

Ora, poiché v−w ≤ |v−w|, si ha f(v−w) ≤ 0. Allora si ottiene f(v) = f(v−<br />

w+w) ≤ f(v−w)+f(w) ≤ f(w) e in modo simmetrico f(w) ≤ f(v). Quindi,<br />

f(v) = f(w). Le altre affermazioni sono immediate da dimostrare.<br />

Corollario 2.2.2. Sia V uno spazio di Riesz con unità forte u, e sia g una<br />

funzione da un sottoinsieme X di V in R. Le seguenti sono equivalenti:<br />

1. Esiste un funzionale f sublineare (risp. lineare), monotono, norma-<br />

lizzato e debolmente additivo su V tale che per ogni x ∈ X, f(x) =<br />

g(x).<br />

45

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

Saved successfully!

Ooh no, something went wrong!