Functional representation of the algebra, generated by a self-adjoint operator in a Pontryagin space (Q1086813)

Let \({\mathfrak H}\) be a Pontryagin space obtained from a separable Hilbert space by considering the Hermitian-bilinear form \([x,y]=(Jx,y)\), where \(J=J^*=J^{-1}\), \(0<\dim Ker(J+I)=\kappa <\infty\). If A is a bounded \(\pi\)-selfadjoint operator on \({\mathfrak H}\), we note \({\mathfrak F}(A)\) and \({\mathfrak C}(A)\) for the weak and respectively the uniform operatorial topological closure of the set of all polynomials of A. Correspondingly, \({\mathfrak F}_ 0(A)\) and \({\mathfrak C}_ 0(A)\) denote the weak and respectively the uniform operatorial closure of the set of all operators of the form \(f(A)=\int_{R}f(\lambda)dE_{\lambda}\), where f is an arbitrary continuous \(\Lambda\)-finite function; it is known that the spectral function \(E_{\lambda}\) of A has a finite set \(\Lambda\) of critical points. The main results of the present paper are: Theorem 1. For each \(B\in {\mathfrak F}_ 0(A)\) there exists a unique \(f(t)\in L^ 2_{\nu}(\Omega)\cap L^{\infty}_{\sigma}(\Omega)\) such that \(E(\Delta)B=\int_{\Delta}f(\lambda)dE_{\lambda}\) for every \(\Delta\subset {\mathbb{R}}\setminus \Lambda\), and Theorem 2. For each \(C\in {\mathfrak F}(A)\) (C\(\in {\mathfrak C}(A))\) there exist a polynomial P and an operator \(B\in {\mathfrak F}_ 0(A)\) (respectively \(B\in {\mathfrak C}_ 0(A))\) such that \(C=P(A)+B.\) As a consequence, \({\mathfrak F}(A)\) appears as the strong sequential closure of the set of all polynomials of A.