Sherman-Takeda type theorems for locally C*-algebras

In this article, we will first establish some density results for a locally $C^*$-algebra $\mathcal A$ and then identify a property, called Kaplansky density property (KDP). We then give a induced faithful continuous $*$-representation $φ$ of $\mathcal A^{**}$ (equipped with unique Arens product) on the space $B_{loc}(\mathcal H)$ such that $φ(\mathcal A^{**})\subset \overline{π(\mathcal A)}^{WOT}$, where $π:\mathcal A\to B_{loc}(\mathcal H)$ is the associated universal $*$-representation and $\mathcal H$ is the associated locally Hilbert space. Finally we show that for a Fréchet locally $C^*$-algebra $\mathcal A$ possessing KDP, the second strong dual is algebraically and topologically $*$-isomorphic to $ \overline{π(\mathcal A)}^{WOT}$, which is a direct analogue of the classical Sherman-Takeda theorem for $C^*$-algebras. We shall also observe the joint continuity of some associated bilinear maps in the running.