1: \begin{abstract} A weakly complete vector space over $\K=\R$ or $\K=\C$

2: is isomorphic to $\K^X$ for some set $X$ algebraically and topologically.

3: The significance of this type of topological vector spaces is illustrated

4: by the fact that the underlying  vector space of the Lie algebra of any 

5: pro-Lie group is weakly complete. 

6: In this study,  weakly complete real or complex associative algebras are studied

7: because they are necessarily

8: projective limits of finite dimensional algebras. The group of units $A^{-1}$

9: of a weakly complete algebra $A$ is a pro-Lie group with the associated

10: topological Lie algebra $A_{\rm Lie}$ of $A$ as Lie algebra and the

11: globally defined exponential function $\exp\colon A\to A^{-1}$ as

12: the exponential function of $A^{-1}$. 

13: With each topological group, a weakly complete group

14: algebra $\K[G]$ is associated functorially so that the functor

15: $G\mapsto \K[G]$ is left adjoint to $A\mapsto A^{-1}$. The group

16: algebra $\K[G]$ is a weakly complete Hopf algebra. If $G$ is compact,

17: the $\R[G]$  contains $G$ as the set of grouplike elements. 

18: The category of all real Hopf algebras $A$ with a compact group

19: of grouplike elements whose linear span is dense in $A$ is shown

20: to be equivalent to the category of compact groups. The group algebra

21: $A=\R[G]$ of a compact group $G$ contains a copy of the Lie algebra $\L(G)$

22: in $A_{\rm Lie}$; it also contains  a copy of the Radon 

23: measure algebra $M(G,\R)$. The

24: dual of the group algebra $\R[G]$ is the Hopf algebra ${\mathcal R}(G,\R)$

25: of representative functions of $G$. The rather straightforward duality 

26: between vector spaces

27: and weakly complete vector spaces thus becomes the basis 

28: of a duality ${\mathcal R}(G,\R)\leftrightarrow \R[G]$ and thus

29:  yields a new aspect of Tannaka duality.  

30: \end{abstract}