Linear algebra lecture15

Overview

Sevak Mkrtchyan defines the determinant of an n × n matrix by three properties: multilinearity in the rows, alternating behavior under row swaps, and value 1 on the identity matrix. He proves existence by induction using a signed minor expansion, then derives uniqueness by expanding in row coordinates, leaving the permutation formula; the parity-based definition of permutation sign is left for the next lecture.

Key takeaways

A determinant is uniquely determined by three conditions: n-linearity in rows, alternating behavior under row swaps, and value 1 on the identity matrix.
For fields of characteristic other than 2, sign reversal under a row swap implies that a matrix with equal rows has determinant zero; this implication fails in characteristic 2.
The inductive construction defines an n-dimensional determinant as a signed sum of (n − 1)-dimensional determinants of minors, and its terms cancel in pairs when adjacent rows coincide.
Expanding each row in standard basis vectors reduces any determinant to terms indexed by column choices; repeated column choices vanish because they create equal rows.
Only choices using every column once survive, yielding the permutation expansion with each term weighted by the sign of its permutation.
The determinant's permutation sign can be defined by the parity of row swaps that transform its permutation matrix into the identity, but the parity-independence proof is postponed.

Chapters

0:00 Determinants as Multilinear Functions of Matrix Rows

A determinant takes a square matrix, viewed as its ordered rows, and returns a scalar.
The defining conditions are n-linearity in the rows, alternating behavior, and determinant of the identity matrix equal to 1.
For n = 2, the familiar example is ad − bc, which satisfies the determinant conditions.

4:00 Reducing the Alternating Condition to Adjacent Rows

The existence proof proceeds by induction, starting from the constructed n = 2 determinant.
For an alternating multilinear function, it is enough to establish the required row behavior for adjacent rows.
The lecture sets up the relationship between swapping rows and vanishing when rows coincide.

8:00 Repeated Rows and the Characteristic-Two Caveat

If swapping two rows changes a function's sign, a matrix with equal rows satisfies D(A) = −D(A).
When the field has characteristic other than 2, this implies D(A) = 0 for equal rows.
In characteristic 2, a = −a holds for every scalar, so sign change alone does not imply that repeated rows give determinant zero.

11:00 Multilinearity Makes Adjacent Row Swaps Reverse the Sign

For adjacent rows α and β, the proof evaluates the multilinear function with α + β in both row positions.
The resulting matrix has equal adjacent rows, so its function value is zero under the repeated-row condition.
Expanding by linearity cancels the equal-row terms and yields D(..., β, α, ...) = −D(..., α, β, ...).

15:00 Arbitrary Row Swaps Follow from Adjacent Swaps

Rows separated by k positions can be brought together through adjacent exchanges, swapped, and moved back.
The sequence uses 2k + 1 adjacent swaps, an odd number, so the function's sign reverses.
Thus, adjacent-row sign reversal gives sign reversal for swapping any pair of rows.

21:00 Inductive Determinant Construction from Signed Minors

Assume an (n − 1)-linear alternating determinant D is already defined for (n − 1) × (n − 1) matrices.
For an n × n matrix A, form minors A_ij by deleting row i and column j.
Define the next function by a signed minor sum, E(A) = Σᵢ (−1)^(i+j) aᵢⱼ D(A_ij), using a fixed column j.

27:00 Why the Signed Minor Sum Is n-Linear

Each minor term is independent of the row deleted to form A_ij and is multilinear in the remaining n − 1 rows.
For the omitted row, the factor aᵢⱼ is one coordinate multiplied by a coefficient independent of that row, hence linear in it.
The signed sum of these terms remains linear in every row, so E is n-linear.

33:00 Alternation by Cancellation in the Minor Expansion

To check alternation, take adjacent equal rows k and k + 1 in A.
Most minors still contain both equal rows, so their values under the inductive alternating function are zero.
The two remaining terms use equal minors but opposite signs, so they cancel and E(A) = 0.

40:00 Normalizing the Inductive Construction on the Identity

On the identity matrix, a minor with i ≠ j contains a zero row, so its determinant contribution vanishes.
When i = j, deleting row i and column i leaves an (n − 1) × (n − 1) identity matrix, whose D-value is 1.
The sole surviving summand is 1, proving E(I) = 1 and completing the inductive existence proof.

45:00 Multilinearity Expands Any Determinant into Coordinate Choices

For uniqueness, write each row as a sum of its coordinates times the standard basis rows.
Applying multilinearity across all n rows expands D(A) into terms indexed by choices of one column coordinate from each row.
Any term that chooses the same column for two rows gives a matrix with equal rows and therefore contributes zero.

