GRUPOS DE ISOMETRIAS 1 Introdu c ao

Quando estudamos certos tipos de estrututras (alg ebricas, topol ogicas, m etricas, etc.) estamos particularmente interessados nas simetrias, que s ao aplica c oes bijetoras que preservam a estrutura. Ferramentas de natureza alg ebrica s ao largamente utilizadas no estudo de simetrias, uma vez que o conceito de grupo aparece naturalmente neste estudo. Temos, por exemplo, os grupos de automorsmos, para estruturas alg ebricas, os grupos de homeomorsmos, para espa cos topol ogicos, e os grupos de isometrias, para espa cos m etricos. Como a id eia de simetria aparece em v arios ramos da ci encia, o seu estudo e algo de grande import ancia. Sendo M um espa co m etrico, dene-se uma isometria de M como sendo uma bije c ao de M em M que preserva dist ancia. Observa-se facilmente que a composta de duas isometrias e a inversa de uma isometria ainda s ao isometrias, e assim o conjunto das isometrias de M , munido da opera ca o de composi ca o de fun c oes, e um grupo. Surge portanto o conceito de grupo de isometrias de um espa co m etrico Neste minicurso faremos um estudo introdut orio da id eia de grupo de isometrias, atrav es de uma abordagem alg ebrica. Come caremos relembrando os conceito de espa co m etrico e isometria, e depois deniremos grupo de isometrias e apresentaremos propriedades b asicas e alguns exemplos importantes. Nesses exemplos veremos a aplica ca o de t ecnicas alg ebricas b asicas e o conceito de produto semidireto de grupos. Por m, veremos a id eia de isometria de um espa co vetorial munido de uma forma bilinear.

Espa cos m etricos e isometrias

Deni c ao 2.1 Denimos um espa co m etrico como sendo um par (M, d), onde M e um conjunto n ao vazio e d : M M I R e uma aplica c ao que satisfaz as seguintes condi c oes: i) d(x, y ) 0 para quaisquer x, y M ; ii) d(x, y ) = 0 se, e somente se, x = y ; iii) d(x, y ) = d(y, x) para quaisquer x, y M ; iv) d(x, y ) d(x, z ) + d(z, y ) para quaisquer x, y , z M (desigualdade triangular). Sendo M um conjunto n ao vazio, uma aplica ca o d : M M I R que satisfaz as condi co es (i), (ii), (iii) e (iv ) da deni ca o acima e dita ser uma m etrica em M . Assim, um espa co m etrico e um conjunto (n ao vazio) munido de uma m etrica. Vamos denotar (M, d) simplesmente por M , cando a m etrica subentendida.

Exemplo 2.2 Considerando a aplica c ao d : I RI R I R denida por d(x, y ) = |x y | temos que d e uma m etrica, chamada de m etrica usual de I R. Estabelecendo-se uma correspond encia biun voca entre os n umero reais e os pontos de uma reta, temos que d(x, y ) e exatamente a dist ancia entre os pontos correspondentes aos n umeros reais x e y . Exemplo 2.3 Considere o conjunto I R2 = {(x, y ) | x, y I R}. A aplica c ao d : I R2 I R2 I R, denida por d((x1 , y1 ), (x2 , y2 )) = (x1 x2 )2 + (y1 y2 )2 e uma m etrica, chamada de m etrica usual de I R2 . Considerando num plano um sistema de coordenadas cartesianas (ou seja, interpretando o I R2 como um plano), temos que d((x1 , y1 ), (x2 , y2 )) e exatamente a dist ancia entre os pontos P (x1 , y1 ) e Q(x2 , y2 ). Exemplo 2.4 Dado M um conjunto qualquer com pelo menos dois elementos, xemos I R {0} e consideremos a aplica ca o d : M M I R denida por d(x, y ) = Temos que d e uma m etrica em M .
k Exemplo 2.5 Sejam A um anel comutativo com unidade e m um ideal de A tal que k=0 m (vamos convencionar que m0 = A). Para cada a A {0}, tomemos vm (a) = max{k N0 | a mk } (onde N0 = N {0}). Considere agora a aplica ca o dm : A A I R denida da seguinte forma 0 , se x = y dm (x, y ) = . exp(vm (x y )) , se x = y

0 , se x = y , se x = y

Temos que dm e uma m etrica em A, chamada de m etrica m- adica. Exemplo 2.6 Sejam M um espa co m etrico e d a sua m etrica. Se S e um subconjunto n ao vazio de M , temos que a restri ca o de d : M M I R ao conjunto S S e uma m etrica em S , chamada de m etrica de S induzida por d. Dizemos ent ao que S , munido desta m etrica induzida, e um subespa co m etrico de M . Deni c ao 2.7 Sejam M um espa co m etrico e X um subconjunto n ao vazio de M . Dizemos que X e um subconjunto limitado se existe c I R tal que d(x, y ) c para quaisquer x, y X . Neste caso denimos o di ametro de X , denotado por diam(X ), como sendo diam(X ) = sup{d(x, y ) | x, y X }.

