Lobachevskii Journal of Mathematics http://ljm.ksu.ru Vol. 16, 2004, 17 – 56

© P. K. Jakobsen and V. V. Lychagin

ABSTRACT. We outline an extention of probability theory based on positive operator valued measures. We generalize the main notions from probability theory such as random variables, conditional expectations, densities and mappings. We introduce a product of extended probability spaces and mappings, and show that the resulting structure is a monoidal category, just as in the classical theory.

Contents

1. Introduction

In this paper we present an extension of standard probability theory. An extended probability space is defined to be a normalized positive operator valued measure defined on a measurable space of events. This notion of extended probability space includes probability spaces and spectral measures as important special cases. The use of the word probability in this context is justified by showing that extended probability spaces enjoy properties analog to all the basic properties of classical probability spaces. Random vectors are defined as a generalization of the usual Hilbert space of square integrable functions. This generalization is well known in the literature and was first described by Naimark. Expectation and conditional expectation is defined for extended probability spaces by orthogonal projections in complete analogy with probability spaces.

The introduction of probability densities presents special problems in the context of extended probability spaces. For the case of probability spaces a probability density is any normalized positive integrable function, whereas for the case of extended probability spaces it turns out that the right notion is not a density but a half density. These half densities are elements in a Hilbert module of length one. Special cases of such half densities are well known in quantum mechanics where they are called wave functions. We define a random operator to be a linear operator on the space of half densities. The expectation of random operators are operators acting on the Hilbert space underlying the extended probability space. For the case of probability spaces the notion of random vectors and random operators coincide.

We introduce mappings or morphisms of extended probability spaces through a generalization of the notion of absolute continuity in probability theory. Half densities plays a pivotal role in this generalization. We show that the morphisms can be composed and that extended probability spaces and morphisms forms a category just as for probability spaces. The Naimark construction extends to morphisms and in fact defines a functor on the category of extended probability spaces.

Extended probability spaces can be multiplied and we furthermore show that this multiplication can be extended to morphisms in such a way that it defines a monoidal structure on the category of extended probability spaces. This is in complete analogy with the case of probability spaces and testify strongly to the naturalness of our constructions.

We do not in this paper attempt to give any interpretation of extended probabilities beyond the one implied by the strong structural analogies that we have shown to exists between the categories of probability spaces and extended probability spaces. It is well known that the interpretation of the classical Kolmogorov formalism for standard probability theory is not without controversy as the old debate between frequentists and Bayesians, among others, clearly demonstrate. Our theory of extended probability spaces is evidently a generalization of the Kolmogorov framework and it might be hoped that this enlarged framework will put some of the controversy in a different light. As a case in point note that extended probabilities are in general only partially ordered. The notion of partially ordered probabilities has been discussed and argued over for a very long time. In our theory of extended probability spaces, ordered and partially ordered probabilities lives side by side and enjoy the same formal categorical properties.

2. Extended probability spaces

In this section we will make some technical assumptions that will assumed to hold throughout this paper. These assumptions are not necessarily the most general ones possible.

A measurable space [5] is a pair $X=\langle {\Omega }_X,{\mathcal{B}}_X\rangle$ where ${\Omega }_X$ is a set and ${\mathcal{B}}_X$ is a $\sigma$-algebra on ${\Omega }_X$. A measurable map $f:X\to Y$ is a map of sets ${\Omega }_X\to {\Omega }_Y$ such that $f^{-1}\left(A\right)\in {\mathcal{B}}_X$ for all $A\in {\mathcal{B}}_Y$. Let $\Omega$ be a set and let $\tau$ be a topology on $\Omega$. In this paper the term topology is taken to mean a second countable,locally compact Hausdorff topology [3]. Note that any such space is metrizable,Polish and $\sigma$-compact. The Borel structure corresponding to a topology $\tau$ is the smallest $\sigma$-algebra containing the topology $\tau$ and is denoted by $\mathcal{B}\left(\tau \right)$. A Borel space is a measurable space where the $\sigma$-algebra is a Borel structure. Any continuous map $f:\langle {\Omega }_X,{\tau }_X\rangle \to \langle {\Omega }_Y,{\tau }_Y\rangle$ is measurable with respect to the Borel structures $\mathcal{B}\left({\tau }_X\right)$ and $\mathcal{B}\left({\tau }_Y\right)$. Borel sets are the observable events to which we must assign probabilities.

Let now $\langle {\Omega }_X,\mathcal{B}\left({\tau }_X\right)\rangle$ be a Borel space and let $\mathcal{O}\left(H_X\right)$ be the real $C^{\ast }$ algebra [4] of bounded operators on the real Hilbert space $H_X$. A positive operator valued measure (POV) [1] defined on $\langle {\Omega }_X,\mathcal{B}\left({\tau }_X\right)\rangle$ is a map $F_X$ from $\mathcal{B}\left({\tau }_X\right)$ to $\mathcal{O}\left(H_X\right)$ such that $F_X\left(\varnothing \right)=0$,$F_X\left({\Omega }_X\right)=1$. The map $F_X$ is assumed to be finitely additive on disjoint union of sets and for any increasing sequence of sets $\left\{V_i\right\}$ satisfy the following continuity condition

where the supremum is taken with respect to the usual partial ordering of self adjoint operators. The supremum always exists since the sequence $\left\{F_X\left(V_i\right)\right\}$ is increasing and bounded above by $F_X\left({lim}_{i\to \infty }{V}_i\right)$. The continuity condition implies that $F_X$ is additive on countable disjoint unions.

where the sum converges in the strong operator topology, that is, pointwise convergence in norm.

A positive operator valued measure is a spectral measure if $F_X\left(V\right)$ is a projector for all $V\in \mathcal{B}$. A necessary and sufficient condition for a POV, $F_X$,to be a spectral measure is that it is multiplicative

We are now ready to define our first main object

Note that a probability space $X=\langle {\Omega }_X,\mathcal{B}\left({\tau }_X\right),{\mu }_X\rangle$ can be identified with a extended probability space in many different ways. In fact for any given Hilbert space $H_X$ we can identify the probability space with a extended probability space $X=\langle {\Omega }_X,\mathcal{B}\left({\tau }_X\right),F_X\rangle$ where $F_X\left(V\right)={\mu }_X\left(V\right)I_{H_X}$.

3. Random vectors

In standard probability theory quadratic integrable random variables and their expectation plays an important role. We will now review the classical Naimark construction of the analog of such random variables for the case of extended probability spaces. We will call such random variables random vectors. The space of random vectors forms a Hilbert spaces and we use this structure to define expectation and conditional expectation by orthogonal projections in complete analogy with the standard case.

3.1. The space of random vectors. Let $\langle \Omega ,\mathcal{B},F\rangle$ be a extended probability space and let $S$ be the linear space of simple measurable functions $v:\Omega \to H$. The linear structure is defined through pointwise operations as usual. Elements in $S$ can be written as finite sums of characteristic functions.

where $\left\{V_i\right\}$ is a $\mathcal{B}$ -measurable partition of the set $\Omega$. We define a pseudo inner product on $S$ by

where $v={\sum }_i{\xi }_i{\theta }_{V_i}$, $w={\sum }_j{\eta }_j{\theta }_{W_j}$ and $\langle$ ${\rangle }_{}H$ is the inner product in the Hilbert space $H$. The product is not definite. In fact we have

for all $i.$

The last identity follows from the fact the $F\left(V_i\right)$ is a positive operator. So for any simple function $v=\sum {\xi }_i{\theta }_{V_i}$ we have $\langle v,v\rangle =0$ if and only if $F\left(V_i\right){\xi }_i$ $\perp$ ${\xi }_i$ for all $i$. This is of course true if $V_i$ is of $F$ measure zero but it can also be true if $F\left(V_i\right)\ne 0$ but ${\xi }_i$ is in the kernel of $F\left(V_i\right)$.

