Linear Algebra.

Jin Ho Kwak and Sungpyo Hong. Birkhäuser Verlag AG, P. B. No. 133, CH 4051, Basel, Switzerland. 1998. 369 pp. Price: SFr 48.

Linear algebra is a branch of algebra which deals with linear vector spaces, linear operators as well as linear, bilinear and quadratic functions. The results of linear algebra have found application in such diverse fields as optics, quantum mechanics, display addressing, electric circuits, cryptography, computer graphics, economics, linear programming, solution of systems of differential equations, etc. The manipulation of matrices and determinants plays a central role in all applications of linear algebra.

The development of linear algebra started some centuries ago with the need to understand the nature of the solution of algebraic equations. Rapid development took place from the seventeenth century onwards with the invention of the concept of a determinant. With Cramer’s rule and Gauss’ method for the solution of a system of linear algebraic equations, the first stage of development was over. The importance of using matrices in the solution of equations was realized only in the nineteenth century. The work of Frobenius and others on the matrix rank made it possible to decide on the uniqueness of the solution of a system of linear equations. Matrices can be rectangular or square. While the theory of matrices deals with the general case of rectangular matrices, the square matrices assume an important role in most applications. The following summary concentrates mainly on square matrices.

The concept of the linear vector space took shape towards the end of the nineteenth century and has dominated developments in the field of linear algebra during the twentieth century. Elements of a vector space are vectors. Quantitative attributes of vectors can be easily fixed using a basis of linearly independent vectors (coordinate system) to span the vector space. Every vector in the space can be resolved uniquely into components in terms of the vectors of a given basis. More than one basis can exist in a space. Different vectors have different components in a given basis while the same vector has different sets of components in different bases.

Vectors can be subjected to the action of abstract entities called linear operators or linear transformations. The action of a linear operator on a vector results in another vector belonging to the same space. The successive applications of an operator and its inverse leave a vector unchanged. A new basis with orthogonal basis vectors can be produced (Gram–Schmidt process) by subjecting the basis vectors of a non-orthogonal basis to the actions of a series of operators. The action of a linear operator on the basis vectors helps to define the matrix representation for that operator. Clearly, the matrix inverse represents the inverse operator. The matrix representation of an operator depends upon the basis chosen. All elements of a matrix may be non-zero and different from one another. Such a matrix is highly asymmetric. A matrix which has a more symmetric and simpler form (e.g. a matrix having non-zero elements only on the diagonal) is easier to use. One of the problems of linear algebra is to find a basis in which a given operator has the simplest possible matrix representation. The Jordan canonical form can be shown to be the simplest one to which the most general matrix can be reduced by the appropriate choice of basis.

Just as every human being has individuality, every matrix also has its own character. Unlike human nature, the character of a matrix can be quantitatively defined in terms of its eigenvalues and eigenvectors. The eigenvalues are calculated by solving the characteristic polynomial equation associated with the given matrix. Interestingly, every matrix satisfies its own characteristic equation (Hamilton–Cayley theorem)! A basis can be formed out of the linearly independent eigenvectors of a matrix. Referring a matrix to this basis reduces the matrix to its simplest, diagonal form with the eigenvalues forming the diagonal elements. A general quadratic form can be written in terms of a symmetric matrix and the vector of coefficients. The diagonalization of the symmetric matrix reduces the quadratic form to a sum of squares, making it possible to write down the inequalities satisfied by the different coefficients.

Most practical applications require the manipulation of matrices of high rank. This normally formidable task became especially simple with the advent of digital computers and the invention of computer languages such as Fortran. A vast branch of numerical analysis is today concerned with writing fast algorithms for matrix manipulations (calculation of determinant, inverse, eigenvalues, etc.) on both serial and parallel computers.

The first impression after reading the book by Kwak and Hong is favourable. The authors have set down their lecture notes on linear algebra in a systematic way, leading to a logical development of the subject. All the important theorems and results are discussed in terms of simple worked examples. The student’s understanding of a result is tested by problems at the end of each subsection. The applications of a particular theorem in other fields are discussed (unfortunately, a physicist will miss a reference to quantum mechanics!). Every chapter ends with a variety of exercises. This reviewer is especially happy that the authors have even typeset the manuscript of their book; it has been clearly a labour of love. There appear to be very few misprints and ambiguities. The book is certainly a valuable reference for an expert. But a novice is likely to find it difficult to use the book in its present form. Before recommending this book for general consumption, therefore, it seems appropriate to make a few suggestions.

Every theorem, lemma, corollary, definition, example, problem and exercise carries the same pattern of numbering in the form of a . b , where a is the chapter number and b an integer. The book is replete with recalls to earlier results. Locating a particular theorem or lemma in an earlier chapter becomes difficult owing to the overexuberant numbering that follows the same pattern for all entities. One way out of this difficulty would be for the authors to indicate the page number with every recall. A better solution would be to reduce the burden of results in each chapter and resort to renumbering of some entities. All problems can be regrouped at the end of the chapter. At the end of a section, the student can be directed to tackle the relevant problems. Definitions and examples can be identified by single numbers like b which start with one in each chapter. A corollary of theorem a .b can be tagged with a .b .g where g is an integer.

The index can be expanded to yield a more complete representation of the results. There are no references to other books. The authors employ nomenclature that is difficult to find in available books. For instance, the fundamental theorem of algebra is well known. Two fundamental theorems (of linear algebra) are not mentioned in other books. Is the Cayley–Hamilton theorem known as the Hamilton–Cayley theorem? The authors must check all nomenclature in their book to bring it in line with some standard reference, say, The Encyclopedia of Mathematics (Kluwer). If a theorem is known by a particular name in another work, a reference to that work will also be useful to the interested reader.

There are a few misprints (p. 25, p. 343) and ambiguities (p. 259, below definition 7.4). Some definitions are either assumed tacitly or not prominently set down (commutative diagram on p. 137; the ~symbol on p. 155).

U. D. KINI

Raman Research Institute,

C. V. Raman Avenue,

Sadashivanagar,

Bangalore 560 080, India