Ciro Santilli @cirosantilli 34

The definition of the "dot product" of a general space varies quite a lot with different contexts.

Most definitions tend to be bilinear forms.

We use the unqualified generally refers to the dot product of Real coordinate spaces, which is a positive definite symmetric bilinear form. Other important examples include:The rest of this section is about the ${\mathbb{R}}^n$ case.

The positive definite part of the definition likely comes in because we are so familiar with metric spaces, which requires a positive norm in the norm induced by an inner product.

The default Euclidean space definition, we use the matrix representation of a symmetric bilinear form as the identity matrix, e.g. in ${\mathbb{R}}^3$:so that:

${\mathbb{R}}^n$ with extra structure added to make it into a metric space.

TODO examples:

${\mathbb{R}}^4$ with a weird dot product-like operation called the Minkowski inner product.

Because the Minkowski inner product product is not positive definite, the norm induced by an inner product is a norm, and the space is not a metric space strictly speaking.

The name given to this type of space is a pseudometric space.

Metric space but where the distance between two distinct points can be zero.

Notable example: Minkowski space.