Registado: 14 dez 2011, 15:59
Mensagens: 897
Localização: Portugal
Agradeceu: 20 vezes
Foi agradecido: 373 vezes
|
|
Só precisa de ver que o conjunto é fechado para produtos:
\(\left[\begin{matrix} a & b \\ -b & a \end{matrix}\right]\left[\begin{matrix} c & d \\ -d & c\end{matrix}\right] =\left[\begin{matrix} ac-bd & bc+ad \\ -(bc+ad) & ac-bd \end{matrix}\right]\)
e inversões:
\(\left[\begin{matrix} a & b \\ -b & a \end{matrix}\right]^{-1}=(a^2+b^2)^{-1}\left[\begin{matrix} a & -b \\ b & a \end{matrix}\right]\)
PS1- Note que a condição "a e b não nulos simultaniamente" é, neste caso, equivalente ao determinante ser não nulo (pois \(\det\left[\begin{matrix} a & b \\ -b & a \end{matrix}\right]=a^2+b^2\)) logo essa condição é perservada pelo produto e pela inversão.
PS2- A título de curiosidade esse subgrupo é isomorfo ao grupo multiplicativo dos números complexos não nulos: \(\mathbb{C}^*=\mathbb{C}\setminus \{0\}\).
|
|
Entrar
Registar
FAQ
Pesquisar
