nLab inner product space

Redirected from "inner product".
Inner product spaces

Inner product spaces

Idea

An inner product on a vector space VV (also “scalar product” in the sense of: with values in “scalars”, namely in the ground field 𝕂\mathbb{K}) is a pairing -,-\langle\text{-},\text{-}\rangle of vectors to scalars

v 1,v 2Vv 1,v 2𝕂 v_1,\, v_2 \,\in\, V \;\;\;\;\;\;\;\;\; \vdash \;\;\;\;\;\;\;\;\; \langle v_1,\, v_2 \rangle \,\in\, \mathbb{K}

which is bilinear or rather – namely if 𝕂\mathbb{K} is understood with a star-involution (such as the complex numbers under complex conjugation) – sesquilinear, in which case one also speaks of a Hermitian inner product, for definiteness.

Often one requires such a pairing to be non-degenerate or even positive-definite in order to qualify as an inner product, standard conventions depend on context.

For example, the (Hermitian) inner product on a Hilbert space is required to be positive definite, as is that on tangent spaces in Riemannian geometry, but the inner product on tangent spaces in pseudo-Riemannian geometry is only required to be non-degenerate.

The group of automorphisms of an inner product space is the orthogonal group of an inner product space.

Definitions

Let VV be a vector space over the field (or more generally a ring) 𝕂\mathbb{K}. Suppose that 𝕂\mathbb{K} is equipped with an involution rr¯r \mapsto \overline{r}, called conjugation; in many examples, this will simply be the identity function, but not always (for the complex numbers one typically consider the involution by complex conjugation).

Then a (Hermitian) inner product on VV is a function

-,-:V×Vk \langle\text{-},\, \text{-}\rangle \;\colon\; V \times V \to k

that is (1–3) sesquilinear (or bilinear when the involution is the identity) and (4) conjugate-symmetric (or symmetric when the involution is the identity). That is:

  1. 0,x=0 \langle 0, x \rangle = 0 and x,0=0 \langle x, 0 \rangle = 0 ;
  2. x+y,z=x,z+y,z \langle x + y, z \rangle = \langle x, z \rangle + \langle y, z \rangle and x,y+z=x,y+x,z \langle x, y + z \rangle = \langle x, y \rangle + \langle x, z \rangle ;
  3. cx,y=c¯x,y \langle c x, y \rangle = \bar{c} \langle x, y \rangle and x,cy=x,yc\langle x, c y \rangle = \langle x, y \rangle c;
  4. x,y=y,x¯ \langle x, y \rangle = \overline{\langle y, x \rangle} .

Here we use the physicist's convention that the inner product is antilinear (= conjugate-linear) in the first variable rather than in the second, rather than the mathematician's convention, which is the reverse.

Note that we use the same ring as values of the inner product as for scalars, and that x,cy=x,yc\langle x, c y \rangle = \langle x, y \rangle c is written with cc on the right for the case that we deal with noncommutative division ring.

Are the two conventions really equivalent when kk is noncommutative? —Toby

(The axiom list above is rather redundant. First of all, (1) follows from (3) by setting c=0c = 0; besides that, (1–3) come in pairs, only one of which is needed, since each half follows from the other using (4). It is even possible to derive (3) from (2) under some circumstances.)

An inner product space is simply a vector space equipped with an inner product.

We define a function 2:Vk{\|{-}\|^2}\colon V \to k by x 2=x,x{\|x\|^2} = \langle x, x \rangle; this is called the norm of xx. As the notation suggests, it is common to take the norm of xx to be the square root of this expression in contexts where that makes sense, but for us 2{\|{-}\|^2} is an atomic symbol. The norm of xx is real in that it equals its own conjugate, by (4).

Definiteness

