Universidade Federal de Gois Instituto de Matemtica e Estatstica

Programa de Mestrado Prossional em Matemtica em Rede Nacional

O estudo de determinantes sob a tica do grupo de permutaes

Walter Jos Rodrigues de Moraes

Goinia 2013

TERMO DE CINCIA E DE AUTORIZAO PARA DISPONIBILIZAR ELETRONICAMENTE OS TRABALHOS DE CONCLUSO DE CURSO NA BIBLIOTECA DIGITAL DA UFG Na qualidade de titular dos direitos de autor, autorizo a Universidade Federal de Gois (UFG) a disponibilizar, gratuitamente, por meio da Biblioteca Digital de Teses e Dissertaes (BDTD/UFG), sem ressarcimento dos direitos autorais, de acordo com a Lei n 9610/98, o documento conforme permisses assinaladas abaixo, para fins de leitura, impresso e/ou download, a ttulo de divulgao da produo cientfica brasileira, a partir desta data. 1. Identificao do material bibliogrfico: 2. Identificao do Trabalho Autor (a): Walter Jos Rodrigues de Moraes E-mail: walterjrmoraes@gmail.com Seu e-mail pode ser disponibilizado na pgina? Vnculo empregatcio do autor Agncia de fomento: Pas: Ttulo: Brasil Trabalho de Concluso de Curso de Mestrado Profissional

[X]Sim

[ ] No

Secretaria de Estado de Educao do Distrito Federal Coordenao de aperfeioamento de Sigla: CAPES pessoal de nvel superior UF: CNPJ: 00.889.834/0001-08 O estudo de determinantes sob a tica do grupo de permutaes

Palavras-chave: Determinantes. Grupos. Permutao. Ttulo em outra lngua: The study of determinants from the perspective of permutation groups Palavras-chave em outra lngua: Determinants. Groups. Permutations.

rea de concentrao: Matemtica do ensino bsico Data defesa: 28/02/2013 Programa de Ps-Graduao: Mestrado profissional em Matemtica em rede nacional Orientador (a): Mrio Jos de Souza E-mail: mariojsouza@gmail.com Co-orientador(a):* E-mail:
*Necessita do CPF quando no constar no SisPG

3. Informaes de acesso ao documento: Concorda com a liberao total do documento [X] SIM [ ] NO1

Havendo concordncia com a disponibilizao eletrnica, torna-se imprescindvel o envio do(s) arquivo(s) em formato digital PDF ou DOC do trabalho de concluso de curso. O sistema da Biblioteca Digital de Teses e Dissertaes garante aos autores, que os arquivos contendo eletronicamente as teses, dissertaes ou trabalhos de concluso de curso, antes de sua disponibilizao, recebero procedimentos de segurana, criptografia (para no permitir cpia e extrao de contedo, permitindo apenas impresso fraca) usando o padro do Acrobat. ________________________________________ Assinatura do (a) autor (a)
1

Data: ____ / ____ / _____

Neste caso o documento ser embargado por at um ano a partir da data de defesa. A extenso deste prazo suscita justificativa junto coordenao do curso. Os dados do documento no sero disponibilizados durante o perodo de embargo.

Walter Jos e Rodrigues de Moraes

tica do O estudo de determinantes sob a o es grupo de permutac o

Trabalho de Conclus ao de Curso apresentado ao Instituto de Matem atica e Estat stica da Universidade Federal de Goi as, como parte dos requisitos para o do grau de Mestre em Matem obtenc a atica. o: Matem Area de Concentrac a atica do Ensino B asico Orientador: Prof. Dr. M ario Jos e de Souza

Goi ania 2013

Dados Internacionais de Catalogao na Publicao (CIP) GPT/BC/UFG

M827e

Moraes, Walter Jos Rodrigues. O estudo de determinantes sob a tica do grupo de permutaes [manuscrito] / Walter Jos Rodrigues de Moraes. 2013. xv, 4 4 f. : il., figs, tabs. Orientador: Prof. Dr. Mrio Jos de Souza. Dissertao (Mestrado) Universidade Federal de Gois, Instituto de Matemtica e Estatstica, 2013. Bibliografia. Inclui lista de figuras, abreviaturas, siglas e tabelas. Apndices. 1. Permutao. 2. Determinante. 3. Grupos. I. Ttulo. CDU: 512.542.7

Walter Jose Rodrigues de Moraes

o Estudo de Determinantes sob a Otica do

T

Grupo de Permutacoes

Trabalho de Conclusao de Curso defendido no Programa de Mestrado Profissioual em Matematica em Rede Nacional - PROFMA T/UFG, do Institute de Matematica e Estatistica da Uuiversidade Federal de Goias, como requisito parcial para obtencao do titulo de Mestre em Matematica, area de concentracao Matematica do Ensino Basico, aprovado no dia 28 de fevereiro de 2013, pela Banca Examinadora constituida pelos professores:

P of

r. Mario .Iose de Souza e Matematica e Estatistica-UFG Presidente da Banca

---Prof. Dr.

hlv'"

Institute Federal de Educacao, Ciencia e Tecnologia - Campus Goiania-Gf)

a;m~r.:=-'\-u-z-a-------

--~---------------

Profa. Dra, Ivonildes Ribeiro Martins

Institute de Maternatica e Estatistica-Uf'G

JraLL--

Todos os direitos reservados. proibida a reproduo total ou parcial do trabalho sem autorizao da universidade, do autor e do orientador(a).

Walter Jos Rodrigues de Moraes

Licenciado em Matemtica e especialista em Educao Matemtica pela UNB. Professor da Secretaria de Educao do Distrito Federal, atuando no ensino mdio desde 1990.

 minha esposa e lhos, pelo reconhecimento dos valiosos incentivos concluso de mais uma etapa de minha vida.

Agradecimentos

Aos professores, tutores e coordenadores do IME-UFG pelo empenho e dedicao mostrados ao longo do curso, em especial ao Prof. Dr. Mrio Jos de Souza, aos colegas de turma pelo apoio e compreenso nos momentos difceis e CAPES pelo suporte nanceiro.

Sempre me pareceu estranho que todos aqueles que estudam seriamente esta cincia acabam tomados de uma espcie de paixo pela mesma. Em verdade, o que proporciona o mximo prazer no o conhecimento e sim a aprendizagem, no a posse mas a aquisio, no a presena mas o ato de atingir a meta Carl Friedrich Gauss, A Magia dos Nmeros.

Resumo

O estudo sobre o desenvolvimento dos determinantes por meio das permuta co es efetuadas sobre suas linhas ou colunas remonta a 1812, com uma mem oria apresentada por Cauchy a ` academia de ci encias da Fran ca. O presente trabalho e, em certo sentido, um resgate hist orico. Em primeiro lugar dene-se uma permuta ca o: sob um ponto de vista superior tem-se uma aplica ca o bijetiva e, como tal, o conjunto das permuta c oes possui uma estrutura de grupo; do ponto de vista elementar, tem-se um ordenamento de elementos de um conjunto. O fato fundamental e que, em segundo lugar, a deni c ao de determinante se ajusta perfeitamente a `s duas concep c oes, tomando por base a paridade das permuta co es. Baseando nas deni co es, as propriedades dos determinantes s ao apresentadas e, assim, pode-se proceder com as devidas justicativas sobre a validade das mesmas. Uma regra que associe a cada matriz quadrada um n umero real denir a uma fun ca o real de vari avel a forma atual como os determinantes s matricial, a fun ca o determinante. E ao apresentados em n veis superiores: o determinante e a u nica fun c ao multilinear alternada das linhas (colunas) de uma matriz quadrada, conforme exibido em [10]. Com tal apresenta c ao, tem-se em mente, o fato de poder servir de inspira ca o em estudos posteriores.

Palavras-chave Determinantes. Grupos. Permuta c ao.

Abstract

The study of determinants development through the permutations made on their lines or columns dates back to 1812, a memory presented by Cauchy to the French Academy of Sciences. The present work is, in some way, a historical rescue. Firstly, a permutation is dened: from a superior point of view there is a bijective application and, as such, the set of permutations has a group structure; from the elementary point of view, there is an ordainment of a groups elements. The fundamental fact is, secondly, that the denition of determinant adjusts perfectly to both conceptions, based on the parity of the permutations. Based on the denitions, the determinants properties are presented and, therefore, it is possible to proceed with the appropriate justications about their validity. A rule that associates each square matrix to a real number will dene a real function of the variable matrix, the determinant function. This is the actual way in which determinants are presented in higher levels: the determinant is the unique alternated multilinear function of the lines (columns) of a square matrix, as indicated in [10]. By this presentation there is in mind the fact that it can be served as an inspiration to posterior studies.

Keywords Determinants. Groups. Permutation.

Sumrio
Introduo 1 Grupo de Permutaes e Determinantes
1.1 1.2 1.3 Grupos Permutaes
1.2.1 1.3.1 Ciclos Propriedades dos Determinantes

10 13 13 13 17 21 23 29 29 29 30 32 32 32 33 33 33 39

Determinantes

Aplicao no Ensino Mdio

2.1 Permutao
2.1.1 2.1.2 Classes de uma permutao Processos prticos para se determinar o nmero de inverses Paridade de um termo Determinante de ordem 2 Determinante de ordem 3 Propriedades dos determinantes Aplicao das propriedades

