Sistema de equações lineares
Em Matemática, um sistema de equações lineares (abreviadamente, sistema linear) é um conjunto finito de equações lineares aplicadas num mesmo conjunto, igualmente finito, de variáveis.[1] Por exemplo,
é um sistema de três equações com três variáveis (x, y e z). Uma solução para um sistema linear é uma atribuição de números às incógnitas que satisfazem simultaneamente todas as equações do sistema. Uma solução para o sistema acima é dada por
já que esses valores tornam válidas as três equações do sistema em questão. A palavra "sistema" indica que as equações devem ser consideradas em conjunto, e não de forma individual, isto é, cada uma das equações precisa ser satisfeita.
Em matemática, a teoria de sistemas lineares é a base e uma parte fundamental da álgebra linear, um tema que é usado na maior parte da matemática moderna. Deve-se observar que, em primeiro lugar, a equação linear é, necessariamente, uma equação polinomial. em diversos ramos da matemática aplicada e ciências naturais, podemos encontrar vários usos de sistemas lineares. Exemplos são a física, a economia, a engenharia, a biologia, a geografia, a navegação, a aviação, a cartografia, a demografia e a astronomia.[2]
Algoritmos computacionais são para encontrar soluções constituem uma parte importante da álgebra linear numérica, e desempenham um papel proeminente nas áreas de aplicação da álgebra linear. Tais métodos têm uma grande importância para obter soluções rápidas e acuradas. [3] Pode-se muitas vezes aproximar um sistema de equações não-lineares por um sistema linear, uma técnica chamada de linearização e útil ao elaborar modelos matemáticos ou realização simulações computacionaos de um sistema mais complexo.
O sistema linear também pode ser conceituado como um sistema de equações do primeiro grau, ou seja, um sistema no qual as equações possuem apenas polinômios em que cada parcela tem apenas uma incógnita. Em outras palavras, num sistema linear, não há potência diferente de um ou zero e tampouco pode haver multiplicação entre incógnitas.
Muitas vezes, os coeficientes das equações são números reais ou complexos e as soluções são procuradas no mesmo conjunto de números, mas a teoria e os algoritmos aplicam os coeficientes e soluções em qualquer campo.
Índice
1 Exemplo básico
2 Forma geral
2.1 Equação vetorial
2.2 Equação matricial
3 Conceito
4 Histórico
5 Solução
6 Técnicas de resolução
6.1 Eliminação de Gauss
6.1.1 Etapa 1
6.1.2 Etapa 2
6.1.2.1 Fase 1
6.1.2.2 Fase 2
6.1.3 Etapa 3
6.2 Método da substituição
6.3 Método da comparação
6.4 Fatorizações de matrizes
6.5 Regra de Cramer
7 Referências
8 Ligações externas
Exemplo básico |
O tipo mais simples de sistema linear envolve duas equações e duas variáveis:
Um método para resolver tal sistema é do seguinte modo: em primeiro lugar, resolva a equação superior para x em termos de y:
Agora substitua essa expressão para x na equação inferior:
Isto resulta numa única equação envolvendo apenas a variável y.{displaystyle y.} Resolvendo, obtemos y=4/7,{displaystyle y=4/7,} e voltando para a equação e substituindo y por seu valor, vem que x=−5/7.{displaystyle x=-5/7.} Este método se generaliza para sistemas com variáveis adicionais (veja "eliminação de variáveis" abaixo, ou o artigo sobre álgebra elementar).
Forma geral |
Um sistema geral de m equações lineares com n incógnitas pode ser escrito como:
a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋮⋮⋮⋮am1x1+am2x2+⋯+amnxn=bm.{displaystyle {begin{alignedat}{7}a_{11}x_{1}&&;+;&&a_{12}x_{2}&&;+cdots +;&&a_{1n}x_{n}&&;=;&&&b_{1}\a_{21}x_{1}&&;+;&&a_{22}x_{2}&&;+cdots +;&&a_{2n}x_{n}&&;=;&&&b_{2}\vdots ;;;&&&&vdots ;;;&&&&vdots ;;;&&&&&;vdots \a_{m1}x_{1}&&;+;&&a_{m2}x_{2}&&;+cdots +;&&a_{mn}x_{n}&&;=;&&&b_{m}.\end{alignedat}}}
Aqui, x1,x2,…,xn{displaystyle x_{1},x_{2},ldots ,x_{n}} são as incógnitas, a11,a12,…,amn{displaystyle a_{11},a_{12},ldots ,a_{mn}} são os coeficientes do sistema e b1,b2,…,bm{displaystyle b_{1},b_{2},ldots ,b_{m}} são os termos constantes.[4]
Muitas vezes, os coeficientes e as incógnitas são números reais ou complexos, mas pode-se encontrar também números inteiros e racionais, já que são polinômios e elementos de uma estrutura algébrica abstrata.
Equação vetorial |
Um ponto de vista extremamente útil é que cada incógnita é um peso para um vetor coluna em uma combinação linear.x1[a11a21⋮am1]+x2[a12a22⋮am2]+⋯+xn[a1na2n⋮amn]=[b1b2⋮bm]{displaystyle x_{1}{begin{bmatrix}a_{11}\a_{21}\vdots \a_{m1}end{bmatrix}}+x_{2}{begin{bmatrix}a_{12}\a_{22}\vdots \a_{m2}end{bmatrix}}+cdots +x_{n}{begin{bmatrix}a_{1n}\a_{2n}\vdots \a_{mn}end{bmatrix}}={begin{bmatrix}b_{1}\b_{2}\vdots \b_{m}end{bmatrix}}}
Isso permite que seja exercida toda a linguagem e teoria dos espaços vetoriais (ou, mais geralmente, módulos). Por exemplo: o espaço vetorial gerado é o conjunto de todas as possíveis combinações lineares dos vetores sobre o lado esquerdo, e as equações têm uma solução apenas quando o vetor da mão direita se encontra nesse espaço vetorial gerado. Se cada vetor desse espaço vetorial gerado tem exatamente uma expressão como uma combinação linear dos vetores dados à esquerda, então qualquer solução é única. De qualquer maneira, o espaço vetorial gerado tem uma base de vetores linearmente independentes que garantem exatamente uma expressão; e o número de vetores nessa base (a sua dimensão) não pode ser maior do que m ou n, mas pode ser menor. Isto é importante porque, se tivermos m vetores independentes, a solução é garantida, independentemente do lado direito, o que não ocorre de outra forma.
Equação matricial |
A equação vetorial é equivalente a uma equação matricial da forma
onde A é uma matriz m×n, x é um vetor coluna com n elementos e b é um vetor coluna com m elementos.
Agora, o número de vetores em uma base para o espaço vetorial gerado é expresso como o posto da matriz.
Conceito |
O sistema linear é correlacionada à álgebra linear e o entendimento mais profundo dos sistemas é dependente do domínio desta matéria.[5]
Sendo assim, é importante o entendimento dos espaços vetoriais, dos isomorfismos, das transformações lineares, da interpolação de Lagrange, da decomposição de um polinômio em fatores primos, de anéis comutativos, do teorema da decomposição primária, da forma de Jordan e das formas bilineares.
Um sistema linear, partindo da premissa de que tem resultado existente e determinado e não há dependência entre as equações, deve ter o mesmo número de equações e de incógnitas. O número de variáveis (incógnitas) também é chamado de quantidade de dimensões do problema. O número de dimensões está relacionado ao espaço vetorial. Por outro lado, os números que são subsumidos às incógnitas das equações podem ser de vários universos. Em geral, se resolvem sistemas para números reais, mas também existem sistemas para números complexos e ainda para outros tipos de números. Assim, para n dimensões no conjunto dos números reais, diz-se que se trabalha no conjunto ℝn.
Para que o resultado de um sistema seja existente e determinado, não pode haver redundância, o que é chamado também dependência entre as matrizes que representam as equações.
Histórico |
A história dos sistemas de equações lineares começa no oriente. Em 1683, num trabalho do japonês Seki Kowa, surge a ideia de determinante[6] (como polinômio que se associa a um quadrado de números).
O uso de determinantes no Ocidente começou dez anos depois num trabalho de Leibniz, ligado também a sistemas lineares.
A conhecida regra de Cramer é na verdade uma descoberta do escocês Colin Maclaurin (1698-1746), datando provavelmente de 1729, embora só publicada postumamente em 1748 no seu Treatise of algebra.
O suíço Gabriel Cramer (1704-1752) não aparece nesse episódio de maneira totalmente gratuita. Cramer também chegou à regra independentemente.
O francês Étienne Bézout (1730-1783), autor de textos matemáticos de sucesso em seu tempo, tratou do assunto, sendo complementado posteriormente por Laplace, em Pesquisas sobre o cálculo 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 Ciências, sugeriu a notação que hoje é aceita como convenção.
Já o alemão Jacobi fez a leitura dessa teoria da forma como atualmente se estuda.
Solução |
A solução de um sistema linear é a atribuição de valores às variáveis x1, x2, ..., xn de modo a satisfazer ambas equações. O grupo de todas as soluções possíveis é chamado de conjunto-solução.[7]
Um sistema linear pode comportar-se em qualquer uma das três formas possíveis: [8][9]
Sistema Possível Determinado – S.P.D.: É o sistema que possui apenas uma única solução possível. Esse sistema pode ser chamado de sistema possível e suas equações de equações compatíveis.
Sistema Possível Indeterminado – S.P.I.: É o sistema que possui múltiplas soluções.
Sistema Impossível – SI: É o sistema que não admite uma solução, sendo designado por sistema impossível e suas equações como equações incompatíveis.
Técnicas de resolução |
Existem inúmeros métodos de resolução de sistemas, como distintas propriedades matemáticas. Para aplicações computacionais complexas, veja algebra liner computacional. Alguns métodos papel e lapis existem.
Eliminação de Gauss |
Seja Ax = b um sistema linear. O método de eliminação de Gauss para se encontrar a solução do sistema consiste nas seguintes etapas
Etapa 1: Obter a matriz aumentada na forma [A|b]{displaystyle {begin{bmatrix}A|bend{bmatrix}}} que representa o sistema de equações.
Etapa 2:Transformar a matriz aumentada [A|b]{displaystyle {begin{bmatrix}A|bend{bmatrix}}} em uma matriz aumentada na forma [A¯|b¯]{displaystyle {begin{bmatrix}{bar {A}}|{bar {b}}end{bmatrix}}} onde A¯{displaystyle {bar {A}}} é uma matriz triangular superior.
Etapa 3: Resolver o sistema linear [A¯|b¯]{displaystyle {begin{bmatrix}{bar {A}}|{bar {b}}end{bmatrix}}} da Etapa 2 por substituição regressiva.
Etapa 1 |
Considere o sistema linear de 3 equações abaixo:
A matriz aumentada A do sistema é:
[A|b](0){displaystyle {begin{bmatrix}A|bend{bmatrix}}^{(0)}} =
[a11a12a13b1a21a22a23b2a31a32a33b3]{displaystyle left[{begin{array}{ccc|c}a_{11}&a_{12}&a_{13}&b_{1}\a_{21}&a_{22}&a_{23}&b_{2}\a_{31}&a_{32}&a_{33}&b_{3}end{array}}right]}
Etapa 2 |
Fase 1 |
Deseja-se zerar todos os elementos da primeira coluna abaixo da diagonal principal.
Assim, sendo a11≠0,{displaystyle a_{11}neq 0,} define-se as constantes k=a21/a11{displaystyle k=a_{21}/a_{11}} e w=a31/a11{displaystyle w=a_{31}/a_{11}} e faz-se as seguintes operações lineares:
Obtendo-se:
Fase 2 |
Agora, deve-se zerar todos os elementos da segunda coluna abaixo da diagonal principal.
Sendo o pivô o elemento a22(1){displaystyle a_{22}^{(1)}} e a linha pivô a linha 2 de [A|b](1),{displaystyle {begin{bmatrix}A|bend{bmatrix}}^{(1)},} supõe-se a22(1)≠0,{displaystyle a_{22}^{(1)}neq 0,} e define-se uma nova constante v=a32(1)/a22(1).{displaystyle v=a_{32}^{(1)}/a_{22}^{(1)}.}
Realizando a operação
obtém-se:
- Note que [A|b](2){displaystyle {begin{bmatrix}A|bend{bmatrix}}^{(2)}} é uma matriz aumentada cuja matriz A{displaystyle A} é uma matriz triangular superior.
Etapa 3 |
Resolve-se o sistema [A|b](2).{displaystyle {begin{bmatrix}A|bend{bmatrix}}^{(2)}.} Assim:
Assim, encontra-se a solução {x1, x2, x3}{displaystyle {begin{Bmatrix}x_{1}, x_{2}, x_{3}end{Bmatrix}}} do sistema [A|b](2),{displaystyle {begin{bmatrix}A|bend{bmatrix}}^{(2)},} que é a mesma solução de [A|b].{displaystyle {begin{bmatrix}A|bend{bmatrix}}.}
- Observação: o método da Eliminação de Gauss só poderá ser usado para resolver sistemas lineares associados a matrizes escalonadas reduzidas com elementos das suas diagonais principais não-nulos, ou seja, a11(1),a22(2),a33(3),...,ann(n)≠0.{displaystyle a_{11}^{(1)},a_{22}^{(2)},a_{33}^{(3)},...,a_{nn}^{(n)}neq 0.}
Método da substituição |
O método da substituição consiste em isolar uma incógnita em qualquer uma das equações, obtendo igualdade com um polinômio.
Então deve-se substituir essa mesma incógnita em outra das equações pelo polinômio ao qual ela foi igualada.
Método da comparação |
Consiste em compararmos as duas equações do sistema, após termos isolado a mesma variável (x ou y) nas duas equações.
e as equações ficam mais detalhadas.
Fatorizações de matrizes |
Os métodos mais utilizados computacionalmente para resolver sistemas lineares envolvem fatorizações de matrizes. O mais conhecido, a eliminação de Gauss, origina a fatoração LU. Resolver o sistema Ax=b é equivalente a resolver os sistemas mais simples Ly=b e Ux=6.
Regra de Cramer |
A Regra de Cramer é uma fórmula explícita para a solução de um sistema de equações lineares, com cada variável dada por um quociente de dois determinantes. Por exemplo, a solução para o sistema
é dada pela
Para cada variável, o denominador é a determinante da matriz de coeficientes, enquanto o numerador é o determinante de uma matriz na qual cada coluna foi substituída pelo vetor de termos constantes.
Embora a regra de Cramer seja importante teoricamente, tem pouco valor prático para grandes matrizes, uma vez que o cálculo de grandes determinantes é um computacionalmente custoso.
Além disso, a regra de Cramer tem pobres propriedades numéricas, tornando-a inadequada para resolver até mesmo pequenos sistemas de forma confiável, a menos que as operações forem executadas em aritmética racional com precisão ilimitada.
Referências
↑ Poole, David (2005). Álgebra linear 1 ed. São Paulo: Pioneira Thompson Learning
↑ Aberdeen, Stan. «Use of Linear Equations». Ehow. Consultado em 16 de janeiro de 2012.
↑ «Calculadora online que soluciona sistemas de equações lineares»
↑ Giovanni, José Ruy; Bonjorno, José Roberto; Jr., José Ruy Giovanni (2002). «14». Matemática completa. São Paulo: FTD. p. 199. 592 páginas. ISBN 85-322-4827-6
↑ Hoffman, Kenneth; Kunze, Ray (1971). Álgebra Linear 1 ed. São Paulo: Polígono A referência emprega parâmetros obsoletos|coautor=
(ajuda)
↑ Domingues, Hygino H. «Origem dos Sistemas Lineares e Determinantes». Só Matemática. Consultado em 16 de janeiro de 2012.
↑ Howard Anton; Robert C. Busby (2006). Algebra Linear Contemporânea. Bookman. p. 70. ISBN 978-85-7780-091-9.
↑ José A. Trigo Barbosa. Noções sobre Matrizes e Sistemas de Equações Lineares,2a edição. FEUP edições. p. 25. ISBN 978-972-752-137-1.
↑ Isabel Cabral; Cecília Perdigão; Carlos Saiago. Álgebra linear: teoria, exercícios resolvidos e exercícios propostos com soluções. Escolar Editora. p. 88. ISBN 978-972-592-239-2.
Ligações externas |
Álgebra Linear - Um Livro Colaborativo, mantido pelo Instituto de Matemática e Estatística da Universidade Federal do Rio Grande do Sul.
Solução de sistemas linear em Cálculo Numérico - Um Livro Colaborativo, mantido pelo Instituto de Matemática e Estatística da Universidade Federal do Rio Grande do Sul