Complex Galois Representations are Finite In A First Course in Modular Forms, Diamond and Shurman leave as an exercise ($9.3.3$) that every complex Galois representation is finite. While I think I have worked through this exercise here, this solutions seems sort of strange to me, because most other sources just state this fact as if it is obvious, giving no indication as to why it is true. However, this solution does not seem very obvious to me. (Of course, that could just be because I haven't spent enough time thinking about these things.)
Is there a better way to understand why complex Galois representations are finite? I've heard it informally explained that this happens because the topologies on $\mathbf{G}_{\bar{\mathbf{Q}}}$ and $GL_{d}(\mathbf{C})$ are incompatible, with too many open sets on the latter. While the proof I posted above does illustrate this, I'm wondering if there's another proof that may be more to my taste.
Bonus/Related Question: it has been my assumption all along that the topology on $GL_{d}(\mathbf{C})$ is the standard one. However, another comment D&S make leads me to wonder if I'm wrong. In discussing the relationship between Dirichlet characters and $1$-dimensional representations $\rho : \mathbf{G}_{\bar{\mathbf{Q}}} \to \mathbf{C}^*$, they say that to check continuity of $\rho$, it suffices to check that $\rho^{-1}(1)$ is open. This seems to imply that $C^{*}$ is given the discrete topology. Can anyone clear this up for me? 
Thank you in advance! 
 A: Here is an alternative proof (here $G$ is an arbitrary profinite group):
Since $\rho: G\rightarrow GL_n(\mathbb{C})$ is continuous, its kernel is closed, so by factoring through the quotient we may assume $\rho$ is injective. Now any continuous injective map from a compact space to a Hausdorff space is a homeomorphism onto its image, and the image is closed in the ambient space. Thus, $G$ is topologically isomorphic to $\rho(G)$, which is a closed subgroup of a Lie group, hence is a Lie subgroup. Then we are done since any profinite Lie group must be finite.
A: I don't think there is an easier proof. It is probably stated as obvious because it is very well-known, and thus considered standard.
The proof of Lemma 1 is not complete: why does $m^n$ escape the neighbourhood? (the exponential map is not globally injective).
You can show that if $m^n, n \in \mathbb{Z}$ is bounded, then $m$ is diagonalisable, and its eigenvalues have modulus one.
From there you just have to treat the case $d=1$.
Concerning your second question, you just showed that if $\rho$ is continuous for the usual topology, it is continuous for the discrete topology, so $\rho^{-1}\left( \{1\} \right)$ is open.
Note that it is harder to directly prove that $\rho^{-1}\left( \{1\} \right)$ is open than to prove the continuity for the standard continuity, so "suffices" is a bit of a lie here.
A: I didn't read through the details of your argument, but the structure is correct,
and is the standard one.  The point is that, among locally compact groups, there are two extremes: Lie groups, which have no small subgroups, i.e. sufficiently small neighbourhoods of $1$ contain no non-trivial subgroup; and profinite groups, in which every neighbourhood of the identity contains an open subgroup.  As you observed in your argument, any continuous homomorphism between a profinite group and a Lie group then necessarily has finite image, because of their incompatible nature: "no small subgroups" vs. "arbitrarily small subgroups".
This type of consideration (whether or not a given group admits arbitrarily small non-trivial subgroups or not) is a standard one in the theory of locally compact groups.