Notice that, by (1), 0,y=0\langle 0, y \rangle = 0 for all yy. In fact, the subset {x|y,x,y=0}\{ x \;|\; \forall y,\; \langle x, y \rangle = 0 \} is a linear subspace of VV. Of course, we also have 0 2=0{\|0\|^2} = 0, but {x|x 2=0}\{ x \;|\; {\|x\|^2} = 0 \} may not be a subspace. These observations motivate some possible conditions on the inner product:

  • The inner product is semidefinite if {x|x 2=0}\{ x \;|\; {\|x\|^2} = 0 \} is closed under addition (and hence is a subspace); it's indefinite if there are xx and yy with x 2=0{\|x\|^2} = 0 and y 2=0{\|y\|^2} = 0 but x+y 20{\|x + y\|^2} \ne 0.
  • The inner product is nondegenerate if x=0x = 0 whenever x,y=0\langle x, y \rangle = 0 for all yy; it's degenerate if there is xx with x0x \ne 0 but x,y=0\langle x, y \rangle = 0 for all yy.
  • The inner product is definite if x=0x = 0 whenever x 2=0{\|x\|^2} = 0; there ought to be a term for the condition that there is some x0x \ne 0 with x 2=0{\|x\|^2} = 0, so let's call it nondefinite.

(In constructive mathematics, we usually want an inequality relation relative to which the vector-space operations and the inner product are strongly extensional, to make sense of the conditions with \ne in them. We can also use contrapositives to put \ne in the other conditions, which makes them stronger if the inequality relation is tight.)

An inner product is definite iff it's both semidefinite and nondegenerate. Semidefinite inner products behave very much like definite ones; you can mod out by the elements with norm 00 to get a quotient space with a definite inner product. In a similar way, every inner product space has a nondegenerate quotient.

Now suppose that kk is equipped with a partial order. (Note that the complex numbers are standardly so equipped, with aba \leq b iff bab - a is a nonnegative real.) Then we can consider other conditions on the inner product:

  • The inner product is positive semidefinite, or simply positive, if x 20{\|x\|^2} \geq 0 always.
  • The inner product is positive definite if it is both positive and definite, in other words if x 2>0{\|x\|^2} \gt 0 whenever x0x \ne 0.
  • The inner product is negative semidefinite, or simply negative, if x 20{\|x\|^2} \leq 0 always.
  • The inner product is negative definite if it is both positive and definite, in other words if x 2<0{\|x\|^2} \lt 0 whenever x0x \ne 0.

In this case, we have these theorems:

  • A positive or negative inner product really is semidefinite (as the terminology implies).
  • Conversely, a semidefinite inner product is either positive or negative, at least if we use classical logic. (In constructive mathematics, we can say that a semidefinite inner product is either positive or negative, indeed is positive xor negative, as long as it is nonzero in the sense that at least some x,y\lang{x,y}\rang is apart from zero. And of course, the zero inner product is the only one that is both positive and negative.)
  • Hence, a definite inner product is either positive or negative definite. (We can strengthen this to ‘xor’ and state it constructively if we assume that VV is nonzero in that there exists xx with x0x \ne 0.)
  • Conversely, an inner product is indefinite if and only if some norms are positive and some are negative. (No constructive caveats here!)

Negative (semi)definite inner products behave very much like positive (semi)definite ones; you can turn one into the other by multiplying all inner products by 1-1.

The study of positive definite inner product spaces (hence essentially of all semidefinite inner product spaces over partially ordered fields) is essentially the study of Hilbert spaces. (For Hilbert spaces, one usually uses a topological field, typically \mathbb{C}, and requires a completeness condition, but this does not effect the algebraic properties much.) The study of indefinite inner product spaces is very different; see the English Wikipedia article on Krein space?s for some of it.

All of this definiteness terminology may now be applied to an operator TT on VV, since (x,y)x,Ty(x, y) \mapsto \langle{x, T y}\rangle is another inner product (on domT\dom T, if necessary). See positive operator.

Examples

References

Original discussion of Hermitian inner products in the context of defining Hilbert spaces (as mathematical foundations of quantum mechanics):

Textbook accounts in the context of operator algebra:

Discussion of plain inner products (without star-involution) in terms of self-dual objects in suitable symmetric monoidal categories:

  • Peter Selinger, Autonomous categories in which AA *A \simeq A^\ast, talk at QPL 2012 (pdf)

Last revised on May 20, 2024 at 08:08:11. See the history of this page for a list of all contributions to it.