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.

Se H éumhiperplano<strong>de</strong>R n e a 2 H, entãoH ¡ a é um subespaço linear <strong>de</strong> dimensão<br />

n ¡ 1, logoexisteb 6= 0(e po<strong>de</strong>mos supôr kbk =1)talqueH ¡ a = fbg ⊥ =<br />

fx 2 R n : hb, xi =0g: po<strong>de</strong>mos consi<strong>de</strong>rar uma base ortonormal para H ¡ a e estendê-la,<br />

por um vector b, a uma base ortonormal <strong>de</strong> R n (veja o exercício seguinte). Portanto H<br />

po<strong>de</strong> ser <strong>de</strong>scrito como H = fy 2 R n : hb, yi = tg, ou seja como o conjunto dos vectores<br />

que têm a mesma projecção sobre o vector b.<br />

Exercício 24 Recor<strong>de</strong> o processo <strong>de</strong> Gram-Schmidt para a obtenção <strong>de</strong> bases ortonormadas:<br />

dada uma base fa 1 ,a 2 , ..., a j g <strong>de</strong> um subespaço S <strong>de</strong> R n , começa-se por obter a<br />

partir <strong>de</strong>la, por recorrência, uma base ortogonal:<br />

Xk−1<br />

µ hak ,f i i<br />

f 1 = a 1 , ... , f k = a k ¡<br />

f i , ...<br />

hf i ,f i i<br />

a) Aplique o método à seguinte base:<br />

i=1<br />

fa 1 =(2, 1, 1),a 2 =(0, 1, 0),a 3 =(0, 0, 1)g<br />

Os hiperplanos aparecem naturalmente como os bissectores ortogonais <strong>de</strong> segmentos:<br />

Exercício 25 Se a, b 2 R n com a 6= b, entãoB = fx : d(x, a) =d(x, b)g éumhiperplano<br />

<strong>de</strong> R n .<br />

Exercício 26 Seja H um hiperplano em R n . Mostre que todo x 2 R n se po<strong>de</strong> escrever<br />

<strong>de</strong> forma única como x = y + z com y 2 H e z? (H ¡ y).<br />

1.2 Reflexões em hiperplanos<br />

Definição 27 Seja H um hiperplano em R n .Areflexão em H éaisometriaR H 2 I(R n )<br />

<strong>de</strong>finida por<br />

R H (x) =y ¡ z<br />

em que x = y + z com y 2 H e z? (H ¡ y) (exercício anterior).<br />

Note-se que R H 2 = id equeR H é a i<strong>de</strong>ntida<strong>de</strong> em H. Se H é o bissector ortogonal<br />

do segmento ab, R H permuta a e b.<br />

Exercício 28 Seja H um hiperplano e 0 2 H (H é portanto um subespaço linear <strong>de</strong><br />

codimensão 1). Mostre que a reflexão em H é dada por:<br />

R H (x) =x ¡ 2 hx, ai a em que a?H ,kak =1<br />

Exercício 29 (Generalização do exercício anterior) Mostre que se H éumhiperplano<br />

dado por H = fx : ha, xi = tg em que a?(H ¡ h),h2 H (jávimosquetodoohiperplano<br />

po<strong>de</strong> ser dado <strong>de</strong>sta forma)<br />

R H (x) =x ¡ 2 hx, a ¡ ti<br />

a<br />

ha, ai<br />

7

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

Saved successfully!

Ooh no, something went wrong!