向量的模是一个正实数吗?