というか「稠密開」という概念が実はすきまだらけなものも含む、
ということを示してるだけなのでは？例えばM(n, R)にR^2nのルベ
ーグ測度を入れたとき、M(n, R)の中のGL(n, R)はどんな感じなん
だろう？こっちはちゃんと+∞になる？