Deni c ao 2.8 Sejam M e M1 espa cos m etricos (denote suas m etricas por d e d1 , respectivamente. Sendo f : M M1 uma fun c ao, dizemos que f e: a) Cont nua em x0 M se dado > 0 existe > 0 tal que para x M e d(x, x0 ) < tem-se d1 (f (x), f (x0 )) < . b) f e uma fun c ao cont nua se e cont nua em todo x M c) f e uma imers ao isom etrica se d1 (f (x), f (y )) = d(x, y ) para quaisquer x, y M . Costumamos dizer que imers oes isom etricas s ao aplica co es que preservam dist ancia. N ao e dif cil ver que toda imers ao isom etrica e uma fun ca o cont nua e injetora. Denimos uma isometria como sendo uma imers ao isom etrica sobrejetora. Assim, uma isometria e uma bije ca o que preserva dist ancia. Quando existe alguma isometria entre dois espa cos m etricos, dizemos que esses espa cos s ao isom etricos. Neste trabalho estamos particularmente interessados em isometrias de um espa co m etrico nele mesmo. Sendo M um espa co m etrico, chamaremos uma isometria f : M M simplesmente de isometria de M . Vamos denotar por Isom(M ) o conjunto de todas as isometrias do espa co m etrico M . co m etrico e f acil ver que a aplica c ao identidade de M e uma Exemplo 2.9 Sendo M um espa isometria. Assim, o conjunto Isom(M ) nunca e vazio. Veremos exemplos de espa cos m etricos cuja u nica isometria e a identidade, e de espa cos m etricos que possuem outras isometrias al em da identidade. Exemplo 2.10 Considere o espa co m etrico (M, d ), onde d e a m etrica denida no Exemplo 2.4. Dados f : M M uma aplica ca o bijetora qualquer e x, y M , distintos, observe que f (x) = f (y ) e assim d (f (x), f (y )) = = d (x, y ). Logo, f e uma isometria e da conclu mos que Isom(M, d ) = SM . Por outro lado, considere M um espa co m etrico tal que toda bije c ao de M em M (permuta ca o de M ) e uma isometria do espa co m etrico M . Dados x1 , x2 , y1 , y2 M , com x1 = x2 e y1 = y2 , sabe-se que existe f SM tal que f (x1 ) = y1 e f (x2 ) = y2 . Como f e uma isometria, temos d(x2 , y2 ) = d(f (x1 ), f (y1 )) = d(x1 , y1 ). Segue ent ao que deve existir I R {0} tal que d = d . Exemplo 2.11 Sejam M um conjunto nito qualquer com pelo menos 3 elementos e : M M I R uma aplica c ao qualquer satisfazendo as seguintes condi c oes: i) (x, x) = 0 e (x, y ) = (y, x) para quaisquer x, y M ; ii) 1/2 (x, y ) 1 para quaisquer x, y M distintos; iii) Se x1 , x2 , y1 , y2 M , com x1 = y1 , x2 = y2 e {x1 , y1 } = {x2 , y2 }, ent ao (x1 , y1 ) = (x2 , y2 ). N ao e dif cil ver que e uma m etrica. Observe que a desigualdade triangular (condi ca o (iv) da Deni c ao 2.1) e consequ encia da condi c ao (ii) acima. 3

Provemos agora que Isom(M, ) = {IdM }. De fato, supondo, por contradi c ao, IdM = f Isom(M ), tomemos x M tal que y = f (x) = x. Como (f (x), f (y )) = (x, y ), segue da condi ca o (iii) acima que f (y ) = x. Tomando agora z M {x, y }, temos que (x, z ) = (f (x), f (z )) = (y, f (z )) e, novamente pela condi ca o (iii), {x, z } = {y, f (z )}, o que e uma contradi ca o, pois y = x e y = z . Logo, devemos ter Isom(M, ) = {IdM }. Exemplo 2.12 Considere o conjunto I R munido de sua m etrica usual (veja o Exemplo 2.2). f Sendo a I R e n = 1, tomemos fn,a : I R I R denida por fn,a (x) = nx + a. E acil ver que fn,a Isom(I R). Por outro lado, considere f Isom(I R) e a = f (0). Temos ent ao que |f (x) a| = |x| e consequentemente f (x) = x + a para cada x I R. Supondo que existem x1 , x2 I R {0 } tais que f (x1 ) = x1 + a e f (x2 ) = x2 + a, temos que |x1 x2 | = |f (x1 ) f (x2 )| = |x1 + x2 |, o que n ao pode acontecer, uma vez que x1 e x2 s ao ambos n ao nulos. Logo, devemos ter f (x) = x + a para todo x I R, ou f (x) = x + a para todo x I R. Segue ent ao que Isom(I R) = {fn,a | n = 1, a I R }. orpio de A e dm Exemplo 2.13 Considere A um anel comutativo com unidade, m um ideal pr a m etrica denida no Exemplo 2.5. Para cada a A, considere a aplica ca o fa : A A denida por fa (x) = x + a para todo x A. Para cada a U (A) (conjunto dos elementos (multiplicativamente) invers veis de A), considere a aplica c ao ga : A A denida por ga (x) = ax para todo x A. N ao e dif cil ver que fa Isom(A, dm ), para todo a A, e que ga Isom(A, dm ), para todo a U (A).

Grupos, subgrupos e produto semidireto

A partir desta se ca o, e necess ario que o leitor conhe ca os conceitos de grupo, homomorsmo e isomorsmo de grupos, e esteja familiarizado com suas nota co es e propriedades b asicas. Sendo G um grupo recordemos que um subgrupo de G e um subconjunto n ao vazio H de G tal que 1 xy , x H (ou x + y , x H , se o grupo G tiver nota ca o aditiva) para quaisquer x, y H . Observemos que nestas condi co es H e por si um grupo, cuja opera c ao e a opera ca o de 1 G (restrita a H ). Dizemos que H e um subgrupo normal de G se g hg H para quaisquer g G e h H. Neste trabalho, os grupos lineares ser ao particularmente de grande import ancia. Sendo V um espa co vetorial, considere o conjunto GL(V ) de todas as transforma c oes lineares um fato bem conhecido da Algebra T : V V (operadores lineares sobre V ) bijetoras. E Linear que se T , S GL(V ), ent ao T S e T 1 tamb em pertencem a GL(V ). Logo, GL(V ), munido da composi ca o de fun co es, e um grupo, chamado de grupo linear sobre V . Dados n N e K um corpo, seja GLn (K ) o conjunto de todas as matrizes n n invers veis (determinante n ao nulo) com entradas em K . Observe que GLn (K ) e fechado em rela c ao ao 4

