22596f1db967f634.tex
1: \begin{proof}
2: Along the lines outlined in Ref.~\cite{SIGMAdva}, formula
3: (\ref{defifi}) follows from completeness (\ref{comple}) and from the
4: definition of the physical bra vectors $ \br \psi_{n,\Theta}(t)| $
5: in ${\cal H}^{(S)}$ (the superscript abbreviates the ``standard''
6: physical Hilbert space, unitarily equivalent to ${\cal H}^{(T)}$).
7: The representation is formal because in some pathological cases with
8: $N = \infty$ its right-hand-side series need not converge. A less
9: formal extension of validity of the theory to these cases would
10: require a more rigorous mathematical specification of the properties
11: of the biorthonormal bases \cite{fabio}.
12:   \end{proof}