Since $\langle$ $\rangle$ is a pseudo inner product the set of elements of length zero, $\langle v,v\rangle =0$, form a linear subspace and we can divide $S$ by this subspace. and thereby get a, in general, incomplete inner product space. The completion of this space with respect to the associated norm is by definition the space of random vectors and is a Hilbert space. We will use the notation $L_2\left(\mathcal{B},F\right)$ or just $L_2\left(F\right)$ for this space in analogy with the classical notation $L_2\left(\mu \right)$. The set of equivalence classes of simple functions $\left[v\right]$ evidently form a dense set in $L_2\left(F\right)$. Denote this dense subspace by $T\left(F\right)$. We have a well defined isometric embedding $\pi$ of $H$ into $L_2\left(F\right)$ defined by

We also have a spectral measure $P:\mathcal{B}\to \mathcal{O}\left(L_2\left(F\right)\right)$. On the dense set $T\left(F\right)$ the spectral measure is given by

where $v=\sum {\xi }_i{\theta }_{V_i}$.

In fact the existence of this spectral measure is the whole point of the Naimark construction. It show that by extending the Hilbert space one can turn any POV into a spectral measure. This idea has been generalized by Sz.-Nagy and J. Arveson into a theory for generating representations of $\acute{\ast }$-semigroups but we will not need any of these generalization in our work.

As our first example let $\mu$ be a measure on the measurable space $\langle \Omega ,\mathcal{B}\rangle$ and let $H$ be a Hilbert space. Define a positive operator valued measure on $\langle \Omega ,\mathcal{B}\rangle$ acting on $H$ by

For this case we have

where for any $H$ valued functions $f,g$ we define ${\langle f,g\rangle }_H\left(x\right)={\langle f\left(x\right),f\left(x\right)\rangle }_H$. Thus for this case our space $L_2\left(F\right)$ will be the space of $H$ valued function elements such that $\int {\langle f,f\rangle }_{H}d\mu <\infty$. When $H=\mathbb{ℂ}$ the space $L_2\left(F\right)$ turns into the space of square integrable complex valued functions $L_2\left(\mu \right)$.

As our second example let $H$ be two dimensional and let a basis $\left\{{\xi }_1,{\xi }_2\right\}$ be given. With respect to this basis we have

where $\mu$ and $\nu$ and $\omega$ are signed measures. In order for $F\left(U\right)$ to be positive for all $U$ it is easy to see that $\mu$ and $\nu$ must be positive measures and that the following inequality must hold

Any function $f:\Omega \to H$ determines a pair of real valued functions $\left\{f_1,f_2\right\}$ through $f\left(x\right)=f_1\left(x\right){\xi }_1+f_2\left(x\right){\xi }_2$. The inner product in $L_2\left(F\right)$ is given in terms of the measures $\mu$,$\nu$ and $\omega$ as

Similar expressions for the inner product in $L_2\left(F\right)$ exists for any finite dimensional Hilbert space $H$.

3.2. The expectation of random vectors. Recall that we have a isometric embedding $\pi :H\to L_2\left(F\right)$ defined by

Note that the image $\pi \left(H\right)\subset L_2\left(F\right)$ is a closed subspace and therefore the orthogonal projection onto $\pi \left(H\right)$ exists. Let $Q_H$ be this orthogonal projection.

The following result is a immediate consequence of the definition

Note that adjointness condition uniquely determines the expectation. In fact we could define the expectation to be the adjoint of the embedding $\pi$.

Using this proposition it is easy to verify that the expectation of a simple function element $\left[v\right]$ where $v=\sum {\xi }_i{\theta }_{V_i}$ is given by

This example makes it natural to introduce a integral inspired notation for the expectation

Note that it is natural to put the differential $dF$ in front of $f$ to emphasize the fact that $F$ is a operator valued measure that acts on the function valued of $f$.

Let $\left\{{\xi }_i\right\}$ be an orthonormal basis for $H$. For general elements $f$ the following formula holds

