< ρℝεν    ℂσητεητs    ℕεχτ > 
“All matter originates and exists only by virtue of a force… We must assume behind this force the existence of a conscious and intelligent Mind. This Mind is the matrix of all matter.”
– Max Planck 
After Chapter 15 and Chapter 16 we hopefully have a reasonable sense of Vector Spaces. Earlier, in Chapter 5 and Chapter 6, we introduced matrices and the concept has permeated much of what we have looked at since ^{[1]}.
Before plunging into the next part of the book, which begins with Chapter 18 and relates to Lie Algebras and Lie Groups, I am going to pause to develop some more apparatus pertaining to matrices. These are properties which we will reuse later as we begin to talk a bit more about both Lie Groups and Lie Algebras and their pertinence to Particle Physics. These concepts may at first seem of limited relevance, but – as well as being fundamental in Mathematics – they provide one link between how matrices represent certain aspects of particles and physically measurable quantities; something we touch on here and develop further later.
However, I’m going to start by looking at something that – at first sight – probably appears a world away from Particle Physics, some specific combinations of matrices and vectors and what happens when we multiply them.
More Marvellous Matrix Multiplications
In passing we have mentioned that matrices may act on vectors, by which we mean multiplication. Rather than defining something new, if we simply think of a vector as being represented by an n × 1 matrix, where n is the dimension of the Vector Space, then our vector would look like:
and we are simply in the familiar realm of matrix multiplication. We could premultiply an n × 1 matrix by any m × n matrix or postmultiply it by any 1 × p matrix ^{[2]}. Here we are going to specifically focus on premultiplying by square n × n matrices.
If we start, as we generally do, with the simplest case n = 2 ^{[3]}, then we will be talking about multiplying vectors with two elements by 2 × 2 matrices. Rather than worrying about abstract Vector Spaces, let’s just consider 2D Euclidean space with an x and a yaxis. Then all our numbers are Real and the operation we are considering is:
Which we can write as:
Mv = v′
Where M is the 2 × 2 matrix with entries {a, b, c, d}, v is the vector (v_{x}, v_{y}) and v′ is the result of the multiplication, ie. v′ = (av_{x} + bv_{y}, cv_{x} + dv_{y})
Let us consider what happens to a specific vector when multiplied by a specific matrix. For example if M is the Identity Matrix, I, then v = v′, for all v. Equally if M is 2 times the Identity Matrix, then 2v = v′, for all v.
However, more generally, depending on the attributes of the matrix, M, and the attributes of the vector, v, the resulting vector v′ might have a whole range of properties. Importantly, some vectors might be radically altered by a matrix, whereas others may remain constant, or change in a more limited manner.
If we consider a matrix, which carries out a reflection in the yaxis when premultiplied, then we may recall from Chapter 6 that this looks like:
If we consider a specific vector, (0, 1), we can see that:
I.e. multiplication by our reflection matrix results in no change to this vector. A moment′s thought will lead us to the conclusion that the same holds for any vector (0, v_{y}). Such vectors are identical to (0, 1) save for multiplication by some scalar.
Let′s instead consider a different matrix as follows:
Rather than looking at its action on a single vector, let’s consider three vectors, (1, 0), (1, 1) and (0, 1), which, together with the origin, form the vertices of a square as below:
Our latest matrix acts on these vectors as follows:
Which means our diagram is transformed to become:
This has obviously skewed the square to the right. However, it may be noted that while vectors (1, 1) and (0, 1) have both been changed, the vector (1, 0) has been undisturbed by the transformation.
Let’s consider one further extension of this before moving on to some general definitions. This is the matrix:
Again let’s see what this does to the same square we started with beforehand:
This transforms our starting square into the following shape:
Here we have a skew in both the vertical and horizontal directions, the square has grown and (noting that the red vector is now at the top and the purple one at the bottom) also flipped over. This is quite a dramatic change and none of our original vectors have been left unscathed. However we may note that (1, 1) has been stretched into (3, 3) but it is only its magnitude that has changed, not its direction.
It seems in each of our examples that we could find a vector that was either unchanged by the specific matrix multiplication, or that was only changed by a scalar factor. For a given matrix, such special vectors are know as Eigenvectors and the scalar factors are know as Eigenvalues. The German word eigen means “own”, so these terms can be thought of as a matrix’s own vectors and values, the ones particular to this matrix. Having given at least a flavour of what these concepts mean, let’s proceed to define them more rigorously and to extend the concept to n × n matrices.
Establishing Ownership
Here I’m going to elide details about Vector Spaces and the like and focus on the essentials.
For an n × n matrix, M, a nonzero vector, v, and a possibly zero scalar, λ, are said to be an eigenvector and eigenvalue of M respectively if:
Mv = λv
That is if multiplying the vector by the matrix has the same effect as multiplying it by a scalar, leaving its main characteristic (its direction) unchanged; or possibly reversed if the scalar is negative.
We can rearrange the above to note that this is the same as requiring that:
Mv – λv = 0
or
(M – λI)v = 0
Where I is the n × n identity matrix.
In the definition, we said that it was a requirement that v cannot be zero, so let’s focus on (M – λI). To save us some complexities, let’s call this matrix A, so:
Av = 0
What happens if we assume that A is invertible? Then there exists a nonzero A^{1} such that AA^{1} = A^{1}A = I. If we multiply both sides of our equation by A^{1}, we get:
A^{1}Av = A^{1}0 = 0
As anything times the zero matrix is the zero matrix. Then:
Iv = v = 0
Which is a contradiction.
We therefore conclude that A cannot be invertible, which is precisely equivalent to stating that the determinant of A must be zero, so we can write our eigenvector / value requirement as:
det(M – λI) = 0
To date I have rather steadfastly refused to give a generic definition of a determinant, one that holds for matrices bigger than n × n ^{[4]}. I’m not going to change my approach here and will instead state that, for an n × n matrix, M, det(M – λI) = 0 may be rewritten as a polynomial of degree n in λ. That is:
a_{n}λ^{n} + a_{n1}λ^{n1} + … + a_{1}λ + a_{0} = 0
Such an equation is known as the Characteristic Polynomial of the matrix.
From our work with polynomials in Chapter 11, we know that a polynomial of degree n has precisely n roots (some of which may of course be repeats of each other). If we label these roots λ_{1}, λ_{2}, … , λ_{n}, then we can rewrite our Characteristic Polynomial as:
(λ – λ_{1})(λ – λ_{2}) … (λ – λ_{n}) = 0
The λ_{i} are the eigenvalues of M and we have just shown that an n × n matrix has n of them (again possibly with some repeats). Given that we are dealing with a polynomial, Chapter 11 will also bring to mind that – even if all of our matrix entries are Real and thus all coefficients in our polynomial are also real – some of our eigenvalues may be complex.

