Calculadora da Forma Normal de Smith

Reduza uma matriz inteira à forma normal de Smith, acompanhe as operações de linha e coluna e teste a compatibilidade de sistemas inteiros.

Os resultados são calculados automaticamente conforme você informa os dados.

Matriz inteira

Informe valores inteiros na matriz. A redução aceita matrizes de até 6 por 6.

Fórmula e interpretação
Resultado Informe uma matriz inteira para começar.

▼ Veja explicações e dicas abaixo ▼

Calculadoras relacionadas

O que é a forma normal de Smith?

A forma normal de Smith é uma maneira de simplificar uma matriz inteira sem sair da aritmética inteira. Ela transforma uma matriz em uma matriz diagonal usando operações reversíveis de linhas e colunas com inteiros.

Para uma matriz inteira \(A\), o objetivo é encontrar matrizes inteiras unimodulares \(U\) e \(V\) tais que

$$ UAV = D $$

em que \(D\) é diagonal e tem a forma

$$ D = \operatorname{diag}(d_1,d_2,\ldots,d_r,0,\ldots,0) $$

com

$$ d_1 \mid d_2 \mid \cdots \mid d_r. $$

As entradas diagonais não nulas \(d_1,d_2,\ldots,d_r\) são chamadas de fatores invariantes. Elas não são apenas um subproduto do cálculo; são a informação principal preservada pela matriz inteira. Elas revelam o posto da matriz, descrevem estruturas quociente, como conúcleos, e transformam muitos sistemas lineares inteiros em testes de divisibilidade.

A forma normal de Smith é especialmente útil quando a pergunta não é “qual é a solução nos números reais?”, mas sim “existe uma solução inteira?”. A redução usual de linhas pode dividir por números como \(2\) ou \(5\), o que não causa problemas nos números reais, mas não é reversível nos inteiros. A forma normal de Smith acompanha apenas operações que preservam a estrutura inteira.

Por que a forma normal de Smith é importante

A forma normal de Smith é importante porque muitos problemas matemáticos dependem da estrutura inteira, e não de aproximações decimais ou reais.

Ela é usada para estudar:

  • Sistemas diofantinos lineares, nos quais todos os coeficientes e soluções são inteiros.
  • Grupos abelianos finitamente gerados, nos quais os fatores invariantes descrevem o grupo a menos de isomorfismo.
  • Reticulados inteiros e módulos quociente, nos quais a forma diagonal facilita a compreensão do quociente.
  • Topologia algébrica, na qual matrizes de fronteira inteiras podem ser reduzidas para calcular grupos de homologia.
  • Invariantes exatos de matrizes, nos quais as entradas diagonais fornecem informações que a forma escalonada reduzida usual não mostra.

Para estudantes, a forma normal de Smith costuma ser a ponte entre a álgebra linear e a álgebra abstrata. Ela se parece com uma redução de matrizes, mas sua lógica vem da divisibilidade, dos máximos divisores comuns e dos módulos sobre domínios de ideais principais.

Termos importantes

  • Matriz inteira: Uma matriz cujas entradas são inteiros.
  • Matriz unimodular: Uma matriz inteira quadrada cujo determinante é \(1\) ou \(-1\). Sua inversa também é uma matriz inteira.
  • Fator invariante: Uma entrada diagonal não nula na forma normal de Smith, geralmente escolhida como positiva e organizada de modo que cada uma divida a seguinte.
  • Posto: A quantidade de fatores invariantes não nulos.
  • Domínio de ideais principais: Um anel no qual todo ideal é gerado por um único elemento. Os inteiros \(\mathbb{Z}\) são o principal exemplo para esta calculadora.
  • Máximo divisor comum: O maior inteiro positivo que divide um conjunto de inteiros. Os cálculos de MDC são fundamentais para a forma normal de Smith.
  • Equação diofantina linear: Uma equação ou sistema linear cujos coeficientes e soluções devem ser inteiros.
  • Variável livre: Uma variável que não é fixada pelo sistema diagonal. Em um sistema compatível subdeterminado, as variáveis livres criam infinitas soluções inteiras possíveis.

