佐武一郎著『線型代数学』

任意の n 次正方行列 A, B に対し、 A*B と B*A の固有多項式が同じであることを証明しています。

「任意の n 次行列 B に対し、 lim_{ν→∞} B_ν = B となるような n 次正則行列の’列’が存在する。（n 次正方行列全体の集合を n^2 次元Euclid空間と考えたとき、行列式が 0 になる行列全体はその (n^2 - 1) 次元の‘超曲面‘を作る。よってそれが B の近傍をうめつくすことはない。」

と書いていますが、この超曲面というのは多様体論とかを勉強しないと分かりませんか？

det は n 変数の多項式関数なので連続関数です。ですので、 B が正則行列であるならば、そのある近傍に属する行列はすべて正則行列になります。
B が正則行列でない場合を考えます。
B がゼロ行列ならば、 B の任意の近傍に ε * I_n （ε ≠ 0）という形にかける正則行列が存在します。
B がゼロ行列でなくかつ正則行列でもない場合にはどうするか？という話になると思います。
B の階数を考えてみましたが、どうすればいいかはぱっと思いつきません。