対角化可能な行列は稠密

複素係数の正方行列の空間の中で対角化可能なものは第二類集合になることを示します．

実係数の場合は，n=2の時，対角化可能なものは稠密になりません．

他のnについてはめんどくさいので考えてませんが，まあ稠密にはならないんじゃないかと思います．

PDFはこちら

www.dropbox.com