Como funciona a forma normal de Smith

A forma normal de Smith usa três tipos de operações inteiras reversíveis:

  1. Troque duas linhas ou duas colunas.
  2. Multiplique uma linha ou coluna por \(-1\).
  3. Some um múltiplo inteiro de uma linha ou coluna a outra linha ou coluna.

Essas operações correspondem à multiplicação por matrizes unimodulares. As operações de linha são registradas em um multiplicador à esquerda \(U\), e as operações de coluna são registradas em um multiplicador à direita \(V\). Como \(U\) e \(V\) são unimodulares, elas não destroem a natureza inteira do problema.

A forma diagonal é escrita como

$$ UAV = D. $$

A matriz \(D\) não é apenas diagonal; suas entradas diagonais não nulas devem satisfazer a cadeia de divisibilidade

$$ d_i \mid d_{i+1}. $$

Essa condição é o que torna a forma normal de Smith canônica sobre os inteiros, a menos dos sinais. Por convenção, os fatores invariantes geralmente são considerados não negativos.

Uma maneira útil de compreender os fatores invariantes é por meio dos menores. Seja \(\Delta_k(A)\) seja o máximo divisor comum de todos os \(k \times k\) menores de \(A\), com \(\Delta_0(A)=1\). Quando \(A\) tem fatores invariantes não nulos \(d_1,\ldots,d_r\),

$$ \Delta_k(A)=d_1d_2\cdots d_k $$

para \(1 \le k \le r\), portanto

$$ d_k=\frac{\Delta_k(A)}{\Delta_{k-1}(A)}. $$

Esta fórmula explica por que os fatores invariantes são verdadeiros invariantes da matriz: as operações de linha e coluna permitidas não alteram essas relações entre determinantes e divisores.

Forma normal de Smith e sistemas inteiros

A forma normal de Smith é especialmente poderosa para sistemas inteiros

$$ Ax=b. $$

Se

$$ UAV = D, $$

então defina

$$ x = Vy. $$

Substituindo, obtemos

$$ A(Vy)=b. $$

Multiplicando ambos os lados por \(U\) obtemos

$$ UAVy=Ub, $$

assim, o sistema inteiro original se torna

$$ Dy = Ub. $$

Essa é a principal vantagem. A matriz \(D\) é diagonal, então o sistema se divide em equações simples

$$ d_i y_i = (Ub)_i. $$

Para que exista uma solução inteira, cada entrada diagonal não nula deve dividir a entrada correspondente do lado direito transformado:

$$ d_i \mid (Ub)_i. $$

Qualquer linha nula em \(D\) fornece uma condição de consistência:

$$ 0 = (Ub)_i. $$

Se uma linha nula tiver um lado direito transformado não nulo, o sistema será incompatível nos inteiros.

A calculadora relata essa inconsistência de linha nula separadamente de uma condição de divisibilidade da diagonal não nula que falhou, porque as equações \(0=(Ub)_i\) e \(d_i y_i=(Ub)_i\) têm regras de compatibilidade diferentes.

Quando as condições são satisfeitas, o sistema diagonal fornece valores inteiros para os valores restritos de \(y_i\) . As variáveis restantes são livres. A calculadora exibe uma solução definindo as variáveis livres como zero, mas um sistema compatível subdeterminado pode ter mais soluções inteiras.

Exemplos práticos da forma normal de Smith

Exemplo 1: Uma matriz quadrada pequena

Considere

$$ A= \begin{bmatrix} 2 & 4 \\ 6 & 10 \end{bmatrix}. $$

Primeiro, calcule o máximo divisor comum de todas as entradas:

$$ \Delta_1(A)=\gcd(2,4,6,10)=2. $$

Para uma matriz \(2 \times 2\) de posto completo, \(\Delta_2(A)\) é o valor absoluto do determinante:

$$ \Delta_2(A)=|2\cdot 10-4\cdot 6|=|20-24|=4. $$

Os fatores invariantes são

$$ d_1=\Delta_1(A)=2 $$

e

