Entendendo Matrizes de Forma Intuitiva (Máquinas Que Transformam Trajetos)

Matrizes são o assunto que faz estudantes capazes se sentirem de repente burros. Até aqui, toda operação tinha uma imagem. Somar é combinar. Multiplicar é escalar. Até as operações com vetores do artigo da semana passada eram trajetos que você podia caminhar. Aí alguém escreve duas grades de números, anuncia que você as multiplica fazendo "linhas vezes colunas", e a imagem some. A regra funciona. Ninguém consegue dizer o que ela está fazendo.

O resultado é uma segunda visão dupla, irmã daquela do post sobre vetores. Na aula de álgebra, uma matriz é uma caixa de números. Nos cursos seguintes ela é uma "transformação linear", uma frase que soa como resposta e não explica nada. Este artigo é a ponte: uma matriz é uma máquina que recebe um trajeto e devolve um trajeto, cada coluna da grade é o registro de para onde um eixo foi, e a regra de multiplicação é só a contabilidade de ligar duas máquinas em sequência.

Uma Máquina Que Transforma Trajetos

Esta série volta sempre à mesma ideia: números apontam. Um número negativo é um número comum apontando para trás. Um número imaginário é um número apontando para o lado, fora da reta e para dentro de um plano. Um vetor é a ideia libertada, uma grandeza que carrega qualquer direção. Quando você tem trajetos, a próxima pergunta quase se impõe. O que age sobre um trajeto? O que pega "3 para o leste, 4 para o norte" e vira um trajeto diferente?

Esse ator é uma matriz.

Pense numa máquina com um ajuste que pode esticar, esmagar, girar ou inverter o que você colocar nela. Você entrega um trajeto, ela devolve um trajeto. Uma matriz 2 por 2 é a instrução completa de uma máquina dessas agindo no plano. Uma matriz 3 por 3 é a mesma ideia no espaço. A grade de números não é o objeto. A grade é a ficha técnica.

É por isso que uma matriz não é um vetor maior. Um vetor é um trajeto. Uma matriz é uma regra para mudar trajetos. Confundir os dois é como confundir uma jornada com o vento que te tira do rumo.

As Colunas São para Onde os Eixos Foram

Aqui está o fato que torna o assunto inteiro legível. Você não precisa saber o que uma matriz faz com todo trajeto possível. Só precisa saber o que ela faz com dois deles: um passo para o leste e um passo para o norte. Todo outro trajeto é uma combinação desses dois, então o efeito da máquina em qualquer trajeto é a mesma combinação dos seus efeitos nos eixos.

Escreva esses dois resultados como colunas, e você tem a matriz.

Suponha que a máquina mande um passo para o leste para (2, 1) e um passo para o norte para (0, 3). A matriz é a grade 2 por 2 cuja primeira coluna é 2, 1 e cuja segunda coluna é 0, 3. Entregue a ela o trajeto (3, 4), que significa "3 para o leste e depois 4 para o norte", e a saída são 3 cópias da primeira coluna mais 4 cópias da segunda: 3 vezes (2, 1) mais 4 vezes (0, 3), que é (6, 3) mais (0, 12), que é (6, 15). Isso é multiplicação de matriz por vetor. O ritual linha-por-coluna do livro é essa mesma soma, escrita para um computador rodar sem desenhar setas.

Quem vem do artigo sobre vetores vai reconhecer a soma: você está somando trajetos escalados. A matriz não inventa um tipo novo de aritmética. Ela reutiliza a aritmética dos trajetos, uma vez por coluna.

A matriz identidade é a máquina que não faz nada. Um passo para o leste continua um passo para o leste, um passo para o norte continua um passo para o norte, então as colunas dela são exatamente os dois trajetos dos eixos. Entregue qualquer coisa e você recebe a mesma qualquer coisa de volta. É a copiadora no 100 por cento, sem rotação, e é o motivo de o número 1 ter um correspondente neste assunto.

Multiplicar Significa Aplicar Isto, Depois Aquilo

A regra que parece inventada, multiplicar duas matrizes, é composição de funções vestindo uma grade. Multiplicar A por B é construir a máquina única que faz B primeiro e A depois. Você entrega um trajeto a B, pega o que sair e entrega isso a A. O produto AB é a ficha técnica dessa máquina combinada.

