Matriz triangular

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

Em matemática, no ramo da álgebra linear, uma matriz é triangular quando os elementos acima ou abaixo da diagonal principal são zero, sendo chamada matriz triangular inferior e matriz triangular superior, respectivamente[1][2]. A matriz triangular é um tipo especial de matriz quadrada e toda matriz diagonal é uma matriz triangular. Formas especiais de matriz triangular incluem a matriz unitriangular, a matriz estritamente triangular e a matriz triangular atômica.

Como as equações matriciais com matrizes triangulares são mais fáceis de resolver, elas são muito importantes na análise numérica. Pelo algoritmo de decomposição da LU, uma matriz invertível pode ser escrita como o produto de uma matriz triangular inferior L e de uma matriz triangular superior U se e somente se todos os menores principais líderes forem diferentes de zero [nota 1].

Definição[editar | editar código-fonte]

Existem dois tipos de matrizes triangulares, as quais definem-se como[1][2]:

Matriz triangular superior é aquela em que os elementos abaixo da diagonal principal são nulos:

Matriz triangular inferior é aquela em que os elementos acima da diagonal principal são nulos:

Pode-se definir, também, uma matriz diagonal, a qual é uma matriz triangular superior e inferior. Abaixo são apresentados alguns exemplos:

  • é uma matriz triangular superior.
  • é uma matriz triangular inferior.
  • é uma matriz triangular superior e inferior, ou seja, é uma matriz diagonal.
  • representa a matriz identidade, que é uma matriz diagonal, sendo, também, uma matriz triangular.

Propriedades[editar | editar código-fonte]

Uma matriz que é simultaneamente triangular e normal também é diagonal. Isso pode ser visto observando-se as entradas diagonais de e , onde é uma matriz triangular normal[3][nota 1].

A transposta de uma matriz triangular superior é uma matriz triangular inferior e vice-versa.

Se uma matriz é triangular (superior ou inferior ou diagonal)[1][2], o seu determinante é o produto dos elementos da diagonal principal.

Seja uma matriz triangular quadrada de ordem , então .

A triangularidade superior é preservada por muitas operações:

  • A soma de duas matrizes triangulares superiores é triangular superior.
  • O produto de duas matrizes triangulares superiores é triangular superior.
  • O inverso de uma matriz triangular superior, quando existente, é triangular superior.
  • O produto de uma matriz triangular superior e de um escalar é triangular superior.

Todos esses resultados são válidos para matrizes triangulares inferiores no lugar de superiores; em particular. No entanto, as operações que misturam matrizes triangulares superiores e inferiores não produzem, geralmente, matrizes triangulares. Por exemplo, a soma de uma matriz triangular superior e inferior pode ser qualquer matriz; o produto de uma matriz triangular inferior com uma matriz triangular superior também não é necessariamente triangular.

Sistemas lineares[editar | editar código-fonte]

A equação matricial pode ser escrita como um sistema de equações lineares[nota 1]:

Observe que a primeira equação () envolve apenas e, portanto, pode-se resolver diretamente . A segunda equação envolve apenas e e, portanto, pode ser resolvida assim que substituído o valor já determinado para . Continuando dessa maneira, a -ésima equação envolve apenas e é possível resolver para usando os valores anteriormente resolvidos para [4].

As fórmulas resultantes, conhecidas como método da substituição direta[5], são:

Uma equação matricial com uma matriz triangular superior pode ser resolvida de maneira análoga, apenas trabalhando-se para trás, em um procedimento conhecido como método da substituição reversa[5].

Aplicações[editar | editar código-fonte]

A substituição direta é usada no bootstrapping financeiro para construir uma curva a termo.

Triangularização[editar | editar código-fonte]

Uma matriz que é semelhante a uma matriz triangular é referida como triangularizável[3][nota 1]. Abstratamente, isso é equivalente à estabilização de uma flag: as matrizes triangulares superiores são precisamente aquelas que preservam a flag padrão, dada pela base ordenada padrão e o sinalizador resultante Todos os sinalizadores são conjugados (como o grupo linear geral age transitivamente nas bases), portanto, qualquer matriz que estabilize um sinalizador é semelhante a uma que estabiliza o sinalizador padrão.

Qualquer matriz quadrada complexa é triangularizável[3]. De fato, uma matriz A sobre um campo contendo todos os autovalores de A (por exemplo, qualquer matriz sobre um campo algebricamente fechado) é semelhante a uma matriz triangular. Isso pode ser provado usando indução no fato de que A possui um vetor próprio, pegando o espaço quociente pelo vetor próprio e induzindo a mostrar que A estabiliza uma flag e, portanto, é triangularizável em relação à base dessa flag.

