Derivation of STAT FUNC: A Supplement to The Kochen-Specker Theorem (Stanford Encyclopedia of Philosophy/Summer 2004 Edition)

This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Derivation of STAT FUNC

The result is proved for a pure state and a non-degenerate discrete observable A with eigenvalues a_i.

We first rewrite the statistical algorithm for projection operators:

(1)

For an arbitrary function f: R maps into

R (where R is the set of real numbers) we define the function of an observable A as:

Moreover, we introduce the characteristic function of a number a as:

As a result, we can rewrite a project operator as:

(2)

and thus the statistical algorithm as:

We also use a simple mathematical property of characteristic functions:

whence we can also write:

(3)

Then:

Hence:

Now since

which is STAT FUNC.

Carsten Held
carsten.held@uni-erfurt.de