É por isso que a ordem importa, e por isso parece ao contrário. AB não é BA, pela mesma razão que vestir meias e depois sapatos não é vestir sapatos e depois meias. A máquina da direita age primeiro porque é assim que já escrevemos funções: f(g(x)) aplica g primeiro. A multiplicação de matrizes herdou a mesma convenção.

É também por isso que a receita linha-por-coluna existe. As colunas de AB são o que a máquina combinada faz com os eixos, o que significa que elas são A aplicada às colunas de B. Cada uma dessas é um produto matriz-vetor, e cada produto matriz-vetor é um monte de produtos escalares. O ritual do livro é três camadas da mesma ideia, comprimidas num único macete.

Uma consequência útil: você pode parar de decorar quando duas matrizes têm permissão de se multiplicar. Elas se multiplicam quando os trajetos que saem da primeira máquina têm o tamanho certo para entrar na segunda. Uma matriz 2 por 3 come trajetos de 3 dimensões e devolve trajetos de 2 dimensões. Ela pode sentar à direita de uma matriz 2 por 2, que come trajetos de 2 dimensões, e à esquerda de uma 3 por 4, que devolve trajetos de 3 dimensões. Os tamanhos de dentro precisam coincidir porque são o mesmo corredor.

O Determinante É Quanta Área Sobrevive

Alimente a máquina com o quadrado unitário cujos lados são os dois trajetos dos eixos. A imagem é um paralelogramo cujos lados são as duas colunas. O determinante é a área com sinal desse paralelogramo.

Se o determinante é 2, a máquina dobra as áreas. Se é 1/2, as reduz à metade. Se é 0, o paralelogramo colapsou num segmento de reta ou num ponto: a máquina achatou o plano, dois trajetos diferentes podem cair no mesmo lugar, e informação foi jogada fora. Se é negativo, a máquina inverteu a orientação, transformando um quadrado anti-horário em horário, a mesma inversão que os números negativos fazem na reta.

As receitas de cálculo, ad menos bc para uma 2 por 2, a expansão por cofatores depois, são jeitos de calcular essa área. Elas não são o significado. Quando você vê o paralelogramo, "o determinante é zero" deixa de ser uma falha misteriosa e vira uma imagem: as duas colunas apontam ao longo da mesma reta, então não abrangem área nenhuma, então a máquina não se distingue de uma projeção sobre aquela reta.

É também por isso que um determinante zero proíbe uma inversa, que é o ponto inteiro da próxima seção.

Inversa Quer Dizer Desfazer

Uma matriz inversa é o botão de desfazer. Se A manda um trajeto v para um trajeto w, então a inversa de A manda w de volta para v. Ligar a máquina e depois a inversa é a identidade: você termina onde começou, como se nada tivesse acontecido.

Uma máquina pode ser desfeita exatamente quando não jogou informação fora. Esse é de novo o teste do determinante. Se dois trajetos de entrada diferentes podem produzir a mesma saída, não há jeito honesto de dizer de qual entrada uma saída veio, e não existe inversa. Se cada saída veio de exatamente uma entrada, a máquina de desfazer existe e é única.

Na escola isso chega como uma fórmula envolvendo 1 sobre o determinante e uma grade embaralhada de entradas. A fórmula é real, e vale a pena praticar, mas é uma consequência. A ideia é "passar o filme de trás para frente", e só funciona quando o filme não achatou a cena.

Sistemas de equações lineares são essa mesma ideia fantasiada. A álgebra ensinou você a resolver duas equações com duas incógnitas por eliminação. Essas duas equações são uma matriz agindo sobre um trajeto desconhecido, igualada a um trajeto conhecido. Resolver o sistema é aplicar a inversa. Quando o sistema não tem solução, ou tem infinitas, o determinante é zero: a máquina achatou o plano, e o lado direito ou errou a reta que restou ou caiu nela de infinitas maneiras. Os casos que você decorou como impossível e indeterminado são as duas formas de uma máquina que colapsa falhar em ter um único desfazer.

Autovetores Recusam Girar

A maioria dos trajetos entra na máquina e sai apontando para outro lado. Alguns trajetos especiais saem apontando para o mesmo lado em que entraram, só mais longos ou mais curtos. Esses trajetos são os autovetores, e o fator de esticamento é o autovalor.