produto de matrizes e, munido desta opera c ao, e um grupo, chamado de grupo linear de grau n sobre K . E um fato bem conhecido que se V e um K -espa co vetorial de dimens ao n, ent ao GL(V ) e isomorfo a GLn (K ). Dizemos que uma matriz A GLn (K ) e it ortogonal se A1 = At . Denotando por On (K ) o conjunto de todas as matrizes ortogonais de GLn (K ), observa-se que In On (K ) (onde In e a matriz identidade n n) e assim On (K ) e n ao vazio. Usando-se propriedades de matriz inversa e matriz transposta, mostra-se facilmente que On (K ) e fechado em rela ca o ao produto e ` a invers ao de matrizes. Logo, On (K ) e um subgrupo de GLn (K ), chamado de grupo ortogonal de grau n sobre K . Deni c ao 3.1 Sejam G um grupo e H e N subgrupos de G. Dizemos que G e o produto semidireto de N por H se G = N H , H N = {e} (onde e denota o elemento neutro do grupo G) e N G. Nota c oes: G = N H e G=H N.

Sendo G um grupo e H e N subgrupos de G tais que G = N H , temos que cada elemento de G se escreve da forma nh, com n N e h h. Ademais, esta express ao eu nica, pois se n, 1 1 1 n1 N e h, h1 H s ao tais que nh = n1 h1 , ent ao n1 n = h1 h e da h1 h H N . Segue ent ao que h1 = h e assim n1 = n. Exemplo 3.2 Seja G um grupo abeliano. Considere o produto cartesiano DG = {1, 1} G e a opera ca o em DG denida por (n, a) (m, b) = (nm, bn a). Temos que DG, munido desta opera ca o, e um grupo, cujo elemento neutro e (1, e). Observe 1 n que se (n, a) DG, ent ao (n, a) = (n, a ). Observe que N = {(1, a) | a G} e H = {(1, e), (1, e)} s ao subgrupos de G. Ademais, N e isomorfo a G e DG = N H . Considerando agora M um espa co m etrico e o conjunto Isom(M ) de todas as isometrias de M , j a vimos na se c ao anterior que Isom(M ) e um conjunto n ao vazio. Ademais, como toda isometria e bijetora, temos que Isom(M ) SM , onde SM denota o grupo sim etrico (ou grupo das permuta c oes) sobre M . Sendo f , f1 Isom(M ) temos que d((f1 f )(x), (f1 f )(y )) = d(f1 (f (x)), f1 (f (y ))) = d(f (x), f (y )) = d(x, y ) para quaisquer x, y M , e assim f1 f Isom(M ). Ademais, d(x, y ) = d(f (f 1 (x)), f (f 1 (y ))) = d(f 1 (x), f 1 (y )) 5

para quaisquer x, y M , donde f 1 Isom(M ). Assim, Isom(M ) e um subgrupo de SM , chamado de grupo das isometrias do espa co m etrico M . Observe ent ao que o grupo das isometrias de M e o conjunto Isom(M ) munido da composi c ao de fun co es. Segue do Teorema de Lagrande que se M e nito com exatamente n elementos, ent ao o n umero de isometrias de M e um divisor de n! . ao espa cos m etricos isom etricos, ent ao Isom(M ) e Isom(M1 ) Proposi c ao 3.3 Se M e M1 s s ao grupos isomorfos. Demonstra c ao. Sendo M e M1 espa cos isom etricos, tomemos h : M M1 uma isometria e denamos : Isom(M ) Isom(M1 ) . f (f ) = h f h1 Observando que a composta de isometrias e a inversa de uma isometria ainda s ao isometrias, n ao e dif cil ver que e uma aplica ca o bem denida. Ademais, e isomorsmo de grupos. Exemplo 3.4 Sendo M um espa co m etrico e X um subconjunto n ao vazio de M , temos que o conjunto G = {f Isom(M ) | f (X ) = X } e um subgrupo de Isom(M ). Dizemos que G eo subgrupo de Isom(M ) que preserva X . Exemplo 3.5 Considere o espa co m etrico M = {x, y, z, t}, cuja m etrica d : M M I R e denida por d(x, x) = d(y, y ) = d(z, z ) = d(t, t) = 0 , d(x, y ) = d(y, x) = d(z, t) = d(t, z ) = 3 ,

d(x, z ) = d(z, x) = d(y, t) = d(t, y ) = 4 e d(x, t) = d(t, x) = d(y, z ) = d(z, y ) = 5. Observe que Isom(M ) e um grupo isomorfo ao grupo de Klein. Exemplo 3.6 Considere o espa co m etrico I R, cuja m etrica e a usual. Sendo (I R, +) o grupo aditivo dos reais, temos que a aplica c ao : D(I R, +) Isom(I R) (n, a) (n, a) = fn,a e um homomorsmo injetivo de grupos. Al em disso, do que foi visto no Exemplo 2.12 segue a sobrejetividade, e assim conclu mos que e um isomorsmo.

Espa cos vetoriais normados

Em toda esta se c ao, V denotar a sempre um espa co vetorial real. Deni c ao 4.1 Denimos uma norma em V como sendo uma aplica c ao : V v I R+ v

que satisfaz: a) Se v = 0V , ent ao v = 0. b) v = || v para quaisquer v V e I R. c) u + v u + v para quaisquer u, v V (desigualdade triangular). Denimos um espa co vetorial normado como sendo um par (V, ), onde V e um espa co vetorial e e uma norma em V . Em geral vamos denotar o espa co vetorial normado (V, ) simplesmente por V , cando a norma subentendida. N ao e dif cil ver que 0V = 0 e que v = v para todo v V . Exemplo 4.2 Considerando o espa co vetorial real I R2 e a aplica ca o : I R2 I R+ v = (x, y ) v =

x2 + y 2

temos que

e uma norma, chamada de norma usual de I R2 .

Exemplo 4.3 Um produto interno em V e uma aplica ca o <, > : V V (u, v ) I R < u, v >

que satisfaz: i) < u + v, w > = < u, w > + < v, w > para quaisquer u, v , w V ; ii) < u, v > = < u, v > para quaisquer u, v V e K ; iii) < u, v > = < v, u > para quaisquer u, v V ; iv) < u, u > > 0 para todo u = 0V . Sendo <, > : V V I R um produto interno em V , denimos a aplica ca o : V v I R+ . v = < v, v >

Usando propriedades de produto interno, mostra-se facilmente que e uma norma em V , chamada de norma proveniente do produto interno <, >. N ao e dif cil ver que u+v
2

+ uv

=2 u

+2 v

para quaisquer u, v V , sendo esta igualdade chamada de Lei do Paralelogramo. No pr oximo exemplo veremos uma norma que n ao e proveniente de nenhum produto interno. Exemplo 4.4 Considere o espa co vetorial real I R2 e a aplica c ao
s

I R2 I R+ . v = (x, y ) v s = |x| + |y |

Temos que esta aplica ca o e uma norma em I R2 e que n ao e proveniente de nenhum produto interno. Para vericar isto, basta ver que ao satisfaz a Lei do Paralelogramo. De fato, s n tomando v1 = (2, 1) e v2 = (1, 1), verica-se facilmente que v1 + v2 2 + v1 v2 2 = 2 v1 2 + 2 v2 2 . Considere V um espa co vetorial normado. Denindo d: V V (u, v ) I R d(u, v ) = u v ,

temos que d e uma m etrica em V , chamada de m etrica induzida pela norma . Segue ent ao que todo espa co vetorial normado e naturalmente um espa co m etrico. Observe que nem toda m etrica denida em algum espa co vetorial e induzida por alguma norma. A m etrica d do Exemplo 2.4 (considerando M = V espa co vetorial) n ao e induzida por nenhuma norma. N ao e dif cil de vericar que uma condi c ao necess aria e suciente para que uma m etrica d em V seja induzida por uma norma e que d(u, v ) = ||d(u, v ) e d(u, v ) = d(u + w, v + w) para quaisquer u, v , w V e K . Vamos agora estudar as isometrias dos espa cos vetoriais normados. Proposi c ao 4.5 Sejam V um espa co vetorial normado e f : V V uma aplica c ao linear. Ent ao valem: a) f e uma isometria se, e somente se, f (v ) = v para todo v V . b) Se e proveniente de um produto interno, ent ao f e uma isometria se, e somente se, < f (u), f (v ) > = < u, v > para quaisquer u, v V . Demonstra c ao. a) Supondo f uma isometria, como f (0V ) = 0V temos f (v ) = d(f (v ), f (0V )) = d(v, 0V ) = v 8

para todo v V . Reciprocamente, supondo f (v ) = v para todo v V , temos d(f (u), f (v )) = f (u) f (v ) = f (u v ) = u v = d(u, v ) para quaisquer u, v V . Logo, f e uma isometria. b) Supondo < f (u), f (v ) > = < u, v > para quaisquer u, v V , temos particularmente f (v ) 2 = < f (v ), f (v ) > = < v, v > = v 2 e assim segue, pelo tem (a), que f e uma 2 isometria. Reciprocamente, supondo que f e uma isometria, temos f (u + v ) = u + v 2 , ou seja, < f (u + v ), f (u + v ) > = < u + v, u + v > para quaisquer u, v V . Assim, f ( u)
2

+ 2 < f (u), f (v ) > + f (v )

= u

+ 2 < u, v > + v 2 ,

donde < f (u), f (v ) > = < u, v >, uma vez que f (v ) = v e f (u) = u . Exemplo 4.6 Sejam V um espa co vetorial normado e d a m etrica induzida pela norma de V . Para cada v0 V , consideremos a aplica c ao Tv0 : V V , denida por Tv0 (u) = u + v0 para todo u V . Observe que Tv0 e bijetora e que d(Tv0 (u), Tv0 (v )) = Tv0 (u) Tv0 (v ) = u + v0 (v + v0 ) = u v = d(u, v ) para quaisquer u, v V , e assim Tv0 Isom(V ). Tv0 e chamada de transla c ao por v0 . co vetorial normado e X um subconjunto n ao vazio e limiProposi c ao 4.7 Sejam V um espa tado de V . Se f e uma transla c ao de V tal que f (X ) = X , ent ao f = IdV . Demonstra c ao. Suponhamos por contradi ca o que f = IdV , ou seja, que existe, u0 V {0V } tal que f (v ) = v + u0 para todo v V . Fixemos x0 X e consideremos o conjunto Xu0 = {t I R | x0 + tu0 X }. Como X e limitado, temos Xu0 deve ser limitado. Sendo a = sup Xu0 , tomemos t Xu0 tal que a 1/2 < t1 a. Como f (X ) = X , temos x0 + (t1 + 1)u0 = f (x0 + t1 u0 ) X e da t1 + 1 Xu0 , o que e um absurdo, pois t1 + 1 > a. Temos ent ao o resultado. Sendo V um espa co vetorial normado, considere o subconjunto T (V ) de todas as transla co es 1 = Tu , donde T (V ) e um de V . Para quaiquer u, v V , temos que Tu Tv = Tu+v e Tu subgrupo de Isom(V ), chamado de grupo das transla c oes de V . Ademais, se f Isom(V ), 1 ent ao f Tu f = Tf 1 (u) , e assim T (V ) e um subgrupo normal de Isom(V ). Observe que, sendo (V, +) o grupo aditivo do espa co vetorial V , a aplica c ao : (V, +) T (V ) u Tu 9

 e um isomorsmo de grupos. Consideremos agora IL(V ) = {f Isom(V ) | f e linear}. Observando que a composta de duas transforma co es lineares e a inversa de uma transforma ca o linear (bijetora) s ao ainda transforma co es lineares, conclu mos que IL(V ) e um subgrupo de Isom(V ), chamado de grupo das isometrias lineares de V . Observe que se f IL(V ), ent ao f (0V ) = 0V , donde segue que IL(V ) T (V ) = {IdV }, pois a u nica transla ca o que xa o vetor nulo e a identidade. Veremos agora que a condi c ao de xar o vetor nulo caracteriza as isometrias lineares de um espa co vetorial normado. Lema 4.8 Sejam V um espa co vetorial real normado e f : V V uma fun c ao cont nua tal que f (u + v ) = f (u) + f (v ) para quaisquer u, v V . Ent ao f e uma transforma c ao linear. Demonstra c ao. Devemos apenas mostrar que f (tv ) = tf (v ) para quaisquer t I R e v V. Temos f (0V ) + f (0V ) = f (0V + 0V ) = f (0V ) e assim f (0V ) = 0V . Da segue que se v V , ent ao 0V = f (v + (v )) = f (v ) + f (v ) e consequentemente f (v ) = f (v ) para quaisquer v V . Usando a hip otese f (u + v ) = f (u) + f (v ), a u ltima igualdade e indu ca o, conclu mos que f (nv ) = nf (v ) para todo n Z. Supondo agora m, n Z, com n > 0, temos nf ((m/n)v ) = f (mv ) = mf (v ) e consequentemente f (rv ) = rf (v ) para quaisquer r Q e v V . Fixemos agora v V , arbitr ario, e consideremos a aplica ca o hv : I R I R denida por hv (t) = f (tv ) tf (v ) . Como f e cont nua, temos que hv e cont nua. Ademais, hv (r) = 0 para todo r Q. Segue ent ao que hv e constante igual a 0, uma vez que o conjunto Q e denso em I R. Segue que f (tv ) = tf (v ), o que conclui a demonstra ca o, uma vez que v foi tomado arbitr ario. Teorema 4.9 (Mazur-Ulam) Sejam V um espa co vetorial real normado e f uma isometria de V tal que f (0V ) = 0V . Ent ao f e linear. Demonstra c ao. Fixados v1 , v2 v , arbitr arios, consideremos o conjunto A0 = A0 (v1 , v2 ) = {u V | v1 u = v2 u = (1/2) v1 v2 }. Tomando v0 = (1/2)(v1 + v2 ), temos v1 v0 = v2 v0 = (1/2)(v1 v2 ) e assim v0 A. Observe que para quaisquer u1 , u2 A0 temos u1 u2 u1 v1 + v1 u2 v1 v2 , e assim diam(A0 ) v1 v2 . Ademais, se u A, ent ao (2v0 u) v1 = v2 u e (2v0 u) v2 = v1 u, donde 2v0 u A0 . Segue da que 2 v0 u = (2v0 u) u diam(A0 ) e assim v0 u (1/2)diam(A0 ). Denindo agora A1 = A1 (v1 , v2 ) = {w A0 | w u = (1/2)diam(A0 ), u A0 } 10

observamos primeiramente que A1 A0 e v0 A1 . Ademais, tomando w A1 e u A0 , arbitr arios, como (2v0 w) u = (2v0 u) w, temos (2v0 w) u (1/2)diam(A0 ), uma vez que 2v0 u A0 . Logo, 2v0 w A1 . Supondo agora w1 , w2 A1 temos que w1 w2 (1/2)diam(A0 ), pois w1 u (1/2)diam(A0 ) para todo u A0 , e w2 A0 (lembrando que A1 A0 ). Logo, diam(A1 ) (1/2)diam(A0 ). Consideremos agora A2 = A2 (v1 , v2 ) = {w A1 | w u = (1/2)diam(A1 ), u A1 }. imediato que A2 A1 e que diam(A2 ) (1/2)diam(A1 ), pois w w1 (1/2)diam(A1 ) E para quaisquer w A2 e w1 A1 , particularmente se w1 tamb em pertence a A2 . Tomando agora w A2 e u A1 , arbitr arios, como (2v0 w) u = (2v0 u) w, temos (2v0 w) u (1/2)diam(A1 ), uma vez que 2v0 u A1 . Logo, 2v0 w A2 . Seguindo com esta id eia e supondo j a denido o conjunto An = An (v1 , v2 ), o qual satisfaz An An1 , v0 An , diam(An ) (1/2)diam(An1 ) e 2v0 w An para todo w An , denimos An+1 = An+1 = {w An | w u = (1/2)diam(An ), u An }. Claramente An+1 An e, analogamente ao que foi feito acima, tem-se v0 An+1 , diam(An+1 ) (1/2)diam(An )) e 2v0 w An+1 para todo w An+1 . Temos ent ao uma sequ encia de subconjuntos de V A0 A1 A2 . . . An An+1 . . . tais que v0 An para todo n N0 . Como lim diam(An ) = 0, temos
n n=0

An = {v0 }.

Sendo f uma isometria, temos A0 (v1 , v2 ) = A0 (f (v1 ), f (v2 )). Segue ent ao, por indu ca o, que f (An (v1 , v2 ) = An (f (v1 ), f (v2 )) para todo n N. Logo,

f
n=0

An (v1 , v2 )

=
n=0

f (An (v1 , v2 )) =
n=0

An (f (v1 ), f (v2 )),

ou seja, f ((1/2)(v1 + v2 )) = (1/2)(f (v1 ) + f (v2 )), para quaisquer v1 , v2 V . Particularmente, tomando v2 = 0V , temos f ((1/2)v1 ) = (1/2)f (v1 ) para todo v1 V . Segue ent ao que f (v1 + v2 ) = f (v1 ) + f (v2 ) para quaisquer v1 , v2 V . Observando agora que toda isometria e uma fun ca o cont nua e usando o lema anterior, conclu mos a demonstra ca o. co vetorial real normado, ent ao Isom(V ) e o produto semidiCorol ario 4.10 Sejam V um espa reto de T (V ) por IL(V ). Demonstra c ao. Como j a sabemos que T (V ) IL(V ) = {IdV } e que T (V ) e um subgrupo normal de Isom(V ), resta mostrar que toda isometria de V e a composta de uma transla ca o 11

com uma isometria linear. De fato, sendo f Isom(V ) e a = f (0V ), considere g = Ta f . Observe que g e uma isometria de V tal que g (0V ) = 0V , donde g e uma isometria linear de V . Logo, f = Ta g e a composta de uma transla c ao com uma isometria linear. Exemplo 4.11 (Isometrias do plano) Considere o espa co vetorial real I R2 e o seu produto interno can onico <, >: I R2 I R2 I R, o qual e denido por < (x1 , x2 ), (y1 , y2 ) > = x1 y1 + x2 y2 . Observe que a norma usual de I R2 (veja o Exemplo 4.2) e exatamente a norma proveniente deste produto interno. Observe tamb em que a m etrica induzida por esta norma e exatamente a m etrica d denida no Exemplo 2.3. Denotando o espa co m etrico (I R2 , d) simplesmente por I R2 , vamos descrever o grupo IL(I R2 ). Sendo f GL(I R2 ), tomemos a, b, c, d I R tais que f (x, y ) = (ax + by, cx + dy ), ou seja, [f ] = a b c d ,

onde [f ] denota a matriz de f em rela ca o ` a base can onica de I R2 . Como foi mostrado na Proposi c ao 4.5, f Isom(I R2 ) se, e somente se, f (v ) 2 = v 2 para todo v I R2 , ou seja, (a2 + c2 )x2 + 2(ab + cd)xy + (b2 + d2 )y 2 = x2 + y 2 para quaisquer x, y I R. Esta u ltima arma c ao equivale a a2 + c2 = b2 + d2 = 1 e ab + cd = 0 (1)

