Suppose we have a linear isomorphism $T_{0}: \mathbb{R}^{n} \mapsto \mathbb{R}^{n}$, and $T_{\epsilon}$ is a small linear perturbation of it, i.e.
$$T_{\epsilon} = T_{0} + \epsilon T_{1} + O(\epsilon^{2}),$$
where $T_{1}$ is also linear isomorphism and $0< | \epsilon | <<1$. Does it follow that $T_{\epsilon}$ is also an isomorphism? If so, I am wondering is it possible to use an implicit function theorem for this, or can some result from perturbation theory of linear operators be used? (Note that this question comes from an earlier one: How do I set up Implicit Function Theorem to verify this function is a $C^{r}$ diffeomorphism?)
Thanks!
The answer is yes and it does not depend on $T_1$ being an isomorphism. The reason is that the map $$\mathcal{L}(\Bbb R^n\to\Bbb R^n)\to\Bbb R: T\mapsto \det(T)$$ is continuous, and the set of isomorphisms is the preimage of $\Bbb R\setminus \{0\}$ which is an open set, hence the set of isomorphisms is open itself.