A imagem é um túnel de vento. A maioria das setas é jogada para o lado. Os autovetores são as setas que o vento só alonga ou encurta. Se o fator é 2, a máquina dobra aquele trajeto. Se o fator é 1, ela deixa aquele trajeto em paz. Se o fator é 0, ela esmaga aquele trajeto até sumir, que é o achatamento das duas seções anteriores visto ao longo de uma única direção. Se o fator é negativo, ela inverte o trajeto além de esticá-lo.

Essa é a única ideia dos capítulos seguintes que parece avançada e não é. Pedir autovetores é perguntar: ao longo de quais direções esta máquina age como uma multiplicação comum por um número? Quando você tem essas direções, a máquina fica simples nesse sistema de coordenadas, e é por isso que todo assunto que usa matrizes, de equações diferenciais a ranquear páginas da web, começa a caçá-los.

De Onde Vêm os Erros

Os erros com matrizes se concentram em três lugares, e cada um é uma imagem que nunca foi desenhada.

O primeiro é multiplicar entrada por entrada. Os estudantes veem duas grades do mesmo tamanho e emparelham os números, do jeito que se somam matrizes, o que de fato é entrada por entrada. Multiplicação não é adição. É ligar uma máquina e depois a outra. Duas matrizes 2 por 2 produzem outra 2 por 2, mas cada coluna de saída é A aplicada a uma coluna de B, não os quatro pares de células correspondentes, multiplicados.

O segundo é ignorar a ordem. AB e BA são máquinas diferentes sempre que A e B fazem coisas diferentes, o que é quase sempre. Escrever os fatores na ordem em que você os conheceu, em vez da ordem em que eles agem, é o erro das meias e dos sapatos, e é o deslize algébrico mais comum do capítulo inteiro.

O terceiro é tratar um determinante zero como uma calculadora quebrada em vez de um paralelogramo achatado. A máquina ainda faz alguma coisa: ela manda todo trajeto para uma reta, ou para a origem. Só não pode ser desfeita. "Sem inversa" não é uma recusa do universo. É a descrição de uma máquina que perdeu uma dimensão.

Onde o Math Zen Entra

As matrizes ficam em cima do andar dos vetores, e qualquer tremor ali aparece na hora. Somar colunas é soma de vetores. O passo "linha vezes coluna" é um produto escalar. O determinante de uma 2 por 2 é a área com sinal de um paralelogramo, a mesma geometria que o artigo de vetores usou para a lei do paralelogramo. Se essas operações ainda são verbais em vez de visuais, cada cálculo com matrizes vira um ritual.

A progressão de baldes do Math Zen mantém os andares na ordem. Os baldes iniciais treinam aritmética com sinais e o círculo trigonométrico. Os baldes de vetores então tornam a soma, a escala e o produto escalar reflexos. Os baldes de matrizes tomam isso como dado e treinam as operações novas: multiplicar, calcular determinantes, inverter, resolver sistemas e achar autovalores, que é exatamente a lista de imagens deste artigo, transformada em problemas curtos que você pode fazer todo dia. A repetição espaçada é o que transforma "as colunas são para onde os eixos foram" de uma frase que um dia te convenceu num reflexo que você usa na segunda linha de uma questão de prova.

A Conclusão

Uma matriz é uma máquina que recebe um trajeto e devolve um trajeto. A grade de números é a ficha técnica: cada coluna é para onde um eixo foi, e o efeito em qualquer outro trajeto é a combinação correspondente dessas colunas. Multiplicar duas matrizes constrói a máquina que liga a da direita primeiro. O determinante é quanta área sobrevive, zero quando a máquina achata o plano. A inversa é o botão de desfazer, e existe exatamente quando nada foi achatado. Autovetores são os trajetos raros que a máquina estica sem girar.

Reunido dessa forma, o assunto tem uma única ideia dentro de si, aplicada a máquinas cada vez maiores. A visão dupla das duas salas de aula se resolve no momento em que você para de perguntar se uma matriz é de verdade uma grade ou de verdade uma transformação. Ela é de verdade uma máquina, e a grade é só a lista de para onde os eixos foram.