もしかするとすごく単純なことなのかもしれませんが、一般化された内積の三番目の定義からどのようにしてシュバルツの不等式が導かれるのでしょうか。
シュヴァルツの不等式から角度の概念が導入できるというのはとても面白い話です!