Let’s work through the process of determining eigenvalues and eigenvectors for the matrix we last used starting with the determinant of M – λI being zero:
Recalling that the determinant of a 2 × 2 matrix ^{[5]} with entries {a, b, c, d} is simply equal to ad – bc, we have:
(1 – λ)(1 – λ) – 4 = 0
Which we can rearrange as:
λ^{2} – 2λ – 3 = 0
Which factors as:
(λ + 1)(λ – 3) = 0
Which of course has two roots, λ = – 1 and λ = 3.
These two roots are our eigenvalues. What about the eigenvectors? Let’s plug our values for λ back into the equation:
When λ = 1 we have:
x + 2y = – x
2x + y = – y
Both of which simply tell us that x = – y.
So as long as our two vector entries preserve this property, it doesn’t matter if we pick (1, 1), (10, – 10) or ( ^{3}√(π^{e} – 5)/42^{2}, – ^{3}√(π^{e} – 5)/42^{2} ), they will all work, being scalar multiples of each other. If the direction of a vector is not changed by matrix multiplication, then the direction of any scalar multiple of it will also not be changed.
In general there is not a unique eigenvector for an eigenvalue, but instead a unique direction. We tend to pick a vector that makes sense, here (1, – 1) is the obvious choice.
When λ = 3 we have:
x + 2y = 3x
2x + y = 3y
Both of which simply tell us that x = y.
So we can pick as our second eigenvector (1, 1), which is the blue vector we saw was broadly unchanged in our diagram above.
Let’s just double check that our logic has been sound, by multiplying each of these eigenvectors by our matrix as follows:
So we did our sums right, which is always comforting!

