01 — Linear Algebra
Comprehensive study guide for Bocconi Math Module 2 (cod. 30063), General Exam.
Source materials: Alice Sicconi's Proofs - Linear Algebra.pdf, Linear Algebra and Differential Calculus.pdf, lect{1,2,3,5}_lin_alg.pdf, TA41_lin_alg.pdf, General_24524_ENG_SOL.pdf, Final exercises solution.pdf.
§1. Overview & Exam Relevance
Linear Algebra is the first block of the first partial and accounts for approximately 27% of the general exam (typically 1–2 MCQs worth 5 pts each plus one open-ended question worth up to 20 pts — about 30–40 pts of the 150-pt exam).
Topic scope. The exam tests:
- matrix arithmetic: products, determinants, minors, transposition, the trace;
- eigenvalues, eigenvectors, eigenspaces, characteristic polynomial;
- diagonalization of symmetric matrices via the Spectral Theorem;
- quadratic forms and the bijection with symmetric matrices;
- classification (sign) of quadratic forms using (i) eigenvalue signs or (ii) Sylvester–Jacobi leading principal minors.
Typical MCQ patterns (from May 2024 General exam).
- MCQ1 (Mode A) / MCQ6 (Mode B): "Which of the following is an eigenvector of ?" — plug each candidate into and test .
- Similar MCQs: "The eigenvalues of are …" with multiplicity traps — shortcut via and .
Typical open-ended pattern.
- Q7 (Mode A) / Q12 (Mode B), May 2024: state the correspondence theorem (Prop 1201), write the quadratic form attached to a symmetric matrix, prove it is positive semi-definite but not positive definite, find a basis of made of eigenvectors.
- "Final exercises" Q1: quadratic form — find so that the origin is a strong global maximum, determine eigenvalue signs, find the kernel for .
Why this topic is high-leverage for the final partial.
- The Spectral Theorem, Sylvester–Jacobi, and quadratic form signing show up again in Differential Calculus (Hessian classification of stationary points — the Hessian is a symmetric matrix and its quadratic form is the second-order Taylor remainder). Mastering linear algebra pays double dividends.
§2. Definitions
2.1 Vector and matrix
A vector is a column of real numbers:
A matrix of order is a rectangular array of real entries with , . A square matrix of order has .
Dot product of two vectors: . Orthogonal vectors: . Orthonormal vectors: orthogonal AND . Norm: .
2.2 Transpose, symmetric, orthogonal
Transpose : swap rows and columns — .
Symmetric matrix: , equivalently for all . Symmetric matrices are always square.
Orthogonal matrix (of order ): . Equivalently . Key properties. An orthogonal matrix is invertible, its rows and columns each form an orthonormal set, and . An orthogonal matrix is not necessarily symmetric.
2.3 Determinant and minors
The determinant is a scalar function on square matrices.
- : .
- : Laplace expansion along any row/column using the sign pattern .
- Rules: , , .
- Singular / non-singular: is singular iff (rows/columns are linearly dependent); is non-singular iff .
Minor: determinant of a submatrix obtained by removing any number of rows and columns. Principal minor: minor obtained by removing the same rows as columns (e.g., remove row 2 and column 2). Leading (North-West) principal minor : the minor obtained by keeping the first rows AND first columns (i.e., removing the last rows and columns). For a matrix there are three leading principal minors: , , .
2.4 Rank and linear independence
A set of vectors is linearly independent iff the only solution to is . Otherwise linearly dependent.
Rank of a matrix = number of linearly independent rows = number of linearly independent columns. For a square matrix of order , .
2.5 Basis, dimension, subspace
A vector subspace is a non-empty subset closed under linear combinations: and imply (in particular ).
A spanning set of is a set of vectors whose linear combinations generate all of . A basis is a spanning set that is also linearly independent. Dimension is the number of vectors in any basis.
In there are 3 kinds of subspaces: (dim 0), lines through (dim 1), and all of (dim 2). In : , lines through , planes through , and all of .
2.6 Eigenvalue, eigenvector, eigenpair
Let be a symmetric matrix of order . A scalar is an eigenvalue of and a non-zero vector is an associated eigenvector if
The pair is an eigenpair. The spectrum of is .
Remark. The restriction to symmetric matrices is Sicconi's convention and matches the Bocconi syllabus — all eigenvalue theorems in §3 assume symmetric, which guarantees every root of the characteristic polynomial is real.
2.7 Eigenspace
The eigenspace associated with eigenvalue is It contains every eigenvector associated with , plus the zero vector. By Theorem 1181 (§3.2), is a vector subspace of .
Dimension / multiplicity: = algebraic multiplicity of as a root of = . For a symmetric matrix the algebraic and geometric multiplicities coincide.
2.8 Characteristic polynomial
The characteristic polynomial is , a polynomial of degree . Its roots are exactly the eigenvalues of (Theorem 1179).
Shortcut for : , so and . For general : , (each counted with multiplicity).
2.9 Eigenbasis
An eigenbasis of is a basis made of orthonormal eigenvectors of a symmetric matrix . Any pair of eigenvectors from different eigenspaces is automatically orthogonal (Theorem 1184); eigenvectors from the same eigenspace may need Gram–Schmidt to be orthogonalised and then normalised.
2.10 Diagonalization
A matrix is orthogonally diagonalizable if there exists an orthogonal matrix (i.e., ) such that where is the diagonal matrix of eigenvalues. Equivalently, (the spectral decomposition). The Spectral Theorem (§3.7) says every symmetric real matrix is orthogonally diagonalizable.
2.11 Quadratic form
A form is a sum of monomials of the same degree. A quadratic form is a form of degree 2: a sum of monomials each of degree 2, e.g., .
Key identity (Prop 1201, §3.5): every quadratic form can be written as for a unique symmetric . The entries are read off as:
- = coefficient of ;
- = (coefficient of ).
Note. always.
2.12 Positive/negative (semi)definite — indefinite
Let be a symmetric matrix of order and . Then (equivalently, ) is:
| Class | Condition on | Geometric picture at | |-------|--------------------|--------------------------| | positive definite | | strict (unique) global minimum | | positive semi-definite (not def.) | , with | weak global minimum (infinitely many minimizers along a line) | | negative definite | | strict global maximum | | negative semi-definite (not def.) | , with | weak global maximum | | indefinite | takes both signs | saddle at |
Pictures (Sicconi's lecture notes). Bowl = positive definite. Half-pipe = positive semi-definite (not definite). Pringle = indefinite.
§3. Theorems, Propositions & Proofs
3.1 Theorem 1179 — Characterization of eigenvalues as roots of the characteristic equation
Statement. Let be a symmetric matrix of order . A real scalar is an eigenvalue of if and only if .
Source:
Proofs - Linear Algebra.pdfp.3 (handwritten theorem 1179).
Proof.
() is an eigenvalue .
By definition there exists such that This is the definition of eigenvalue/eigenvector. Subtracting from both sides: Set . Then is a homogeneous linear system. Since is a trivial solution AND the eigenvector is also a solution, the homogeneous system has infinitely many solutions. This forces , i.e.,
() is an eigenvalue.
The homogeneous system with has infinitely many solutions. Pick one non-trivial solution with . Then This is the definition of an eigenpair. Hence is an eigenvalue of .
3.2 Theorem 1181 — Eigenspace is a subspace of
Statement. Let be a symmetric matrix of order and an eigenvalue of . Then the eigenspace is a vector subspace of .
Source:
Proofs - Linear Algebra.pdfp.4 (handwritten theorem 1181).
Proof.
To show is a subspace, we verify it is closed under linear combinations. Take and scalars . We compute: Linear combination; then apply the definition of eigenpair to each term. Therefore . In particular choosing shows . Hence is a vector subspace of .
3.3 Theorem 1184 — Eigenvectors of distinct eigenvalues are orthogonal
Statement. Let be a symmetric matrix of order and , be eigenpairs with . Then , i.e., .
Source:
Proofs - Linear Algebra.pdfp.5 (handwritten theorem 1184).
Proof.
Start from the two eigen-equations and . Taking the scalar : \mathbf{x}_1^T (A \mathbf{x}_2) = \mathbf{x}_1^T (\lambda_2 \mathbf{x}_2) = \lambda_2 (\mathbf{x}_1 \cdot \mathbf{x}_2). \tag{I} And similarly: \mathbf{x}_2^T (A \mathbf{x}_1) = \mathbf{x}_2^T (\lambda_1 \mathbf{x}_1) = \lambda_1 (\mathbf{x}_1 \cdot \mathbf{x}_2). \tag{II}
Now the key manipulation. Since is a scalar , we have . Transposing: When transposing a product, the order switches: . Because is symmetric, , and so \mathbf{x}_1^T (A \mathbf{x}_2) = \mathbf{x}_2^T A \mathbf{x}_1. \tag{III}
Combining (I), (II), (III): Hence . Since , we conclude , i.e., .
Why this matters. Theorem 1184 is the engine that lets us build orthonormal eigenbases: eigenvectors from distinct eigenspaces are free orthogonality. Only inside a single eigenspace do we sometimes have to run Gram–Schmidt.
3.4 Theorem 1191 — Invertible symmetric matrices and reciprocal eigenvalues
Statement. Let be a symmetric matrix of order . (1) is invertible if and only if all of its eigenvalues are non-zero. (2) If is invertible, then .
Source:
Proofs - Linear Algebra.pdfp.6 (handwritten theorem 1191).
Proof of (1). The product rule for eigenvalues gives Therefore
Proof of (2), direction .
is invertible so , hence by (1). Let be an eigenvector for : . Divide by : Multiply both sides on the left by : Thus , which says is an eigenvalue of with the same eigenvector .
Proof of (2), converse. If is an eigenvalue of , apply the result just proved to the matrix (which is symmetric when is symmetric): is an eigenvalue of .
Remark (lecture note). The eigenvectors stay the same when we pass from to ; only the eigenvalues are reciprocated.
3.5 Proposition 1201 — Bijective correspondence between quadratic forms and symmetric matrices
Statement. There is a bijective correspondence between quadratic forms and symmetric matrices of order , given by
Source:
Proofs - Linear Algebra.pdfp.7 (handwritten prop 1201). Also: lect3 p.6 proposition 1295 in the textbook numbering.
Proof.
() Symmetric yields a unique quadratic form .
Expand : The doubling comes from combining the and entries, which are equal because is symmetric. This is a sum of monomials of degree 2, i.e., a quadratic form. Setting gives a well-defined quadratic form.
() Quadratic form yields a unique symmetric .
Given a quadratic form , we want to write for some symmetric . Reading coefficients:
- The coefficient of must equal , fixing the diagonal.
- The coefficient of the monomial (for ) must equal .
Requiring to be symmetric () forces . So the symmetric matrix is uniquely determined by .
Practical rule. To build from : put coefficients of squared terms on the diagonal; split each mixed term evenly across the two symmetric off-diagonal positions.
Example (Sicconi lect3 p.7). (the off-diagonal becomes a term).
3.6 Theorem 1207 — Positive definite matrices are invertible (and inverse is PD)
Statement. If is positive definite, then (1) is invertible; (2) is also positive definite.
Source:
Proofs - Linear Algebra.pdfp.8 (handwritten theorem 1207).
Proof of (1). Suppose by contradiction is not invertible, so . Then the homogeneous system admits a non-trivial solution . But then with , contradicting the definition of positive definite (which demands for all non-zero ). Absurd. Hence and is invertible.
Proof of (2). Take any and set (equivalently ). Since , is also invertible, so . We now compute : The substitution uses . Since is positive definite and : This holds for every , so is positive definite.
Semi-definite companion (Proof p.8, bottom). If is positive semi-definite, then is invertible iff is positive definite. (Proof via the equivalence which holds for semi-definite matrices.)
3.7 Spectral Theorem (Theorem 1291) — Orthogonal diagonalization of symmetric matrices
Statement. A symmetric matrix of order is orthogonally diagonalizable. That is, there exists an orthogonal matrix (so ) such that where is the diagonal matrix of eigenvalues, each repeated according to its multiplicity. Equivalently, (spectral decomposition).
Source:
lect3_linalg.pdfp.1 — Sicconi reproduces textbook Theorem 1291. (Proof is course-level, constructed by assembling an orthonormal eigenbasis as the columns of — see algorithm M-LA-6 in §5.)
Idea of construction.
- Find all eigenvalues of (Theorem 1179).
- For each distinct eigenvalue, find a basis of its eigenspace (Theorem 1181); eigenvectors from different eigenspaces are automatically orthogonal (Theorem 1184).
- Inside each eigenspace, apply Gram–Schmidt if necessary to turn the basis orthogonal, then normalise every vector to length 1.
- Place the resulting orthonormal eigenvectors as the columns of . Then is orthogonal and with the on the diagonal (ordered to match the columns).
Useful consequence. (since , noting for orthogonal ).
3.8 Sign of eigenvalues ↔ definiteness (Theorem 1210)
Statement. Let be a symmetric matrix of order . (i) is positive definite all eigenvalues are . (ii) is positive semi-definite all eigenvalues are . (iii) is negative definite all eigenvalues are . (iv) is negative semi-definite all eigenvalues are . (v) is indefinite has at least one positive and one negative eigenvalue.
Source:
Proofs - Linear Algebra.pdfpp.9–10 (handwritten theorem 1210).
Proof of (i), : positive definite implies eigenvalues .
Let be an eigenvalue with a normalised eigenvector (so and ). Then Because is positive definite and , , hence .
Proof of (i), : eigenvalues implies positive definite.
Assume . By the Spectral Theorem there exists an orthogonal with . Take any and set . Since (and hence ) is orthogonal, is invertible and , so . Note that . Substituting: At least one (since ), and every , so . Hence for every , which says is positive definite.
For semi-definiteness, replace by throughout (the proof only uses the sign of the ). Negative (semi)definite is obtained by applying the result to : negative definite positive definite all eigenvalues of are all eigenvalues of are .
3.9 Sylvester–Jacobi's criterion (Theorem 1217)
Statement. Let be a symmetric matrix of order and denote its leading (North-West) principal minors . Then: (1) is positive definite all leading principal minors are strictly positive: (2) is negative definite the leading principal minors are all non-zero and alternate in sign starting with a strictly negative sign: (3) If the leading principal minors are all non-zero but the sign sequence is neither (1) nor (2), then is indefinite.
Source:
Proofs - Linear Algebra.pdfpp.13–14 (handwritten theorem 1217, with its preliminary result 1216 on general principal minors).
Proof of (1), : positive definite implies all leading principal minors .
By Theorem 1216 (preliminary), if is positive definite then every principal minor of is strictly positive: for any principal submatrix and any extended to by inserting a in the -th position, so is positive definite and (by Theorem 1207) . In particular every leading principal minor is strictly positive.
Proof of (1), : all leading principal minors implies positive definite.
Take any . Let be the upper-triangular matrix produced by Briosch's theorem (a course result we import), which is invertible since . Set . Then with the convention . By hypothesis every ratio is strictly positive, and at least one , so . Hence is positive definite.
Proof of (2), . Suppose is negative definite and set . Then is positive definite, so for every . But which gives for odd and for even — exactly the alternating pattern (starting negative).
Proof of (2), . Reverse the argument: given with the alternating sign pattern, set ; check that every ; conclude is positive definite by part (1); hence is negative definite.
(3) Residual case. If the signs match neither (1) nor (2), then cannot be positive/negative (semi)definite (those imply the specific patterns), so must be indefinite.
Caveat (boxed by Sicconi). If some , the leading-minors test is inconclusive — may be positive semi-definite, negative semi-definite, or indefinite. Then you must check all principal minors (not just the leading ones) or compute eigenvalues directly.
3.10 Auxiliary results worth remembering
Result on signs of diagonal entries (Theorem 1213). If is positive (semi)definite then (resp. ) for every . Proof: evaluate on the coordinate vector : .
Product rule . Follows from the Spectral Theorem: .
Trace rule . Trace is invariant under for orthogonal , and .
Invertibility of symmetric . If is symmetric and invertible, then is symmetric too: .
§4. Worked Examples
Example 4.1 — Eigenvalues of a matrix via the shortcut
Let . (Source: Linear Algebra and Differential Calculus.pdf p.10.)
Using trace/determinant.
- .
- .
So one eigenvalue is and the other is : .
Cross-check with characteristic polynomial. , confirming .
Example 4.2 — Eigenspaces of the same matrix
. Solve : The second equation is dependent. Eigenspace
. Solve : . Eigenspace
Eigenbasis. Check orthogonality: — orthogonal (as guaranteed by Theorem 1184 since ). Normalise (each vector has norm ): These form an eigenbasis of . The orthogonal matrix gives the spectral decomposition
Example 4.3 — Eigenvalues of a 3×3 (textbook TA question)
. (Source: Linear Algebra and Differential Calculus.pdf p.12 — Question 4.)
Shortcut via trace + answer-choice elimination. , so . Among the MCQ options, only " with multiplicity 2 and with multiplicity 1" satisfies the sum: .
Cross-check with determinant. Expanding along row 2 (only the central term survives), . And indeed .
Example 4.4 — Writing a quadratic form from a matrix (and vice versa)
From matrix. Given . (Source: lect3 p.7.) Reading off: (coefficient of ), (coefficient of ), (coefficient of ). Hence
From form. Given . (Source: lect3 p.8.)
- Diagonal: , , .
- Off-diagonal: coefficient of is . Coefficient of is . Coefficient of is .
Example 4.5 — Classifying a quadratic form two ways
Given , i.e., . (Source: lect2 p.8.)
Via Sylvester–Jacobi.
Both leading principal minors positive positive definite is a strict (unique) global minimum of .
Via eigenvalue signs. , . Both , so both eigenvalues are positive, giving the same conclusion.
Example 4.6 — The three classification cases (lecture demo)
(Source: Linear Algebra and Differential Calculus.pdf pp.18–19.)
(a) Indefinite. , . , . Sign pattern matches neither positive nor negative definite, so is indefinite and is a saddle point.
(b) Indefinite with a zero leading minor. , . , , . Since but the Sylvester pattern fails (a zero appears in the leading sequence yet the final determinant is non-zero and negative), is indefinite — not definite or semi-definite.
(c) Positive semi-definite (not definite). , . Leading: , , . The zero means Sylvester–Jacobi is inconclusive. Check all principal minors: order-1 minors are (all ); order-2 principal minors are , , (all ); order-3 is . All principal minors positive semi-definite is a non-strict (weak) minimizer.
Example 4.7 — Full diagonalization of a (lecture example)
. Find an eigenbasis of . (Source: Linear Algebra and Differential Calculus.pdf pp.16–17.)
Step 1. Characteristic polynomial. Expanding and simplifying (full calculation in the source): . Roots: (multiplicity 2), (multiplicity 1).
Step 2. Eigenspaces.
- : solve . Reduces to , so . Two-parameter family: Basis of : , .
- : solve . Gaussian elimination gives , . Basis of : .
Step 3. Eigenbasis. and sit in different eigenspaces so are orthogonal (and so are ). But are in the same eigenspace and happen NOT to be orthogonal: . Apply Gram–Schmidt:
- Normalise : , so .
- Orthogonal auxiliary: . Then , giving .
- Normalise : , .
is the eigenbasis of for , and satisfies .
§5. Solution Methods
Each method is a named algorithm with input → steps → output → common pitfalls. Cross-references in the right column point to the May 2024 exam problems where the method is applied.
M-LA-1 — Verify a candidate vector is an eigenvector
Used on: May 2024 MCQ1 (Mode A), MCQ6 (Mode B).
Input. A symmetric matrix of order and a candidate vector .
Steps.
- Compute the product .
- Check whether the resulting vector is a scalar multiple of : look for a single so that .
- If yes, is an eigenvector with eigenvalue . If no, is not an eigenvector.
Output. "Yes, eigenvector with eigenvalue " or "No".
Pitfalls.
- Forgetting that the zero vector is never an eigenvector (even though trivially), by definition.
- On MCQs, always test the shortest vector first (fewer arithmetic operations). The May 2024 MCQ1 correct answer is because .
M-LA-2 — Compute the eigenvalues of a (or larger) matrix
Used on: Final exercises Q1, May 2024 Q7/Q12 (eigenvalue determination for ).
Input. Symmetric matrix of order .
Steps.
- Write down (subtract from every diagonal entry).
- Compute by Laplace expansion along the simplest row/column (prefer rows/columns with zeros).
- Factor over . Useful tricks:
- If a row/column of becomes identically zero at , then is a root and is divisible by .
- Rational-root test: integer roots of divide the constant term (up to sign).
- Sum/product shortcut: and ; use as a sanity check after solving.
- Solve and list the eigenvalues with multiplicities. The total of multiplicities must equal .
Output. Spectrum with algebraic multiplicities.
Pitfalls.
- On May 2024 Q7, has and , and since is rank-1, has multiplicity and the remaining eigenvalue is : . Always check your calculation against these totals.
- When the characteristic polynomial is a cubic with an obvious factor of (happens whenever ), factor it out first and solve the remaining quadratic.
M-LA-3 — Find a basis of an eigenspace
Used on: May 2024 Q7 (Mode A) / Q12 (Mode B).
Input. Symmetric matrix , a specific eigenvalue .
Steps.
- Write the system .
- Gaussian eliminate. Expect where is the algebraic multiplicity of ; you'll get free parameters.
- Express the solution set as a span of independent vectors — those are the basis of .
Output. A basis of .
Pitfalls.
- must equal the algebraic multiplicity of (this is the symmetric-matrix-always-diagonalizable fact). If you find fewer independent vectors, you've made an arithmetic mistake.
- Don't forget that eigenspaces contain even though is not an eigenvector.
M-LA-4 — Build a basis of eigenvectors for
Used on: May 2024 Q7(c) / Q12(c) — explicit request "determine a basis of constituted by eigenvectors of ".
Input. Symmetric matrix of order .
Steps.
- Find all eigenvalues (M-LA-2).
- For each distinct eigenvalue, find a basis of its eigenspace (M-LA-3).
- Union of all eigenspace bases is a basis of (since bases from distinct eigenspaces are automatically linearly independent by Theorem 1184, and the total count equals by the symmetric spectral structure).
- If the question asks "not necessarily orthogonal or orthonormal" (as in May 2024 Q7(c)), you can stop here.
- If the question asks for an eigenbasis (orthonormal), continue with M-LA-6.
Output. A list of linearly independent eigenvectors of spanning .
Pitfalls.
- Inside a single eigenspace of multiplicity , the basis vectors are not automatically orthogonal. Theorem 1184 only applies to eigenvectors from distinct eigenspaces.
M-LA-5 — Classify a quadratic form (eigenvalue method vs Sylvester–Jacobi)
Used on: May 2024 Q7/Q12, Final exercises Q1.
Input. A symmetric matrix (or a quadratic form from which you extract via M-LA-rules in §2.11).
Decision tree — which test to use.
- Prefer Sylvester–Jacobi when the matrix is small ( or ) and the leading principal minors are easy to compute.
- Prefer the eigenvalue-sign test when (i) the matrix has an obvious rank-deficiency (so some eigenvalue is automatically ), (ii) you're told the eigenvalues or can get them cheaply, (iii) a leading principal minor is (Sylvester is inconclusive in that case), or (iv) you're also asked the sign of eigenvalues.
Steps (Sylvester–Jacobi branch).
- Compute .
- Match against the pattern:
- All positive definite.
- Alternating starting with () negative definite.
- All non-zero but neither pattern indefinite.
- Some leading minor is and indefinite (since neither positive nor negative definite, and not semi-definite since for semi-definite-not-definite is impossible).
- Some leading minor is and inconclusive — check ALL principal minors.
- If inconclusive, evaluate every principal minor (not just leading): all positive semi-definite; all of the signed form for odd order, for even order) negative semi-definite; otherwise indefinite.
Steps (Eigenvalue-sign branch).
- Compute the eigenvalues (M-LA-2).
- Apply Theorem 1210: all → positive definite, all → positive semi-definite, mixed → indefinite, etc.
Output. One of: positive definite, positive semi-definite (non-def), negative definite, negative semi-definite (non-def), indefinite.
Pitfalls (critical — these are exam traps!).
- Negative definite needs ALTERNATING signs, not all negative. — starting negative, alternating.
- Sylvester fails with leading zeros. If for any , do NOT conclude indefinite from that alone; it may be semi-definite. Switch to the full principal-minor test (all minors, not just leading).
- Semi-definite ≠ definite. May 2024 Q7 is the canonical trap: has eigenvalues , all , so is positive semi-definite — but not positive definite because occurs. The quadratic form vanishes on the hyperplane , confirming it is not strictly positive.
M-LA-6 — Diagonalize a symmetric matrix (full spectral decomposition)
Used on: conceptual backbone of quadratic-form sign analysis; also direct exam topics when a question asks for .
Input. Symmetric matrix of order .
Steps.
- Compute eigenvalues (M-LA-2).
- For each eigenvalue, find a basis of the eigenspace (M-LA-3).
- Orthogonalise within each eigenspace (Gram–Schmidt): keep the first basis vector, and for each subsequent one subtract its projections onto the already-processed vectors.
- Normalise every vector to unit length. The resulting vectors form an eigenbasis.
- Assemble by stacking the eigenbasis as columns; is automatically orthogonal ().
- The diagonal matrix has the eigenvalues on the diagonal, ordered to match the column order in .
Output. Orthogonal and diagonal with (equivalently ).
Pitfalls.
- Don't forget to normalise after Gram–Schmidt. Orthogonalising preserves orthogonality but doesn't scale to unit length.
- If an eigenspace already has an orthonormal basis (e.g., the spectral theorem delivered pre-orthogonal basis vectors), skip Gram–Schmidt — it's idempotent but wasted work.
- Order matters: the you produce has the eigenvalues in the order the columns of are arranged. Swap two columns of ↔ swap two diagonal entries of .
§6. Practice Problems with Solutions
Problem 6.1 — TA session 1, exercise 1: positive-definite quadratic form parametric
Consider with , . The quadratic form is positive definite in if and only if … ?
(A) , (B) , (C) , (D) none of the preceding.
Solution. Associated matrix . Apply Sylvester–Jacobi:
- .
- .
Combining: AND ( or ) AND OR .
So is positive definite iff or . Answer: (D) none of the preceding.
Source: TA41_lin_alg.pdf pp.1–2.
Problem 6.2 — May 2024 MCQ1 (Mode A) / MCQ6 (Mode B): which vector is an eigenvector?
Which of the following vectors is an eigenvector of ?
(A) , (B) , (C) , (D) none of the others.
Solution. Apply M-LA-1. Testing : So is an eigenvector with eigenvalue . Answer: (C).
Source: General_24524_ENG_SOL.pdf p.1 MCQ1.
Problem 6.3 — May 2024 Q7 (Mode A) / Q12 (Mode B): Sicconi's flagship exam problem
(a) State the theorem on the correspondence between symmetric matrices of order and quadratic forms . (b) Consider the matrix Write the quadratic form associated to and prove that this form is positive semi-definite but not positive definite. (c) Determine a basis of constituted by eigenvectors of (not necessarily orthogonal or orthonormal).
Solution.
(a) Proposition 1201: there is a bijective correspondence between quadratic forms and symmetric matrices of order , given by .
(b) Read off the quadratic form: Eigenvalues via characteristic polynomial. Note is rank 1 (every row equals ), so has multiplicity 2. The remaining eigenvalue equals . Formally: giving (multiplicity 2), (multiplicity 1). Since all eigenvalues are , by Theorem 1210(ii) is positive semi-definite. Since occurs (not all strictly positive), is not positive definite. (Concretely, with .)
(c) Bases of the eigenspaces.
- : solve , which reduces to , equivalently . A basis is .
- : solve : From the first: . Substitute into the second: . Then . Basis: .
Eigenbasis of (union by M-LA-4): .
Source: General_24524_ENG_SOL.pdf p.5 Q7 (Mode A) / p.11 Q12 (Mode B).
Problem 6.4 — Final exercises Q1: quadratic form with parameter
Given , . (a) Find conditions on such that the origin is a strong global maximum point. (b) Determine the sign of the eigenvalues for . (c) Set , verify that is an eigenvalue and find the kernel of the linear function associated to the matrix .
Solution.
(a) The origin is always a stationary point of a quadratic form (; ). For it to be a strong global maximum, we need for every , i.e., must be negative definite. The associated matrix (half the mixed coefficient on the off-diagonal): Apply Sylvester–Jacobi (negative-definite pattern: , , ):
- .
- — requires .
- . Expand along row 2: . Need , i.e., or .
Combining all three: AND AND ( or ) .
Answer. is negative definite , in which case the origin is a strong global max.
(b) For , the three conditions above become , , . is negative definite. By Theorem 1210(iii), all three eigenvalues are : .
(c) For , . Characteristic polynomial: expanding along row 2, . Clearly is a root (factor of ), so is an eigenvalue of .
Kernel of = : solve : Hence
Source: Final exercises solution.pdf pp.1–3 Problem 1.
Problem 6.5 — TA session 1 exercise 2: characteristic polynomial & eigenbasis of a
Given , compute the characteristic polynomial, find the eigenvalues and eigenvectors, determine a basis of , and decide whether it is an eigenbasis.
Solution.
Characteristic polynomial. .
Eigenvalues. Solving by the quadratic formula: . So .
Eigenvectors. For : gives , i.e., . Eigenvector .
For : similarly . Eigenvector .
Basis of . Since , the two eigenvectors are linearly independent (and in fact orthogonal by Theorem 1184). They therefore form a basis of .
Is it an eigenbasis? An eigenbasis requires the vectors to be orthonormal. Check norms — clearly neither has norm 1. So this basis is not an eigenbasis, but an orthonormal eigenbasis is obtained by dividing each vector by its norm.
Source: TA41_lin_alg.pdf pp.3–7 exercise 2.
Problem 6.6 — TA session 1 exercise 7: write the quadratic form from a matrix
Given , provide the analytical expression of the quadratic form associated to .
Solution. is symmetric. Read coefficients: diagonal gives ; each off-diagonal contributes because for every mixed pair , and for . Therefore
Source: TA41_lin_alg.pdf p.8 exercise 7.
Problem 6.7 — TA session 1 exercise 8: classify four quadratic forms
Establish the sign of: (a) , (b) , (c) , (d) .
Solution (part (a) — worked fully; others use the same method).
. Eigenvalues (trivially, diagonal matrix): , so with algebraic multiplicity of equal to .
- : all eigenvalues positive definite.
- : eigenvalues , all , not all positive semi-definite (but not positive definite). Confirm by exhibiting a non-zero vector on which vanishes: .
- : eigenvalues , mixed signs indefinite.
Parts (b), (c), (d) follow the same pattern: compute from (diagonal entries = coefficients; off-diagonal = half the coefficient), then either compute eigenvalues or apply Sylvester–Jacobi.
Source: TA41_lin_alg.pdf pp.9–10 exercise 8.
Problem 6.8 — Invertibility inferred from signs (Theorem 1207 applied)
Let be a symmetric matrix that is positive definite. What can you say about and the eigenvalues of ?
Solution. By Theorem 1207 (§3.6), exists and is also positive definite. By Theorem 1210, its four eigenvalues are all strictly positive. By Theorem 1191, they are exactly the reciprocals of the eigenvalues of . Therefore:
- .
- All four eigenvalues of are strictly positive — in fact, they are where are the eigenvalues of , each .
(This is the kind of short theoretical question that Sicconi's practice materials refer to as "theorem-chaining" problems; useful as warm-up.)
§7. Common Pitfalls
Below are the errors Sicconi flags most often and the traps the Bocconi exam-writers exploit. Read this list the day before the exam.
-
Eigenvector vs eigenspace dimension.
- An eigenvector is a single non-zero vector. An eigenspace is a subspace (possibly multi-dimensional) containing all eigenvectors for a given , plus the zero vector. Saying "the eigenspace is " is wrong; it's the span of .
- Eigenvalue multiplicity = dimension of the corresponding eigenspace (for symmetric matrices).
-
Sylvester–Jacobi for negative definite — alternating signs, not all negative.
- Pattern is , not . A matrix with all leading principal minors negative is NOT negative definite in general (only in the trivial case).
- Mnemonic: negative definite is positive definite; so , forcing to alternate.
-
"Positive semi-definite" ≠ "positive definite". (May 2024 Q7 trap.)
- Positive definite: for every . Requires all eigenvalues strictly , or all leading principal minors strictly .
- Positive semi-definite: for every . Allows some eigenvalues .
- If , is NOT positive definite — even if every other leading minor is positive. At best it's semi-definite.
-
Sylvester is inconclusive when a leading minor is zero.
- If for some , you cannot conclude definiteness or indefiniteness from leading minors alone.
- Fallback: compute all principal minors (not just leading), or find the eigenvalues directly.
-
Gram–Schmidt is only needed inside a single eigenspace.
- Eigenvectors from different eigenspaces of a symmetric matrix are automatically orthogonal (Theorem 1184). Trying to re-orthogonalize them wastes time and introduces arithmetic errors.
- Inside one eigenspace of multiplicity , arbitrary basis vectors may NOT be orthogonal — apply Gram–Schmidt there.
-
Normalise after, not before, Gram–Schmidt.
- Order: orthogonalise normalise. Reversing can leave vectors off the unit sphere.
-
Quadratic form coefficients: half, not whole.
- When building from , the off-diagonal entries are half the coefficient of , not the whole coefficient. coefficient of ; symmetry () then gives (coef).
-
Eigenvalues of are eigenvalues of the shifted matrix, with a shift.
- If , then , with the SAME eigenvectors. Useful for quick checks.
-
Spectrum shortcut traps.
- and always hold (with multiplicity!). On MCQs with multiplicities, use the sum and product to eliminate wrong options fast (Sicconi's favourite shortcut on
Linear Algebra and Differential Calculus.pdfp.12). - But: knowing only the sum does NOT determine the eigenvalues; you might need to compute or the full characteristic polynomial.
- and always hold (with multiplicity!). On MCQs with multiplicities, use the sum and product to eliminate wrong options fast (Sicconi's favourite shortcut on
-
Eigenbasis vs basis of eigenvectors.
- May 2024 Q7(c) explicitly says "not necessarily orthonormal" — meaning a basis of eigenvectors suffices (no need for Gram–Schmidt + normalisation). Read the problem statement carefully.
- "Eigenbasis" in Sicconi's notes means orthonormal basis of eigenvectors; "basis made of eigenvectors" is the weaker requirement.
-
Forgetting that "symmetric" matters.
- All the eigenvalue theorems here (1179, 1181, 1184, 1191, 1210, 1217, Spectral, 1207) assume symmetric. Non-symmetric matrices may have complex eigenvalues, and their eigenvectors from different eigenspaces need not be orthogonal.
-
Confusing the kernel of a linear map with the image.
- Kernel of = null space = = eigenspace (when is an eigenvalue).
- For a symmetric matrix, (rank–nullity).
-
Misreading the exam MCQ format.
- Wrong answer: pt. Blank: pt. Correct: pt. On MCQs where you can eliminate options, guess between the remaining. On a pure 50-50, skip.
Final checklist before the exam (linear algebra slice)
- [ ] I can state and prove Theorem 1179 (eigenvalue root of char. poly.).
- [ ] I can state and prove Theorem 1181 (eigenspace is a subspace).
- [ ] I can state and prove Theorem 1184 (orthogonality of eigenvectors from distinct eigenvalues).
- [ ] I can state and prove Theorem 1191 parts (1) and (2).
- [ ] I can state (proof not required for some questions) Proposition 1201 and derive the matrix-form bijection.
- [ ] I can state and prove Theorem 1207 (positive definite invertible and PD).
- [ ] I can state the Spectral Theorem and sketch the construction of .
- [ ] I know the Sylvester–Jacobi sign patterns: for PD, for ND, and when the test is inconclusive.
- [ ] I can classify any quadratic form both by eigenvalue signs and by Sylvester–Jacobi, and I know when to pick each method.
- [ ] I can run M-LA-1 through M-LA-6 on a symmetric matrix in under 15 minutes.
End of Linear Algebra study guide.