Definition:Determinant



From ProofWiki

Revision as of 09:51, 12 December 2023 by Prime.mover (talk | contribs)
(diff)  Older revision | Latest revision (diff) | Newer revision  (diff)


Jump to navigation Jump to search
  • 1.2 Definition 1
  • 1.3 Definition 2
  • 1.4 Determinant of Linear Operator
  • 2 Rows and Columns
  • 3 Also see
  • 4 Sources
  • Definition

    Determinant of Matrix

    Let $\mathbf A = \sqbrk a_n$ be a square matrixoforder $n$.

    That is, let:

    $\quad \mathbf A = \begin {bmatrix} a_{1 1} & a_{1 2} & \cdots & a_{1 n} \\ a_{2 1} & a_{2 2} & \cdots & a_{2 n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n 1} & a_{n 2} & \cdots & a_{n n} \\ \end {bmatrix}$


    Definition 1

    Let $\lambda: \N_{> 0} \to \N_{> 0}$ be a permutation on $\N_{>0}$.


    The determinant of $\mathbf A$ is defined as:

    $\ds \map \det {\mathbf A} := \sum_{\lambda} \paren {\map \sgn \lambda \prod_{k \mathop = 1}^n a_{k \map \lambda k} } = \sum_\lambda \map \sgn \lambda a_{1 \map \lambda 1} a_{2 \map \lambda 2} \cdots a_{n \map \lambda n}$

    where:

    the summation $\ds \sum_\lambda$ goes over all the $n!$ permutations of $\set {1, 2, \ldots, n}$
    $\map \sgn \lambda$ is the sign of the permutation $\lambda$.


    Definition 2

    The determinant of $\mathbf A$ is defined as follows:

    For $n = 1$, the order $1$ determinant is defined as:

    $\begin {vmatrix} a_{1 1} \end {vmatrix} = a_{1 1}$

    Thus the determinant of an order $1$ matrix is that element itself.


    For $n > 1$, the determinantoforder $n$ is defined recursively as:


    $\quad \ds \map \det {\mathbf A} := \begin {vmatrix} a_{1 1} & a_{1 2} & a_{1 3} & \cdots & a_{1 n} \\ a_{2 1} & a_{2 2} & a_{2 3} & \cdots & a_{2 n} \\ a_{3 1} & a_{3 2} & a_{3 3} & \cdots & a_{3 n} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ a_{n 1} & a_{n 2} & a_{n 3} & \cdots & a_{n n} \\ \end {vmatrix} = a_{1 1} \begin {vmatrix} a_{2 2} & a_{2 3} & \cdots & a_{2 n} \\ a_{3 2} & a_{3 3} & \cdots & a_{3 n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n 2} & a_{n 3} & \cdots & a_{n n} \\ \end {vmatrix} - a_{1 2} \begin {vmatrix} a_{2 1} & a_{2 3} & \cdots & a_{2 n} \\ a_{3 1} & a_{3 3} & \cdots & a_{3 n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n 1} & a_{n 3} & \cdots & a_{n n} \\ \end {vmatrix} + \cdots + \paren {-1}^{n + 1} a_{1 n} \begin {vmatrix} a_{2 1} & a_{2 2} & \cdots & a_{2, n - 1} \\ a_{3 1} & a_{3 3} & \cdots & a_{3, n - 1} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n 1} & a_{n 3} & \cdots & a_{n, n - 1} \\ \end {vmatrix}$


    Determinant of Linear Operator

    Let $V$ be a finite-dimensional vector space over a field $K$.

    Let $A: V \to V$ be a linear operator of $V$.


    The determinant $\map \det A$ of $A$ is defined to be the determinant of any matrix of $A$ relative to some basis.


    Rows and Columns

    Row of Determinant

    Let $\mathbf D$ be a determinant.

    The rows of $\mathbf D$ are the lines of elements reading across the page.


    Column of Determinant

    Let $\mathbf D$ be a determinant.

    The columns of $\mathbf D$ are the lines of elements reading across the page.


    Also see


    Sources

    Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Determinant&oldid=667767"

    Category: 
    Definitions/Determinants



    Navigation menu


    Personal tools



    Log in
    Request account


    Namespaces



    Definition
    Discussion