77a617c12099461c.tex
1: \begin{definition}
2: The local von Neumann algebras for the free covariant field are defined by setting
3: 	\[
4: 		{\mathscr A}_\circ ({\mathcal O}) \doteq  \pi^\circ \bigl({\mathfrak W}
5: 		({\mathcal O}) \bigr)'' \; ,  \qquad {\mathcal O} \subset dS \; . 
6: 	\] 
7: It follows from Theorem \ref{th2.5} that the algebra ${\mathscr A} ({\mathcal O}) $ is equal to the von Neumann algebra generated 
8: by ${\rm W}_{F} (f )$, $f \in {\mathfrak h}({\mathcal O})$.
9: \end{definition}
10: