22.07.2014 Views

Tópicos de Geometria - CMUP

Tópicos de Geometria - CMUP

Tópicos de Geometria - CMUP

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Exercício 124 Construa prismas ou anti-prismas (com ou sem telhados) que tenham<br />

grupos <strong>de</strong> simetria C i ,i=1, 2,... e D i ,i=2, 3, ...(Sugestão: recor<strong>de</strong> que os prismas P n<br />

eanti-prismasP 0 n têm simetria central quando n é par ou ímpar, respectivamente...)<br />

Nota: Para construir sólidos com grupos <strong>de</strong> rotações C n e D n , bastar-nos-ia consi<strong>de</strong>rar<br />

prismas com telhados adicionados; a razão para consi<strong>de</strong>rar também anti-prismas pren<strong>de</strong>se<br />

com a sugestão dada no exercício anterior.<br />

Os grupos O e I são, como vimos anteriormente, os grupos <strong>de</strong> simetria do octaedro<br />

e icosaedro, respectivamente; o mesmo não acontece com T que não é isomorfo a S 4 ,o<br />

grupo <strong>de</strong> simetria do tetraedro: no entanto,S po<strong>de</strong>mos construir um sólido com grupo <strong>de</strong><br />

simetria T , consi<strong>de</strong>rando um cubo com um padrão adicionado às faces, como se representa<br />

na figuraseguinte(equepo<strong>de</strong>serrealizadoatravésdaadição<strong>de</strong>telhadoscomcumieiras<br />

segundo as direcções <strong>de</strong>senhadas)<br />

Exercício 125 Prove que o objecto representado na figura anterior tem <strong>de</strong> facto grupo<br />

<strong>de</strong> simetria T » = A 4 £f§1g.<br />

Consi<strong>de</strong>ramos agora o segundo caso: <strong>de</strong> G ser um subgrupo finito <strong>de</strong> O(3) com isometrias<br />

inversas mas sem inversão central.<br />

Sejam H = G \ SO(3) = fα 1 ,α 2 , ..., α n g e G ¡ H = fβ 1 ,β 2 , ..., β n g em que nenhuma<br />

das isometrias inversas β i é a inversão central I 0 . Sejam γ i = I 0 β i , i =1, 2, ..., n e<br />

K = H [fγ 1 ,γ 2 , ..., γ n g: isto é, substituimos em G todas as isometrias inversas pelas suas<br />

compostas com a inversão central, obtendo assim n rotações distintas; se α j = γ i = I 0 β i ,<br />

seria α j β −1<br />

i = I 0 o que contraria a nossa hipótese: temos assim que K éumconjunto<strong>de</strong><br />

2n rotações. Acontece que K éumgrupo:<br />

Exercício 126 Mostre que <strong>de</strong> facto K ∙ SO(3).<br />

64

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!