Locally convex group algebras over compact groups

It is proved that Tannaka-Krein duality theorem can be formulated through mutually conjugated locally convex Hopf algebras constructed by the group algebra $\mathbb C[G]$ and the Krein algebra of representation functions.