e assim conclu mos que f Isom(I R2 ) se, e somente se, [f ] O2 (I R). Vamos agora caracterizar o grupo O2 (I R). Segue de (1) que existe I R tal que a = Cos 2 2 2 2 2 2 2 2 e c = Sen . Al em disso, a b + c b = b e da , como ab = cd, c = c (b + d2 ) = b2 . Logo, b = c. Temos ent ao que O2 (I R) = Cos nSen Sen nCos I R, n = 1 .

Sabe-se que C = C {0}, munido da multiplica c ao usual de n umeros complexos, e um grupo (o grupo multiplicativo dos n umeros compexos), e que C = {z C | |z | = 1} e um subgrupo de C . : DC O2 (I R) a nb (n, a + bi) (n, a + bi) = b na e um isomorsmo. 12

Exemplo 4.12 Considerando o subconjunto S = {(x, |Sen x|) | x I R} do plano, vamos 2 descrever o grupo G = {g Isom(I R ) | g (S ) = S }. Sendo , : I R2 I R2 , denidas por (x, y ) = (x, y ) e (x, y ) = (x + , y ), verica-se facilmente que , G1 . Tomando g G, temos g = Tv0 f , com v0 = (a, b) I R2 e f IL(I R2 ). Como g (S ) = S , devemos ter f (S ) = Tv0 (S ) I R [b, 1 b], uma vez que S I R [0, 1]. Do exemplo anterior sabemos que Cos Sen [f ] = kSen kCos onde I R e k = 1. Como (n, 0) S , temos que (nCos , knSen ) S para todo n Z, e da devemos ter Sen = 0. Segue ent ao que [f ] e uma das seguintes matrizes 1 0 0 1 , 1 0 0 1 , 1 0 0 1 ou 1 0 0 1 . (2)

