Differential structure of the group of automorphism of a Lie group

[padawan]

I am working on this

I am having trouble with b and c:

b) Suppose ##(f_n)_{n=1}^{\infty}## is a sequence in ##Aut(G)##, such that ##(T_e(f_n))_{n=1}^{\infty} \to \psi## converges in ##Aut(\mathfrak g)##

I want to show that ## f := \lim_{n\to \infty} f_n## exists as an continuous automorphism of the abstract group ##G##

First of all the ##f_n## are smooth, because they are in Aut(G), so they are Lie group isomorphisms, and therefore smooth by definition

Then by a known property of the exp:

##f_n(\exp(X))=\exp(T_ef_n X), \forall X \in T_eG## taking the limit yields:

##\lim_{n\to \infty} f_n(\exp(X))=\exp(\psi(X))\in G, \forall X \in T_eG##

##\lim_{n\to \infty} f_n(g)=\exp(\psi(X))=:f(g)\in G, \forall g## in a nbhd of the identity

I know that the image of the exponential map generates the connected component of the identity ##G_e##,and by connectedness this coincides with G so:
##G=G_e=<(T_eG)>=<\exp(\psi(T_eG))>=<\exp(T_eG)>##

This means that convergence is actually valid in the whole group, becuase if I have convergence in the generating set, I must have convergence in the generated set.

I hope this is correct,if not please tell me. Still I have to prove that it is bijective and a group homomorphism. I am not sure how to do this

b) How do I argue from here that ##f## is continuous? First I thought it was automatic, but then I recalled from analysis that pointwise convergence of a sequence of functions does not imply continuity. So I am clueless about how to proceed here as well