Section 5.2 Determinants
Typically, the first definition one sees of a determinant is given by expansion about the first row, with the a recursive application to the submatrices that have size one smaller. In the extreme, a \(1\times 1\) matrix has a determinant that is just the lone entry. In this section, we show two different approaches that could be taken as the definition of a determinant, providing more insight on the nature of this enigmatic function.
THIS SECTION IS IN-PROGRESS
Subsection 5.2.1 Permutations and Determinants
A permutation is an injective and surjective (“one-to-one” and “onto”) function from a finite set to itself. The permutations we will be interested in presently are permutations of the row or column indices of an \(n\times n\) matrix, \(\set{1,\,2,\,3\,\dots,\,n}\text{.}\) Informally, think of a permutation as a “rearrangement”, much as you might think of the verb “permute” to mean the same thing. There are \(n!\) possible permutations of an \(n\)-element set, and the complete set of all such permutations is denoted \(S_n\text{.}\)
Any permutation of set can be achieved by a sequence of interchanges of two elements of the set. A simple version of the Bubble Sort algorithm might convince you of this. Begin with the elements of the set in their natural order. Pass through the set examining adjacent elements. If two adjacent elements are not in the relative order they appear in the permuted version of the list (the list of images of the function), then interchange them. At the conclusion of the pass, go back to the start of thodoe list and make another pass. Keep making passes through the list, until a pass makes no interchanges. Then the list is in the desired order.