2.2 2.3

Termo de uma matriz quadrada

2.2.1 2.3.1 2.3.2 2.3.3

Determinantes

Concluso Referncias Bibliogrcas

42 43

Introduo

Como descrito em [13] e [16], em 1812, perante a Acadmie Des Sciences, na Frana, Augustin Louis Cauchy (1789-1857) fazia a leitura da Mmoire Sur Les Fonctions Qui Ne Peuvent Obtenir que Deux Valeurs gales Et de Signes Contraires Par Suite Des Transpositions Oprs Entre Les Variables Quelles Renferment. Na primeira parte dessa memria de 84 pginas, Cauchy apresenta as consideraes gerais sobre as funes simtricas alternadas. Para tanto, faz uso das permutaes, bem como da aplicao das transposies entre os elementos de um conjunto, mostrando como a operao de transposio altera o sinal dos mesmos e adotando a notao S( K) para representar as funes alternadas simtricas. No restante do trabalho descreve os determinantes como uma classe das funes simtricas alternadas, decorrendo da suas propriedades e aplicao na resoluo de sistemas lineares. Diferentemente do que se pratica hoje, ou seja, comear com a disposio matricial e dar um valor a ela por uma expanso em termos das transposies das permutaes, Cauchy comea com os n elementos a1 , a2 , ..., an e forma o produto desses por todas as diferenas entre os elementos distintos do conjunto. Assim: a1 a2 a3 ...an (a2 a1 )(a3 a1 )...(an a1 )(a3 a2 )...(an an1 ) Como ilustrao, considere o caso quando se tem 3 elementos a1 , a2 , a3 : (a1 a2 a3 )(a2 a1 )(a3 a1 )(a3 a2 ) =
2 (a1 a2 2 a3 a1 a2 a3 )(a3 a1 )(a3 a2 ) = 2 2 2 2 2 3 (a1 a2 2 a3 a1 a2 a3 a1 a2 a3 + a1 a2 a3 )(a3 a2 ) = 2 3 2 2 2 2 3 2 3 2 2 2 2 3 3 2 3 a1 a2 2 a3 a1 a2 a3 a1 a2 a3 + a1 a2 a3 a1 a2 a3 + a1 a2 a3 + a1 a2 a3 a1 a2 a3 = 2 3 2 3 2 3 2 3 3 2 3 a1 a2 2 a3 a1 a2 a3 + a1 a2 a3 a1 a2 a3 + a1 a2 a3 a1 a2 a3

11

Em seguida, Cauchy dene essa expresso como o determinante, transforj mando as potncias indicadas em ndices, de modo que ai ca ai. j e escreve isso como S(a1.1 a2.2 a3.3 ). Assim o resultado acima, toma a seguinte forma: a1.1 a2.2 a3.3 a1.1 a2.3 a3.2 + a1.2 a2.3 a3.1 a1.2 a2.1 a3.3 + a1.3 a2.1 a3.2 a1.3 a2.2 a3.1 Nesse momento que Cauchy dispe as n2 quantidades diferentes desse determinante em uma disposio semelhante a que usamos hoje: a1.1 a2.1 a3.1 an.1 a1.2 a2.2 a3.2 an.2 a1.3 a2.3 a3.3 an.3 a1.n a2.n a3.n an.n

Essas n2 quantidades formam segundo Cauchy "um sistema simtrico de ordem n". A partir disso, dene termos conjugados como os elementos cuja ordem dos ndices est invertida e os autoconjugados como os elementos principais e, nalmente, determina o sinal dos termos na expanso usando substituies circulares. A anlise de livros didticos de Matemtica constitui um parmetro indicador do estado atual em que se encontra o ensino da mesma. Especicamente no ensino mdio, pode-se constatar pela leitura de [12] que o contedo de determinantes apresentado simplesmente como um instrumento computacional. Percebe-se que em praticamente todas as obras consultadas, dene-se o determinante como um nmero real associado a uma matriz a partir de operaes entre os elementos da mesma segundo algumas regras. Dessa forma, poder-se-ia objetar: que regras so essas? como provar proposies sobre os determinantes utilizando-se dessa denio? Aps denido o determinante de acordo com a forma citada, calculam-se os determinantes de ordens 2 e 3, segundo as regras dadas e passa-se a enunciar algumas de suas propriedades. Nesse ponto compreende-se o motivo pelo qual as propriedades so apenas enunciadas: no tem como apresentar uma demonstrao inteligvel a alunos do ensino mdio a partir da denio dada. Essa exatamente a justicativa dos autores para a no apresentao das demonstraes, pois "so muito trabalhosas e no contribui para um melhor entendimento do teorema". Ou seja, perpetua-se o erro arraigado em nossa cultura escolar de que as proposies matemticas no precisam ser demonstradas. Considerando o determinante como instrumento computacional, deixa-se de apresentar fatos relacionados ao mesmo que so importantes em contextos mais amplos, por exemplo, o de que o determinante funo linear dos elementos de uma linha ou coluna.

12

Diante do exposto faz-se necessria uma reformulao na exposio dos contedos matemticos que privilegie a correo dos conceitos, bem como a apresentao sistemtica e fundamentada das proposies enunciadas. Esse trabalho est dividido em 2 captulos. O captulo 1 contm a denio de grupo e de permutao, mostrando que o conjunto das permutaes possui a estrutura de um grupo denominado grupo de permutaes ou grupo simtrico. A seguir enunciam-se as proposies referentes s permutaes. De posse da fundamentao terica passa-se denio de determinantes e enunciam-se suas propriedades, bem como suas respectivas demonstraes. O captulo 2 contm uma proposta de aplicao do contedo de determinantes no ensino mdio. Nesse sentido, dene-se a permutao da forma consagrada pela Anlise Combinatria, apresenta-se um dispositivo prtico [1] para determinar a paridade de uma permutao, dene-se o determinante, enunciam-se suas propriedades e procedem-se com as respectivas demonstraes, exemplicando a utilizao das mesmas na resoluo de questes envolvendo os determinantes.

CAPTULO 1

Grupo de Permutaes e Determinantes

Neste captulo so apresentados os conceitos de grupo de permutaes e de determinantes necessrios para o desenvolvimento deste trabalho. Para maiores detalhes sobre o assunto, indicamos as referncias [3], [6], [9], [11] e [14].

1.1

Grupos

Denio 1 - Um grupo um conjunto no vazio G munido de uma operao binria denida sobre G, aqui representada por , satisfazendo as seguintes propriedades: (P1 ) ASSOCIATIVA a, b, c G, a (b c) = (a b) c (P2 ) ELEMENTO NEUTRO a G, a e = e a = a (P3 ) ELEMENTO INVERSO a G, a G : a a = a a = e OBSERVAES (1) Caso o conjunto G seja nito, teremos um grupo nito e o nmero de elementos de G chamado de ordem do grupo G. (2) Caso a operao denida sobre G satisfaa a propriedade comutativa, ou seja, se para todo a, b G, ab = ba, dizemos que o grupo G comutativo ou abeliano.

1.2

Permutaes

Denio 2 - Seja In o conjunto dos nmeros naturais de 1 a n, ou seja, In = {1, 2, , n}. Chama-se Permutao de In a toda aplicao bijetiva : In In . Indicamos por Sn o conjunto de todas as permutaes de In . Para representar um elemento de Sn , usualmente utilizada uma notao de duas linhas, onde abaixo de cada elemento

1.2 Permutaes

14

da linha superior escreve-se sua imagem sob . = 1 2 3 n (1) (2) (3) (n)

No conjunto In , tomemos a aplicao idntica, que de agora em diante denotaremos por id . Assim id : In In a aplicao denida por id (x) = x para todo x In . Essa aplicao, tambm sendo bijetiva, a demonstrao encontra-se em [14], uma permutao: id = 1 2 3 n 1 2 3 n

A permutao inversa de uma permutao : In In a aplicao 1 : In In . Ainda de [14], temos que a inversa de uma aplicao bijetiva. 1 = (1) (2) (3) (n) 1 2 3 ... n = 1 1 (1) 2 1 (2) 3 1 (3) n 1 (n)

Exemplo 1 - Seja In = {1, 2, 3, 4, 5, 6} e : In In dada por: = 1 2 3 4 5 6 3 5 4 1 2 6

A permutao idntica de : id = 1 2 3 4 5 6 1 2 3 4 5 6

A permutao inversa de : 1 = 3 5 4 1 2 6 1 2 3 4 5 6 = 1 2 3 4 5 6 4 5 1 3 2 6

Sejam : In In e : In In duas permutaes de In . As composies e so bijetoras (conforme [14]) e, por isso, tambm so permutaes de In . 1 2 3 4 5 3 1 2 5 4 1 2 3 4 5 4 5 3 1 2

Exemplo 2 - Sejam =

e =

1.2 Permutaes

15

A permutao composta : ( )(1) ( )(2) ( )(3) ( )(4) ( )(5) = = = = = ((1)) ((2)) ((3)) ((4)) ((5)) = = = = = (4) (5) (3) (1) (2) = = = = = 5 4 2 3 1

1 2 3 4 5 3 1 2 5 4

1 2 3 4 5 4 5 3 1 2

