Histria dos Sistemas Lineares e Determinantes

Na matemtica ocidental antiga so poucas as aparies de sistemas de equaes lineares. No Oriente, contudo, o assunto mereceu ateno bem maior. Com seu gosto especial por diagramas, os chineses representavam os sistemas lineares por meio de seus coeficientes escritos com barras de bambu sobre os quadrados de um tabuleiro. Assim acabaram descobrindo o mtodo de resoluo por eliminao que consiste em anular coeficientes por meio de operaes elementares. Exemplos desse procedimento encontram-se nos Nove captulos sobre a arte da matemtica, um texto que data provavelmente do sculo 111 a.C. Mas foi s em 1683, num trabalho do japons Seki Kowa, que a idia de determinante (como polinmio que se associa a um quadrado de nmeros) veio luz. Kowa, considerado o maior matemtico japons do sculo XVII, chegou a essa noo atravs do estudo de sistemas lineares, sistematizando o velho procedimento chins (para o caso de duas equaes apenas). O uso de determinantes no Ocidente comeou dez anos depois num trabalho de Leibniz, ligado tambm a sistemas lineares. Em resumo, Leibniz estabeleceu a condio de compatibilidade de um sistema de trs equaes a duas incgnitas em termos do determinante de ordem 3 formado pelos coeficientes e pelos termos independentes (este determinante deve ser nulo). Para tanto criou at uma notao com ndices para os coeficientes: o que hoje, por exemplo, escreveramos como a12, Leibniz indicava por 12. A conhecida regra de Cramer para resolver sistemas de n equaes a n incgnitas, por meio de determinantes, na verdade uma descoberta do escocs Colin Maclaurin (1698-1746), datando provavelmente de 1729, embora s publicada postumamente em 1748 no seu Treatise of algebra. Mas o nome do suo Gabriel Cramer (1704-1752) no aparece nesse episdio de maneira totalmente gratuita. Cramer tambm chegou regra (independentemente), mas depois, na sua Introduo anlise das curvas planas (1750), em conexo com o problema de determinar os coeficientes da cnica geral A + By + Cx + Dy 2 + Exy + x2 = 0. O francs tienne Bzout (1730-1783), autor de textos matemticos de sucesso em seu tempo, sistematizou em 1764 o processo de estabelecimento dos sinais dos termos de um determinante. E coube a outro francs, Alexandre Vandermonde (1735-1796), em 1771, empreender a primeira abordagem da teoria dos determinantes independente do estudo dos sistemas lineares embora tambm os usasse na resoluo destes sistemas. O importante teorema de Laplace, que permite a expanso de um determinante atravs dos menores de r filas escolhidas e seus respectivos complementos algbricos, foi demonstrado no ano seguinte pelo prprio Laplace num artigo que, a julgar pelo ttulo, nada tinha a ver com o assunto: "Pesquisas sobre o clculo integral e o sistema do mundo". O termo determinante, com o sentido atual, surgiu em 1812 num trabalho de Cauchy sobre o assunto. Neste artigo, apresentado Academia de Cincias, Cauchy sumariou e simplificou o que era conhecido at ento sobre determinantes, melhorou a notao (mas a atual com duas barras verticais ladeando o quadrado de nmeros s surgiria em 1841 com Arthur Cayley) e deu uma demonstrao do teorema da multiplicao de determinantes meses antes J. F. M. Binet (1786-1856) dera a primeira demonstrao deste teorema, mas a de Cauchy era superior. Alm de Cauehy, quem mais contribuiu para consolidar a teoria dos determinantes foi o alemo Carl G. J. Jacobi (1804-1851), cognominado s vezes "o grande algorista". Deve-se a ele a forma simples como essa teoria se apresenta hoje elementarmente. Como algorista, Jacobi era um entusiasta da notao de determinante, com suas potencialidades. Assim, o importante conceito de jacobiano de uma funo, salientando um dos pontos mais caractersticos de sua obra, uma homenagem das mais justas.

1.- Curiosidades em torno do nome matriz

O pai do nome matriz Foi s h pouco mais de 150 anos que as matrizes tiveram sua importncia detectada e sairam da sombra dos determinantes. O primeiro a lhes dar um nome parece ter sido Cauchy, 1826 : tableau ( = tabela ). O nome matriz s veio com James Joseph Sylvester, 1850. Seu amigo Cayley,

