Let $n$ be a natural number, and let $m \colon= n^2$. Let $\mathrm{GL}(n)$ denote the set of all the non-singular $n \times n$ matrices of real numbers. Each matrix of order $n \times n$ has $n^2 = m$ real entries and so can be regarded as an element of the Euclidean space $\mathbb{R}^m$.
Now let us give $\mathbb{R}^m$ the topology having as a basis the collection of all possible Cartesian products of the form $$ \prod_{i=1}^m \left( a_i, b_i \right), $$ where, for each $i = 1, \ldots, m$, $a_i$ and $b_i$ are real numbers such that $a_i < b_i$.
Let us consider $\mathrm{GL}(n)$ to be a (topological) subspace of $\mathbb{R}^m$.
Let the maps $f \colon \mathrm{GL}(n) \times \mathrm{GL}(n) \to \mathrm{GL}(n)$ and $g \colon \mathrm{GL}(n) \to \mathrm{GL}(n)$ be defined by $$ f( A \times B) \colon= AB \qquad \mbox{ for all } A \times B \in \mathrm{GL}(n) \times \mathrm{GL}(n), $$ and $$ g(A) \colon= A^{-1} \qquad \mbox{ for all } A \in \mathrm{GL}(n). $$
Then how to --- rigorously and explicitly --- show the maps $f$ and $g$ to be continuous? I would be grateful for a proof using only the results in Secs. 18 through 21 of Munkres' Topology, 2nd edition.
I know that the addition, subtraction, and multiplication operations are continuous maps of $\mathbb{R} \times \mathbb{R}$ into $\mathbb{R}$; and the division operation is a continuous map of $\mathbb{R} \times \left( \mathbb{R} \setminus \{ \ 0 \ \} \right)$ into $\mathbb{R}$.
And, I know that the projection of $\mathbb{R}^k$ onto any coordinate is a continuous map.
Of course, the sum, difference, product, quotient (whenever it is defined) of continuous complex-valued maps are continuous. And, the composite map (whenever it is defined) of (two or mmore) continuous maps is continuous.
But, I'm finding it difficult to decide which facts to call to my aid!!