Uma afirmação mais precisa é dada pelo teorema da forma canônica de Jordan, que afirma que nessa situação, A é semelhante a uma matriz triangular superior de uma forma muito particular. Entretanto, o resultado mais simples da triangularização é suficiente e, em qualquer caso, é usado para provar o teorema da forma normal de Jordan[3] [6].

No caso de matrizes complexas, é possível dizer mais sobre triangularização, a saber, que qualquer matriz quadrada A tem uma decomposição de Schur. Isto significa que A é unitariamente equivalente (isto é, semelhante, usando uma matriz unitária como mudança de base) a uma matriz triangular superior; isto segue tomando uma base eremita para a flag.

Triangularização simultânea[editar | editar código-fonte]

Diz-se que um conjunto de matrizes é simultaneamente triangularizável se houver uma base na qual todas elas sejam triangulares superiores[nota 1]; equivalentemente, se eles são triangularizáveis superiores por uma única matriz de similaridade P. Esse conjunto de matrizes é mais facilmente entendido considerando-se a álgebra de matrizes que gera, ou seja, todos os polinômios no , denotado . A triangularizabilidade simultânea significa que essa álgebra é conjugada na subalgebra de Lie das matrizes triangulares superiores e é equivalente a essa álgebra ser uma subalgebra de Lie de uma subalgebra de Borel.

O resultado básico é que (em um campo algebricamente fechado), as matrizes pendulares ou mais geralmente são simultaneamente triangularizáveis. Isso pode ser comprovado mostrando primeiro que as matrizes de comutação têm um vetor próprio e, em seguida, induzindo na dimensão como antes. Isso foi comprovado por Frobenius, a partir de 1878, para um par pendular, como discutido em matrizes pendulares. Quanto a uma única matriz, sobre os números complexos, estes podem ser triangularizados por matrizes unitárias.

O fato de as matrizes de comutação terem um vetor próprio em comum pode ser interpretado como resultado do Hilbert Nullstellensatz: matrizes de comutação formam uma álgebra comutativa sobre que podem ser interpretados como um a variedade no espaço afim da dimensão k e a existência de um valor próprio (comum) (e, portanto, um vetor próprio) correspondem a essa variedade com um ponto (não vazio), que é o conteúdo da (fraca) Nullstellensatz. Em termos algébricos, esses operadores correspondem a uma representação algébrica da álgebra polinomial em k variáveis.

Isso é generalizado pelo teorema de Lie, que mostra que qualquer representação de uma álgebra de Lie solucionável é simultaneamente triangularizável superior, o caso de matrizes de comutação sendo o caso da álgebra de abeliano, sendo o abeliano um solucionável por maior tempo.

De maneira mais geral e precisa, um conjunto de matrizes é simultaneamente triangularizável se e somente se a matriz é nilpotente para todos os polinômios p em k variáveis não comutativas, onde é o comutador; para comutar o comutador desaparece, então isso é válido. Isso foi comprovado em (Drazin, Dungey & Gruenberg 1951); uma breve prova é apresentada em (Prasolov 1994, pp. 178-179). Uma direção é clara: se as matrizes são simultaneamente triangularizáveis, então é estritamente triangularizável superior (portanto, nilpotente), o que é preservado pela multiplicação por qualquer ou combinação dos mesmos - ele ainda terá zeros na diagonal na base triangularizante.

Como o produto de duas matrizes triangulares superiores é novamente triangular superior, o conjunto de matrizes triangulares superiores forma uma álgebra. Álgebras de matrizes triangulares superiores têm uma generalização natural na análise funcional que produz álgebras de ninhos nos espaços de Hilbert.

Uma matriz não quadrada (ou algumas vezes qualquer) com zeros acima (abaixo) da diagonal é chamada de matriz trapezoidal inferior (superior). As entradas diferentes de zero formam a forma de um trapézio.

Subgrupos Borel e subálgebras Borel[editar | editar código-fonte]

O conjunto de matrizes triangulares invertíveis de um determinado tipo (superior ou inferior) forma um grupo, na verdade um grupo de Lie, que é um subgrupo do grupo linear geral de todas as matrizes invertíveis. Uma matriz triangular é invertível precisamente quando suas entradas diagonais são invertíveis (diferentes de zero)[nota 1].

Sobre os números reais, esse grupo é desconectado, tendo componentes de acordo, pois cada entrada diagonal é positiva ou negativa. O componente de identidade são matrizes triangulares invertíveis com entradas positivas na diagonal, e o grupo de todas as matrizes triangulares invertíveis é um produto semidireto desse grupo e entradas diagonais com na diagonal, correspondendo à componentes.

A álgebra de Lie do grupo Lie de matrizes triangulares superiores invertíveis é o conjunto de todas as matrizes triangulares superiores, não necessariamente invertíveis, e é uma álgebra de Lie solucionável. Estes são, respectivamente, o subgrupo B de Borel padrão do grupo de Lie GLn e o subálgebra padrão de Borel da álgebra de Lie GLn.