3.3. Conditional expectation. Let $\mathcal{A}\subset \mathcal{B}$ be a $\sigma$-subalgebra. We can restrict the POV $F$ to $\mathcal{A}$ and will in this way get the Hilbert space $L_2\left(\mathcal{A},F\right)$ of $\mathcal{A}$ measurable random vectors. We obviously have a isometric embedding of $L_2\left(\mathcal{A},F\right)$ into $L_2\left(\mathcal{B},F\right)$. Thus $L_2\left(\mathcal{A},F\right)$ can be identified with a closed subspace of $L_2\left(\mathcal{B},F\right)$ and therefore the orthogonal projection $Q_{\mathcal{A}}:L_2\left(\mathcal{B},F\right)\to L_2\left(\mathcal{A},F\right)$ is defined. In complete analogy with the classical case we now define

It is evident that $L_2\left(\mathcal{A},F\right)$ is isomorphic to $H$ when $\mathcal{A}=\left\{\Omega ,\varnothing \right\}$ and that for this case we have $E_{\mathcal{A}}\left(f\right)=\pi \left(E\left(f\right)\right)$. Let us consider the next simplest case when $\mathcal{A}$ is generated by a partition $\left\{A_1...A_n\right\}$ where $\Omega =\cup A_i$ and $A_i\cap A_j=\varnothing$ when $i\ne j$. We need the following result

The assumption in the proposition holds for example if $H$ is finite dimensional or if $H$ is infinite dimensional but all the $F\left(A_i\right)$ are orthogonal projectors or isomorphisms. For the classical measure case $H\approx \mathbb{ℝ}$ and the proposition is true.

Let $v=\sum {\xi }_j{\theta }_{V_j}$ be a simple function in $L_2\left(\mathcal{B},F\right)$. Then by the previous proposition the conditional expectation must be of the form $Q_{\mathcal{A}}\left(v\right)=\sum {\eta }_i{\theta }_{A_i}$. It is uniquely determined by the conditions ${\langle v-Q_{\mathcal{A}}\left(v\right),\xi {\theta }_{A_j}\rangle }_H=0$ for all $\xi \in H$ and $j=1..n$. These conditions give us the following systems of equations for the unknown vectors ${\eta }_i$:

for any  $i.$

This systems does not have a unique solution in $H$ but all solutions represents the same element in $L_2\left(\mathcal{A},F\right)=T\left(\mathcal{A},F\right)$. For the special case $v={\xi }_0{\theta }_C$ we get the simplified system

When dim $H=1$ and $F\left(A_i\right)=\mu \left(A_i\right)$ we get the usual classical expression for the conditional expectation of $C$ given $\mathcal{A}$.

4. Densities and random operators

Densities are important for most applications of probability theory. For us they will make their appearance when we seek to generalize the relation of absolute continuity between measures to the context of positive operator valued measures. This generalization will play a pivotal role when we define maps between extended probability spaces. The generalization of the notion of density to the case of operator measures turns out to be surprisingly subtle.

4.1. The Hilbert module of half densities. Let $\nu$ be a measure. A density is a positive measurable function $\rho$ such that $\int \rho d\nu =1$. Using this density we can define a new measure

If we try to generalize this formula directly to the case of POV measures we run into problems.

Let $F$ be a POV defined on a measurable space $\langle \Omega ,\mathcal{B}\left(\tau \right)\rangle$ and let $\rho$ be a function as above. Then we can certainly define a new POV measure by the following formula

There is nothing inconsistent in this definition, the only problem is that it is very limited. In fact if $\Omega$ is a finite set then any POV measure on $\Omega$ is given by a finite set $\left\{F_i\right\}$ of positive operators between zero and the identity with the single condition $\sum F_i=1$. If $E$ is the new POV determined by the above formula then we have $E_i={\rho }_i{F}_i$ for some set of numbers $\left\{{\rho }_i\right\}$. Thus each $E_i$ is proportional to $F_i$.

Now if the numbers ${\rho }_i$ were changed into positive operators we could produce a much more general $E$ starting from a given $F$. We would thus be considering a formula like

