Matrix arithmetic and determinants
Matrices, order and multiplication 4.03
- Order: an matrix has rows and columns. Matrices of the same order add entry by entry.
- Identity matrix : ones on the leading diagonal, zeros elsewhere; .
- Zero matrix : every entry zero.
- is defined when the number of columns of equals the number of rows of ; an matrix times an matrix is .
- The entry in row , column of is row of multiplied term by term with column of , summed.
- Multiplication is associative, , and distributive, but not commutative: in general .
- Because order matters, , not .
- does not imply or : for example, . There is no cancelling of matrices without an inverse.
Determinants and what they measure 4.03
- .
- For a matrix, expand along the first row: for .
- .
- is the factor by which the transformation multiplies areas (in 2D) or volumes (in 3D). A negative determinant means orientation is reversed.
- The signs in the expansion follow the pattern ; expanding along a row or column with zeros saves work.
- Swapping two rows changes the sign of the determinant; a row of zeros, or two proportional rows, makes it zero.
- A matrix with is singular: it squashes the plane onto a line (or space onto a plane or line), so it cannot be undone.
Worked example
Worked example
Find for:
A solid of volume is transformed by .
Find the volume of its image.
Show worked solution
Expanding along the first row:
The image has volume .
Matrices as transformations
Transformations of the plane and of space 4.03
- A matrix maps the position vector to . Its columns are the images of the unit vectors: in 2D, column 1 and column 2.
- Rotation anticlockwise through about O: .
- Reflection in : .
- Enlargement scale factor : ; stretch parallel to the -axis: ; shear with the -axis fixed: .
- In 3D: rotations about the coordinate axes and reflections in the planes , , , , , .
- To find the matrix of a transformation, find the images of and (and ) and write them as the columns.
- To identify a matrix, look at what it does to the unit square, and check its determinant: for a rotation, for a reflection, for a shear.
- Every linear transformation fixes the origin. A translation is not linear and has no matrix of this kind.
- Shears and rotations have determinant 1: they move points but keep area.
Combining transformations 4.03
- The transformation followed by is : the matrix nearest the vector acts first.
- : to undo -then-, undo first.
- Two reflections in lines through O at angle to each other combine to a rotation through .
- The reversed order is the commonest error in the topic. Read from the right: first , then applied to the result.
- Since , the area scale factor of a combination is the product of the separate factors.
Invariant points and invariant lines 4.03
- Invariant point: a point with ; it is not moved.
- Invariant line: a line whose every point is mapped to a point on the same line (possibly a different point of it).
- Line of invariant points: a line every point of which is itself invariant.
- Invariant points: solve . If the two equations are the same line, that line is a line of invariant points.
- Invariant lines : take a general point , find its image (x',y'), and require y'=mx'+c for all . Equate coefficients of and the constant terms to find and .
- Invariant lines through O () are exactly the eigenvector directions of the matrix (next subtopic).
- A line of invariant points is always an invariant line, but an invariant line need not consist of invariant points: under the shear on the sheet, is invariant, yet each of its points slides along it.
Worked example
Worked example
Find the invariant lines through the origin of the transformation:
Show worked solution
A point maps to:
For the line to be invariant,
for all , so , giving:
and:
The invariant lines are:
and:
Inverse matrices and systems of equations
Inverse matrices 4.03
- Inverse: satisfies . It exists if and only if .
- .
- For : , where the adjugate is the transpose of the matrix of cofactors.
- .
- Cofactor of an entry: the determinant left after deleting that entry's row and column, with sign from the pattern.
- Form the matrix of cofactors, transpose it, divide by . Check by multiplying by : the result should be .
- Calculators find inverses, and in many questions that is expected; but a question that says "show" or involves an unknown needs the working.
- With an unknown entry, the matrix is singular for the values of that make ; the inverse exists for every other value.
Simultaneous equations and three planes 4.03
- Three linear equations in are . If , there is exactly one solution, , and the three planes meet at a single point.
- If , the system has either no solution (inconsistent) or infinitely many (consistent).
- When , eliminate one variable to obtain two equations in two unknowns. If they agree, the system is consistent: the planes form a sheaf meeting in a line (or two or three coincide). If they contradict each other, it is inconsistent.
- Then decide the geometry from the normal vectors (the rows of ): if no two normals are parallel, an inconsistent system is a prism; if two normals are parallel, two planes are parallel.
- The sheet shows the singular cases edge-on: when all three normals lie in one plane, so the three planes share a common direction, and looking along it each plane appears as a line.
- To describe a sheaf fully, find the common line: set and solve for and in terms of .
Worked examples
Worked example
Solve , , using the inverse matrix.
Show worked solution
has:
The cofactors give:
so:
So , , ; check: , , .
Worked example
The planes , and do not meet at a single point.
Find , and describe the arrangement of the planes when and when .
Show worked solution
The determinant is:
which is zero when .
With , the third left-hand side equals the sum of the first two, so the system is consistent only if .
When the planes form a sheaf, meeting in a common line.
When the system is inconsistent, and since no two normals , , are parallel, the planes form a prism.
Extension: eigenvalues and eigenvectors
Eigenvalues and eigenvectors Beyond 4.03
- Eigenvector of : a non-zero vector with for some scalar , its eigenvalue. The transformation only stretches (by factor ), without turning it.
- Eigenvalues are the roots of the characteristic equation .
- For a matrix: , where . So the eigenvalues sum to the trace and multiply to the determinant.
- If has eigenvectors with eigenvalues , then with and : and .
- Solve for each .
- For each eigenvalue, solve . The equations are dependent, so they give a direction; any non-zero multiple is an eigenvector.
- Beyond the OCR Pure Core: section 4.03 stops at invariant points and lines. Eigenvectors are included because an invariant line through the origin is exactly the direction of an eigenvector, so this is the natural next step, and it is useful for university mathematics.
- OCR's Pure Core does not require eigenvalues; it is included here because it explains invariant lines through the origin, which it does require: each such line is an eigenvector direction.
- A rotation through an angle other than or has no real eigenvalues: it turns every direction.
Worked example
Worked example
Find the eigenvalues and eigenvectors of:
and hence show that:
Show worked solution
gives or .
For : , so:
For : , so:
With:
and:
Check :
Per disputationem veritatem quaerimus