Universidade Federal de Goiás - UFG
Explique o significado do grupo
S O(3)
Passo 1
O enunciado pede que eu explique o significado do grupo SO(3).
Informações dadas: apenas o símbolo SO(3).
O que preciso entregar: uma explicação didática e passo a passo sobre o que é esse grupo, o que suas letras e número significam, suas propriedades algébricas e geométricas, e exemplos concretos.
Passo 2
Definição precisa em termos de matrizes. Vou escrever a definição e explicar cada peça:
porque R^{T}R=I. Então R preserva normas (comprimentos) e, por linearidade, também preserva produtos internos e ângulos. A condição \det R=1 garante que a transformação preserva a orientação (não é reflexão). Assim cada R\in SO(3) é exatamente uma rotação rígida em torno da origem em \mathbb{R}^3.
Passo 5
Exemplo concreto: rotação em torno do eixo z por um ângulo \theta. A matriz é
Verificar: R_{z}(\theta)^{T}R_{z}(\theta)=I e \det R_{z}(\theta)=1. Portanto R_{z}(\theta)\in SO(3).
Esse exemplo ajuda a visualizar: multiplicar um vetor por essa matriz gira suas coordenadas x,y mantendo z fixo.]
Passo 6
Quantos graus de liberdade (parâmetros) tem SO(3)? Intuição e contagem:
Uma matriz 3\times3 tem 9 entradas livres.
A condição R^{T}R=I é uma matriz simétrica que exige 6 condições independentes (porque uma matriz simétrica 3\times3 tem 6 entradas livres).
Logo restam 9-6=3 graus de liberdade.
Isto é coerente com a ideia de que uma rotação em 3D é determinada por um eixo (direção, 2 parâmetros na esfera) e um ângulo (1 parâmetro) — total 3.
Passo 7
Relação com o álgebra de Lie e representação por eixo-ângulo (explicação passo a passo):
ou seja, as matrizes antissimétricas. Essas matrizes tem exatamente 3 parâmetros livres — combinam com a dimensão do grupo.
Exponencial: pequenas rotações vêm de \exp(A) com A\in\mathfrak{so}(3). De forma prática, uma rotação de ângulo \theta em torno de um eixo unitário u\in\mathbb{R}^3 pode ser escrita pela fórmula de Rodrigues:
R = I + \sin\theta\,[u]_{\times} + (1-\cos\theta)\,[u]_{\times}^{2},
onde [u]_{\times} é a matriz tal que [u]_{\times}v = u\times v (produto vetorial). Explicitamente, para u=(u_1,u_2,u_3),
Essa representação mostra diretamente a correspondência entre um par (eixo u, ângulo \theta) e uma matriz de SO(3).]
Passo 8
Propriedades topológicas e relações úteis (explicadas simples):
SO(3) é um grupo de Lie compacto e conexo de dimensão 3.
Não é simplesmente conexo: seu grupo fundamental é \pi_{1}(SO(3))\cong\mathbb{Z}_2. Uma consequência prática: caminhar por uma rotação de 360^\circ (uma volta completa) não é homotopicamente trivial no espaço de rotações; duas voltas de 360^\circ (720^\circ) são triviais — isso aparece em física de spin e comportamento de partículas.
Há um recobrimento duplo por SU(2): existe um homomorfismo surjetor de grupos de Lie SU(2)\to SO(3) que é 2‑para‑1. Intuição: quaternions unitários e matrizes 2\times2 unitárias codificam rotações de forma conveniente e muitas vezes são usados em computação gráfica e mecânica.
Passo 9
Resumo intuitivo (gentil e motivador): pense em SO(3) como “o conjunto de todas as rotações possíveis do espaço 3D que mantêm a origem e preservam a orientação”, com composição dada por fazer uma rotação seguida da outra. É uma estrutura com regras algébricas (grupo), suave e contínua (grupo de Lie), e com exatamente três parâmetros independentes (os que você usa numa prova ou num código para parametrizar uma rotação).
Resposta
SO(3) é o conjunto das matrizes reais 3\times3 ortogonais com determinante 1, ou seja
com a operação de multiplicação de matrizes; geometricamente, corresponde ao grupo de todas as rotações rígidas de \mathbb{R}^3 que preservam a origem e a orientação.