Supondo que [f ] seja igual uma das duas u ltimas, temos f (x, y ) = (a + x, b |Sen x|) ou f (x, y ) = (a x, b |Sen x|). Exemplo 4.13 Considere a fun ca o h : I R I R denida por h(x) = (x n)2 para n x < n + 1 e n Z, e S1 = {(x, h(x)) | x I R} (gr aco de h). Vamos agora descrever o grupo 2 G1 = {g Isom(I R ) | g (S1 ) = S1 }. Primeiramente, observe que a aplica ca o : I R2 I R2 , denida por (x, y ) = (x + 1, y ), pertence ao grupo G1 , e assim {n | n Z} G1 . Mostremos agora que G1 = {n | n Z}. Usando um racioc nio an alogo ao do exemplo anterior podemos mostrar que se g G1 , ent ao g = Tv0 f , onde v0 = (a, b) e f e uma isometria linear tal que [f ] e uma das matrizes de (2). Exemplo 4.14 Considerando no espa co vetorial real I R2 a norma 4.4, vamos descrever o grupo IL(I R2 , s ). Tomando G= 1 0 0 1 0 1 1 0 , , 1 0 0 1 0 1 1 0 , , 1 0 0 1 0 1 1 0 , , 1 0 0 1 0 1 1 0
s,

