06.09.2021 Views

Linear Algebra, 2020a

Linear Algebra, 2020a

Linear Algebra, 2020a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Section I. Definition 347<br />

could be computed with one swap<br />

or with three.<br />

ρ 1 ↔ρ 2<br />

P φ −→<br />

ρ 3 ↔ρ 1 ρ 2 ↔ρ 3 ρ 1 ↔ρ 3<br />

P φ −→ −→ −→<br />

⎛<br />

⎞<br />

1 0 0 0<br />

0 1 0 0<br />

⎜<br />

⎟<br />

⎝0 0 1 0⎠<br />

0 0 0 1<br />

⎛<br />

⎞<br />

1 0 0 0<br />

0 1 0 0<br />

⎜<br />

⎟<br />

⎝0 0 1 0⎠<br />

0 0 0 1<br />

Both reductions have an odd number of swaps so in this case we figure that<br />

|P φ | =−1 but if there were some way to do it with an even number of swaps then<br />

we would have the determinant giving two different outputs from a single input.<br />

Below, Corollary 4.5 proves that this cannot happen — there is no permutation<br />

matrix that can be row-swapped to an identity matrix in two ways, one with an<br />

even number of swaps and the other with an odd number of swaps.<br />

4.1 Definition In a permutation φ = 〈...,k,...,j,...〉, elements such that k>j<br />

are in an inversion of their natural order. Similarly, in a permutation matrix<br />

two rows<br />

⎛ ⎞<br />

.<br />

ι ḳ P φ =<br />

. ⎜ι ⎝ j... ⎟<br />

⎠<br />

such that k>jare in an inversion.<br />

4.2 Example This permutation matrix<br />

⎛<br />

⎞ ⎛ ⎞<br />

1 0 0 0 ι 1<br />

0 0 1 0<br />

⎜<br />

⎟<br />

⎝0 1 0 0⎠ = ι 3<br />

⎜ ⎟<br />

⎝ι 2 ⎠<br />

0 0 0 1 ι 4<br />

has a single inversion, that ι 3 precedes ι 2 .<br />

4.3 Example There are three inversions here:<br />

⎛<br />

⎜<br />

0 0 1<br />

⎞ ⎛<br />

⎟ ⎜<br />

ι ⎞<br />

3<br />

⎟<br />

⎝0 1 0⎠ = ⎝ι 2 ⎠<br />

1 0 0 ι 1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!