複素3×3行列Aが正値である事(<Ax,x>>0 for 0≠∀x∈C^3)を示すには
<Ax,x>>0 for 0≠∀x∈C^3×C^3×C^2 という外積の空間
となる事を示せばいいそうですがこれはどうしてなのでしょうか?