where $\rho$ is a positive operator valued function. However even if we could make sense of the proposed integral we would have problems. This is because the product of positive operators is positive if and only if they commute. This would put a highly nontrivial constraint on the allowed densities, constraints it would be difficult to verify and keep track of.

There is however a natural way out of these problems. It is very simple to verify that if $F$ is a POV measure acting on $H$ and $Q$ a operator, then $QF{Q}^{\ast }$ is a new POV measure. This suggest that we consider a density to be a operator valued function $\varphi$ such that

We could then use this density to define a new POV measure by  

On a formal level this now looks fine, the only remaining problem is to make sense of the proposed integrals. We will now proceed to do this.

Let

where $\left\{V_i\right\}$ form a measurable partition of $\Omega$. These are simple measurable operator valued functions. The set $V$ is a real linear space through pointwise operations as usual. We can define a left action of $\mathcal{O}\left(H\right)$ on $V$ in the following way

This action clearly makes $V$ into a left module over the real $C^{\ast }$- algebra $\mathcal{O}\left(H\right)$. Define an $\mathcal{O}\left(H\right)$ valued product on $V$ through

where $s=\sum s_i{\theta }_{V_i}$ and $t=\sum t_j{\theta }_{W_j}$. This product is clearly bilinear over the real numbers.

Thus the product is like a Hermitian product where the role of complex numbers are played by the elements of the real $C^{\ast }$-algebra $\mathcal{O}\left(H\right)$. Such structures have been known and studied for a long time. They leads, as we will see, in a natural way to the idea that probability densities for operator measures are elements in a Hilbert module. Our main sources for the theory of Hilbert modules are the paper [10] and the book [2]. Chapters on Hilbert modules can also be found in the books [7] and [13].

Note that the product we have constructed is not positive definite. In fact, since the sum of positive operators in a real $C^{\ast }$-algebras is zero only if each operator is zero, the identity $\langle s,s\rangle =0$ holds if and only if

These identities can easily be satisfied for nonzero operators $s_i$. In fact if $F\left(V_i\right)$ are projectors and $s_i$ are projectors orthogonal to $F\left(V_i\right)$ then the equations are clearly satisfied. In order to make the product definite we will need to divide out by the set of simple functions whose square is zero $\langle s,s\rangle =0$. In order to do this we will need the analog of the Cauchy-Swartz inequality.

For any element $s\in V$ we know that $\langle s,s\rangle \ge 0$ and therefore there exists a positive operator $h$ such that $h^2=\langle s,s\rangle$. Denote this operator by $\mid s\mid$. Thus we have $\mid s{\mid }^2=\langle s,s\rangle$. Also for any element $s\in V$ define a real number $\mid \mid s\mid \mid$ by

where $\mid \mid \langle s,s\rangle \mid \mid$ is the operator norm of the positive operator $\langle s,s\rangle$. With these definitions at hand we can now state the following Cauchy Swartz inequalities for $V$. The proof of this proposition is an adaption of the proof in [13] to the case of real $C^{\ast }$ algebras.

From the second inequality we can in the usual way conclude that the triangle inequality holds for $\mid \mid$ $\mid \mid$.

Let $N$ be the subset of elements in $V$ of pseudonorm zero.

For any operator $a\in \mathcal{O}\left(H\right)$ and a pair of elements $s$ and $t$ in $N$ we now have

Thus $N$ is a submodule and we can therefore define a quotient module

Elements in $\tilde{\mathcal{H}}$ are equivalent classes of simple operator valued functions denoted by $\left[s\right]$. Note that for any elements $\left[s\right],\left[t\right]\in \tilde{\mathcal{H}}$ with $\left[s\right]=0$ we have

and as a consequence of this $\langle s,t\rangle =0$. We therefore have a well defined operator valued product on $\tilde{\mathcal{H}}$ defined through