1 2 3 4 5 5 4 2 3 1

O smbolo de composio de permutaes, a partir de agora, ser omitido. Assim ser denotado por , onde deve car claro que primeiro aplicamos e depois . Proposio 1 - O conjunto Sn munido da operao de composio de funes um grupo. Prova. Sn fechado em relao operao de composio de permutaes. De fato, sejam 1 e 2 Sn . Vamos mostrar que 1 2 uma bijeo em In . 1 2 injetiva, pois, dados x, y Sn , com x = y, temos por hiptese que 1 e 2 so injetivas e, assim, 1 (x) = 1 (y) e 2 (x) = 2 (y). Decorre da que 1 2 (x) = 1 2 (y). 1 2 sobrejetiva. Considere z In . Sabendo que 1 e 2 so sobrejetivas, ento existem x, y In , tais que 1 (y) = z e 2 (x) = y, ou seja, existe x In tal que 1 (2 (x)) = 1 (y) = z. Portanto 1 2 sobrejetiva. Assim 1 2 uma bijeo em In , ou seja, Sn fechado em relao composio de funes. A composio de permutaes associativa. Sejam , e permutaes de Sn . Devemos mostrar que {()} (x) = {()} (x) para todo x In . Assim, {()} (x) = {()(x)} = {((x))} e {()} (x) = () {(x)} = {((x))} , o que estabelece a igualdade desejada. O elemento neutro da composio de permutaes a permutao idntica id (x) = x, para todo x In e que cumpre a igualdade id = id = , Sn . De fato, (id )(x) = (id (x)) = (x)

1.2 Permutaes

16

e (id )(x) = id ((x)) = (x), o que estabelece a igualdade desejada. Para cada Sn , 1 Sn , tal que 1 = 1 = id . Com efeito, dado Sn denimos 1 : In In por 1 (x) = y x = (y). Vamos provar, primeiramente, que 1 est bm denida. Para isso, sejam x, z In , tais que x = z. Devemos mostrar que 1 (x) = 1 (z). Com efeito, sejam 1 (x) = y e 1 (z) = z . Da equivalncia acima, tiramos que x = (y) e z = (z ). Como x = z, ento (y) = (z ) e como bijetiva, tiramos que y = z . Decorre da que 1 (x) = y e 1 (z) = y. Portanto, 1 (x) = 1 (z) como queramos demonstrar. Agora deveremos vericar as igualdades 1 = 1 = id . Temos que: (1 )(x) = (1 (x)) = (y) = x = id (x), e (1 )(x) = 1 ((x)) = (y) = x = id (x), para todo x In , o que estabelece a igualdade desejada. Satisfeitas as trs propriedades, conclumos que Sn munido da operao de composio de permutaes um grupo.

Proposio 2 - Se o conjunto In tem mais de dois elementos, ento o grupo Sn no abeliano. Prova. Suponhamos que I2 = {1, 2}. As nicas aplicaes bijetivas sero a identidade e a que leva 1 em 2 e vice-versa, isto , id (1) = 1, id (2) = 2, (1) = 2 e (2) = 1. Se n 3, ento o grupo Sn no comutativo. Para vericarmos, suponhamos, sem perda de generalidade, que I3 = {1, 2, 3} e sejam , Sn denidas por: (1) = 2, (2) = 1, (3) = 3 (1) = 3, (3) = 1, (2) = 2 Assim, ()(1) = ((1)) = (2) = 2 ()(1) = ((1)) = (3) = 3 Como ()(1) = ()(1), segue que para n 3, Sn no abeliano.

1.2 Permutaes

17

1.2.1

Ciclos

Denio 3 - Considere uma permutao Sn e Jn = {n1 , n2 , ..., nk }, 1 k n um subconjunto de In . Diz-se que um ciclo de comprimento k ou um k-ciclo se as seguintes condies se vericam: (i) (ni ) = ni+1 , 1 i < k (ii) (nk ) = n1 (iii) (n) = n para n Jn = {n1 , n2 , ..., nk } NOTAO: = (n1 n2 ...nk ), em que os elementos que transforma em si mesmo so omitidos. Exemplo 3 - A permutao = ou um ciclo de comprimento 4. Podemos escrever um k-ciclo de k (1 5 2 4) = (5 2 4 1) = (2 4 1 5) = (4 1 5 2). maneiras distintas. Por exemplo, 1 2 3 4 5 5 4 3 1 2 = 1 5 2 4 , um 4-ciclo

Indicaremos com (1), o ciclo de comprimento 1 correspondente permutao idntica. Um ciclo de comprimento k 2 movimenta os k elementos do subconjunto Jn e deixa xos os n - k elementos restantes. No caso do ciclo de comprimento 1, todo elemento do conjunto permanece xo. Dizemos que um 2-ciclo ou um ciclo de comprimento 2 uma transposio. Exemplo 4 - A permutao = 1 2 3 4 5 1 5 3 4 2 = 2 5 uma transposio.

Dois ciclos = (n1 n2 ...nk ) Sn e = (m1 m2 ...mr ) Sn so disjuntos se / , ou seja, se nenhum elemento do conjunto In {n1 , n2 , ..., nk } {m1 , m2 , ..., mr } = 0 movimentado simultaneamente pelos ciclos e . Exemplo 5 - Sejam = 1 2 3 4 5 1 2 3 5 4 S5 e = 1 2 3 4 5 3 1 2 4 5 S5 .

= (45) uma transposio e = (132) um ciclo de comprimento 3. e so /. disjuntos, pois {4, 5} {1, 3, 2} = 0

1.2 Permutaes

18

Proposio 3 - Se e so dois ciclos disjuntos, ento = . Prova. Seja i In , o elemento que deixa xo. Ento tambm deixa xo (i), assim, (i) = (i) = (i). Analogamente, seja j In , o elemento que deixa xo. Ento tambm deixa xo ( j), de onde vem, ( j) = ( j) = ( j). Agora seja k In , o elemento em que e deixam xo. Nesse caso evidente que (k) = (k) = k. A composio de ciclos feita atravs das permutaes que eles representam. Exemplo 6 Sejam os ciclos = (1346) S6 e = (246) S6 . (1) = ((1)) = (1) = 3 (2) = ((2)) = (4) = 6 (3) = ((3)) = (3) = 4 (4) = ((4)) = (6) = 1 (5) = ((5)) = (5) = 5 (6) = ((6)) = (2) = 2 = (134)(26) Denio 4 - Seja Sn e s In . D-se o nome de rbita de s em relao permutao ao conjunto s = s, (s), 2 (s), ... . Exemplo 7 - Seja a permutao = Para s = 1, temos: (1) = 3 2 (1) = ((1)) = (3) = 8 3 (1) = (2 (1)) = (8) = 1 4 (1) = (3 (1)) = (1) = 3 1 = {1, 3, 8} Para s = 2, temos: (2) = 4 2 (2) = ((2)) = (4) = 5 3 (2) = (2 (2)) = (5) = 9 4 (2) = (3 (2)) = (9) = 2 2 = {2, 4, 5, 9} 1 2 3 4 5 6 7 8 9 3 4 8 5 9 7 6 1 2 S9 .

1.2 Permutaes

19

Para s = 6, temos: (6) = 7 2 (6) = ((6)) = (7) = 6 6 = {6, 7} Os ciclos correspondentes s rbitas so, respectivamente, (1 3 8), (2 4 5 9) e ( 6 7). Proposio 4 - Toda permutao de Sn se escreve como uma composio de ciclos disjuntos de comprimento n 2; essa composio nica, a menos da ordem em que os ciclos so escritos. Prova. Devemos decompor o conjunto In como a unio disjunta de suas rbitas, ou seja, formar os ciclos c1 , ... , ct . = c1 ct . De fato, seja s In . Ento s aparece em somente um dos ciclos (pois so disjuntos). Digamos que esse ciclo seja ci . Assim, c1 ct (s) = c1 ci (s) = c1 ci1 ((s)) = (s). Para provar a unicidade, sejam c1 cr = d1 ds duas decomposies de em produto de ciclos disjuntos de comprimento n 2. Se movimenta x, ento um dos ci move x e tambm um dos d j move x. Como ciclos disjuntos comutam (Proposio 3), podemos assumir, sem perda de generalidade, que c1 e d1 movem x. Assim, para todo inteiro t, t (x). Como um ciclo completamente determinado pelo conjunto temos t (x) = ct1 (x) = d1 de suas potncias sobre um elemento que ele move, temos c1 = d1 . Faamos a prova por induo sobre sobre o min(r,s) tal que r = s e que, a menos da ordem dos fatores, ci = di , i. Se esse mnimo 1, tem-se c = d1 ds . Agora, pelo fato dos ciclos serem disjuntos, c = di para algum i. Como ciclos disjuntos comutam (Proposio 3), podemos supor i = 1. Se s fosse maior do que 1, simplicando, a permutao idntica (1) = d2 ds moveria os ndices desses ciclos, o que impossvel. Logo, s = 1. Suponhamos, agora, que min(r,s) > 1. Ento, continuando com o mesmo raciocnio, c1 = d1 e, simplicando, c2 cr = d2 ds . Temos assim, por induo, que r 1 = s 1 e, a menos da ordem, c j = d j , j 2.