$$ d_2=\frac{\Delta_2(A)}{\Delta_1(A)}=\frac{4}{2}=2. $$

Assim, a diagonal da forma normal de Smith é

$$ (2,2), $$

e o posto é \(2\).

Isso informa mais do que apenas o determinante. O determinante mostra que a matriz tem posto completo, enquanto os fatores invariantes mostram a estrutura exata de divisibilidade inteira.

Exemplo 2: Uma equação diofantina linear

A equação

$$ 6x+10y=b $$

pode ser vista como a equação matricial

$$ \begin{bmatrix} 6 & 10 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} =b. $$

A forma normal de Smith da matriz linha \(\begin{bmatrix}6 & 10\end{bmatrix}\) tem entrada diagonal

$$ \gcd(6,10)=2. $$

Assim, a equação tem uma solução inteira exatamente quando

$$ 2 \mid b. $$

Por exemplo, \(b=14\) é compatível porque \(2\) divide \(14\):

$$ 6(-1)+10(2)=14. $$

Mas \(b=15\) não é compatível porque \(2\) não divide \(15\).

Esta é a versão mais simples do mesmo teste de divisibilidade usado para matrizes maiores.

Exemplo 3: Um caso-limite de posto deficiente

Uma matriz nula não tem fatores invariantes não nulos:

$$ A= \begin{bmatrix} 0 & 0 \\ 0 & 0 \end{bmatrix}. $$

Sua forma normal de Smith também é a matriz nula, e seu posto é \(0\). O sistema

$$ Ax=b $$

então significa

$$ 0=b. $$

Portanto, se \(b\) é o vetor nulo, todo vetor inteiro \(x\) é uma solução. Se \(b\) tiver ao menos uma entrada não nula, não haverá solução.

Este exemplo mostra por que as linhas diagonais nulas são importantes: elas não são ignoradas. Elas impõem condições de consistência ao lado direito transformado.

Como interpretar o resultado

O resultado da forma normal de Smith deve ser lido como um resumo da estrutura inteira da matriz.

Parte do resultado O que significa
Diagonal da FNS As entradas diagonais de \(D\) em \(UAV=D\). As entradas não nulas são os fatores invariantes.
Posto A quantidade de fatores invariantes não nulos.
Invariantes Os valores diagonais não nulos, geralmente positivos e organizados de modo que cada um divida o seguinte.
Status da divisibilidade Uma verificação de que os valores diagonais satisfazem a condição da forma normal de Smith \(d_i \mid d_{i+1}\).
Dimensões A quantidade original de linhas e colunas da matriz.
Visual das etapas e tabela de operações Um registro das operações de linha e coluna usadas durante a redução.
Compatibilidade para \(Ax=b\) Uma verificação de divisibilidade e de linhas nulas após transformar o sistema em \(Dy=Ub\).
Solução exibida Uma solução inteira quando compatível, com as variáveis livres definidas como zero.

Um fator invariante pequeno significa uma restrição de divisibilidade mais fraca. Um fator invariante maior significa uma restrição de divisibilidade mais forte. Uma entrada diagonal nula após os fatores invariantes não nulos significa que algumas equações do sistema diagonalizado são verificações de consistência, e não equações que determinam variáveis.

O posto não deve ser confundido com a quantidade de colunas ou linhas. Uma matriz \(2 \times 4\) , por exemplo, pode ter posto no máximo \(2\), e sua forma normal de Smith ainda pode ser significativa.

Erros comuns e equívocos

Um erro comum é tratar a forma normal de Smith como a forma escalonada reduzida usual. A redução de linhas nos números reais permite a divisão por qualquer número não nulo, mas a forma normal de Smith sobre os inteiros permite apenas operações inteiras reversíveis.

Outro erro é inserir valores decimais ou fracionários. Neste contexto, a forma normal de Smith é um conceito de matrizes inteiras. Um valor como \(1.5\) ou \(\frac{3}{2}\) pertence a um contexto aritmético diferente e não é compatível com esta calculadora.