As matrizes triangulares superiores são precisamente aquelas que estabilizam a flag padrão. Os invertíveis entre eles formam um subgrupo do grupo linear geral, cujos subgrupos conjugados são aqueles definidos como estabilizadores de algumas (outras) flags completas. Esses subgrupos são subgrupos Borel. O grupo de matrizes triangulares inferiores invertíveis é um subgrupo desse tipo, uma vez que é o estabilizador da flag padrão associada à base padrão na ordem inversa.

O estabilizador de uma flag parcial obtido esquecendo algumas partes da flag padrão pode ser descrito como um conjunto de matrizes triangulares superiores do bloco (mas seus elementos não são todas matrizes triangulares). Os conjugados desse grupo são os subgrupos definidos como o estabilizador de algum sinalizador parcial. Esses subgrupos são chamados de subgrupos parabólicos.

Exemplos

O grupo de 2 por 2 matrizes unitriangulares superiores é isomórfico ao grupo aditivo do campo de escalares; no caso de números complexos, corresponde a um grupo formado por transformações parabólicas de Möbius; as matrizes unitriangulares superiores de 3 por 3 formam o grupo Heisenberg.

Formas Especiais[editar | editar código-fonte]

Matriz unitriangular[editar | editar código-fonte]

Se as entradas na diagonal principal de uma matriz triangular (superior ou inferior) forem todas iguais a 1, a matriz será denominada (superior ou inferior) unitriangular[nota 1]. Todas as matrizes unitriangulares são unipotentes. Outros nomes usados para essas matrizes são triangulares unitárias (superior ou inferior) (das quais "unitriangular" pode ser uma contração) ou muito raramente triangulares normatizadas (superior ou inferior). No entanto, uma matriz triangular unitária não é igual à matriz unitária, e uma matriz triangular normatizada não tem nada a ver com a noção de norma matricial. A matriz identidade é a única matriz unitriangular superior e inferior.

O conjunto de matrizes unitriangulares formam um grupo de Lie.

Matriz estritamente triangular[editar | editar código-fonte]

Se todas as entradas na diagonal principal de uma matriz triangular (superior ou inferior) forem 0, a matriz será denominada triangular estritamente (superior ou inferior)[nota 1]. Todas as matrizes estritamente triangulares são nilpotentes, e o conjunto de matrizes triangulares estritamente superiores (ou inferiores) forma uma álgebra de Lie nilpotente, denotada . Essa álgebra é a álgebra de Lie derivada de , a álgebra de Lie de todas as matrizes triangulares superiores; em símbolos, . Além disso, é a álgebra de Lie do grupo Lie de matrizes unitriangulares.

De fato, pelo teorema de Engel, qualquer álgebra de Lie nilpotente de dimensão finita é conjugada a uma subalgebra das matrizes triangulares estritamente superiores, ou seja, uma álgebra de Lie nilpotente de dimensão finita é simultaneamente estritamente triangularizável superior.

Matriz triangular atômica[editar | editar código-fonte]

Uma matriz triangular atômica (superior ou inferior) é uma forma especial de matriz unitriangular, na qual todos os elementos fora da diagonal são zero, exceto as entradas em uma única coluna[nota 1]. Essa matriz também é chamada matriz de Frobenius, matriz de Gauss ou matriz de transformação de Gauss. Portanto, uma matriz triangular inferior atômica é da forma

O inverso de uma matriz triangular atômica é novamente triangular atômica. De fato, tem-se

isto é, as entradas fora da diagonal são substituídas na matriz inversa pelos seus inversos aditivos.

Exemplo

A matriz

é triangular inferior atômica. Sua inversa é

Ver também[editar | editar código-fonte]

Notas

  1. a b c d e f g h i Traduzida da página Triangular matrix.

Referências

  1. a b c IEZZI, Gelson (1977). Fundamentos de matemática elementar, 4: sequências, progressões, determinantes e sistemas lineares. São Paulo: Atual. ISBN 9788535717488 
  2. a b c PAIVA, Manoel Rodrigues (2010). Matemática: Paiva. São Paulo: Moderna. ISBN 9788516068332 
  3. a b c d (Axler 1996, pp. 86–87, 169)
  4. Silva, Paulo J. S. (12 de setembro de 2017). «Sistemas Lineares» (PDF). Consultado em 20 de março de 2020 
  5. a b Valle, Marcos Eduardo. «Cálculo Numérico: Aula 2 – Eliminação de Gauss e Fatoração LU» (PDF). Consultado em 20 de março de 2020 
  6. (Herstein 1975, pp. 285–290)
Wiki letter w.svg Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.