Proposio 5 - Toda permutao de Sn , com n 2, pode ser escrita como uma composio de transposies. Prova. Utilizando-se do resultado da Proposio 4, basta mostrar que todo k-ciclo uma composio de k-1 transposies. De fato, (n1 n2 nk ) = (n1 nk )(n1 nk1 ) (n1 n2 ) Deve-se observar, no entanto, que o mesmo k-ciclo admite diferentes composies em transposies.

1.2 Permutaes

20

Exemplo 8 - Seja =

1 2 3 4 5 6 7 3 4 5 2 1 7 6

S7 .

Como um composto de ciclos disjuntos, esta permutao escreve-se: = (135)(24)(67) De outro modo, exprimindo o ciclo (135) como um composto de transposies, temos: = (15)(13)(24)(67) Por ser (135) = (351) = (31)(35), tambm podemos escrever: = (31)(35)(24)(67) Tambm podemos inserir nessa decomposio de , um composto idntico, tal como (26)(62) = (1) e escrever: = (31)(35)(26)(62)(24)(67) Percebe-se, dessa forma, que a permutao pode ser escrita como uma composio de transposies de uma innidade de maneiras. Apesar do nmero de transposies em que se decompe uma permutao no ser nico, a sua importncia reside no fato de que a paridade deste nmero nica, ou seja, se a permutao for escrita de duas maneiras distintas, digamos com m e n transposies, respectivamente, ento m e n so ambos pares ou so ambos mpares. De fato, se m < n, a diferena n - m necessariamente um inteiro par, pois ao acrescentar uma nova transposio permutao, devemos acrescentar, tambm, para no alterar o resultado, a respectiva transposio inversa. Denio 5 - Uma permutao Sn , diz-se par ou mpar conforme for par ou mpar, respectivamente, o nmero de transposies em que se decompe. Denio 6 - Seja = 1 ...k Sn , uma permutao decomposta em k ciclos disjuntos. Dene-se o sinal de por sgn() = (1)nk . Proposio 6 - Se t uma transposio, ento sgn(t) = -1. Prova. Sendo t uma transposio, ento move dois nmeros e xa cada um dos outros n 2 nmeros. Assim, k = (n 2) + 1 = n 1. Assim, sgn(t ) = (1)n(n1) = (1)1 = 1.

1.3 Determinantes

21

Diante do exposto, vericamos que a permutao idntica par e seu sinal 1, pois pode ser escrita como a composio de duas transposies. Alm disso, podemos dizer que uma permutao par se o seu sinal 1; mpar, se o seu sinal -1.

Proposio 7 - Se e so permutaes de Sn , ento sgn( ) = sgn()sgn( ). Prova. Da Proposio 6, infere-se que se decomposta em k transposies, ento sgn() = (1)k . Assim, se e so compostas, respectivamente, por k e k transposies, ento: sgn( ) = (1)k+k = (1)k (1)k = sgn()sgn( )

Proposio 8 - Se Sn , ento sgn() = sgn(1 ). Prova. Temos que 1 = sgn(id ) = sgn(1 ) = sgn()sgn(1 ). Ento, sgn() = sgn(1 ) = 1 ou sgn() = sgn(1 ) = 1, cando assim provada a proposio.

Exemplo 9 - Seja =

1 2 3 4 5 6 7 3 2 5 7 6 1 4

S7 .

pode ser decomposta da seguinte forma: (1356)(47) = (16)(15)(13)(47). Assim, sgn() = (1)4 = 1. Portanto, uma permutao par.

1.3

Determinantes

Denio 7 - Seja A = (ai j ) uma matriz quadrada de ordem n. Dene-se o determinante de A por Det (A) = sgn()a1(1) a2(2) ...an(n) .
Sn

Observemos que o determinante de A a soma de n! parcelas, visto que h uma parcela para cada permutao de Sn . Cada parcela contm um produto da forma a1(1) a2(2) ...an(n) . Os n escalares so as n entradas da matriz que esto em n linhas e colunas distintas. Da mesma forma, se escolhemos n entradas de A que esto em linhas e colunas distintas, o produto desses n escalares aparecer em somente uma das parcelas que denem o determinante. A permutao correspondente ser a que associa a cada

1.3 Determinantes

22

linha, a coluna onde est a entrada escolhida. Assim, o determinante de A a soma de todos esses possveis produtos, cada um deles com um sinal determinado pela permutao correspondente.

Exemplo 10 - Se A a matriz de ordem 1, A = (a11 ), teremos somente a permutao idntica. Assim Det (A) = sgn(id )a1id (1) = 1.a11 = a11 a11 a12 , temos duas permutaes a21 a22 em S2 : 1 e 2 , sendo a primeira par e a segunda mpar. Assim: Exemplo 11 - Se A a matriz de ordem 2, A = 1 = 1 2 1 2 e 2 = 1 2 2 1

Det (A) =

i S2

sgn()a1(1) a2(2)

= sgn(1 )a11 a22 + sgn(2 )a12 a21 = a11 a22 a12 a21

a11 a12 a13 Exemplo 12 - Se A a matriz de ordem 3, A = a21 a22 a23 , temos seis permua31 a32 a33 taes em S3 . Assim: 1 = 1 2 3 1 2 3 1 2 3 2 3 1 (PAR), 2 = 1 2 3 1 3 2 1 2 3 3 1 2 (MPAR), 3 = 1 2 3 2 1 3 1 2 3 3 2 1 (MPAR)

4 =

(PAR), 5 =

(PAR), 6 =

(MPAR)

Det (A) =

i S3

sgn()a1(1) a2(2) a3(3)

= sgn(1 )a11 a22 a33 + sgn(2 )a11 a23 a32 + sgn(3 )a12 a21 a33 + sgn(4 )a12 a23 a31 + sgn(5 )a13 a21 a32 + sgn(6 )a13 a22 a31 = a11 a22 a33 a11 a23 a32 a12 a21 a33 + a12 a23 a31 + a13 a21 a32 a13 a22 a31 = a11 a22 a33 + a12 a23 a31 + a13 a21 a32 a11 a23 a32 a12 a21 a33 a13 a22 a31

1.3 Determinantes

23

Calculando os determinantes utilizando-se da denio, percebemos que os mesmos exigem muitos clculos (para n = 4, j teremos 24 parcelas). Sendo assim, para ordens superiores a trs, o conhecimento das propriedades dos determinantes podem ser de grande valia para a realizao dos clculos.

1.3.1

Propriedades dos Determinantes

Propriedade 1 - O determinante de uma matriz e de sua transposta so iguais. Prova. Seja B = (bi j ) a transposta da matriz A = (ai j ). Dessa forma, temos que bi j = a ji . Sabemos que toda permutao possui uma inversa e os seus sinais so iguais. Seja a inversa da permutao . Assim, se (i) = j, ento ( j) = i, de forma que ai(i) = a( j) j . Portanto, os produtos a1(1) a2(2) ...an(n) e a(1)1 a(2)2 ...a(n)n so iguais. Assim, Det (A) = sgn()a(1)1 a(2)2 ...a(n)n = sgn()b1(1) b2(2) ...bn(n) = Det (B)
Sn Sn

A partir da demonstrao dessa propriedade, todas as propriedades relativas s linhas de um determinante se aplicam, tambm, s suas colunas. Propriedade 2 - O determinante da matriz identidade de ordem n igual a 1. Prova. Sabemos que as entradas da matriz identidade so 1, se i = j e 0, se i = j. Assim, o produto sgn()a1(1) a2(2) ...an(n) somente ser diferente de zero se for a permutao idntica. Assim, Det (In ) = sgn(id )a11 a22 ...ann = 1

Propriedade 3 - Se permutarmos duas linhas(colunas) de uma matriz, o determinante muda de sinal. Prova. Suponhamos que seja B, a matriz obtida da matriz A pela permutao das linhas i e j e seja a transposio correspondente. Assim,

Det (B) = = = =

Sn Sn Sn Sn

sgn()b1(1)...bi(i)...b j( j)...bn(n)

sgn()a1(1)...a j(i)...ai( j)...an(n)

sgn()a1(1)...ai( j)...a j(i)...an(n)

sgn()a1((1))...ai((i))...a j(( j))...an((n))

Das proposies 6 e 7, sabemos que sgn() = sgn.sgn = sgn(1) = sgn. Assim,

1.3 Determinantes

24

Det (B) =

Sn

sgn()a1((1))...ai((i))...a j(( j))...an((n))

Sn

sgn()a1((1))...ai((i))...a j(( j))...an((n)).

Como neste somatrio percorre todas as possveis permutaes, a soma d precisamente o determinante de A. Logo, Det(B) = Det(A). Suponha agora que B se obtm de A pela permutao de duas colunas. Neste caso Bt se obtm de At ao permutar duas linhas, logo Det (B) = Det (Bt ) = Det (At ) = Det (A).

Propriedade 4 - Se A uma matriz quadrada com duas linhas ou colunas iguais, ento Det(A) = 0. Prova. consequncia imediata da propriedade 3. Neste caso, A obtida de si mesma pela permutao das duas linhas ou colunas iguais. Assim, Det(A) = Det(A). Portanto, Det(A) = 0.

