O Determinante como uma Forma Multilinear

Alternada
Reginaldo J. Santos
Departamento de Matematica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi
21 de maio de 2004

Uma funcao f do conjunto das matrizes n n em R e chamada forma multilinear

ou n-linear se para qualquer matriz A, n n, e escalares e ,
A1 A1 A1

.. .. ..
. . .


A A Ak1

k1 k1
f X + Y = f X + f Y ,

Ak+1 Ak+1 Ak+1

.. .
..
.
..
.
An An An
onde X = [ x1 . . . xn ] e Y = [ y1 . . . yn ].

Teorema 1. Se f e uma forma multilinear, entao para qualquer matriz A, n n,

t
A1 n n n E k1
f ... = a1k1 a2k2 . . . ankn f ...
XX X
...

An k1 =1 k2 =1 kn =1 Ekt n

Demonstrao. Cada linha i pode ser escrita como

ca
n
X
Ai = aiki Ekt i .
ki =1

1
2

Assim, aplicando-se a multilinearidade segue que

Pn
t
Ekt 1
A1 k1 =1 a 1k E k n
P n t
k2 =1 a2k2 Ek2 =1
1 1
.. . X
f . = f
.. =

a1k1 f

.. =

Pn t =1
.
An kn =1 ankn Ekn
k 1 Pn t
k =1 ankn Ekn
n
n X n n Ekt 1
a1k1 a2k2 . . . ankn f ...
X X
= ...

k1 =1 k2 =1 kn =1 Ekt n

umaforma multilinear fica inteiramente determinada se conhecemos os nn va-

Assim
Ekt 1
..
lores f . , para k1 = 1, . . . , n, . . . kn = 1, . . . , n.
Ekt n
Dizemos que uma forma multilinear e alternada se

A1
..
.
Ak

.
f .. = 0, sempre que Ak = Al .

A
l
.
..
An

ao 2. Uma forma multilinear e alternada se, e somente se, ela e anti-

Proposic
etrica, isto e, para qualquer matriz A, n n,
sim

A1 A1
.. ..
. .
X Y

. .
f .. = f .. , para X = [ x1 . . . xn ] e Y = [ y1 . . . yn ].

Y X

. .
.
. .
.
An An

O Determinante como uma Forma Multilinear Alternada 21 de maio de 2004

 3

Demonstrao. Se f e alternada, entao

ca

A1 A1 A1 A1 A1
.. .. .. .. ..
. . . . .


X +Y X X Y Y


0 = f
.
..
.
= f .. + f .. .. ..
. +f . +f .


X +Y X Y X Y

.
.
.
.
.. .. ..
. . . . .
An An An An An

A1 A1
.. ..
. .
X Y

. .
= 0+f .. + f .. + 0,

Y X

. .
. . .
.
An An

de onde segue que f e anti-simetrica. Deixamos para o leitor como exerccio mostrar que
se f e anti-simetrica, entao f e alternada.
Como conseq
uencia imediata desta proposicao temos o seguinte resultado.

Corol ario 3. Se f e uma forma multilinear alternada, entao para toda permutacao dos
inteiros 1, . . . , n e toda matriz A, n n,

A(1) A1
.. ..
f . = f . ,

A(n) An

onde e o sinal da permutacao , ou seja, e igual a +1 se e o resultado de um

numero par de transposicoes e e igual a 1 se e o resultado de um n umero mpar de
transposicoes.

Assim, toda forma multilinear alternada e determinada pelo seu valor na matriz iden-
tidade In , como mostra o proximo resultado.

21 de maio de 2004 Reginaldo J. Santos

4

Teorema 4. Se f e uma forma multilinear alternada, entao para qualquer matriz A,

n n,
A1
f ... =
X
a1(1) a2(2) . . . an(n) f (In )

An

Demonstrao. Sendo f multilinear temos que

ca

t
A1 n n n E k 1

f ... = a1k1 a2k2 . . . ankn f ...

XX X
...

An k1 =1 k2 =1 kn =1 Ekt n

Neste somatorio sao nulas todas as parcelas em que ha repeticoes dos ndices k1 , . . . , kn ,
restando apenas aquelas em que

(k1 , k2 , . . . , kn ) = ((1), . . . , (n))

e uma permutacao dos inteiros. Neste caso,

a1k1 a2k2 . . . ankn = a1(1) a2(2) . . . an(n)

e a parcela correspondente
t

E(1) E1t
a1(1) a2(2) . . . an(n) f ... = a1(1) a2(2) . . . an(n) f .. .

.
t
E(n) Ent

Portanto,
A1
f ... =
X
a1(1) a2(2) . . . an(n) f (In ),

An

o somatorio e extendido a todas as permutacoes dos inteiros 1, . . . , n.

Assim, toda forma multilinear alternada e determinada pelo seu valor na matriz iden-
tidade In . Como ja mostramos que o determinante e uma forma multilinear alternada
que vale 1 na matriz identidade, temos a seguinte caracterizacao do determinante.

O Determinante como uma Forma Multilinear Alternada 21 de maio de 2004


REFERENCIAS 5

Corol nica forma multilinear alternada que vale 1 na matriz

ario 5. O determinante e a u
identidade e alem disso para qualquer matriz A, n n,
X
det(A) = a1(1) a2(2) . . . an(n) .

Refer
encias

[1] Kenneth Hoffman and Ray Kunze. Algebra Linear. Livros Tecnicos e Cientficos Ed.
S.A., Rio de Janeiro, 3a. edition, 1979.

[2] Serge Lang. Linear Algebra. Springer Verlag, New York, 3a. edition, 1987.

[3] Elon L. Lima. Algebra Linear. IMPA, Rio de Janeiro, 2a. edition, 1996.

[4] Seymour Lipschutz. Algebra Linear. McGraw-Hill, Sao Paulo, 3a. edition, 1994.

[5] Reginaldo J. Santos. Um Curso de Geometria Analtica e Algebra Linear. Imprensa
Universitaria da UFMG, Belo Horizonte, 2003.

21 de maio de 2004 Reginaldo J. Santos