Laplace expansion

Laplace expansion

In linear algebra, the Laplace expansion, named after Pierre-Simon Laplace, also called cofactor expansion, is an expression for the determinant |B| of an n × n square matrix B that is a weighted sum of the determinants of n sub-matrices of B, each of size (n–1) × (n–1). The Laplace expansion is of theoretical interest as one of several ways to view the determinant, as well as of practical use in determinant computation.

The i, j cofactor of B is the scalar Cij defined by

C_{ij}\ = (-1)^{i+j} M_{ij}\,,

where Mij is the i, j minor matrix of B, that is, the determinant of the (n–1) × (n–1) matrix that results from deleting the i-th row and the j-th column of B.

Then the Laplace expansion is given by the following

Theorem. Suppose B = (bij) is an n × n matrix and i, j ∈ {1, 2, ..., n}.

Then its determinant |B| is given by:

\begin{align}|B| & {} = b_{i1} C_{i1} + b_{i2} C_{i2} + \cdots + b_{in} C_{in} \\ & {} = b_{1j} C_{1j} + b_{2j} C_{2j} + \cdots + b_{nj} C_{nj}. \end{align}

Contents

Examples

Consider the matrix

 B = \begin{bmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{bmatrix}.

The determinant of this matrix can be computed by using the Laplace expansion along the first row:

 |B| = 1 \cdot \begin{vmatrix} 5 & 6 \\ 8 & 9 \end{vmatrix} - 2 \cdot \begin{vmatrix} 4 & 6 \\ 7 & 9 \end{vmatrix} + 3 \cdot \begin{vmatrix} 4 & 5 \\ 7 & 8 \end{vmatrix}
 {} = 1 \cdot (-3) - 2 \cdot (-6) + 3 \cdot (-3) = 0.

Alternatively, Laplace expansion along the second column yields

 |B| = -2 \cdot \begin{vmatrix} 4 & 6 \\ 7 & 9 \end{vmatrix} + 5 \cdot \begin{vmatrix} 1 & 3 \\ 7 & 9 \end{vmatrix} - 8 \cdot \begin{vmatrix} 1 & 3 \\ 4 & 6 \end{vmatrix}
 {} = -2 \cdot (-6) + 5 \cdot (-12) - 8 \cdot (-6) = 0.

It is easy to see that the result is correct: the matrix is singular because the sum of its first and third column is twice the second column, and hence its determinant is zero.

Proof

Suppose B is an n × n matrix and i,j\in\{1,2,\dots,n\}. For clarity we also label the entries of B that compose its i,j minor matrix Mij as

(ast) for 1 \le s,t \le n-1.

Consider the terms in the expansion of | B | that have bij as a factor. Each has the form

\sgn \tau\,b_{1,\tau(1)} \cdots b_{i,j} \cdots b_{n,\tau(n)}
   = \sgn \tau\,b_{ij} a_{1,\sigma(1)} \cdots a_{n-1,\sigma(n-1)}

for some permutation τ ∈ Sn with τ(i) = j, and a unique and evidently related permutation \sigma\in S_{n-1} which selects the same minor entries as τ. Similarly each choice of σ determines a corresponding τ, i.e. the correspondence \sigma\leftrightarrow\tau is a bijection between Sn − 1 and \{\tau\in S_n\colon\tau(i)=j\}. The permutation τ can be derived from σ as follows.

Define \sigma'\in S_n by σ'(k) = σ(k) for 1 \le k \le n-1 and σ'(n) = n. Then sgn σ' = sgn σ and

\tau\,=(j,j+1,\ldots,n)\sigma'(n,n-1,\ldots,i)

Since the two cycles can be written respectively as nj and ni transpositions,

\sgn\tau\,= (-1)^{2n-(i+j)} \sgn\sigma'\,= (-1)^{i+j} \sgn\sigma.

And since the map \sigma\leftrightarrow\tau is bijective,

\sum_{\tau \in S_n\colon\tau(i)=j} \sgn \tau\,b_{1,\tau(1)} \cdots b_{n,\tau(n)}
= \sum_{\sigma \in S_{n-1}} (-1)^{i+j}\sgn\sigma\, b_{ij}
a_{1,\sigma(1)} \cdots a_{n-1,\sigma(n-1)}
=\ b_{ij} (-1)^{i+j} |M_{ij}|,

from which the result follows.

References

See also

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Laplace expansion (potential) — See also Laplace expansion of determinant .In physics, the Laplace expansion of a 1/ r type potential is applied to expand Newton s gravitational potential or Coulomb s electrostatic potential. In quantum mechanical calculations on atoms the… …   Wikipedia

  • Expansion Terrestre — Mouvements des continents au fur et à mesure de l expansion de la Terre. à gauche: Océan Atlantique droite: Océan Pacifique. L expansion terrestre est une théorie essayant d expliquer la position et le mouvement des continents à la surface de la… …   Wikipédia en Français

  • Pierre-Simon Laplace — Laplace redirects here. For the city in Louisiana, see LaPlace, Louisiana. For the joint NASA ESA space mission, see Europa Jupiter System Mission. Pierre Simon, marquis de Laplace Pierre Simon Laplace (1749–1827). Posthumous portrait …   Wikipedia

  • Expansion terrestre — Pour les articles homonymes, voir Expansion. L écartement des masses continentales tandis que le rayon terrestre augmente, créant un nouveau plancher océanique …   Wikipédia en Français

  • Multipole expansion — A multipole expansion is a mathematical series representing a function that depends on angles usually the two angles on a sphere. These series are useful because they can often be truncated, meaning that only the first few terms need to be… …   Wikipedia

  • Theorie de l'expansion terrestre — Expansion terrestre Mouvements des continents au fur et à mesure de l expansion de la Terre. à gauche: Océan Atlantique droite: Océan Pacifique. L expansion terrestre est une théorie essayant d expliquer la position et le mouvement des continents …   Wikipédia en Français

  • Asymptotic expansion — In mathematics an asymptotic expansion, asymptotic series or Poincaré expansion (after Henri Poincaré) is a formal series of functions which has the property that truncating the series after a finite number of terms provides an approximation to a …   Wikipedia

  • de Moivre–Laplace theorem — As n grows large, the shape of the binomial distribution begins to resemble the smooth Gaussian curve. In probability theory, the de Moivre–Laplace theorem is a normal approximation to the binomial distribution. It is a special case of the… …   Wikipedia

  • Determinant — This article is about determinants in mathematics. For determinants in epidemiology, see Risk factor. In linear algebra, the determinant is a value associated with a square matrix. It can be computed from the entries of the matrix by a specific… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”