Às vezes, os usuários também colam linhas de matriz com comprimentos diferentes. Uma matriz deve ter a mesma quantidade de entradas em todas as linhas.

Para sistemas \(Ax=b\), o vetor \(b\) deve ter uma entrada para cada linha de \(A\). Se \(A\) tiver \(m\) linhas, então \(b\) deve ter comprimento \(m\).

Uma solução exibida não deve ser interpretada como o conjunto completo de todas as soluções. Se o sistema tiver variáveis livres, pode haver infinitas soluções inteiras. A solução exibida é uma representante obtida ao definir as variáveis livres como zero.

Por fim, a cadeia de divisibilidade é importante. Uma matriz diagonal não está na forma normal de Smith a menos que as entradas diagonais não nulas satisfaçam

$$ d_1 \mid d_2 \mid \cdots \mid d_r. $$

Quando usar a forma normal de Smith

Use a forma normal de Smith quando precisar compreender a estrutura inteira, e não apenas a resolubilidade nos números reais.

Ela é útil para:

  • Testar se um sistema inteiro \(Ax=b\) tem uma solução inteira.
  • Encontrar os fatores invariantes de uma matriz inteira.
  • Estudar grupos abelianos finitamente gerados a partir de geradores e relações.
  • Compreender grupos quociente ou conúcleos, como \(\mathbb{Z}^m/\operatorname{im}(A)\).
  • Verificar o posto e a estrutura de divisibilidade tanto de matrizes retangulares quanto quadradas.
  • Comparar matrizes inteiras sob operações reversíveis de linhas e colunas.

Não use a forma normal de Smith como substituta da álgebra linear numérica quando as entradas forem dados medidos, decimais, valores de ponto flutuante ou números reais aproximados. Ela foi projetada para aritmética exata.

Limitações e pontos importantes

A forma normal de Smith é uma matemática exata, mas uma calculadora interativa ainda tem limites práticos.

Esta calculadora é destinada a matrizes inteiras de até \(6 \times 6\). Ela rejeita entradas decimais, fracionárias, simbólicas, complexas, não finitas, em formato exponencial ou com inteiros inseguros. As células vazias da matriz são tratadas como \(0\).

A redução da matriz, as transformações unimodulares, os fatores invariantes e as soluções opcionais de sistemas inteiros usam aritmética inteira exata. Para manter o navegador responsivo, o cálculo é interrompido com um erro, em vez de uma aproximação, se ultrapassar 5.000 operações registradas ou se um inteiro intermediário exceder 10.000 dígitos decimais.

A tabela de operações exibe apenas as primeiras operações registradas, até o limite da interface. O seletor visual de etapas é útil para aprender o processo de redução, mas não deve ser considerado uma prova completa para toda entrada grande ou complicada.

Para \(Ax=b\), a calculadora verifica a compatibilidade e exibe uma solução quando possível. Ela não fornece uma descrição paramétrica completa de todas as soluções inteiras. Se o sistema for subdeterminado, soluções adicionais podem ser obtidas variando as variáveis livres.

Cada solução inteira exibida é automaticamente substituída de volta na equação original

$$ Ax=b $$

e só é mostrada quando essa verificação exata é bem-sucedida. A verificação independente ainda é apropriada em trabalhos de alto risco.

Como usar esta calculadora

  1. Insira valores inteiros na grade da matriz para \(A\). As células vazias valem \(0\).
  2. Use os controles de adicionar linha, adicionar coluna, excluir linha e excluir coluna para definir o tamanho da matriz, até o limite de \(6 \times 6\) .
  3. Use o controle de importação se quiser colar linhas de inteiros. Separe as entradas com espaços, vírgulas ou ponto e vírgula, e mantenha todas as linhas com o mesmo comprimento.
  4. Opcionalmente, escolha uma predefinição de exemplo integrada.
  5. Opcionalmente, insira um vetor \(b\) com uma entrada para cada linha de \(A\) para testar o sistema inteiro \(Ax=b\).
  6. Revise a diagonal da FNS, o posto, os fatores invariantes, o status da divisibilidade e as dimensões originais.
  7. Mova o seletor de etapas da redução para inspecionar as operações de linha e coluna no visual e na tabela de operações.
  8. Use o botão de download em PNG se quiser salvar o visual atual da matriz.

