Demostracin elemental de la multiplicatividad del o determinante

Luis Arenas-Carmona. February 6, 2011

Para comenzar, sea X = {1, 2, . . . , n}. Sea el conjunto de funciones de X en X y sea S = Sn el grupo de funciones invertibles. Sean A = (ai,j )i,j y B = (bi,j )i,j matrices de n por n. Sea
n

=
S

sgn()
i=1

b (i)(i) .

Then = sgn( ) det(B), donde el signo de una funcin no invertible es 0 o por denicin. La demostracin es como sigue. Supongamos primero que o o no es invertible, digamos para jar ideas que (1) = (2). Entonces con la substitucin = (12) se tiene o
n n

=
S

sgn()
i=1

b (i) (i) =
S

sgn( )
i=1

b (i) (i) = .

ya que b (1) (1) = b (2)(2) y b (2) (2) = b (1)(1) y todos los dems trminos a e son iguales. Supongamos ahora que es invertible, entonces la substitucin o = 1 nos d a
n n

=
S

sgn()
i=1

b (i) [ (i)] = sgn( )

S

sgn( )
k=1

bk (k) = sgn( ) det(B).

Ahora bien, por denicin el determinante de AB es o

n n

det(AB) =
S

sgn()
i=1 j=1 n

ai,j bj(i)

=
S

sgn()
j1 ,...,jn i=1

ai,ji bji (i)

L. Arenas-Carmona
n

=
S

sgn()
i=1 n

ai, (i) b (i)(i)

n

=
i=1

ai, (i)
S n

sgn()
i=1

b (i)(i)

=
i=1

ai, (i)
n

sgn( ) det(B)

= det(B)
S i=1

ai, (i)

sgn( )

= det(A) det(B).