This product enjoy the same properties as the product on $V$ and is in addition positive definite. Thus $\tilde{\mathcal{H}}$ with this product is a pre-Hilbert module with a norm $\mid \mid$ $\mid \mid$ defined on the underlying real vector space. In general this vector space is not complete with respect to the norm. We can however complete the vector space with respect to the norm. The resulting structure is a Hilbert module over the real $C^{\ast }$-algebra $\mathcal{O}\left(H\right)$. We will call it the Hilbert module corresponding to the extended probability space $\langle \Omega ,\mathcal{B}\left(\tau \right),F\rangle$. With the analogy with Hilbert spaces in mind we will consider $\langle \varphi ,\varphi \rangle$ to the the square length of $\varphi$. Note that for a general Hilbert module the length is a positive operator, not a positive number. Also note that in order to simplify the notation we use the same symbol $\mid \mid$ $\mid \mid$ for the norm on $\mathcal{H}$ and for the operator norm on $\mathcal{O}\left(H\right)$. This is the sense of the formula $\mid \mid \varphi \mid {\mid }^2=\mid \mid \langle \varphi ,\varphi \rangle \mid \mid$.

We have now made sense of equation (1). It just state that $\varphi$ should be a element in the Hilbert module $\mathcal{H}$ of length $1$.

We will next proceed to make sense of equation (2). Note that what we do is in fact to prove the analog of the easy part of the classical Radon-Nikodym theorem.

For any $U\in \mathcal{B}\left(\tau \right)$ define a map $P_U:V\to V$ by

This map is clearly a $\mathcal{O}\left(H\right)$ module morphism.

The last property shows that if $\mid \mid s\mid \mid =0$ then $\mid \mid P_U\left(s\right)\mid \mid =0$. Therefore $P_U$ induce a well defined map, also denoted by $P_U$, on $\tilde{\mathcal{H}}$ through

The last property shows also that the map $P_U$ is bounded on $\tilde{\mathcal{H}}$. It therefore extends to a unique bounded linear map on $\mathcal{H}$. This map clearly also enjoy the properties listed in the previous proposition.

Let now $\varphi$ be a element in the Hilbert module $\mathcal{H}$ of unit length $\langle \varphi ,\varphi \rangle =1.$ For each set $U\in \mathcal{B}\left(\tau \right)$ define a operator $E_{\varphi }\left(U\right)$ on the Hilbert space $H$ by

Clearly $E_{\varphi }\left(\Omega \right)=1$ and $E_{\varphi }\left(U\right)\ge 0$ for all $U$. It is also evident from the previous proposition that $E_{\varphi }$ is finitely additive on disjoint sets. It is in fact also countably additive as we now show.

We have now made sense of equation (2) and are now ready to define the symbolic expressions occurring in equation (1) and (2).

We define the integrals $\int \varphi dF{\psi }^{\ast }$and ${\int }_V\varphi dF{\varphi }^{\ast }$as follows:

We have thus found that probability densities for operator valued measures are not functions but elements in a Hilbert module. They should in fact not be thought of as densities but as half densities, their square is a density in the above sense. This is a startling conclusion. Half densities are however not unfamiliar to anyone that has been exposed to quantum mechanics. Wave functions are half densities. In fact wave functions appear naturally in this scheme. If $F$ is a positive operator valued measure acting on a real two dimensional Hilbert space we are lead to define densities as functions whose values are operators on the plane. The complex numbers are isomorphic to a special subalgebra of operators on the plane (the conformal operators). Thus a large class of densities can be identified with complex valued functions of length one. Since self-adjoint operators are now naturally identified with real numbers the length can be considered to be a number. What we are describing are of course wave functions. Thus densities for positive operator valued measures acting on a two-dimensional plane are wave functions.

4.2. Random operators. Recall [2] that a map $A:\mathcal{H}\to \mathcal{H}$ is said to be adjointable if there exists a map denoted by $A^{\ast }:\mathcal{H}\to \mathcal{H}$ such that

