维数公式推广至多个子空间