Positive transformations

When is a complex number positive (that is, )? Two equally natural necessary and sufficient conditions are that may be written in the form with some real , or that may be written in the form with some (in general complex). Remembering also the fact that (at least for unitary spaces) the Hermitian character of a transformation can be described in terms of the inner products , we may consider any one of the three conditions below and attempt to use it as the definition of positiveness for transformations:

Before deciding which one of these three conditions to use as definition, we observe that (1) (2) (3). Indeed: if and , then , and if , then and It is actually true that (3) implies (1), so that the three conditions are equivalent, but we shall not be able to prove this until later. We adopt as our definition the third condition.

Definition 1. A linear transformation on an inner product space is positive , in symbols , if it is self-adjoint and if for all .

More generally, we shall write (or ) whenever . Although, of course, it is quite possible that the difference of two transformations that are not even self-adjoint turns out to be positive, we shall generally write inequalities for self-adjoint transformations only. Observe that for a complex inner product space a part of the definition of positiveness is superfluous; if for all , then, in particular, is real for all , and, by Theorem 4 of the preceding section, must be positive.

Positive transformations are usually called non-negative semidefinite . If and implies that , we shall say that is strictly positive; the usual term is positive definite . Since the Schwarz inequality implies that we see that if is a strictly positive transformation and if , then , so that, on a finite-dimensional inner product space, a strictly positive transformation is invertible. We shall see later that the converse is true; if and is invertible, then is strictly positive. It is sometimes convenient to indicate the fact that a transformation is strictly positive by writing ; if , we may also write (or ).

It is possible to give a matricial characterization of positive transformations; we shall postpone this discussion till later. In the meantime we shall have occasion to refer to positive matrices, meaning thereby Hermitian symmetric matrices (that is, ) with the property that for every sequence of scalars we have . (In the real case the bars may be omitted; in the complex case Hermitian symmetry follows from the other condition.) These conditions are clearly equivalent to the condition that be the matrix, with respect to some orthonormal coordinate system, of a positive transformation.

The algebraic rules for combining positive transformations are similar to those for self-adjoint transformations as far as sums, scalar multiples, and inverses are concerned; even Section: Self-adjoint transformations , Theorem 2, remains valid if we replace "self-adjoint" by "positive" throughout. It is also true that if and are positive, then a necessary and sufficient condition that (or ) be positive is that (that is, that and commute), but we shall have to postpone the proof of this statement for a while.

EXERCISES

Exercise 1. Under what conditions on a linear transformation does the function of two variables, whose value at and is , satisfy the conditions on an inner product?

Exercise 2. Which of the following matrices are positive?

Exercise 3. For which values of is the matrix positive?

Exercise 4.

If is self-adjoint, then is real.
If , then .

Exercise 5.

Give an example of a positive matrix some of whose entries are negative.
Give an example of a non-positive matrix all of whose entries are positive.

Exercise 6. A necessary and sufficient condition that a two-by-two matrix (considered as a linear transformation on ) be positive is that it be Hermitian symmetric (that is, that and be real and ) and that , , and .

Exercise 7. Associated with each sequence of vectors in an inner product space there is a -by- matrix (not a linear transformation) called the Gramian of and denoted by ; the element in the -th row and -th column of is the inner product . Prove that every Gramian is a positive matrix.

Exercise 8. If and are non-zero vectors (in a finite-dimensional inner product space), then a necessary and sufficient condition that there exist a positive transformation such that is that .

Exercise 9.

If the matrices and are considered as linear transformations on , and if is a Hermitian matrix (linear transformation on ) such that and , then where and are positive real numbers and .
If, moreover, , then . In modern terminology these facts together show that Hermitian matrices with the ordering induced by the notion of positiveness do not form a lattice . In the real case, if the matrix is interpreted as the point in three-dimensional space, the ordering and its non-lattice character take on an amusing geometric aspect.

EXERCISES

Quick Links

Social Media