Perhaps labouring a point, I mentioned above that if v is an eigenvector then so is λv where λ is a scalar. Let’s just demonstrate this explicitly by considering multiples of our two eigenvectors (1, – 1) and (1, 1). Let’s multiply the former by – 8 and the latter by 13; two numbers selected entirely at random. This gives us two other vectors, ( 8, 8) and (13, 13), then we have:
Which demonstrates the point nicely. Everything that we have noted above about eigenvectors and eigenvalues for 2 × 2 matrices, scales up ^{[6]} to n × n ones as well.
Eigenlob für Eigenvalues ^{[7]}
Before closing this Chapter, it is worth catalouging some further properties of eigenvectors and eigenvalues; a couple of which we will rely upon in later work. I will prove some of the results, I will state some without proof and for some I will just provide a broad indication of a proof. Here I have adopted the standard Indiana Jones / Harry Potter nomenclature.
Eigenvalues and the Inverse of a matrix
If we take the canonical definition of eigenvectors and eigenvalues for a matrix, M, and further assume that M is invertible, so there exists, M^{1} such that MM^{1} = M^{1}M = I, then we can see that:
Mv = λv
Multiply both sides by M^{1}:
M^{1}Mv = λM^{1}v
So:
v = λM^{1}v
Which we can rearrange as:
(1/λ)v = M^{1}v
Which implies that v is also an eigenvector of M^{1} with eigenvalue 1/λ.
In general, if the eigenvalues of an n × n invertible matrix, M, are λ_{1}, λ_{2}, …, λ_{n}, then the eigenvalues of M^{1} are 1/λ_{1}, 1/λ_{2}, …, 1/λ_{n}.
Eigenvalues and the Transpose of a matrix
If we use our previous notation of M^{T} for the transpose of a matrix, M ^{[8]}, then:
It can be shown that det(M) = det(M^{T}) ^{[9]} and it is also easy to see that (M + N)^{T} = M^{T} + N^{T}.
Then, for a matrix, M, the Characteristic Polynomial of its transpose, M^{T}, is given by:
det(M^{T} – λI) = 0
We can easily see that (λI)^{T} = λI, which holds for any purely diagonal matrix. Then, using the second property above, we have:
M^{T} – λI = M^{T} – (λI)^{T} = (M – λI)^{T}
so:
det(M^{T} – λI) = det[(M – λI)^{T}]
Using the first property:
det[(M – λI)^{T}] = det(M – λI)
So M and M^{T} have the same Characteristic Polynomial and therefore the same eigenvalues.
In general a matrix and its transpose have the same eigenvalues.
Eigenvalues and the Conjugate Transpose of a matrix
We will recall that M^{H} is the notation used for the conjugate transpose of M ^{[10]}, then:
Again it may be shown that that det(M^{H}) = det(M) ^{[11]} and, as with transposes, it is also easy to see that (M + N)^{H} = M^{H} + N^{H}.
Then, for a matrix, M, the Characteristic Polynomial of its, conjugate transpose, M^{H} is given by:
det(M^{H} – λI) = 0
Again it is straightforward to note that (λI)^{H} = λ I and symmetrically that (λI)^{H} = λI so:
M^{H} – λI = M^{H} – (λI)^{H}
Which by our second property means that:
M^{H} – (λI)^{H} = (M – λI)^{H}
So:
det(M^{H} – λI) = det[(M – λI)^{H}]
By our first property we can then note that:
det[(M – λI)^{H}] = det(M – λI)
Which is clearly the Characteristic Polynomial of M, but with the eigenvalues transformed to their complex conjugates.
In general the eigenvalues of the conjugate transpose of a matrix are the conjugates of the eigenvalues of the original matrix.
Eigenvalues and the Determinant of a matrix
We used the determinant to help us find the n eigenvalues λ_{1}, λ_{1}, … , λ_{n} of an n × n matrix, M. This works the other way round as well, in particular:
det(M) = λ_{1}λ_{1} … λ_{n}
So a matrix’s determinant is also the product of its eigenvalues.
As a matrix is invertible if an only if its determinant is nonzero, the above result implies that a matrix is invertible if and only if it has no zero eigenvalues.
Eigenvalues and the Trace of a matrix
In the next Chapter, we will meet another property of a square matrix, its trace. The trace of a matrix is the sum of the entries on its major diagonal, the one running from top left to bottom right. If we know the eigenvalues of a matrix, M, then we can calculate its trace as follows:
tr(M) = λ_{1} + λ_{1} + … + λ_{n}
So a matrix’s trace is also the sum of its eigenvalues.

Eigenvalues and the Hermitian matrices
Hermitian Matrices are ones whose conjugate transpose is the matrix itself, i.e. M^{H} = M.
From a result above, if an eigenvalue of a Hermitian matrix, M, is λ, then the corresponding eigenvalue of its conjugate transpose, M^{H}, is λ’s complex conjugate, λ. But M^{H} = M and so, the eigenvalues of M^{H} must be the same as those of M. The only way that a Complex Number and its complex conjugate can be equal is if the number is Real (i.e. it has no imaginary component).
So, while the eigenvalues of a Matrix may in general be Complex, eigenvalues of Hermitian matrices must all be Real. This is an important result because the eigenvalues of certain matrices used in Physics correspond to physical values such as energy (see the Note box below).