for all elements $\varphi$ and $\psi$ in $\mathcal{H}$. A map is self-adjoint if $A^{\ast }=A$. It follows directly from the algebraic properties of the inner product and the completeness of the underlying real vector space that any adjointable map is a bounded $\mathcal{O}\left(H\right)$ module morphism. In fact the set of all adjointable maps form a abstract real $C^{\ast }$-algebra that we denote by $\mathcal{A}$. We will call the elements in $\mathcal{A}$ random operators.

The expectation of a random operator $A$ with respect to a density $\varphi$ is by definition given by

The expectation of a random operator with respect to a density $\varphi$ is thus a operator on $H$. We can also use the density to define a POV acting on $H$ as we have seen. Note that the expectation of self-adjoint random operators is a self-adjoint operator in $\mathcal{O}\left(H\right)$.

Returning to the two dimensional example discussed above we see that in that case for complex valued densities the expectation of self-adjoint random operators can be identified with real numbers and thus the expectation of random operators can be thought of as numbers. In higher dimensions and for more general densities no such identification with real numbers is possible. Furthermore no such reduction should be expected. After all, the self-adjoint elements in a real $C^{\ast }$-algebra are the right analog of real numbers.

Let us assume that the real Hilbert space underlying the extended probability space $X$ is one dimensional. If we choose a basis we can identify the Hilbert space with $\mathbb{ℝ}$ and the Hilbert module ${\mathcal{H}}_X$ with the real Hilbert space of square integrable functions on $\mathbb{ℝ}$. A positive operator valued measure is through the basis identified with a probability measure and therefore for a half density $\varphi \in {\mathcal{H}}_X$ the formula $E\left(V\right)=\langle \varphi ,P_V\varphi \rangle$ turns into

The half density $\varphi$ is of course not uniquely determined by the probability measures $\mu$ and $\nu$ unless we by convention always take the positive square root. If all our observables are random vectors then it does not matter which half density we choose, they will all produce the same expectation. Thus by restricting to random vectors as our observables the difference between the various half densities $\varphi$ are not observable. However there is really no rational reason to restrict to this class of observables. If we include random operators in our observables the difference between the half densities are readily observable.

5. The category of extended probability spaces

In classical probability theory the notion of morphisms of probability spaces plays a role at least as important as the notion of a probability space. In fact from the Categorical point of view morphisms are the most important element in any theory construction. All other entities should be defined in terms of the morphisms. In this section we review the notion of a morphism in the context of probability spaces and then define the corresponding notion for extended probability spaces. The naturalness of our definition is verified by proving that extended probability spaces and morphisms forms a category. We also show that just as for the case of probability spaces we get a functor mapping the category of extended probability spaces into the category of Hilbert spaces. The existence of this functor is a verification of the naturalness of our constructions.

Let $X=\langle {\Omega }_X,\mathcal{B}\left({\tau }_X\right),{\mu }_X\rangle$ and $Y=\langle {\Omega }_Y,\mathcal{B}\left({\tau }_Y\right),{\mu }_Y\rangle$ be probability spaces. A morphism $f:X\to Y$ is a measurable map $f:{\Omega }_X\to {\Omega }_Y$ such that ${\mu }_Y$ is absolutely continuous with respect to the push forward of the measure ${\mu }_X$ by $f$, ${\mu }_Y\le f_{\ast }{\mu }_X$. By the Radon-Nikodym theorem this means that there exists a probability density $\rho :{\Omega }_Y\to \mathbb{ℝ}$ such that

There are several other possibilities for morphisms of probability spaces [11]. We could have required $f_{\ast }{\mu }_X\le {\mu }_Y$ or $f_{\ast }{\mu }_X\approx {\mu }_Y$. They can all be composed and lead to a category structure. However the only possibility that generalize well to extended probability spaces is the first one ${\mu }_Y\le f_{\ast }{\mu }_X$.

5.1. Morphisms of extended probability spaces. In this section we will introduce the notion of mapping between extended probability spaces and will then use mappings to define morphisms. This distinction between mappings and morphisms does not exist for probability spaces.

In order to define what a mapping is in the context of extended probability spaces, we must first generalize the notions of absolute continuity and push forward to positive operator valued measures. We will do this by combining them into a single entity.