Perguntas frequentes

A forma normal de Smith é igual à forma escalonada reduzida?

Não. A forma escalonada reduzida geralmente é calculada sobre um corpo, como os números reais, no qual a divisão por qualquer valor não nulo é permitida. A forma normal de Smith funciona sobre os inteiros e usa apenas operações reversíveis de linhas e colunas com inteiros.

Matrizes retangulares podem ter forma normal de Smith?

Sim. A forma normal de Smith se aplica tanto a matrizes inteiras retangulares quanto a matrizes quadradas. As entradas diagonais continuam apenas até onde permite a menor dimensão da matriz, e as linhas ou colunas restantes são tratadas como zeros ou variáveis livres, dependendo do contexto.

O que significa se um fator invariante for \(1\)?

Um fator invariante igual a \(1\) significa que a equação diagonal correspondente não impõe restrição de divisibilidade, porque \(1\) divide todos os inteiros. Em interpretações de grupos ou quocientes, um fator igual a \(1\) frequentemente contribui com um componente trivial.

O que significam as entradas diagonais nulas?

Entradas diagonais nulas após os fatores invariantes não nulos significam que a matriz tem posto menor que seu valor máximo possível. Em um sistema \(Ax=b\), as equações diagonais correspondentes se tornam verificações de consistência na forma \(0=c_i\).

Por que a calculadora exige inteiros?

Esta versão da forma normal de Smith é destinada a matrizes sobre \(\mathbb{Z}\). Decimais, frações, expressões simbólicas e números complexos pertencem a contextos aritméticos diferentes e exigem outros algoritmos ou hipóteses.

A solução exibida mostra todas as soluções de \(Ax=b\)?

Não. Quando o sistema é compatível, a solução exibida é uma solução inteira com as variáveis livres definidas como zero. Se a matriz tiver mais variáveis que restrições independentes, pode haver infinitas soluções inteiras.

Fontes e referências

Livros

  1. Morris Newman. Integral Matrices. Academic Press, 1972. Relevant topics: equivalence of integer matrices, unimodular transformations, Smith normal form, and applications to integer linear equations. Registro bibliográfico no Google Books.
  2. David S. Dummit and Richard M. Foote. Abstract Algebra. 3rd ed., John Wiley & Sons, 2004. Relevant topics: principal ideal domains, modules over PIDs, invariant factor decompositions, and finitely generated abelian groups. Registro bibliográfico no Google Books.
  3. Nathan Jacobson. Basic Algebra I. 2nd ed., Dover Publications reprint, 2009. Relevant topics: modules, principal ideal domains, and Smith normal form background used in linear Diophantine systems. Registro bibliográfico no Google Books.

Fontes online e de pesquisa

  1. Richard P. Stanley. “Smith Normal Form in Combinatorics.” Journal of Combinatorial Theory, Series A, 2016. Usado para propriedades algébricas gerais da forma normal de Smith, formas diagonais, interpretação determinante-divisor e aplicações. PDF do MIT.
  2. Raymond N. Greenwell and Stanley Kertzner. “Solving Linear Diophantine Matrix Equations Using the Smith Normal Form (More or Less).” International Journal of Pure and Applied Mathematics, 55(1), 2009, 49–60. Usado para as condições de compatibilidade de sistemas inteiros e a forma das soluções para \(AX=B\). PDF.
  3. Omar Antolín Camarena. “Using the Smith Normal Form to Compute Homology.” Notas de curso da Universidad Nacional Autónoma de México. Usado para uma explicação acessível da forma normal de Smith, de matrizes inteiras invertíveis, da unicidade a menos de sinais e da interpretação por conúcleos. Nota de curso.
  4. Morris Newman. “The Smith Normal Form.” Linear Algebra and its Applications, 254, 1997, 367–381. Usado como fonte de revisão sobre a forma normal de Smith e os fatores invariantes. Registro na ScienceDirect.