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.
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