Vが実計量空間, f,g∈Vなら∥f∥∥g∥≥⟨f,g⟩.
∥f∥=0または∥g∥=0の時は自明. そうでないなら, 定数倍し∥f∥=∥g∥としてよい.このとき, 0≤⟨f−g,f−g⟩=2∥f∥∥g∥−2⟨f,g⟩より, ∥f∥∥g∥≥⟨f,g⟩.
複素でも⟨f,g⟩∈Rとなるように定数倍すれば回ります.本質的に判別式と一緒ではありますが、さすがにこっちのほうが素直だと思います
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。