com sua famosa Memoir on the Theory of Matrices, 1858, divulgou esse nome e iniciou a demonstrar sua utilidade. Por que Sylvester deu o nome matriz s matrizes ? Usou o significado coloquial da palavra matriz, qual seja: local onde algo se gera ou cria. Com efeito, via-as como "...um bloco retangular de termos... o que no representa um determinante, mas como se fosse uma MATRIZ a partir da qual podemos formar varios sistemas de determinantes, ao fixar um nmero p e escolhar vontade p linhas e p colunas..." ( artigo publicado na Philosophical Magazine de 1850, pag 363-370 ). Observe que Sylvester ainda via as matrizes como mero ingrediente dos determinantes. s com Cayley que elas passam a ter vida prpria e gradativamente comeam a suplantar os determinantes em importncia.

2.- Surgimento dos primeiros resultados da Teoria das Matrizes

Costuma-se dizer que um primeiro curso de Teoria das Matrizes - ou de sua verso mais abstrata, a Algebra Linear - deve ir no mnimo at o Teorema Espectral. Pois bem, esse teorema e toda uma srie de resultados auxiliares j eram conhecidos antes de Cayley iniciar a estudar as matrizes como uma classe notvel de objetos matemticos. Como se explica isso? Esses resultados, bem como a maioria dos resultados bsicos da Teoria da Matrizes, foram descobertos quando os matemticos dos sculos XVIII e XIX passaram a investigar a Teoria das Formas Quadrticas. Hoje, consideramos imprescindvel estudar essas formas atravs da notaco e metodologia matricial, mas naquela poca elas eram tratadas escalarmente. Mostremos aqui a representao de uma forma quadrtica de duas variveis, tanto via notao escalar como com a mais moderna notao matricial: q( x , y ) = a x 2 + 2b x y + c y 2 = x y . a b . x b c y

O primeiro uso implcito da noo de matriz ocorreu quando Lagrange c. 1790 reduziu a caracterizao dos mximos e mnimos, de uma funo real de vrias variveis, ao estudo do sinal da forma quadrtica associada matriz das segundas derivadas dessa funo. Sempre trabalhando escalarmente, ele chegou uma concluso que hoje expressamos em termos de matriz positiva definida. Aps Lagrange, j no sculo XIX, a Teoria das Formas Quadrticas chegou a ser um dos assuntos mais importantes em termos de pesquisas,

principalmente no que toca ao estudo de seus invariantes. Essas investigaes tiveram como subproduto a descoberta de uma grande quantidade de resultados e conceitos bsicos de matrizes. Assim que podemos dizer que a Teoria das Matrizes teve como me a Teoria das Formas Quadrticas, pois que seus mtodos e resultados bsicos foram l gerados. Hoje, contudo, o estudo das formas quadrticas um mero captulo da Teoria das Matrizes. Observemos, ademais, que os determinantes em nada contribuiram para o desenvolvimento da Teoria das Matrizes.

Aplicaes de matrizes e determinantes.

As matrizes so muito utilizadas na computao para representarmos translao, rotao, escala de objetos em computao grfica, para se resolver sistemas de equaes, etc.Na engenharia eltrica, muito difcil resolver problemas de circuitos eltricos e linhas de transmisso de energia eltrica sem matrizes. Trabalhar com uma malha de linha de transmisso e passar esse circuito para forma matricial, mais fcil. Na mecnica tambm muito importante, pois os tensores (grandeza) s so fornecidos em forma de matriz.Os determinantes simplificam e sistematizam a resoluo de sistemas de equaes lineares. Matriz quadrada a que tem o mesmo nmero de linhas e de colunas (ou seja, do tipo mxn). A toda matriz quadrada est associado um nmero ao qual damos o nome de determinante. Dentre as vrias aplicaes dos determinantes na Matemtica, temos: -resoluo de alguns tipos de sistemas de equaes lineares; -clculo da rea de um tringulo situado no plano cartesiano, qu ando so conhecidas as coordenadas dos seus vrtices.

Histria e curiosidades: Determinantes

