第i列有i个自由度,所以维数就是1+2+...+n=n(n+1)/2
正式一点讲,恰好有一个元素为1,其余元素为0的上三角矩阵构成空间的一组基,这样的矩阵有n(n+1)/2个