This sub-note carries the algebra behind the claim, made informally in Fact 1 of the elimination note, that forward elimination is a matrix factorisation. It shows precisely how the multipliers recorded during elimination assemble into a lower-triangular matrix , states the factorisation (and its pivoted form ), and works the operation-count argument for why this factorisation, not an explicitly computed , is the production route to solving repeatedly.
Learning objectives. By the end of this note you should be able to:
- assemble the multipliers from forward elimination directly into the matrix ;
- state and verify the factorisation for a small matrix;
- explain the role of the permutation matrix when row exchanges are needed;
- compare the operation counts of solving via versus via an explicit .
In this lesson
- From elimination matrices to
- Row exchanges:
- Why beats computing
Before you start
The full lesson, with worked examples and exercise solutions, is for members.
Read the full lessonNew to SelfMadeQuant.com? See membership options or browse the Linear Algebra, Optimisation and Numerical Methods syllabus.