Densité $GL_n(\mathbb{K})$ dans $M_n(\mathbb{K})$.

Soit $A\in M_n(\mathbb{K})$.

Le nombre de valeurs propres de $A$ est fini. Ainsi, pour $k$ suffisamment grand,
$$\frac{1}{k}\notin \operatorname{Sp}(A).$$

Il existe donc $k_0\in\mathbb{N}$ tel que, pour tout $k\geq k_0$,
$$\frac{1}{k}\notin\operatorname{Sp}(A).$$

Par conséquent,
$$\det\left(A-\frac{1}{k}I_n\right)\neq0,$$et donc
$$u_k=A-\frac{1}{k}I_n\in GL_n(\mathbb{K}) \qquad\text{pour tout }k\geq k_0.$$

Or,
$$\lim_{k\to+\infty}u_k =\lim_{k\to+\infty}\left(A-\frac{1}{k}I_n\right) =A.$$

Ainsi, toute matrice $A\in M_n(\mathbb{K})$ est limite d’une suite de matrices inversibles (à partur d’un certain rang).

On en déduit que
$$\boxed{GL_n(\mathbb{K})\text{ est dense dans }M_n(\mathbb{K}).}$$