denida no Exemplo

(3)

temos que G e um subgrupo de GLn (I R) isomorfo ao grupo D4 . Sendo f GL(I R2 ), n ao e 2 dif cil ver que se [f ] G, ent ao f IL(I R , s ). 2 Supondo agora f IL(I R , s ), tomemos a, b, c, d I R tais que f (x, y ) = (ax + by, cx + dy ). 2 Como f (v ) s = v s para todo v I R , considerando particularmente v1 = (1, 0), v2 = (0, 1), v3 = (1, 1) e v4 = (1, 1), temos as seguintes igualdades: |a| + |c| = |b| + |d| = 1 e |a + b| + |c + d| = |a b| + |c d| = 2. 13

Segue destas igualdades que |a + b| + |c + d| = |a| + |b| + |c| + |d|, e assim, como |a + b| |a| + |b| e |c + d| |c| + |d|, devemos ter |a + b| = |a| + |b| e |c + d| = |c| + |d| e da |a b| |a + b| e |c d| |c + d|. Usando agora a igualdade |a + b| + |c + d| = |a b| + |c d|, conclu mos que |a b| = |a + b| e |c d| = |c + d|, donde segue que a ou b e igual a 0 e c ou d 2 e igual a 0. Logo, [f ] G, e assim IL(I R , s) e isomorfo a G, e consequentemente isomorfo ao grupo D4 .

