Jump to content

Vector space/K/Inner product/Definition

From Wikiversity
Inner product

Let be a -vector space. An inner product on is a mapping

satisfying the following properties:

  1. We have

    for all , , and

    for all , .

  2. We have

    for all .

  3. We have for all , and if and only if holds.