# Why are Lie groups automatically analytic manifolds?

I would like to point out that the question in the title and the question in your post are different. Every smooth manifold $M$ admits a maximal analytic subatlas, and any two choice of analytic structures on $M$ compatible with the smooth structure are analytically diffeomorphic. So every Lie group does admit a smooth structure. The question, of course, is whether $G$ admits an analytic structure such that the multiplication is analytic (that is, that it's an analytic Lie group). It's also true that this analytic structure is unique up to analytic group isomorphism (group homomorphisms are automatically analytic).

As for your question: Suppose $(U,\varphi)$ is your chart centered at $0$. Then $(gU, \varphi \circ L_{g^{-1}})$ is a chart centered at $g$. On overlaps $hU \cap gU$, the transition function is $\varphi L_{g^{-1}h} \varphi^{-1}$. So all you need to know is why $L_{g^{-1}h}$ is analytic on $U \cap h^{-1}g U$; but the very assumption you gave is that it's analytic in $U \times U$. The key point here is that if $h$ and $g$ are too far apart, so that the analyticity of $\mu$ on $U$ doesn't help, then $hU \cap gU$ is empty.

So this provides an analytic atlas on $G$. The question, then, is whether or not $\mu$ is analytic everywhere. But this is basically true by definition of the atlas. I'd rather not write it down, but the rest is further symbol-pushing, exactly of the sort above.

(The fact that a Lie group's multiplication is analytic can be proved by the Baker-Campbell-Hausdorff formula, which you can find in eg Serre's book on Lie groups.)

Asssume that your group is linear (a closed subgroup of $GL(n,R)$), and let $\cal G \subset M(n, R)$ its Lie algebra. Then in a neigbourhood of the identity, $G= \{g\in M(n,R)/ \log g \in \cal G \}$, where $r>0$ is a small number, and $\log : B(Id, r)\subset M(n,R)$ is an analytic function. This proves that in the neigbourhood of the identity, $G$ is an analytic submanifold of $Gl(n,R)$, as $\cal G$ is just a linear vector space. But left translation by a matrix $A$ is certainly an analitic (even polynomial) automorphism of $Gl(n,R)$, so $G$ is an analytic submanifold of the algebraic hence analytic. So $G$ is an analytic submanifold of $Gl(n,R)$ and a subgroup, therefore an analytic group. For the general case, you use the fact that $\cal G$ can be embedded as a Lie subalgebra of $M(n,R)$, and apply the same sort of argument.