>>546
区分求積法のように極限を取ればそうなるわけだけど
そういうイメージとかはどうでもよくて

ベクトル空間上の内積の定義を満たすからというだけだよ。
理屈も何も定義を満たすだけだから定義をチェックしてみたら。