Grupo ortogonal

Teoria de grupos → Grupos de Lie Grupos de Lie
Grupos clássicos Linear geral GL(n) Linear especial SL(n) Ortogonal O(n) Ortogonal especial SO(n) Unitário U(n) Especial unitário SU(n) Simplético Sp(n)
Grupos simples de Lie Lista de grupos simples de Lie Clássicos An Bn Cn Dn Excepcionais G2 F4 E6 E7 E8
Outros grupos de Lie Circular Lorentz Poincaré Grupo conformal Difeomorfismo Euclidiano
Álgebras de Lie Mapa exponencial Representação adjunta (grupo álgebra) Forma de Killing Índice Simetria de ponto de Lie Álgebra simples de Lie
Álgebra de Lie semissimples Diagramas de Dynkin Subálgebra de Cartan Sistema de raízes Grupo de Weyl Forma real Complexificação Álgebra segmentada de Lie Álgebra compacta de Lie
Espaços homogêneos Subgrupo fechado Subgrupo parabólico Espaço simétrico Espaço simétrico hermitiano Sistema de raízes restrito root system
Teoria de representação Representação de grupos de Lie Representação de álgebras de Lie
Grupos de Lie na física Física de partículas e teoria de representação Representações do grupo de Lorentz Representações do grupo de Poincaré Representações do grupo Galileano
Cientistas Sophus Lie Henri Poincaré Wilhelm Killing Élie Cartan Hermann Weyl Claude Chevalley Harish-Chandra Armand Borel
Tabela de grupos de Lie

Em matemática, um grupo ortogonal é um grupo de todas as transformações lineares de um espaço vetorial $V$ de $n$ dimensões de um campo, que preserva a um $k$ não singular fixo de forma quadrática $Q$ em $V$, (ou seja, as transformações lineares $\phi$ tal que $Q(\phi (v))=Q(v)$ para todos $v\in V$). Um grupo ortogonal é um grupo clássico. Os elementos de um grupo ortogonal são chamados transformações ortogonais de $V$ (com relação a $Q$), ou também de automorfismos de forma $Q$.

Além disso, permita ${\rm {char\;}}k\neq 2$ (para grupos ortogonais sobre os campos com característica 2 e deixe $f$ ser a forma bilinear simétrica não singular em $V$ relacionada com o $Q$ pela fórmula

$f(u,v)={\frac {1}{2}}(Q(u v)-Q(u)-Q(v))$

O grupo ortogonal, então, consiste naqueles transformações lineares de V que preservam f, e é indicado por $O_{n}(k,f)$ ou (quando está se falando de um campo específico $k$ e uma forma específica $f$) simplesmente por $O_{n}$ . Se $B$ é a matriz de $f$ em relação a algumas bases de $V$, então o grupo ortogonal pode ser identificado com o grupo de todos os $(n\times n)$-matrizes A com coeficientes de $k$ tal que $A^{T}BA=B$ (onde ${}^{T}$ representa a matriz transposta). O determinante de uma matriz ortogonal sendo 1 ou -1, um subgrupo importante de $O_{(}n)$ é o grupo especial ortogonal, denotado $SO_{(}n)$, das matrizes ortogonais do determinante 1.