设V是数域F上n阶上三角阵所成的集合,证明:在矩阵的加法及数乘下V是线性空间