I'm reading "Matrix Groups for Undergraduates" by Tapp with a student. A "matrix group" means a subgroup $G$ of $GL_n(\mathbb R)$ which is (relatively) closed-- so if $(A_n)\subseteq G$ with $A_n\rightarrow A$, and $A$ is invertible, then $A\in G$.
In the book, Manifolds are treated in an adhoc way. Given $X\subseteq\mathbb R^m$ a map $f:X\rightarrow \mathbb R^n$ is "smooth" if for each $x\in X$ there is an open set $U\subseteq\mathbb R^m$ containing $x$, and a smooth map $g:U\rightarrow\mathbb R^m$ which agrees with $f$ on $U\cap X$. Then a manifold is defined in the obvious way.
We then have the adjoint action of a lie group $G$ on its lie algebra $\mathfrak g$. If $\mathfrak g$ is $d$ dimensional, then by taking a basis $A_1,\cdots,A_d$ of $\mathfrak g$, we can regard the adjoint action as a homomorphism $Ad:G\rightarrow GL_d(\mathbb R)$. So for each $g\in G$ there is a matrix $(X_{ij}(g))$ with $ g A_j g^{-1} =\sum_i X_{ij}(g) A_i. $
How do we show that $Ad$ is smooth?
If we follow the definition from the book then we'd need to show that $G\rightarrow \mathbb R^{d\times d}; g \mapsto (X_{ij}(g))$ is smooth. So for each $g\in G$ I need an open set $U$ in $GL_n(\mathbb R)\subseteq\mathbb R^{n\times n}$ and a smooth function $f:U\rightarrow\mathbb R^{d\times d}$ such that $f(g) = (X_{ij}(g))$ for $g\in G\cap U$. This seems intractable...?
(If one has more Manifold theory, then this becomes sort of obvious, as $Ad$ is just the derivative of the conjugation action, which is smooth, and the derivative of a smooth map is smooth. But I want to stick to what the book has told us...)
Edit: Maybe I can actually argue as follows. The map $(A,B)\mapsto \operatorname{Tr}(AB)$ is an inner-product on $\mathbb M_n(\mathbb R)$; so I can find $B_1,\cdots,B_n\in\mathbb M_n(\mathbb R)$ with $\operatorname{Tr}(A_iB_j)=\delta_{i,j}$. Thus $ X_{ij}(g) = \operatorname{Tr}(g A_j g^{-1} B_i). $ Thus I could take as my map $ f(h) = \big( \operatorname{Tr}(h A_j h^{-1} B_i) \big)_{i,j}. $ This is now a composition of matrix inverse and multiplication, and trace, all smooth maps, hence $f$ is smooth.
Does this seem reasonable? Is this the easiest approach?