Propriedade 5 - Se uma linha ou coluna de uma matriz quadrada A for nula, ento Det(A) = 0. Prova. Seja i a linha nula. Ento, para qualquer Sn , ai(i) = 0. Assim, Det(A) = 0. Uma coluna nula na matriz uma linha nula na sua transposta. Assim, Det (At ) = 0 e, consequentemente, Det(A) = 0.

Propriedade 6 - Se uma matriz B obtida pela multiplicao de uma linha ou coluna de uma matriz A por um escalar k, ento Det(B) = k.Det(A). Prova. Suponhamos que a r-sima linha de A seja multiplicada por k para se obter B. Ento bi j = ai j se i = r e br j = kar j . Assim, Det (B) = =

Sn Sn

sgn()b1(1)b2(2)...br(r)...bn(n)

sgn()a1(1)a2(2)...(kar(r))...an(n)
Sn

= k

sgn()a1(1)a2(2)...ar(r)...an(n)

= k.Det (A).

1.3 Determinantes

25

Propriedade 7 - Se uma linha (coluna) de uma matriz quadrada A for um mltiplo de outra linha (coluna) de A, ento Det(A) = 0. Prova. Faamos a demonstrao somente para as linhas, sabendo-se que a mesma vale para as colunas, segundo a observao constante da propriedade 1. Suponhamos que a r-sima linha de A seja igual a k vezes a s-sima linha. Assim ar j = k.as j . Ento,

Det (A) = =

Sn Sn

sgn()a1(1)a2(2)...ar(r)...as(s)...an(n)

sgn()a1(1)a2(2)...(kas(r))...as(s)...an(n)
Sn

= k.

sgn()a1(1)a2(2)...as(r)...as(s)...an(n).

O somatrio acima corresponde a um determinante que possui duas linhas iguais. Logo igual a zero e, assim, Det(A) = k.0 = 0.

Propriedade 8 - Se A uma matriz triangular, ento Det(A) = a11 a22 ...ann . Prova. Seja A uma matriz triangular superior, isto , ai j = 0 para i > j. Ento, um termo a1(1) a2(2) ...an(n) do determinante de A somente ser diferente de zero se 1 (1), 2 (2), ..., n (n). Dessa forma, devemos ter (1) = 1, (2) = 2, ..., (n 1) = n 1, (n) = n. Assim, o nico termo do determinante de A que pode ser diferente de zero o produto dos elementos da diagonal principal de A, que corresponde permutao idntica que par. Portanto, Det (A) = a11 a22 ...ann . De modo anlogo, demonstra-se que o determinante da matriz triangular inferior igual ao produto dos elementos da diagonal principal.

Propriedade 9 - Se a matriz quadrada B se obtm da matriz quadrada A pela soma de uma linha(coluna) por um mltiplo de outra linha(coluna) de A, ento Det(B) = Det(A). Prova. Faamos a demonstrao somente para as linhas, sabendo-se que a mesma vale para as colunas, segundo a observao constante da propriedade 1. Consideremos as linhas r e s (r = s) da matriz A. Temos que bi j = ai j para i = r e br j = ar j + cas j com r = s. Sem perda de generalidade, podemos supor que r < s. Ento,

Det (B) =

Sn

sgn()b1(1)b2(2)...br(r)...bn(n)

1.3 Determinantes

26

= =

Sn Sn Sn

sgn()a1(1)a2(2)...(ar(r) + cas(r))...as(s)...an(n)

sgn()a1(1)a2(2)...(ar(r))...as(s)...an(n) +

sgn()a1(1)a2(2)...(cas(r))...as(s)...an(n)
Sn

= Det (A) + c.

sgn()a1(1)a2(2)...(as(r))...as(s)...an(n).

O somatrio acima corresponde ao determinante de uma matriz que possui duas linhas iguais, que, pela propriedade 4, igual a zero. Assim, Det(B) = Det(A) + c.0. Portanto, Det(B) = Det(A).

Denio 8 - Chama-se matriz elementar de ordem n, matriz que se obtm da identidade por uma nica transformao elementar. Propriedade 10 - Se A e E so matrizes quadradas de ordem n e E uma matriz elementar, ento Det(EA) = Det(E)Det(A) = Det(A)Det(E) = Det(AE). Prova. Se E uma matriz elementar obtida pela permutao de duas linhas, ento, pelas propriedades 2 e 3, Det(E) = 1. Assim, Det(EA) = (1).Det(A) = Det(E)Det(A). Se E uma matriz elementar obtida pela multiplicao de uma linha por um escalar k no nulo, ento, pelas propriedades 2 e 6, Det(E) = k. Assim, Det(EA) = k.Det(A) = Det(E)Det(A). Se E uma matriz elementar obtida pela substituio da i-sima linha por k vezes a j-sima linha mais a i-sima linha, ento, pelas propriedades 2 e 9, Det(E) = 1. Assim, Det(EA) = 1.Det(A) = det(E)Det(A). A primeira igualdade consequncia de que EA se obtm de A ao aplicar uma operao elementar por linhas. A segunda igualdade imediata pela propriedade comutativa do produto e a terceira igualdade se prova de maneira idntica primeira, utilizando operaes elementares por colunas.

Propriedade 11 - Uma matriz quadrada invertvel se, e somente se, o determinante de A diferente de zero. Alm disso, Det(A1 ) = Det1(A) . Prova. Consideremos uma matriz quadrada A e seja A a sua forma escalonada reduzida por linhas. Devemos nos lembrar que A se obtm de A mediante uma sucesso de operaes elementares por linhas. Isto equivale a multiplicar pela esquerda, por um conjunto

1.3 Determinantes

27

de matrizes elementares, ou seja, A = E1 ...Ek A. Aplicando repetidamente a propriedade anterior, obtemos: Det(A) = Det(E1 )...Det(Ek )Det(A). Como as matrizes elementares tm determinantes diferentes de zero, obtemos que Det(A) = 0 Det(A ) = 0. Recordemos, ainda, que se A invertvel, A a matriz identidade. Logo, Det(A ) = 1 e, assim, Det(A) = 0. Por outro lado, se A no invertvel, ento A tem uma la de zeros. Logo Det(A ) = 0 e, assim, Det(A) = 0. Agora vamos mostrar que o determinante da inversa de A igual ao inverso do determinante de A. Sabemos que AA1 = I . Aplicando o determinante, obtemos: Det (AA1 ) = Det (I ) Det (A)Det (A1 ) = 1 Det (A1 ) = 1 Det (A)

Propriedade 12 - Sejam A e B matrizes quadradas de ordem n. Ento Det(AB) = Det(A)Det(B). Prova. Se A no singular, ento A = E1 ...Ek . Assim, Det (AB) = Det (E1 ...Ek B) = Det (E1 )...Det (Ek )Det (B) = Det (A)Det (B). Se A ou B singular, ento AB singular e Det(AB) = 0 e Det(A)Det(B) = 0.

Propriedade 13 - Se A e B so matrizes semelhantes, ento Det(A) = Det(B). Prova. Sendo A e B semelhantes, ento existe uma matriz invertvel P, tal que B = PAP1 . Det (B) = Det (PAP1 ) = Det (P)Det (A)Det (P1 ) = Det (I )Det (A) = 1.Det (A) = Det (A).

Propriedade 14 - O determinante de uma matriz quadrada uma funo linear de cada um dos seus vetores-linha(coluna), quando os outros esto xos.

1.3 Determinantes

28

Prova. Faamos a demonstrao somente para as linhas, sabendo-se que a mesma vale para as colunas, segundo a observao constante da propriedade 1. Sejam A, B1 , ..., Bt matrizes quadradas de ordem n, tais que: (i) A linha i de A a combinao linear das linhas i de B1 , ..., Bt , isto , existem escalares 1 , ...t , tais que ai j = 1 b1i j + ... + t bti j . (ii) Para todo k = i, as linhas k de A, B1 , ..., Bt so todas iguais. Devemos provar que Det (A) = 1 Det (B1 ) + ... + t Det (Bt ). Assim, Det (A) = =

Sn Sn

sgn()a1(1)...ai(i)...an(n)

sgn()a1(1)...(1b1i(i) + ... + t bti(i))...an(n)

Sn

= ( sgn()a1(1) ...1 b1i(i) ...an(n) ) + ... + ( sgn()a1(1) ...t bti(i) ...an(n) )

Sn

= 1 ( sgn()a1(1) ...b1i(i) ...an(n) ) + ... +

Sn

t ( sgn()a1(1) ...bti(i) ...an(n) )

Sn

= 1 Det (B1 ) + ... + t Det (Bt ).

Propriedade 15 - Se uma linha(coluna) de uma matriz quadrada A for combinao linear das demais, ento Det(A) = 0. Prova. consequncia imediata da propriedade 14. Basta aplic-la na la da matriz A que uma combinao linear das demais, que o determinante desdobra-se numa soma de determinantes todos nulos, por terem las paralelas proporcionais, ou seja, o determinante de A zero por ser uma adio de zeros.

CAPTULO 2

Aplicao no Ensino Mdio

2.1

Permutao