Isometrias e formas bilineares

Sejam K um corpo e V um K -espa co vetorial. Deni c ao 5.1 Seja V um K -espa co vetorial. Denimos uma forma bilinear sobre V como sendo uma aplica c ao f : V V K que satisfaz as seguintes condi c oes: a) f (u1 + u2 , v ) = f (u1 , v ) + f (u2 , v ) para quaisquer u1 , u2 , v V ; b) f (u, v1 + v2 ) = f (u, v1 ) + f (u, v2 ) para quaisquer u, v1 , v2 V ; c) f (u, v ) = f (u, v ) = f (u, v ) para quaisquer u, v V e K . Sejam V um K -espa co vetorial de dimens ao nita e = {v1 , v2 , . . . , vn } uma base ordenada de V . Sendo f : V V K uma forma bilinear, considere a matriz a11 a12 . . . a1n a21 a22 . . . a2n , onde aij = f (vi , vj ). [f ] = . . . .. . . . . . . . an1 an2 . . . ann Esta matriz e chamada de matriz de f em rela c ao ` a base e satisfaz f (u, v ) = [u]t [f ] [v ] para quaisquer u, v V , onde [u] e [v ] denotam as matrizes-coluna de coordenadas de u e v , respectivamente, em rela c ao ` a base . Considere agora uma base ordenada qualquer de V . Sabemos que a matriz de mudan ca de base de para , denotada por [I ] , e uma matriz invers vel e satisfaz [v ] = [I ] [v ] para todo v V . Dados u v V , temos que f (u, v ) = [u]t [f ] [v ]
t t e f (u, v ) = [u]t [f ] [v ] = [u] ([I ] ) [f ] [I ] [v ] .

t Como u e v s ao arbitr arios, devemos ter [f ] = ([I ] ltima igualdade que ) [f ] [I ] . Segue da u [f ] e invers vel se, e somente se, [f ] e invers vel. Sendo dim V nita e f : V V K uma forma bilinear, dizemos que f e n ao-degenerada se [f ] e invers vel para alguma (e consequentemente para toda) base de V .

14

Deni c ao 5.2 Seja (V, f ) um K -espa co vetorial munido de uma forma bilinear. Denimos uma isometria de (V, f ) como sendo um operador linear bijetor ent ao T : V V tal que f (T (u), T (v )) = f (u, v ) para quaisquer u, v V . Exemplo 5.3 Observe que se f e uma forma bilinear qualquer sobre V , ent ao IdV e uma isometria de (V, f ). Exemplo 5.4 Sendo V um espa co vetorial real de dimens ao nita e <, > : V V I R um produto interno em V , verica-se que <, > e uma forma bilinear n ao-degenerada. Observe que as isometrias de (V, <, >) s ao exatamente as isometrias do espa co vetorial normado (V, ), onde e a norma de V proveniente do produto interno <, >. Sendo (V, f ) um K -espa co vetorial munido de uma forma bilinear, considere o subconjunto Isom(V, f ) = {T GL(V ) | T e isometria de (V, f )} do GL(V ). Pelo Exemplo 5.3 temos que Isom(V, f ) e n ao vazio. Ademais, se T , S Isom(V, f ), ent ao f ((ST )(u), (ST )(v )) = f (S (T (u)), S (T (v ))) = f (T (u), T (v )) = f (u, v ) para quaisquer u, v V . Ademais, f (T 1 (u), T 1 (v )) = f (T (T 1 (u)), T (T 1 (v ))) = f (u, v ) para quaisquer u, v V . Segue ent ao que ST e T 1 pertence a Isom(V, f ), e assim Isom(V, f ) e um subgrupo de GL(V ), chamado de grupo das isometrias de (V, f ). Vamos agora fazer um estudo, em termos de matrizes, de isometrias de (V, f ). Comecemos observando que sendo A uma matriz n n com entradas em K , o conjunto G(A) = {X GLn (K ) | X t AX = A} e um subgrupo de GLn (K ). Observe que se A = In , a matriz identidade n n, ent ao G(A) = t 1 t {X GLn (K ) | X In X = In } = {X GLn (K ) | X = X } = On (K ) (grupo ortogonal). Seja uma base arbitr aria de V . Para T GL(V ) e u, v V , temos que f (u, v ) = [u]t [f ] [v ]
t t e f (T (u), T (v )) = [T (u)]t [f ] [T (v )] = [u] [T ] [f ] [T ] [v ] .

