Matriz ortogonal
Aspeto
Nota: Para matrizes complexas ortogonais, veja Matriz unitária.
Em Álgebra linear, uma matriz quadrada é dita ortogonal se sua matriz inversa coincide com sua matriz transposta.[1][2][3]
Isto é, uma matriz é ortogonal se
Definição
[editar | editar código-fonte]Uma matriz é dita ortogonal se:
- ortogonal se for invertível, isto é: [4]; (necessário, mas não é suficiente)
- ortogonal se somente se sua matriz inversa coincide com sua matriz transposta , isto é: [5] (necessário e suficiente)
Exemplos
[editar | editar código-fonte]- ;
- Matriz de rotação (anti-horário)
- Matriz de reflexão em torno do eixo :
Propriedades
[editar | editar código-fonte]Matrizes ortogonais possuem as seguintes propriedades:[1]
- Se é uma matriz ortogonal, então .[demonstração 1]
- A matriz é ortogonal se, e somente se, suas colunas formam um conjunto ortonormal.[demonstração 2]
- A matriz é ortogonal se, e somente se, suas linhas formam um conjunto ortonormal.[demonstração 3]
- A matriz é ortogonal se, e somente se, sua transposta também é.[demonstração 4]
- Se é uma matriz ortogonal, então é ortogonal se, e somente se, .[demonstração 5]
Ver também
[editar | editar código-fonte]Referências
- ↑ a b (Kolman 2013)
- ↑ Strang 2010.
- ↑ Lay 2013.
- ↑ Santos 2013, p. 115.
- ↑ Santos 2013, p. 324.
Bibliografia
[editar | editar código-fonte]- Kolman, B. (2013). Álgebra linear com aplicações 9 ed. [S.l.]: LTC. ISBN 9788521622086
- Strang, Gilbert (2010). Álgebra linear e suas aplicações 4 ed. [S.l.]: Cengage. ISBN 9788522107445
- Lay, David (2013). Álgebra linear e suas aplicações 4 ed. [S.l.]: LTC. ISBN 9788521622093
- Santos, Reginaldo J. (2013). Introdução à Álgebra Linear. Belo Horizonte: Imprensa universitária - UFMG. ISBN 8574700185
Demonstrações
[editar | editar código-fonte]- ↑ Da definição, tem-se que: , então .
Pelo Teorema de Binet, , então .
No entanto, sabe-se também da definição que implica .
Logo, , de onde aplicando a raiz dos dois lados da equação, obtém-se . - ↑ Seja uma matriz ortogonal, onde indica a i-ésima coluna de .
Como , temos , donde vemos que:
Reciprocamente, se as colunas de formam um conjunto ortonormal de vetores, então vemos por cálculo direto que . - ↑ Segue raciocínio análogo do usado na demonstração da propriedade anterior.
- ↑ Segue imediatamente da observação de que:
- .
- ↑ Por hipótese, . Com isso, temos:
- .