The eigenvalue map in question is
$\sigma: {\mathfrak gl}(\mathbb{C}, n) \to S\_n \backslash \mathbb{C}^n$,
from $n$ by $n$ complex matrices to $\mathbb{C}^n$ vectors modulo permutation of entries by $S\_n$, and is known to be *continuous*.


This map can be constructed by first considering the root map $\rho: \mathbb{C}^n \to S\_n \backslash \mathbb{C}^n$ of a monomial of degree $n$
$$
z^n + a\_{n-1}z^{n-1} + \ldots + a\_1 z + a\_0 = (z - \lambda\_1) \cdots (z - \lambda\_n)
$$
given by
$$
\rho(a\_0, a\_1, \ldots, a\_{n-1}) = [(\lambda\_1, \ldots, \lambda\_n)]
$$
which is known to be an *homemomorphism* with inverse given by Vieta's formulae ([see here, for example](https://www.jstor.org/stable/2045978)).
Now given $A \in {\mathfrak gl}(\mathbb{C}, n)$, the coefficients $(a\_0, a\_1, \ldots, a\_{n-1})$ of its characteristic polynomial $p\_A(z) = \det(A - zI)$ are *continuous* (indeed polynomial) functions on the entries of $A$. The eigenvalue map is then given by
$$
\sigma(A) = \rho(a\_0, a\_1, \ldots, a\_{n-1})
$$
so that it is continuous on $A$.


Is $\sigma$ an open map on $A$?


Besides being a natural question, a positive answer would have some nice applications. For example, when one proves that certain subset of matrices are open and dense when their eigenvalues satisfy some open and dense conditions (e.g. hyperbolic matrices, matrices with distinct eigenvalues, etc) one can use the continuity of $\sigma$ to prove openness but has to argue denseness in other ways, for example perturbing the matrices involved. If one could prove that $\sigma$ is an open map, one could use $\sigma$ all the way.


A negative answer by means of a counterexample would also be very instructive.



Is the eigenvalue map open?
Yes. Write $D(\lambda\_1, \ldots, \lambda\_n)$ as the diagonal matrix with diagonal entries $(\lambda\_1, \ldots, \lambda\_n)$.


Let $A$ be any complex $n \times n$ matrix. We can upper-triangularize $A$ as $A = S (D(\lambda\_1, \ldots, \lambda\_n)+N) S^{-1}$ where $N$ is upper triangular. Let $U$ be an open ball around $A$. We want to show that $\rho(U)$ contains an open ball $V$ around $(\lambda\_1, \ldots, \lambda\_n)$.


Indeed, we can choose $V$ small enough that $S (D(\mu\_1, \ldots, \mu\_n)+N) S^{-1}$ is in $U$ for all $(\mu\_1, \ldots, \mu\_n)$ in $V$. Then $\rho(U)$ contains $\rho(S (D(\mu\_1, \ldots, \mu\_n)+N) S^{-1}) = (\mu\_1, \ldots, \mu\_n)$ for all $(\mu\_1, \ldots, \mu\_n)$ in $V$, and $\rho(U)$ contains $V$, as desired.