Logo, T Isom(V, f ) se, e somente se, [T ]t [f ] [T ] = [f ] . Assim, Isom(V, f ) = {T GL(V ) | [T ] G([f ] )} e portanto podemos denir a aplica c ao F : Isom(V, f ) G([f ] ) . T F (T ) = [T ] N ao e dif cil ver que F e um isomorsmo de grupos. 15

Exemplo 5.5 Considere o K -espa co vetorial K n e a forma bilinear f : K n K n K denida por f ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) = x1 y1 + x2 y2 + . . . + xn yn . Sendo a base can onica de K n , temos [f ] = In e assim Isom(K n , f ) e um grupo isomorfo a G(In ) = On (K ). No caso particular n = 2 e K = I R, temos que f e o produto interno can onico do I R2 (veja o Exemplo 4.11), donde Isom(I R2 , f ) e exatamente o Isom(I R2 ) das isometrias lineares do plano. Isto conrma o fato j a demonstrado de que o grupo das isometrias lineares do plano e isomorfo ao grupo ortogonal O2 (I R). Deni c ao 5.6 Dizemos que uma forma bilinear f : V V K e: a) Sim etrica se f (u, v ) = f (v, u) para quaisquer u, v V . b) Anti-sim etrica se f (u, v ) = f (v, u) para quaisquer u, v V . Supondo dim V nita, observa-se facilmente que uma forma bilinear f sobre V e sim etrica se, e somente se, [f ] e uma matriz sim etrica para toda base de V . O pr oximo teorema e um importante resultado sobre diagonaliza c aode formas bilineares sim etricas. Teorema 5.7 Se K tem caracter stica diferente de 2, dimens ao de V e nita e f : V V K e uma forma bilinear sim etrica, ent ao existe alguma base = {v1 , . . . , vn } de V tal que [f ] e uma matriz diagonal, ou seja, f (vi , vj ) = 0 para i = j . Demonstra c ao. Veja [4], pg 471. e um corpo algebricamente fechado de caracter stica diferente de 2, diCorol ario 5.8 Se K mens ao de V e nita e f : V V K e uma forma bilinear sim etrica n ao-degenerada, ent ao Isom(V, f ) e isomorfo a On (K ), onde n = dim V . Demonstra c ao. Sendo = {v1 , v2 , . . . , vn } uma base de V tal que [f ] e diagonal, tomemos ai = f (vi , vi ) para 1 i n. Como f e n ao-degenerada, temos 0 = det[f ] = a1 a2 . . . an , e 1 assim ai = 0 para todo i = 1, 2, . . . , n. Tomando agora i K tal que 2 i = a i e ui = i v i , para 1 i n, temos que = {u1 , u2 , . . . , un } e uma base de V e [f ] = In . Temos ent ao o resultado. Veremos no pr oximo exemplo que o corol ario anterior n ao e v alido sem a hip otese do corpo K ser algebricamente fechado. Exemplo 5.9 Considere V um espa co vetorial real de dimens ao 2 e uma base de V . Sendo 1 0 f a forma bilinear sobre V tal que [f ] = , temos Isom(V, f ) isomorfo a G([f ] ). 0 1 16

Tomando X= temos que X G([f ] ) se, e somente se, 1 0 0 1 ou seja, a2 c2 = b2 d2 = 1 e ab = cd. Logo, G([f ] ) = a c mc ma a, c I R, a2 c2 = 1, m = 1 . = a c b d 1 0 0 1 a b c d , a b c d

C alculos simples mostram que se X G([f ] ), ent ao os dois autovalores de X s ao reais. Supondo ent ao que X G([f ] ) satisfaz X 3 = I2 , temos que os dois autovalores de X s ao 3 ra zes do polin omio p(x) = x 1 e assim esses dois autovalores s ao iguais a 1, o que nos d a X = I2 . Com isso conclu mos que G([f ] ), e consequentemente Isom(V, f ), n ao pode ser isomorfo a O2 (I R), uma vez que no grupo O2 (I R) existe elemento A = I2 tal que A3 = I2 .

Refer encias
Linear - Um Segundo Curso, Textos Universit arios - SBM, Rio de [1] H. P. Bueno, Algebra Janeiro, 2006. [2] P. D. Lax, Functional Analysis, Wiley-Interscience, John Wiley & Sons, Inc., 2002. [3] E. L. Lima, Espa cos M etricos, Projeto Euclides - IMPA, 2a . Edi ca o, 1983. [4] K. Homan, R. Kunze, Algebra Linear, 2a . Edi ca o, LTC, 1979. [5] D. J. S. Robinson, A Course in the Theory of Groups, Springer-Verlag, New York, 1982. [6] J. J. Rotman, An Introduction to the Theory of Groups, Allyn and Bacon Inc., 3a . Edi ca o, Newton, Massachusetts, 1984.

17