Learning goals and preparation
We assume Chapter 1's equations and Chapter 2's coordinate geometry. This chapter organizes several quantities at once. You will calculate vector totals and weighted values, multiply and transpose matrices, solve simultaneous equations by reversible operations, and use determinants without confusing algebraic uniqueness with model feasibility.
3.1 Vectors record several quantities
A vector is an ordered list, usually written as a column. If records quantities of two goods and their prices per unit, total value is the dot product . Components have meanings; exchanging them changes the recorded object unless the interpretation is exchanged too.
Worked example 1: aggregate baskets. Let baskets be , , and prices . Two copies of the first and one of the second give , with value . Linearity also gives . Prices are fixed in this calculation; if they changed with quantity, valuation would not generally remain linear.
For compatible coordinate units, is Euclidean length and means . Different economic units should not be silently treated as interchangeable geometric lengths. Rescaling one variable changes distances even when the underlying recorded situation is the same.
A vector is a linear combination of if for some real coefficients. A list is independent if its only zero combination has every coefficient zero. Two nonzero plane vectors are dependent exactly when one is a scalar multiple of the other.
3.2 Matrix arithmetic encodes table operations
An matrix has rows and columns. Add equal-size matrices and multiply by scalars entrywise. For of size and of size ,
The product has size . The inner dimensions must agree. Column of is times column of , which explains multiplication as applying one table's linear rule to several inputs at once.
Worked example 2: resources for several plans. Suppose
Each column of is a production plan, and each column of is the resource use per unit of one product. Then records resource totals for the two plans. The first row and second row may use different resource units; additions occur only within a compatible row.
Matrix multiplication is associative and distributive but not generally commutative. For , , whereas . The transpose satisfies and . An identity matrix has ones on the diagonal and zeros elsewhere, acting like multiplication by one at the correct size.
3.3 Simultaneous equations and reversible elimination
A linear system imposes all its equations at once. Store it as . Swapping equations, multiplying one by a nonzero constant, or adding a multiple of one to another preserves exactly the solution set: each step can be undone. Multiplying an equation by zero is not allowed because it destroys a constraint.
Worked example 3: recover two prices. Suppose baskets give and . Subtract twice the second equation from the first to get , so and . Both original values check. It is not enough to solve one equation: infinitely many pairs satisfy it alone.
A row of zeros with nonzero right side means inconsistency. A completely zero row is redundant. If an unknown is not forced by a pivot, describe it using a free parameter.
Worked example 4: dependence versus inconsistency. If and , the second repeats the first, and all are solutions. If the second right side is instead , subtracting twice the first gives , so there are no solutions. Similar-looking coefficient tables can therefore behave differently depending on their right sides.
For real systems there cannot be exactly two solutions and no others. If are distinct solutions, then solves the same system for every real , by distributivity. This proves infinitely many rather than merely suggesting it from a diagram.
3.4 Determinants and inverse matrices
For a matrix, . A nonzero determinant means the two coefficient columns are independent and the square system has a unique solution for every right side. The inverse is
Multiplying this by in both orders gives , proving the formula. The unique solution is . If , this formula cannot be used; classify the right side by elimination instead.
For an matrix with , let be the matrix obtained by deleting row and column . Its cofactor is . Expansion along any fixed row gives
The base case is for a matrix. For example,
Elimination gives another calculation route: swapping rows reverses determinant sign, scaling one row scales the determinant by that factor, and adding a row multiple leaves it unchanged. A triangular determinant is the product of diagonal entries. These rules connect determinant zero with a missing pivot and singularity.
Worked example 5: no inverse by division at a singular parameter. For , determinant is . It is invertible only when . At , the second coefficient row is twice the first; the right side must have the same relationship for consistency. An expression containing is not a solution formula for the excluded case.
3.5 Feasibility and linear inequality models
Solving equalities does not automatically satisfy nonnegativity or capacity constraints. A feasible set collects every point satisfying all conditions. In the plane, a non-strict linear inequality with describes a closed half-plane. A finite intersection of such closed half-planes that is nonempty, bounded, and has nonempty two-dimensional interior is a convex polygon. An intersection may instead be empty, a line segment, a point, or unbounded; such cases need separate treatment.
Worked example 6: a small resource model. Suppose and resource limits are , . A hypothetical objective is . The feasible vertices are , , , and . The intersection comes from solving the two active resource equalities. Objective values at the vertices are , so the maximum is at .
Why is checking vertices enough here? A nonconstant affine objective cannot have a strict maximum in the interior, because a small move in its increasing direction raises it. On each edge the objective is affine in one parameter, so its maximum occurs at an endpoint unless it is constant along the edge, in which case the endpoints attain the same maximum too. Compactness ensures attainment. This is an elementary geometric argument for a bounded polygon, not a claim that every nonlinear constrained problem is solved at a vertex.
If quantities must be whole numbers, integer feasibility is an additional condition. This example's maximizing vertex is integral, but a general continuous optimum need not be. Rounding independently can violate a resource inequality.
3.6 Graded exercises
Foundation
- With and , calculate . Interpret it when components are prices and quantities.
- Calculate for and .
- State the sizes of and if is and is .
Core
- Solve , and verify both equations.
- Find every solution of , .
- Decide whether , is consistent.
- Find the inverse of and use it to solve .
- Compute the determinant of by expanding along a sparse row or column.
Synthesis
- Maximize over , . Explain whether the maximizing point is unique.
- Prove that if , then . Explain why an invertible forces , and give a singular example where distinct inputs have the same output.
3.7 Full solutions
- . With compatible price/quantity units it is total value, not the vector of quantities or average price.
- The result is .
- is , and is . Both exist but cannot be equal because they have different sizes.
- Subtracting three times the second equation from the first gives , so and . Checks: and .
- The second equation is redundant. Let , giving every solution .
- Subtract three times the first equation from the second: . The system is inconsistent.
- The determinant is , so . Multiplying by gives . Check: .
- Expand along row two: .
- Vertices are with objective values . The unique maximum is at . Directly, , and equality forces .
- Distributivity gives . If is invertible, multiply by to get . For , the distinct vectors and both map to .
Summary and onward map
Vectors retain the order and meaning of quantities. Matrix multiplication combines compatible linear rules and depends on order. Reversible elimination classifies systems, while determinants and inverses handle nonsingular square cases. Feasibility adds model constraints to algebraic solutions. Linear inequality geometry provides a first application of simultaneous constraints without assuming calculus.
Proofs supporting the methods used in this note
Proof of the finite real matrix product laws
Let be positive integers, let , , and . All the following arguments use the row-by-column definition and finite real sums. For any output position ,
The middle equality only reorders two finite sums and uses real distributivity. Both products are , so equality at every position proves associativity. No factor has changed its order.
For , the same definition gives
For , it gives
Thus both distributive laws hold with the displayed matching sizes. For every real scalar ,
proving by entrywise equality. In particular, for and real ,
This proves the matrix-vector linearity used when comparing solutions of the same linear system. All identities concern compatible finite real matrices; they do not assert commutativity or cancellation of arbitrary matrix factors.
Build the determinant from smaller matrices
Definition
Submatrix, minor, and cofactor
Let be an matrix with . For indices , delete row and column simultaneously. The resulting matrix is the submatrix .
The minor belonging to is the scalar
The cofactor belonging to is the signed scalar
The signs form a checkerboard whose upper-left sign is positive:
The notation names a matrix, is a determinant of that matrix, and is that scalar after the sign has been attached. Keeping these three objects distinct prevents a common double-sign error.
Definition
Recursive definition of the determinant
For a matrix , define
For an matrix with , define its determinant by expansion along the first row:
This is a definition, not yet a theorem about other rows or columns. Each minor in the sum has size , so repeated use of the definition eventually reaches the base case. No determinant convention is needed: the submatrix and minor definitions are used only for .
Follow cofactor expansion turn one determinant into smaller signed branches, then see how zeros prune the tree and triangular matrices collapse to diagonal products.
Minor, sign, cofactor
Delete row i and column j and take the remaining determinant to obtain the minor. Multiplying that scalar by (-1)^{i+j} gives the cofactor.
Expansion branches
For B=[[3,2,-1],[4,1,6],[-3,-1,2]], expansion along the first row has coefficients 3, -2, and -1 multiplying the three minors.
Combine branch values
The three minors are 8, 26, and -1. Including the entries and checkerboard signs gives 3(8)-2(26)+(-1)(-1)=-27.
Zeros prune work
A zero entry contributes a zero cofactor term, so choosing a sparse row or column removes branches immediately.
One nonzero entry
If a row or column has only one nonzero entry, the determinant collapses to one signed smaller determinant.
Triangular read-off
For a triangular matrix, repeated one-branch expansion leaves the product of the diagonal entries.
Cofactor expansion is both a recursive definition and a computation strategy: choose sparse rows or columns so zero branches disappear before they cost work.
Arbitrary cofactor expansion from the recursive determinant
Let be real , , with determinant defined by the one-by-one base case and first-row recursion. Let be the permutations of . Define the inversion number as the number of pairs with , and put .
Suppose and delete position and value , keeping the relative orders of the remaining positions and values; the resulting permutation is . If entries before position are smaller than , the inversions removed are . Consequently
Define . For , it is the recursive determinant. For , grouping by and using the sign identity gives . Induction therefore proves .
Now fix any row and group the same finite permutation sum by . Deletion is a bijection to all permutations of the corresponding minor, so
For a fixed column , each permutation has a unique position with . Grouping by that position gives
Both expansion formulas concern , so no empty determinant convention was introduced. This proves the general expansion theorem without assuming alternating row rules or the determinant product theorem.
Why the structural rules follow
Zero rows and zero columns
Theorem
A zero row or zero column gives determinant zero
If every entry in one row or one column of a square matrix is zero, then its determinant is zero.
Theorem
A row or column with one possible nonzero entry
For a square matrix of size , suppose all entries in row are zero except possibly . Then
The same formula holds when all entries in column are zero except possibly . The formula includes the case .
For , a matrix with a zero row is , whose determinant is by the base definition. For , expand along that row using the arbitrary-row theorem. Every term has a zero entry as its factor, so every term is zero and hence .
The zero-column statement can be proved directly by induction, which makes the inheritance of the zero column explicit. For , the only matrix with a zero column is , and its determinant is . Assume the statement for . Let be a matrix with zero column . Expand along the first row. The term from column is zero. In every other term, delete row and a column ; the original zero column survives as a zero column of the resulting submatrix (with its index shifted when ). By the induction hypothesis each such submatrix has determinant zero. Hence every term is zero, proving .
For the one-support theorem, the row case follows by expanding along row : all terms except the -term vanish. For the column case, expand along row . The -term remains. For each , the submatrix inherits a zero column from column of , so its determinant is zero by the zero-column result. Therefore only remains. This is the precise reason that a sparse row or column collapses the calculation to one minor.
Triangular matrices
Theorem
Triangular determinant theorem
If is upper triangular or lower triangular, then
We prove the upper-triangular statement by induction on . For , it is the determinant definition. Suppose it holds for upper-triangular matrices, and let be upper triangular of size . Its last row has zero entries except possibly . Expanding along that last row gives
because the sign is . The retained submatrix is still upper triangular, with diagonal . By induction its determinant is , giving the required product through . For a lower-triangular matrix, expand along the first row, whose only possible nonzero entry is ; the retained submatrix is lower triangular with diagonal , and the same induction proves the result.
Multilinearity in one fixed row
Theorem
Multilinearity in one fixed row
Fix every row except row . If the new row is , then
For , the base definition gives
For , fix every row except row . Let matrices agree in all those fixed rows, and suppose their th rows satisfy . For each column , deleting row gives the same submatrix:
Expanding along row and using the entrywise relation gives
The equality works precisely because every other row is held fixed; changing two rows at once is a different statement.
Adjacent swaps and repeated rows
Theorem
Repeated rows force determinant zero
If a square matrix has two identical rows, then its determinant is .
Let have adjacent rows , and let be obtained by swapping those two physical rows. Expand along row . Expand along row , where the row has moved. For each column , the retained submatrix in the two expansions is the same matrix: deleting the position occupied by leaves the other row in the same order. However, the signs differ:
The entries and minors therefore match term by term with the opposite sign, so . Swapping rows in positions can be realised by adjacent swaps, an odd number, and hence also changes the sign.
If rows and of are identical, the matrix obtained by swapping them is still . The swap result then gives . Since the entries are real, this implies and therefore . This proof does not rely on a later row-replacement rule.
Indexing and strategy
For each term, keep three objects visible: the selected entry, its submatrix after deleting one row and one column, and the minor obtained by taking that submatrix determinant. Write the checkerboard sign from the original row and column positions before evaluating the minor. When a minor is expanded again, its local indices guide the inner sign; they do not replace the outer sign.
The arbitrary-row and arbitrary-column theorem makes the choice of expansion line strategic. Choose a line with many zeros or simple surviving minors, and state that choice before calculating. A zero entry removes a branch immediately, whereas a zero minor must be established by its own calculation. The recursive first-row formula defines the determinant; arbitrary-line expansion is the theorem that permits this computational choice.