Nesse captulo estudaremos a permutao sob um ponto de vista elementar, tendo por base os conceitos da anlise combinatria. Sob esse enfoque, o determinante ser denido como um somatrio de termos envolvidos nas chamadas classes de permutao. Os resultados apresentados neste captulo podem ser encontrados em [1], [2], [4], [5], [15] e [17]. Denio 1 - Chama-se permutao de um conjunto de n elementos distintos a qualquer conjunto que se pode construir com os n elementos, diferindo um dos outros pela ordem de seus elementos. O nmero de modos de se ordenar esses n elementos distintos n!. De fato, temos n maneiras para escolher o elemento que ocupar o 1o lugar, n 1 maneiras para o segundo lugar, at chegarmos ao ltimo elemento, caso em que teremos 1 maneira de coloc-lo no ltimo lugar. Se representarmos por Pn , o nmero de permutaes distintas de n elementos, ento Pn = n.(n 1).....1 = n!.

2.1.1

Classes de uma permutao

Dentre as n! permutaes simples dos n elementos distintos, escolhamos uma e designamo-la de permutao principal. Seja a permutao principal, por simplicidade, aquela em que os elementos correspondem sucesso ordenada e crescente dos nmeros naturais, ou seja, 1, 2, ..., n. Denio 2 - Diz-se que numa permutao, dois elementos esto invertidos ou formam inverso, quando se encontram em uma ordem distinta da considerada como principal. Denio 3 - Uma permutao diz-se de classe par quando o nmero total de inverses entre cada dois elementos da permutao par; caso contrrio, quando o nmero de inverses mpar, diz-se que a permutao de classe mpar.

2.1 Permutao

30

Exemplo 1 - Na permutao 2 3 1 4, os pares de elementos {2, 1} e {3, 1} formam inverses. Assim, em relao permutao principal 1 2 3 4, a permutao 2 3 1 4 possui duas inverses e, assim, de classe par.

2.1.2

Processos prticos para se determinar o nmero de inverses

O nmero total de inverses pode ser determinado da seguinte maneira: (i) Fixar o primeiro elemento da permutao e contar quantos elementos que o seguem so menores que ele; (ii) Continuar dessa forma at atingir o penltimo elemento. Exemplo 2 - Sejam 1 2 3 4 5 6 7 a permutao principal de 7 elementos e 5 3 2 7 4 6 1 uma permutao dos mesmos elementos em que determinaremos a sua paridade. Para tanto, comparemos o 1o elemento 5 com cada um dos elementos seguintes e faamos o mesmo com o restante dos elementos. Obtemos, assim, o seguinte quadro: 53 32 27 74 52 37 24 76 57 34 26 71 54 36 21 56 31 51 46 61 41

Vericamos que h 12 inverses, ou seja, 12 pares em que os nmeros no se apresentam na ordem principal e, assim, 5327461 uma permutao de classe par. Em [1] encontra-se um diagrama que nos permite, tambm, contar o nmero de inverses de uma permutao. O diagrama montado da seguinte forma: escrevem-se os elementos da permutao principal em uma linha superior e, imediatamente abaixo, os elementos da permutao que se deseja obter a paridade. Unam-se os elementos iguais atravs de uma linha de modo que todas as intersees possveis sejam somente de duas linhas. Ento para a permutao anterior, temos:

Figura 2.1

2.1 Permutao

31

Assim, por exemplo, como 5 e 3 no esto na ordem natural, as linhas que unem 5 com 5 e 3 com 3 se intersectam. O mesmo se verica para toda inverso que se apresenta na linha inferior. O nmero de intersees, neste caso 12, igual ao nmero de inverses. Proposio 1 - Em toda permutao, a inverso de dois elementos origina uma mudana de classe. Prova. Procederemos prova, percebendo que temos dois casos a considerar: 1o caso: os dois elementos invertidos so consecutivos. Consideremos as duas permutaes ai a j ...ar as ...az e ai a j ...as ar ...az em que uma obtida da outra pela troca dos elementos consecutivos ar e as . Dessa forma, esses dois elementos consecutivos ou esto invertidos na primeira permutao e, consequentemente, pela troca, deixam de estar na segunda permutao, ou no formavam inverso na primeira e cam invertidos na segunda. Em relao aos outros elementos da permutao, os ar e as continuam a formar as mesmas inverses, pois no foram mudadas as posies relativas deles com ar e as . Sendo assim, o nmero de inverses da segunda permutao difere da primeira permutao em uma unidade e elas so, pois, de classes diferentes. 2o caso: os dois elementos no so consecutivos.
k k

Suponhamos, agora, que entre ar e as h k elementos: ai ... ar ...as ...az e ai ... as ...ar ...az . A troca de ar com as pode se reduzir a troca de elementos consecutivos da seguinte forma: primeiro, troca-se ar com cada um dos k elementos que esto sua direita, mais o as . Temos ento k + 1 trocas; em seguida, troca-se as sucessivamente com cada um dos k elementos que esto sua esquerda, at ocupar o lugar de ar . Assim, temos k trocas e, no total, obtemos k + k + 1 = 2k + 1 trocas de elementos consecutivos. Como a cada uma das trocas a permutao muda de classe, pelo 1o caso, ento a permutao ca com uma classe diferente da que tinha.

Proposio 2 - Dentre as n! permutaes simples de n elementos distintos, so em igual nmero as das duas classes. Prova. Seja n1 o nmero de permutaes de classe par e n2 o nmero de permutaes de classe mpar. Das n! permutaes vamos escolher dois elementos quaisquer e faamos a inverso entre eles. Com isso, todas as permutaes mudaro de classe, no haver repetio de nenhuma permutao e, ainda, duas permutaes diferentes de uma mesma classe no dar origem mesma permutao de outra classe. Consequentemente, n1 = n2 . ! Dessa igualdade e sabendo que n1 + n2 = n!, conclui-se que n1 = n2 = n 2.

2.2 Termo de uma matriz quadrada

32

2.2

Termo de uma matriz quadrada

Denio 4 - Chama-se termo de uma matriz quadrada de ordem n a qualquer produto de n elementos em que comparea um e apenas um elemento de cada linha e de cada coluna. Consideremos como termo principal, o termo formado pelos elementos de ndices iguais. a11 a12 a13 Exemplo 3 - Seja A uma matriz quadrada de ordem 3, A = a21 a22 a23 . a31 a32 a33 De A podemos obter os seguintes termos:

. . . . . .

a11 a22 a33 termo principal a11 a23 a32 a12 a21 a33 a12 a23 a31 a13 a21 a32 a13 a22 a31

2.2.1

Paridade de um termo

Denio 5 - Um termo de uma matriz dito par ou mpar conforme seja par ou mpar a soma das inverses efetuadas sobre os ndices das linhas e das colunas. Se o termo for par ser precedido do sinal (+), se for mpar ser precedido do sinal (). Tomando-se o cuidado de formar os termos de modo que os ndices das linhas seja a permutao principal, teremos que nos preocupar somente com as inverses efetuadas sobre os ndices das colunas. Assim, do exemplo anterior, o termo a13 a22 a31 ter a seguinte paridade (sinal ): como os ndices das linhas formam a permutao principal, basta contar o nmero de inverses dos ndices das colunas. Assim, no teremos nenhuma inverso dos ndices das linhas e 3 inverses dos ndices das colunas, ao todo, 0 + 3 = 3. Dessa forma, dizemos que o termo a13 a22 a31 mpar e escreve-se a13 a22 a31 .

2.3

Determinantes

Denio 6 - Dada uma matriz quadrada A, chama-se determinante de A, soma de todos os seus termos, precedidos do sinal (+) ou () conforme se trate de um termo par ou um termo mpar, a qual denotaremos Det(A).

2.3 Determinantes

33

2.3.1

Determinante de ordem 2
a11 a12 a21 a22

A=

O termo principal a11 a22 o qual corresponde o sinal (+). Conservando xa a permutao das linhas, faamos todas as permutaes dos ndices das colunas. So elas 1 2 e 2 1, a primeira par e a segunda mpar. Assim, Det (A) = a11 a22 a12 a21 .

2.3.2

Determinante de ordem 3
a11 a12 a13 A = a21 a22 a23 a31 a32 a33

O termo principal a11 a22 a33 o qual corresponde o sinal (+). As permutaes dos trs ndices das colunas so: 1 2 3, 2 3 1 e 3 1 2 ( pares) e 1 3 2, 2 1 3 e 3 2 1 (mpares). Assim, Det (A) = a11 a22 a33 + a12 a23 a31 + a13 a21 a32 a11 a23 a32 a12 a21 a33 a13 a22 a31 . (1)

Para o clculo dos determinantes de ordem superior a 3, poderamos seguir exatamente a denio dada. No entanto, o clculo se torna moroso, uma vez que para o determinante de 4a ordem, por exemplo, j teramos que realizar a adio de 24 parcelas. Sendo assim, podemos obter mtodos mais ecientes como consequncia das propriedades dos determinantes que vamos estabelecer.

2.3.3

Propriedades dos determinantes

Propriedade 1 - Um determinante no se altera quando se trocam as linhas pelas colunas e vice-versa. Prova. Todo termo do primeiro determinante est formado por n elementos, sendo um de cada linha e de cada coluna, pertencendo tambm ao segundo determinante. O termo principal dos dois determinantes o mesmo. Logo, de acordo com a lei de formao dos outros termos, os dois determinantes tm os mesmos termos e, assim, so iguais.

