Tópicos de Geometria - CMUP
Tópicos de Geometria - CMUP
Tópicos de Geometria - CMUP
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Os grupos finitos <strong>de</strong> rotações <strong>de</strong> R 3 são grupos <strong>de</strong> simetria. Para cada um dos casos<br />
do teorema anterior é possível construir um sólido cujo grupo finito das simetrias consista<br />
apenas <strong>de</strong> rotações.<br />
Como vimos, no caso dos grupos cíclicos e diedrais esses sólidos po<strong>de</strong>m obter-se <strong>de</strong> prismas<br />
ou anti-prismas acrescentando telhados; nocasodos3 grupos <strong>de</strong> rotações <strong>de</strong> sólidos<br />
platónicos, po<strong>de</strong>mos, analogamente, acrescentar telhados às faces <strong>de</strong>sses sólidos que<br />
impeçam as reflexões mas permitam todas as simetrias rotacionais: por exemplo, consi<strong>de</strong>rando<br />
o tetraedro, o octaedro e o icosaedro, po<strong>de</strong>mos acrescentar às faces triangulares<br />
um telhado segundo o padrão representado na figura anterior.<br />
8.6 Subgrupos finitos <strong>de</strong> I(R 3 )<br />
Comotodoogrupofinito <strong>de</strong> isometrias, G, tem um ponto que é fixo por todos os seus elementos,<br />
po<strong>de</strong>mos, sem perda <strong>de</strong> generalida<strong>de</strong>, supor que G ∙ O(3). Como já classicámos<br />
ocasoG ∙ SO(3), supomos agora que G contém uma isometria inversa.<br />
Distinguimos dois casos, consoante G contém ou não a inversão na origem, I 0 (x) =¡x.<br />
Seja H = G \ SO(3) osubgrupodasrotações<strong>de</strong>G e α 1 ,α 2 , ..., α n os seus elementos;<br />
então, se I 0 2 G, as isometrias inversas G ¡ H são I 0 α 1 ,I 0 α 2 ,...,I 0 α n e, à semelhança<br />
do que fizemos para os sólidos platónicos com simetria central, é fácil provar que G é<br />
isomorfo a H £f§1g. Reciprocamente, dado um qualquer subgrupo finito H ∙ SO(3) se<br />
<strong>de</strong>finirmos G por G = H [fI 0 h : h 2 Hg, mostra-se, usando o facto que I 0 comuta com<br />
qualquer f 2 O(3), queG éumgrupoeisomorfoaH £f§1g.<br />
Exercício 123 Prove as afirmações do último parágrafo.<br />
Designemos por H ogrupoH£f§1g eporT , O e I os grupos <strong>de</strong> rotações do tetraedro,<br />
ocatedro (ou cubo) e icosaedro (ou do<strong>de</strong>caedro) respectivamente. Concluímos que se um<br />
grupo <strong>de</strong> isometrias finito contém a inversão central ele é um dos grupos<br />
C 1 , C 2 , C 3 ,... D 2 , D 3 , D 4 , ... T,O, I<br />
63