>>220
R上のn次の行列全体ははn^2次元のベクトル空間とみなすことができて、
SLは連続写像det：GL→Rを考えるとき、Rの閉集合{1}の逆像になっている。

あとは自分で考えな。