Infinite sequences of linear functionals, positive operator-valued measures and Naimark extension theorem
Roberto Beneduci
Let F : ℬ(ℝ)→ℱ(ℋ) be a commutative positive operator-valued measure from the Borel σ-algebra of the reals to the space of bounded positive operators on the Hilbert space ℋ. It is well known that there exist a self-adjoint operator A and a Markov kernel μ(·)(λ) such that F(Δ) = μΔ(A), where Δ ∈ ℬ(ℝ). We prove that, for any Δ ∈ ℬ(ℝ), if F(Δ) is a discrete operator, then A is a linear combination of the moments of F. This result allows us to characterize the quantum observable represented by A by means of the Naimark dilation of F. The result is connected with the following properties of the sequences of linear functionals. Consider an infinite sequence of linear functionals {Ti}i ∈ ℕ, such that Tif = ∫ f(t) dμt(i), corresponding to an infinite sequence of probability measures {μ(·)(i)}i ∈ ℕ on the Borel σ-algebra ℬ([0, 1]) such that μ(·)(i) ≠ μ(·)(j), where i, j ∈ ℕ and i≠j. There exists a real bounded one-to-one continuous function f such that T i f = ∫ f ( t ) d μ t ( i ) ≠ ∫ f ( t ) d μ t ( j ) = T j f , i , j ∊ ℕ , i ≠ j .
Bulletin of the London Mathematical Society•Mar 17, 2010•16 citations