V是一个n维线性空间 W是V的一个r维子空间 则V/W 为 n-r 维空间。<ref>[https://baike.so.com/doc/5984341-6197307.html 商空间]搜狗</ref>

=='''参考文献'''==