References: edX online course MIT 8.05.1x Week 3.

Sheldon Axler (2015), *Linear Algebra Done Right*, 3rd edition, Springer. Chapter 1.

It appears that one of my stumbling blocks in trying to get to grips with quantum field theory is an insufficient understanding of linear algebra, so here we’ll start looking at this subject in a bit more depth than is typical in an introductory course. In my undergraduate physics degree (back in the 1970s) I didn’t really get any further with quantum theory than the level covered in Griffiths’s introductory textbook. As good as this book is, it doesn’t give you enough background to leap into quantum field theory.

The foundation of linear algebra is the concept of a *vector space*. The definition of a vector space is as follows:

- A vector space is a set with two operations, addition and scalar multiplication, defined on the set.
- The addition property is a function that assigns an element to each pair of elements . Note that this definition implies completeness, in the sense that every sum of two vectors in must also be in . This definition includes the traditional notion of vector addition in 2-d or 3-d space (that is, where a vector is represented by an arrow, and vector addition is performed by putting the tail of the second vector onto the head of the first and drawing the resulting vector as the sum), but vector addition is much more general than that.
- Scalar multiplication means that we can take an ordinary number from some field (in quantum theory, will always be either the set of real numbers or the set of complex numbers ) and define a function in which the vector obtained by multiplying an existing vector by gives another vector . Note that again, completeness is implied by this definition: every vector obtained through scalar multiplication must also be in the space .
- Addition is commutative, so that .
- Addition and scalar multiplication are associative, so that and , where and .
- There is an additive identity element such that for all . Note that here 0 is a vector, not a scalar. In practice, there is also a zero scalar number which is also denoted by 0, so we need to rely on the context to tell whether 0 refers to a vector or a number. Usually this isn’t too hard.
- Every vector has an additive inverse with the property that . The additive inverse of is written as and is defined to be .
- There is a (scalar) multiplicative identity number 1 with the property that for all .
- Scalar multiplication is distributive, in the sense that and for all and all .

** Real and complex vector spaces **

A *real vector space* is a vector space in which all the scalars are drawn from the set of real numbers , and a *complex vector space* is one where all the scalars are drawn from the set of complex numbers . It is important to note that we do not refer to the actual vectors as real or complex; they are simply vectors. The nature of the vector space is determined by the field from which the scalars are taken. This can be confusing to beginners, since the temptation is to look at some of the vectors in a vector space to see if they contain real or complex numbers and label the vector space based on that. That doesn’t always work, as the following example shows.

Example 1The set of complex hermitian matrices is areal(not complex!) vector space. Recall that a hermitian matrix is one whose complex conjugate transpose equals the original matrix, that is, .To see this, look at a general hermitian matrix, which has the form

where . Each matrix is a vector in this vector space. Note that with the general definition of a vector above, a matrix can be considered to be a vector. This illustrates that the notion of a vector as defined above is more general than a line with an arrow on one end.

With addition defined as the usual matrix addition, and scalar multiplication by a real number also defined in the usual way for a matrix, that is

we can grind through the requirements above to verify that this set is a vector space. For example, if we have two hermitian matrices and then is also hermitian. Also and so on.

However, if we had chosen a complex number as the scalar to multiply by, we’d get

Thus even though the vectors in this vector space contain complex numbers, the vector space to which they belong is a real vector space because the scalars used in scalar multiplication must be real.

Example 2The set of polynomials of degree is a vector space. Whether it is real or complex depends on which set of scalars we choose. A general polynomial of degree , where is an integer, isIf all the s are real and , then if we choose our scalars from we have a real vector space. Addition of polynomials follows the usual rule. If

then

from which it’s fairly obvious that is another polynomial of degree . Scalar multiplication also works as expected:

so that is also in the vector space. The additive inverse of above would be if for all .

Example 3The set of complex functions on a finite interval form a complex vector space. Addition and scalar multiplication are defined in the usual way as

We’ve seen such functions as solutions of the infinite square well in ordinary quantum mechanics.

There are several other properties of vector spaces which follow from the requirements above. We won’t go through all of them, but the proofs of a couple of the simpler ones are instructive as to how these sorts of results are derived. Note in the following that we need to verify each step by stating which of the above properties we’re using to justify that step.

Theorem 1The additive identity is unique.

*Proof:* Proof: (by contradiction). Suppose there are two distinct additive identities and . Then

Theorem 2The additive inverse of each vector in a vector space is unique.

*Proof:* Proof: (again by contradiction). Suppose has two different additive inverses and . Then

A few examples are given here.

Pingback: Subspaces and direct sums | Physics pages

Pingback: Vector spaces: span, linear independence and basis | Physics pages

Pingback: Linear operators & commutators | Physics pages

Pingback: Eigenvalues and eigenvectors | Physics pages

Pingback: Inner products and Hilbert spaces | Physics pages

Pingback: Orthonormal basis and orthogonal complement | Physics pages

Pingback: Linear functionals and adjoint operators | Physics pages

Pingback: Vector spaces & linear independence – some examples | Physics pages