Parentheses versus brackets

It becomes necessary now to straighten out the relation between general vector spaces and inner product spaces. The theorem of the preceding section shows that, as long as we are careful about complex conjugation, can completely take the place of . It might seem that it would have been desirable to develop the entire subject of general vector spaces in such a way that the concept of orthogonality in a unitary space becomes not merely an analogue but a special case of some previously studied general relation between vectors and functionals. One way, for example, of avoiding the unpleasantness of conjugation (or, rather, of shifting it to a less conspicuous position) would have been to define the dual space of a complex vector space as the set of conjugate linear functionals, that is, the set of numerically valued functions for which Because it seemed pointless (and contrary to common usage) to introduce this complication into the general theory, we chose instead the roundabout way that we just traveled. Since from now on we shall deal with inner product spaces only, we ask the reader mentally to revise all the preceding work by replacing, throughout, the bracket by the parenthesis . Let us examine the effect of this change on the theorems and definitions of the first two chapters.

The replacement of by is merely a change of notation; the new symbol is supposed to remind us that something new (namely, an inner product) has been added to . Of a little more interest is the (conjugate) isomorphism between and ; by means of it the theorems of Section: Dual bases , asserting the existence of linear functionals with various properties, may now be interpreted as asserting the existence of certain vectors in itself. Thus, for example, the existence of a dual basis to any given basis implies now the existence of a basis (of ) with the property that .

More exciting still is the implied replacement of the annihilator of a subspace ( lying in or ) by the orthogonal complement (lying, along with , in ). The most radical new development, however, concerns the adjoint of a linear transformation. Thus we may write the analogue of Section: Adjoints , (1), and corresponding to every linear transformation on we may define a linear transformation by writing for every . It follows from this definition that is again a linear transformation defined on the same vector space , but, because of the Hermitian symmetry of , the relation between and is not quite the same as the relation between and . The most notable difference is that (in a unitary space) (and not ). Associated with this phenomenon is the fact that if the matrix of , with respect to some fixed basis, is , then the matrix of , with respect to the dual basis, is not but . For determinants we do not have but , and, consequently, the proper values of are not the same as those of , but rather their conjugates. Here, however, the differences stop. All the other results of Section: Adjoints on the anti-isomorphic nature of the correspondence are valid; the identity is strictly true and does not need the help of an isomorphism to interpret it.

Presently we shall discuss linear transformations on inner product spaces and we shall see that the principal new feature that differentiates their study from the discussion of Chapter II is the possibility of comparing and as linear transformations on the same space, and of investigating those classes of linear transformations that bear a particularly simple relation to their adjoints.