同一集合在不同数域下构成的线性空间必有相同的维数