Escolar Documentos
Profissional Documentos
Cultura Documentos
Agora, note que gi só toma valores 0 ou 1 para cada i ∈ N, por tanto se
f ∈ Cc (N) é tal que f (N) ⊆ [0, ∞], se e somente se αi = f (i) ≥ 0 para
cada i ∈ N. Logo Λ é um funcional linear positivo em Cc (N) se
Xn
Λ(f ) = λi f (i) ∈ [0, ∞),
i=1
para toda função f ∈ Cc (N) com supp(f ) ⊆ {1, · · · , n} para algum
n ∈ N, tais que f (i) ∈ [0, ∞) para cada i ∈ N, onde λi = Λ(gi ). Em
particular, se λi ≥ 0 para cada i ∈ {1, · · · , n} então Λ é um funcional
linear positivo em Cc (N).
b. Dado um funcional linear positivo Λ em Cc (N), exiba uma σ-
álgebra M em N e uma medida positiva µ no espaço mensurável
(N, M) de forma que, para cada f ∈ Cc (N),
Z
Λf = f dµ.
N
Justifique suas afirmações.
Como N com a topologia discreta é um espaço localmente compacto
Hausdorff, então pelo Teorema da representação de Riez temos que se
Λ é um funcional linear positivo em Cc (N), então exite uma σ-álgebra
M em N que contem todos os conjuntos de Borel em N, e existe uma
medida positiva µ em M tais que
Z
Λ(f ) = f dµ
N
para cada f ∈ Cc (N). Agora, seja Λ um funcional linear positivo em
Cc (N), então para toda função f ∈ Cc (N) com supp(f ) ⊆ {1, · · · , n}
para algum n ∈ N, tais que αi = f (i) ∈ [0, ∞) para cada i ∈ N
Xn
Λ(f ) = λi f (i) ∈ [0, ∞),
i=1
n
X
onde λi = Λ(gi ). Tomando M = ℘(N) e µ = λi δi temos que:
n=1
Z Z "X
n
# n
X Z Xn
f dµ = αi gi dµ = αi gi dµ = [αi Λ(gi )]
N N i=1 i=1 N i=1
n
X
= λi f (i) = Λ(f )
i=1