>>299
非負で線形でエルミート対称性のあるV×V→Kのこと

>>300
非負独立で||aΨ||=|a|||Ψ||で劣加法性を満たすV→Rのこと

質問：複素ベクトル[a,b]から定義されるノルムは√|a|^2+|b|^2しかありえませんか？
yes or no ?