设且P∈R^n×n非奇异，又设║x║为Rⁿ上一向量范数，定义║x║_p=║Px║。试证明║x║_p是Rⁿ上的一种向量范数。