52:00 Permutation Matrices Produce the Determinant Formula

The surviving coordinate choices use every column exactly once, so they correspond to permutations σ of {1, ..., n}.
Each surviving term is the product a₁,σ(1) ··· aₙ,σ(n) times D of the corresponding permutation matrix.
A permutation matrix becomes the identity after row swaps, so its determinant is 1 or −1 according to the parity of those swaps.

58:00 Uniqueness, Permutation Sign, and the Next Proof Obligation

The resulting formula is det(A) = Σσ sign(σ) ∏ᵢ aᵢ,σ(i), derived solely from multilinearity, alternation, and det(I) = 1.
Because every determinant must satisfy this same expansion, the three defining properties determine a unique determinant function.
The lecture notes that sign(σ) must be well-defined even if different row-swap sequences have different lengths; proving that their parities agree is deferred.

Transcript excerpt

0:08 Եկեք սկսենք: Ուրեմն անցած անգամ դետերմինանտներ սահմանեցինք: Դետերմինանտ սահման դետերմինանտը ի՞նչ է իրենից ներկայացրել մատնիցների վրա գործողություն է այսինքն Դա ինչ-որ ֆունկցիա է, որը քառակուսի մատրից է վերցնում ու ստանում է մի թիվ։ Ու ինչպե՞ս սահմանեցինք սա, եթե ունենք մի մատրի այստեղից, աս մատրիցը կդիտարկենք որպես իր տողերի հավաքածու

1:01 ու սահմանեցինք երկգծային կամ բազմագծային ֆունկցիայի գաղափարը: Եթե ունենք, ասենք մի քանի վեկտորային տարածություններ, եթե վերցնենք սրանց արտադրյալը, այստեղից ինչ-որ մի հատ ուրիշ վեկտորային տարածություն, մասնավորապես որպես այստեղից դաշտ ֆունկցիան կասենք, որ բազմագծային է, այստեղ m գծային, որովհետև m հատ ըըը կոորդինատ ունենք, կասենք, որ սա բազմագծային է, m գծայինն է եթե այս ֆունկցիան գծային է յուրաքանչյուր կոորդինատի նկատմամբ, առաջին կոորդինատի նկատմամբ գծային է,

1:49 երկրորդի նկատմամբ գծայինը և այլն։ Ու դետերմինանտը սահմանեցինք հետևյալ Ալ կերպ դա մի այնպիսի ֆունկցիա է, որը n գծային է տողերի նկատմամբ ունի այն հայտությունը, որ եթե երկու տող հավասարեն զրոյի, հավասար են իրար ապա ինքը անպայման զրո է լինում և ասեցինք, որ միավոր մատրիցի դեպքում ինքը պետք է լինի մեկ

2:41 ասեցինք, որ նման ֆունկցիան կանվանենք դետերմինանտ ըստ աս սահմանման պարզ չի, թե արդյո՞ք նման ֆունկցիա գոյություն ունի, քանի եթե գոյություն ունի, քանի նման ֆունկցիա կա։ Այսինքն, այսինքն քանի քանի, քանի նման ֆունկցիա գոյություն ունի 0, մեկ երկու ավել ասենք, օրինակ, եթե խոսքը գնում է n-ը հավասար է երկու դեպքի մասին, մենք կարող ենք անցած անգամ օրինակ տեսանք, որ եթե դիտարկենք Aդ ֆունկցիան, սա կլինի երկգծային ֆունկցիա

3:31 bc ֆունկցիան նույնպես կլինի երկգծային ֆունկցիա, եթե դրանց տարբերությունը վերցնենք, դա նույնպես կլինի երկգծային ֆունկցիա, այսինքն a հցն կլինի երկգծային ֆունկցիա կա։ Էջմամբ կարելի է ստուգել, որ եթե այս երկու տողը նույնը լինեն, ապա սա կլինի զրո։ Ու եթե էստեղ տեղադրենք միավոր մատրիցը, սա կլինի մեկ։ Այսինքն՝ հենց նոր ստուգեցինք, որ համենայն դեպս գոնե n-ը հավասար երկու դեպքում նման ֆունկցիա գոյություն ունի, այսինքն դետերմինանտ ֆունկցիա գոյություն ունի։ Մասնավորապես սա։ Գուցե ուրիշներն էլ կան, այս պահին

This is the start of the transcript. Save this video free for the whole transcript, searchable and time-coded.

In this course

Related notes

Summary, takeaways, and chapters were generated by AI from the video's transcript and may contain errors. The video belongs to its creator, Sevak Mkrtchyan.