For the scalar product or dot product of spatial vectors, see
dot product. In
mathematics, an inner product space is a
vector space of arbitrary (possibly infinite) dimension with additional
structure, which, among other things, enables generalization of concepts from two or three-dimensional
Euclidean geometry. The additional structure associates to each pair of vectors in the space a number which is called the inner product (also called a
scalar product) of the vectors. Inner products allow the rigorous introduction of intuitive geometrical notions such as the
angle between vectors or
length of vectors in spaces of all dimensions. It also allows introduction of the concept of orthogonality between vectors. Inner product spaces generalize
Euclidean spaces (with the
dot product as the inner product) and are studied in
functional analysis.
See more at Wikipedia.org...
<
mathematics> In
linear algebra, any linear map from a
vector space to its
dual defines a product on the vector space: for u, v in V and linear g: V -> V' we have gu in V' so (gu): V -> scalars, whence (gu)(v) is a scalar, known as the inner product of u and v under g. If the value of this scalar is unchanged under interchange of u and v (i.e. (gu)(v) = (gv)(u)), we say the inner product, g, is symmetric. Attention is seldom paid to any other kind of inner product.
An inner product, g: V -> V', is said to be positive definite iff, for all non-zero v in V, (gv)v > 0; likewise negative definite iff all such (gv)v V' we have gu in V' so (gu): V -> scalars, whence (gu)(v) is a scalar, known as the inner product of u and v under g. If the value of this scalar is unchanged under interchange of u and v (i.e. (gu)(v) = (gv)(u)), we say the inner product, g, is symmetric. Attention is seldom paid to any other kind of inner product.
An inner product, g: V -> V', is said to be positive definite iff, for all non-zero v in V, (gv)v > 0; likewise negative definite iff all such (gv)v scalars, whence (gu)(v) is a scalar, known as the inner product of u and v under g. If the value of this scalar is unchanged under interchange of u and v (i.e. (gu)(v) = (gv)(u)), we say the inner product, g, is symmetric. Attention is seldom paid to any other kind of inner product.
An inner product, g: V -> V', is said to be positive definite iff, for all non-zero v in V, (gv)v > 0; likewise negative definite iff all such (gv)v V', is said to be positive definite iff, for all non-zero v in V, (gv)v > 0; likewise negative definite iff all such (gv)v 0; likewise negative definite iff all such (gv)v = 0; negative semi-definite or non-positive definite iff all such (gv)v = 0; negative semi-definite or non-positive definite iff all such (gv)v <= 0. Outside relativity, attention is seldom paid to any but positive definite inner products.
Where only one inner product enters into discussion, it is generally elided in favour of some piece of syntactic sugar, like a big dot between the two vectors, and practitioners don't take much effort to distinguish between vectors and their duals.
(1997-03-16)