2.3 Determinantes

34

Desta propriedade, conclui-se que toda propriedade dos determinantes pode enunciar-se indiferentemente para as linhas ou para as colunas. Propriedade 2 - Um determinante muda de sinal quando se trocam as posies de duas quaisquer de suas linhas(colunas). Prova. De fato, a troca equivale a mudar em cada termo dois ndices. Sendo assim, a permutao correspondente a cada um dos termos mudar de classe, isto , de sinal, conforme a Proposio 1. Com todos os termos trocando de sinal, teremos uma mudana no sinal do determinante.

Propriedade 3 - Se uma matriz quadrada tem duas linhas (colunas) iguais, o seu determinante igual a zero. Prova. Seja o determinante dessa matriz quadrada. Trocando de posio as duas linhas (colunas) iguais, temos pela Propriedade 2, que o determinante muda de sinal, ou seja, obtemos . Mas pela igualdade das duas linhas (colunas), o novo determinante ser idntico ao anterior. Logo ser = , implicando que 2 = 0, o que exige que = 0.

Propriedade 4 - Se uma matriz quadrada tem todos os elementos de uma linha (coluna) iguais a zero, ento o seu determinante igual a zero. Prova. Cada um dos termos em que se desenvolve o determinante contm um elemento dessa linha (coluna). Sendo assim, cada termo ser igual a zero. Da se conclui que o determinante zero, por ser uma adio de zeros.

Propriedade 5 - Se multiplicarmos uma linha (coluna) de uma matriz quadrada por um nmero, o determinante ca multiplicado por esse nmero. Prova. Pela mesma razo apontada na Propriedade 4, cada termo contm um e somente um elemento pertencendo a linha (coluna) considerada. Logo, todos os termos cam multiplicados pelo nmero considerado e, portanto, o determinante ca multiplicado por esse nmero.

Propriedade 6 - Se uma linha (coluna) de uma matriz quadrada for um mltiplo de outra linha (coluna) dessa matriz, ento o seu determinante igual a zero.

2.3 Determinantes

35

Prova. De fato, seja o determinante dessa matriz quadrada. Multiplicando uma das linhas (colunas) por um nmero k, coeciente de proporcionalidade das duas linhas (colunas), elas caro iguais. Sendo iguais, pela Propriedade 3, o novo determinante igual a zero. Alm disso, pela Propriedade 5, temos: k. = 0. Portanto, = 0.

Propriedade 7 - Se A uma matriz triangular (inferior ou superior), ento o seu determinante se reduz ao termo principal. Prova. Seja A uma matriz triangular inferior, isto , aquela em que ai j = 0, para i < j. Da denio de determinante, em cada termo deve aparecer um e somente um elemento da primeira linha. Somente no sero nulos aqueles em que comparecer o elemento a11 . Passando segunda linha, vemos que ela s possui dois elementos diferentes de zero a21 e a22 . Destes, o primeiro no pode aparecer em nenhum termo, visto que j faz parte da mesma coluna em que est a11 . Portanto, nos termos no nulos, s o elemento a22 da segunda linha pode tomar parte no desenvolvimento do determinante. Percebe-se que at essa etapa do desenvolvimento do determinante, temos apenas a11 e a22 como fatores no nulos. Sendo assim, continuando com raciocnio anlogo para as demais linhas, vericaremos que os termos no nulos se reduzem ao termo principal a11 a22 ...ann . De modo idntico, demonstra-se que o determinante da matriz triangular superior se reduz ao termo principal.

Propriedade 8 - O determinante da matriz identidade de ordem n igual a 1. Prova. consequncia imediata da Propriedade 7. Sendo o termo principal par, por no haver inverses, tem-se que Det (I ) = 1.1...1 = 1. Para a demonstrao das prximas propriedades valemo-nos das seguintes denies: Denio 7 - Consideremos uma matriz quadrada de ordem n 2. Chama-se menor complementar de um elemento ai j , denotado por Di j , ao determinante que se obtm, eliminando a linha i e a coluna j de A. Denio 8 - Chama-se cofator de ai j , denotado por Ai j , ao nmero (1)i+ j .Di j . Propriedade 9 - Um determinante qualquer uma funo linear dos elementos de uma mesma linha (coluna).

2.3 Determinantes

36

Prova. De fato, pela denio, cada termo do determinante contm um e somente um elemento pertencendo a uma determinada linha (coluna). Seja o determinante: a11 a12 a21 a22 = a31 a32 . . . . . . an1 an2 a13 a23 a33 . . . an3 a1n a2n a3n . .. . . . ann

Podemos escrever, ordenando o determinante segundo os elementos da primeira linha, = a11 A11 + a12 A12 + a13 A13 + ... + a1n A1n , onde A11 representa o determinante obtido quando se pe em evidncia a11 ; A12 , o que se obtm quando se pe a12 em evidncia e assim sucessivamente. De fato, todos os termos que contm o elemento a11 no podem conter nenhum outro elemento pertencendo primeira linha ou primeira coluna. Ele dever, pois, ser multiplicado pelas ordenaes possveis dos restantes elementos tomados nas n 1 linhas e nas n 1 colunas no empregadas no desenvolvimento do determinante. V-se que A11 , assim, o cofator relativo a a11 . Da mesma forma, A12 o cofator relativo a a12 e, assim, sucessivamente. O que essa propriedade nos diz que podemos fazer o desenvolvimento de um determinante segundo os elementos de uma linha ou de uma coluna qualquer de uma matriz quadrada. Exemplo 4 - Obter o determinante de uma matriz quadrada de ordem 3, fazendo o desenvolvimento: (i) pela primeira linha; (ii) pela segunda coluna. (i) a11 a12 a13 = a21 a22 a23 a31 a32 a33

= a11 A11 + a12 A12 + a13 A13 = a11 a22 a23 a21 a23 a21 a22 a12 + a13 a32 a33 a31 a33 a31 a32

= a11 (a22 a33 a23 a32 ) a12 (a21 a33 a23 a31 ) + a13 (a21 a32 a22 a31 )

2.3 Determinantes

37

= a11 a22 a33 a11 a23 a32 a12 a21 a33 + a12 a23 a31 + a13 a21 a32 a13 a22 a31 .

Observe que essa a mesma expresso (1) que obtivemos pgina 33. (ii) a11 a12 a13 = a21 a22 a23 a31 a32 a33

= a12 A12 + a22 A22 a32 A32 = a12 a11 a13 a11 a13 a21 a23 + a13 + a22 a21 a23 a31 a33 a31 a33

= a12 (a21 a33 a23 a31 ) + a22 (a11 a33 a13 a31 ) a32 (a11 a23 a13 a21 ) = a12 a21 a33 + a12 a23 a31 + a11 a22 a33 a13 a22 a31 a11 a23 a32 + a13 a21 a32 .

A mesma expresso (1) da pgina 33. Propriedade 10 - Se em uma matriz quadrada de ordem n, os elementos de uma linha (coluna) uma adio de m parcelas, o seu determinante se desenvolve pela adio de m determinantes, que se obtm do determinante dado, conservando as outras linhas (colunas) e substituindo a linha (coluna) composta pelas primeiras, segundas, m-simas parcelas. Prova. Seja o determinante onde os elementos de uma linha k a adio de m parcelas:
m

ak1 = a1 + b1 + + l1
m

ak2 = a2 + b2 + + l2
m

akn = an + bn + + ln Desenvolvendo em relao aos elementos da linha k, tem-se:

= (a1 + b1 + + l1 )Ak1 + (a2 + b2 + + l2 )Ak2 + + (an + bn + + ln )Akn

2.3 Determinantes

38

= (a1 .Ak1 + a2 .Ak2 + + an .Akn ) + (b1 .Ak1 + b2 .Ak2 + + bn .Akn ) + + + (l1 .Ak1 + l2 .Ak2 + + ln .Akn ) a11 a1 an1 a12 a2 an2 a11 a1n an + b1 an1 ann a12 b2 an2 a11 a12 a1n bn + + l1 l2 an1 an2 ann a1n ln . ann

Propriedade 11 - O determinante de uma matriz quadrada no se altera se substituirmos uma de suas linhas (colunas) pela adio dela com um mltiplo de outras. Prova. Multipliquemos os elementos das linhas k1 , k2 , , kr respectivamente por 1 , 2 , , r e adicionemos esses produtos aos elementos correspondentes da linha i. Obtm-se, assim, um novo determinante em que todas as linhas so as do determinante dado , exceto a linha i que ca composta do seguinte modo: ai1 = ai1 + 1 .a(k1)1 + 2 .a(k2)1 + + r .a(kr)1 ai2 = ai2 + 1 .a(k1)2 + 2 .a(k2)2 + + r .a(kr)2 . . . ain = ain + 1 .a(k1)n + 2 .a(k2)n + + r .a(kr)n De acordo com a Propriedade 10, desenvolve-se na adio de r determinantes: = 1 + 2 + + r+1 . Mas 1 , que tem na linha i os elementos ai1 , ai2 , , ain , , precisamente ; 2 nulo, pela Propriedade 6, porque tem na linha i os elementos 1 .a(k1)1 , , 1 .a(k1)n que so proporcionais. Pela mesma razo, so nulos 3 , , r+1 . Portanto = 1 = .

