Duality for maximal Op^*-algebras on Fréchet domains

barrelled DF-space bornological DF-space bounded, positive, and continuous linear functionals complete injective tensor product maximal \(Op^*\)-algebra Montel property of the Fréchet domain order topology reflexivity

Mathematics Subject Classification ID

Barrelled spaces, bornological spaces (46A08) Tensor products in functional analysis (46M05) Algebras of unbounded operators; partial algebras of operators (47L60)

Review text

Summary: The completion with respect to the uniform topology of the maximal \(Op^*\)-algebra \(L^+(D)\) on a Fréchet domain D is denoted by \({\mathcal L}\). It is isomorphic to the second strong dual of the complete injective tensor product \(D'{\tilde \otimes}_{\epsilon}D'\) of the strong duals of D and \(\bar D,\) where d is endowed with the topology by the graph norms of operators belonging to \(L^+(D)\) and \(\bar D\) denotes the complex conjugate space of D. The predual of \({\mathcal L}\), i.e., the dual of \(D'{\tilde \otimes}_{\epsilon}\bar D'\) is isomorphic to the space \({\mathcal N}(\bar D,D)\) of nuclear operators mapping \(\bar D'\) into D. These facts, together with the fact that the positive cone of \({\mathcal L}\) is normal with respect to the order topology, are applied to the study of bounded, positive, and continuous linear functionals on \({\mathcal L}\). It is also shown that \(D'{\tilde \otimes}_{\epsilon}\bar D'\) is a barrelled DF-space, that \(L^+(D)\) is a DF-space, and that the subspace \({\mathcal F}\subset L^+(D)\) of finite rank operators is a bornological DF-space. There are given several characterizations of the Montel property of the Fréchet domain D. One of them is the reflexivity of \({\mathcal L}\).

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Duality for maximal \(Op^*\)-algebras on Fréchet domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1824849)