A primeira ideia de determinante, presume -se, j existia na China antiga onde os coeficientes de equaes lineares eram representados com varetas de bambu.
y

1683: no Japo, o matemtico Seki Shinsuke Kowa, baseando -se em ensinamentos chineses, utilizava varetas para resolver sistemas lineares de um modo semelhante ao processo usado hoje para o clculo de determinantes;

1693: o matemtico alemo Gttfried Wilhelm Leibniz, criou a teoria dos determinantes, tambm resolvendo sistemas lineares; 1750: o matemtico suo Gabriel Cramer, desconhecendo os trabalhos j feitos, reinventou os determinantes ao estabelecer e publicar uma regra, que leva seu nome, para resolver o s sistemas lineares; 1812: Cauchy escreveu 84 pginas sobre determinantes e, a partir da, a teoria dos determinantes tornou-se um ramo da lgebra, passando, ento, a ser largamente utilizada.

CURIOSIDADE: do ponto de vista histrico, a ideia de determinante aparece em solues de sistemas lineares pelo menos um sculo antes do matemtico ingls Arthur Cayley criar as teorias das matrizes. A ordem histrica, portanto, foi: sistemas lineares, determinantes e matrizes, porm, estudamos primeiro matrizes, depois determinantes e, em seguida, sistemas lineares.

Arthur Cayley
Perodo: 1821 a 1895 d.C. Assuntos matemticos envolvidos:

lgebra: matrizes; teoria dos grupos; invariantes

Arthur Cayley nasceu em 16 de agosto de 1821 em Richmond na Inglaterra. Vindo de uma famlia de comerciantes, seu pai desejava que continuasse os negcios da famlia, porm em 1835 ingressou no Kings College School onde sua aptido para a matemtica se tornou mais aparente, assim seu pai resolveu envia-lo para Cambridge. Em 1838 comeou seus estudos no Trinity College em Cambridge onde se graduou em 1842. Em 1843 trabalhou fundamentalmente em lgebra, mas, tambm trabalhou em geometrias no-euclideanas e geometria n-dimensional, usando determinantes como elemento essencial. A partir de 1849 trabalhou catorze anos como advogado, ele desistiu da docncia, pois continuar nela implicaria em tomar hbitos religiosos. Embora muito hbil nessa carreira, a considerava apenas como uma forma de sustento para prosseguir com a matemtica. Durante esses catorze anos publicou aproximadamente 250 trabalhos matemticos, a maioria sobre a teoria dos invariantes algbricos.

Durante a conferencia de Hamilton sobre os Quatrnios que foi assistir em Dublin, conheceu Salmon, com quem trocou idias matemticas por muitos anos. Outro amigo era Sylvester, um advogado com quem trabalhava junto e durante os dias de trabalho conversavam sobre matemtica. Ele considerado, junto com Sylvester, o fundador da teoria dos invariantes. Foi um dos primeiros matemticos a estudar matrizes, definindo a idia de operarmos as matrizes como na lgebra. Descobriu a lgebra das matrizes em 1857. As matrizes surgiram para Cayley ligadas as transformaes lineares do tipo:

Onde a, b, c, d so nmeros reais, e que podem ser imaginados como aplicaes que levam o ponto (x,y) no ponto (X,Y) . Quando se criou em Cambridge, em 1863 a cadeira sadleriana, est lhe foi oferecida. Assim Cayley aceitou reg-la abandonando a carreira da lei. Tornando-se professor de matemtica pura em Cambridge. Em 1881 foi convidado a dar um curso sobre funes abelianas e funes teta, na Johns Hopkins University nos EUA, onde seu amigo Sylvester era professor. Cayley ocupa o terceiro lugar entre os escritores de matemtica mais prolferos em toda histria desta cincia, perdendo apenas para Euler e Cauchy. Em Collected Mathematical Papers de Cayley h 966 artigos, num total de treze volumes com cerca de 600 pginas cada um, abordando todas as reas da matemtica. Foi neste que Cayley deu construes pioneiras geometria analtica, teoria das transformaes, teoria das curvas e superfcies, o estudo de formas binrias e ternrias. Charles Hermite registrou as seguintes palavras talento de Cayley se caracterizou pela clareza e extrama elegncia da forma analtica; reforando por uma capacidade incomparvel de trabalho...