Eigenvalues and the Unitary matrices
Back in Chapter 13 we met Unitary matrices (which form Unitary Groups). The conjugate transpose of such a matrix, M, is its inverse. So M^{H}M = I. What can we say about the eigenvalues of such matrices?
Well if λ is a eigenvalue of a Unitary matrix, M, then we showed above that corresponding eigenvalue of its conjugate transpose, M^{H}, is λ’s complex conjugate, λ. But M^{H} = M^{1} and again above we showed that the corresponding eigenvalue of M^{1} is 1/λ.
This means that:
λ = 1/λ
Which we can rearrange to give:
λ λ = 1
From Chapter 14 we can recall that for any complex number, z, we have:
z z = z^{2}
So this means that λ must have an absolute size of 1.
In general this means that all eigenvalues of a Unitary matrix fall in the unit circle on the Complex Plane; which is of course all Complex numbers whose absolute size is equal to 1.
Given what we have trailed as the role of Unitary (and Special Unitary) Groups in Particle Physics. This result is also of nonMathematical interest because it means that multiplying a vector by Unitary matrices preserves certain aspects of measurements of distance ^{[14]}.
So we have spent some time defining eigenvectors and eigenvalues and exploring their sometimes surprising and often beautiful properties. As hinted in the text above, we will return to the subject of eigenvectors and eigenvalues later in this book. However, it is now time to return to our primary objective in studying Vector Spaces, to define and better understand Lie Algebras and, by this, Lie Groups. It is to this task that we turn our attention in the next four Chapters, which commence with Chapter 18.

< ρℝεν    ℂσητεητs    ℕεχτ > 
Chapter 17 – Notes
^{ [1]}  A hint, this is most likely going to continue to be the case going forwards, so probably worth getting used to the idea! 
^{ [2]}  Where by “multiply” we mean standard matrix multiplication. 
^{ [3]}  Recalling that n = 1 relates to numbers themselves, rather than tables of multiple numbers, and so is a trivial case. 
^{ [4]}  Though such a definition does appear in the banner image at the start of Chapter 14 and is repeated below: 
^{ [5]}  Which I did deign to define back in Chapter 5. 
^{ [6]}  No pun intended. 
^{ [7]}  Eigenlob is selfpraise in German. As in the adage Eigenlob stinkt, which may be translated idiomatically as “Don’t blow your own horn”, or literally as “Selfpraise stinks”. 
^{ [8]}  If the entries of our original matrix, M, are {a_{ij}}, where ≤ i, j ≤ n, then the entries in the transpose of M, M^{T}, are {a_{ji}}. That is the matrix entries are swapped across the leading diagonal, which remains unchanged itself. 
^{ [9]}  The formula for a determinant provided in Note 4 above provides a clue here. It can be seen that transposing the elements of a matrix simply changes the order of terms in the determinant formula without changing the overall sum. I.e. A + B + C + D = A + D + C + B. 
^{ [10]}  First recall that the complex conjugate of a complex number a + ib is denoted by a bar and that then a + ib = a – ib. To create the conjugate transpose of a matrix, M, we take the complex conjugate of all entries of M, creating the conjugate matrix, M, and then form the transpose of M (or vice versa as the order in which the operations are performed is immaterial). So M^{H} = M^{T}. Again, if the original matrix, M, has entries {a_{ij}}, where 1 ≤ i, j ≤ n, then its conjugate transpose, M^{H}, has entries {a_{ji}}. 
^{ [11]}  As with Note 8 above, we can see that the complex conjugate of the overall expression for the determinant will be the complex conjugate of the individual terms because of helpful results like:

^{ [12]}  Please recall that this is a Mathematics book, not a Physics one. 
^{ [13]}  It’s actually a Linear Operator, but the concepts are very closely related and Quantum Mechanics can be stated in matrix form. For Linear Operators, the analogue of an eigenvector is an eigenfunction (actually a specialised type of eigenvector), but eigenvalues retain the same name and both are defined and act in an identical manner as for matrices. 
^{ [14]}  Using a more generalised and technical definition of distance that we won’t meet until Chapter 22. 
Text: © Peter James Thomas 201617. 
You must be logged in to post a comment.