Propriedade 12 - Se uma linha (coluna) de uma matriz quadrada combinao linear das demais, o seu determinante zero. Prova. consequncia imediata da Propriedade 10. Basta aplic-la linha (coluna) que combinao linear das demais. Assim, o determinante desenvolve-se na adio de determinantes todos nulos, por terem linhas (colunas) paralelas proporcionais. Portanto, o determinante zero.

2.3 Determinantes

39

Aplicao das propriedades 1 1 1 Exemplo 5 - Calcular o valor do determinante = 1 1 + x 1 . 1 1 1+y Aos elementos da 2a coluna e da 3a coluna, subtraiamos os da 1a coluna (o determinante no se altera (Propriedade 11)) e assim: 1 0 0 = 1 x 0 . 1 0 y Obtemos uma matriz triangular inferior, cujo determinante se reduz ao termo principal (Propriedade 7). Portanto = xy. b+c ab a Exemplo 6 - Mostrar que = c + a b c b a+b ca c = 3abc a3 b3 c3 .

Podemos decompor o determinante, segundo a Propriedade 10, da seguinte forma: b a a b b a c a a c b a = c b b + c c b a b b a c b . a c c a a c b c c b a c

Os trs primeiros determinantes so nulos por possurem, cada um, duas colunas iguais (Propriedade 3). Ento se reduz a: c b a = a c b . b a c Desenvolvendo-o pela 1a linha (Propriedade 9), temos: c b a b a c = c +b a = c3 + abc + abc b3 a3 + abc. a c b c b a Portanto = 3abc a3 b3 c3 . mn p 2m 2m Exemplo 7 - Vericar a igualdade: = (m + n + p)3 . 2n n pm 2n 2p 2p pmn Chamemos de o determinante proposto. Aos elementos da 1a linha, adicionemos os elementos correspondentes das duas outras (pela Propriedade 11, o determinante no se

2.3 Determinantes

40

altera). Assim, m+n+ p m+n+ p m+n+ p . = 2n n pm 2n 2p 2p pmn Colocando (m+n+p) em evidncia (Propriedade 5), temos: 1 1 1 . = (m + n + p) 2n n p m 2n 2p 2p pmn Aos elementos da 2a e da 3a coluna, subtraiamos os da 1a coluna (pela Propriedade 11, o determinante no se altera). Assim, obtemos: 1 0 0 = (m + n + p) 2n (m + n + p) . 0 2p 0 (m + n + p) Obtemos uma matriz triangular inferior, cujo determinante se reduz ao termo principal (Propriedade 7). Assim, = (m + n + p)(m + n + p)2 = (m + n + p)3 . Exemplo 8 - Demonstrar, sem desenvolver o determinante, que: ab mn xy = b c n p y z = 0. ca pm zx Vamos adicionar ltima linha, as duas primeiras (pela Propriedade 11, o determinante no se altera). Assim, ab mn xy = bc n p yz . 0 0 0 Como o determinante tem uma linha nula, ento, pela Propriedade 4, igual a zero. Exemplo 9 - Sem desenvolv-lo, provar que mltiplo de 12, o determinante: 1 4 4 = 1 2 0 1 0 8

2.3 Determinantes

41

Adicionemos terceira coluna, a primeira multiplicada por 100 e a segunda multiplicada por 10. O determinante no se altera, conforme a Propriedade 11. Assim, obtemos 1 4 4 = 1 2 0 1 0 8 1 4 144 1 2 120 . 1 0 108

Percebemos que 144, 120 e 108 so mltiplos de 12. Colocando 12 em evidncia no ltimo determinante (Propriedade 5), obtemos 1 4 4 = 1 2 0 1 0 8 1 4 144 1 2 120 1 0 108 1 4 12 12 1 2 10 . 1 0 9

x 2 2 0 2 x 0 2 Exemplo 10 - Resolver a equao = 16. 2 0 x 2 0 2 2 x Adicionemos primeira linha, a quarta linha (pela Propriedade 11, o determinante no se altera). Obtemos x 0 0 2 x 0 2 0 x 0 2 2 x 2 = 16. 2 x

Adicionemos quarta coluna, a primeira coluna (pela Propriedade 11, o determinante no se altera). Obtemos x 0 0 0 2 x 0 0 = 16 2 0 x 0 0 2 2 x Temos, assim, uma matriz triangular inferior e, pela Propriedade 7, o seu determinante se reduz ao termo principal. Ento x.x.(x).(x) = 16 x4 = 16. Portanto, x = 2.

Concluso

Nos captulos anteriores utilizamo-nos dos conceitos de permutao ao denirmos o determinante. Tal atitude traduz, simplesmente, a preferncia do autor desta sobre o modo de se abordar os determinantes, tendo em vista a utilizao de uma denio que permita, com maior simplicidade, proceder s demonstraes de suas propriedades. Estas, por sua vez, so importantes para caracterizar o determinante como a nica funo de matriz que satisfaz a condio de depender linearmente das linhas (colunas) da matriz, anular-se quando duas de suas linhas (colunas) so iguais e assumir o valor 1 na matriz identidade. Por outro lado, busca-se clareza na abordagem de um conceito matemtico que, em nvel de ensino mdio, carece de um tratamento inteligvel, uma vez que apresentado sem as formalizaes necessrias para a sua compreenso. Ademais, no devemos nos esquecer de que os determinantes, ainda no ensino mdio, so utilizados na resoluo de sistemas lineares, na determinao da rea de guras planas e no estudo da colinearidade de pontos do plano. Assim, com uma melhor compreenso da denio e das propriedades, os determinantes podem ser aplicados com maior segurana nas situaes em que os mesmos so solicitados. Por outro lado, esperamos estar contribuindo com aqueles que aspiram a uma formao acadmica superior, baseada em conceitos matemticos provindos, inicialmente, da lgebra linear e da Matemtica em geral. Por m, o presente trabalho est em consonncia com o denominado Projeto Klein de Matemtica. J na introduo do volume 1 da obra "Matemtica Elementar desde um ponto de vista superior", Klein acentua a importncia do enlace entre o ensino elementar e o ensino superior, tendo em vista o adequado preparo do professor de Matemtica da escola elementar. Desse modo, Klein ainda enfatiza que tais enlaces tem o m, de certo modo, "de facilitar, por parte do professor, dessa capacidade de extrair da grande base de conhecimentos um estmulo vivo para a sua prtica de ensino". Tendo tal compreenso, o professor do ensino mdio tem a oportunidade de transmitir algo da Matemtica superior, utilizando-se do currculo escolar. nesse sentido que o presente trabalho faz a conexo entre a viso elementar e superior das permutaes aplicadas denio de determinantes, oferecendo ao interessado um contato mais prximo entre o ensino e a pesquisa Matemtica.

Referncias Bibliogrcas

[1] A ITKEN , A. C. Determinantes y Matrices. Dossat, Madrid, 1939. [2] B OLDRINI , J. L.; C OSTA , S. I. R.; R IBEIRO, V. L. F. F.; W ETZLER , H. G. lgebra Linear. Harbra, So Paulo, 1978. [3] C ALLIOLI , C. A.; D OMINGUES , H. H.; C OSTA , R. C. F. lgebra Linear e Aplicaes. Atual, So Paulo, 1989. [4] DE A LENCAR F ILHO, E. Elementos de Anlise Algbrica. Nobel, So Paulo, 1964. [5] DE M ENEZES , D. L. Abecedrio da lgebra. Nobel, So Paulo, 1971. [6] G ONALVES , A.; DE S OUZA , R. M. L. Introduo lgebra Linear. Edgard Blucher, So Paulo, 1977. [7] H EFEZ , A.; DE S OUZA F ERNANDEZ , C. Introduo lgebra Linear. SBM, Rio de Janeiro, 2012. [8] K LEIN , F. Matematica elemental - Desde un punto de vista superior - Vol. I. Nuevas Grcas, Madrid. [9] K UROSCH , A. G. Curso de lgebra Superior. Mir, Moscou, 1968. [10] L IMA , E. L. lgebra Linear. Impa, Rio de Janeiro, 2004. [11] L IPSCHUTZ , S. lgebra Linear. MacGraw-Hill, Rio de Janeiro, 1980. [12] M ORGADO, A. C.; J DICE , E. D.; WAGNER , E.; L IMA , E. L.; DE C ARVALHO, J. B. P.; C ARNEIRO, J. P. Q.; G OMES , M. L. M.; C ARVALHO, P. C. P. Exame de textos: Anlise de livros de Matemtica para o ensino mdio. SBM, Rio de Janeiro, 2001. [13] M UIR , T. The Theory of Determinants in the Historical Order of Development vol.1. MacMillan, London, 1906. [14] N ACHBIN , L. Introduo lgebra. MacGraw-Hill, Rio de Janeiro, 1971.

Referncias Bibliogrcas

44

[15] N ETTO, F. A. L. Teoria Elementar dos Determinantes. Nobel, So Paulo, 1958. [16] S CIENCES , L. D. France, 1905. [17] S ERRO, A. N. Anlise Algbrica. Globo, Porto Alegre, 1945. Oeuvres Completes DAugustin Cauchy. Gauthier-Villars,