CAP 03 - Formas Lineares e Normas em Espaços Vetoriais

Cap tulo 3 Formas Lineares e Normas em Espaos Vetoriais c
Contedo u
3.1 Formas Lineares, Sesquilineares e Produtos Escalares em Espaos Vetoriais . . . . . . . 143 c 3.1.1 Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143 3.1.1.1 Formas Multilineares em Dimenso Finita e Produtos Tensoriais . . . . . . . . . . . . . 148 a 3.1.2 Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . . . . . . . . . . 148 3.1.3 Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 3.1.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153 Normas em Espaos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 c Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt . . . . . . 161 Formas Bilineares e Sesquilineares e Produtos Escalares em Espaos de Dimenso Finita 163 c a Estruturas Complexas sobre Espaos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . 166 c APENDICES . . . . . . . . . . . . . . . . . . . . . . . . 173 Equivalncia de Normas em Espaos Vetorias de Dimenso Finita . . . . . . . . . . . . . 173 e c a Prova do Teorema de Frchet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . 174 e
3.2 3.3 3.4 3.5 3.A 3.B
noao de espao vetorial que introduzimos na Seao 2.1.5, pgina 75, da maior importncia na F c c c a e a sica e na Matemtica. Neste cap a tulo vamos estud-la com mais detalhe. Particular atenao ser dada `s nooes de forma a c a a c multilinear, forma sesquilinear, produto escalar e norma em espaos vetoriais. As importantes desigualdades c de Cauchy-Schwarz e de Minkowski sero demonstradas com bastante generalidade. Este cap a tulo trata quase exclusivamente de aspctos algbricos de espaos vetoriais, pondo de lado aspctos topolgicos, os quais sero discutidos e e c e o a em cap tulos futuros.
3.1
3.1.1
Formas Lineares, Sesquilineares e Produtos Escalares em Espaos Vetoriais c

Formas Multilineares
Seja V um espao vetorial sobre um corpo K (que doravante suporemos ter caracter c stica diferente de 2, o caso, por exemplo, dos reais ou dos complexos) e n um n mero inteiro positivo. Uma n-forma multilinear1 em V uma funao u e c : V n K que seja linear em cada um dos seus argumentos, ou seja, para todo , K, todos v1 , . . . , vn V , vi V e todo i = 1, . . . , n vale
(v1 , . . . , vi1 , (vi + vi ), vi+1 , . . . , vn ) = (v1 , . . . , vi1 , vi , vi+1 , . . . , vn ) + (v1 , . . . , vi1 , vi , vi+1 , . . . , vn ) . (3.1)
O seguinte fato importante conseqncia imediata da deniao acima: se uma n-forma multilinear ento e ue c e a (v1 , . . . , vi1 , 0, vi+1 , . . . , vn ) = 0 para todo i, ou seja, se um dos argumentos o vetor nulo a forma se anula. e E. 3.1 Exerccio. Prove isso. Sugesto: o que acontece se escolhermos = = 0? a
1 Tambm e
chamada n-forma linear ou simplesmente n-forma.
143
JCABarata. Curso de F sica-Matemtica a
Verso de 4 de abril de 2009. a
Cap tulo 3
144/1628
Um fato importante o seguinte: o conjunto de todas as n-formas lineares em um espao vetorial V sobre um corpo e c K igualmente um espao vetorial sobre K, que denotaremos por Mn (V, K), ou simplesmente por Mn (V ). Para tal e c procede-se da seguinte forma: para duas n-formas lineares 1 e 2 e dois escalares 1 , 2 K dene-se a combinaao c linear 1 1 + 2 2 como sendo a n-forma linear que a toda n-upla de vetores v1 , . . . , vn V associa (1 1 + 2 2 )(v1 , . . . , vn ) = 1 1 (v1 , . . . , vn ) + 2 2 (v1 , . . . , vn ) . E. 3.2 Exerccio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares em um espao vetorial V c sobre um corpo K forma um espao vetorial sobre K. c Formas bilineares
De particular interesse o caso n = 2, em cujo caso as formas so denominadas formas bilineares: uma forma bilinear e a uma funao : V 2 K que seja linear em cada um dos seus dois argumentos, ou seja, para todo , K, todos e c u, v, w V , valem (u, (v + w)) ((u + v), w) = = (u, v) + (u, w) , (u, w) + (v, w) .
Um exemplo bsico importante o seguinte. Seja V = Rn o espao vetorial (sobre o corpo dos reais) formado por a e c n-uplas de n meros reais: V = {x = (x1 , . . . , xn ), xi R}. Uma forma bilinear em V dada por u e
n
x, y Outro exemplo A (x, y) = x, Ay e

R,
=
k=1
xk yk .
(3.2)
onde A uma matriz n n real qualquer. e
Formas bilineares simtricas e anti-simtricas e e
Uma forma bilinear dita ser uma forma bilinear anti-simtrica se satiszer (u, v) = (v, u) para todos e e u, v V . A noao de forma bilinear anti-simtrica ser extendida logo abaixo com a introduao da noao de forma c e a c c alternante. Se uma forma bilinear, as formas r e a denidas por r (u, v) := 1 (u, v) + (v, u) e a (u, v) := e 2 (u, v) (v, u) so, respectivamente, simtrica e anti-simtrica. Naturalmente, = r + a e, portanto, toda a e e forma bilinear pode ser escrita como soma de uma forma simtrica e de uma anti-simtrica. e e
1 2
Uma forma bilinear dita ser uma forma bilinear simtrica se satiszer (u, v) = (v, u) para todos u, v V . e e
Formas bilineares no-degeneradas a
Uma forma bilinear simtrica ou anti-simtrica dita ser uma forma bilinear no-degenerada se satiszer a seguinte e e e a condiao: se para todo vetor v valer (v, u) = 0, ento u = 0. c a Formas bilineares no-singulares a
Seja V um espao vetorial e uma forma bilinear em V . Para u V xo a aplicaao lu (v) = (u, v) um funcional c c e linear em V , ou seja, um elemento do espao dual V . Se a aplicaao l : V V que associa cada u V ao funcional c c linear lu acima for um isomorsmo de espaos vetoriais a forma bilinear dita ser uma forma bilinear no-singular. c e a H vrios outros tipos de formas multilineares que so importantes, como por exemplo as chamadas formas multilia a a neares alternantes e, dentre estas as formas simplticas. e Formas simtricas e
Uma n-forma em V dita ser uma forma simtrica se para todo Sn , o grupo de permutaoes de n elementos, e e c valer v(1) , . . . , v(n) = (v1 , . . . , vn ) , (3.3)
Cap tulo 3
145/1628
para quaisquer vetores v1 , . . . , vn V . Formas alternantes Uma n-forma linear em um espao vetorial V sobre um corpo K dita ser uma forma alternante (ou uma forma c e anti-simtrica) se satiszer e (v1 , . . . , vi1 , vi , vi+1 , vi+2 , . . . , vn ) = (v1 , . . . , vi1 , vi+1 , vi , vi+2 , . . . , vn ) (3.4)
para todos os vetores v1 , . . . , vn V e todo i = 1, . . . , n 1. Em palavras, quando trocamos de lugar dois argumentos vizinhos quaisquer a forma troca de sinal. Deve ser bem claro que essa deniao equivale a seguinte armaao: se uma n-forma linear alternante, ento para c ` c e a todo Sn , o grupo de permutaoes de n elementos, vale c v(1) , . . . , v(n) = (sinal) (v1 , . . . , vn ) , (3.5)
para todos os vetores v1 , . . . , vn V , onde sinal o sinal da permutaao (denido ` pgina 814). e c a a E. 3.3 Exerccio. Est claro? a Nomenclatura. Se n-forma linear alternante, n dito ser o grau de . e e O conjunto de todas as n-formas lineares alternantes em um espao vetorial V sobre um corpo K igualmente c e um espao vetorial sobre K: para duas n-formas lineares alternantes 1 e 2 e dois escalares 1 , 2 K dene-se a c combinaao linear 1 1 + 2 2 como sendo a n-forma linear que a toda n-upla de vetores v1 , . . . , vn V associa c (1 1 + 2 2 )(v1 , . . . , vn ) = 1 1 (v1 , . . . , vn ) + 2 2 (v1 , . . . , vn ) . a E fcil constatar que a n-forma linear assim denida tambm alternante. e e c E. 3.4 Exerccio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares alternantes em um espao vetorial V sobre um corpo K forma um espao vetorial sobre K. c Formas simplticas e
Formas bilineares alternantes no-degeneradas so denominadas formas simplticas2 . Formas simplticas so impora a e e a tantes em algumas reas da F a sica, como por exemplo na mecnica clssica e no estudo de mtodos de quantizaao. a a e c Assim, uma forma simpltica em um espao vetorial V sobre um corpo K uma forma bilinear para a qual e c e (u, v) = (v, u)
Um exemplo bsico importante no caso do espao vetorial V = Rn e que, como veremos na Seao 3.4, o caso geral a c c e o seguinte: e A (x, y) = x, Ay R , onde A uma matriz n n real anti-simtrica, ou seja, que satisfaz AT = A, o que equivale a dizer que seus elementos e e de matriz satisfazem Aij = Aji . Fora isso, pela condiao de no-degenerescncia A tem que ser invers c a e vel, pois se x, Ay R = 0 para todo y, ento AT x, y R = 0 para todo y, o que s poss a o e vel se AT x = 0. Isso implicaria que det(A) = det(AT ) = 0. Uma conseqncia do fato de A ter de ser invers que n tem que ser par. De fato, a condiao ue vel e c AT = A diz que det(A) = det(AT ) = (1)n det(AT ) = (1)n det(A). Portanto, se n e mpar ter amos det(A) = 0. E evidente pela deniao que se uma n-forma alternante ento (v1 , . . . , vn ) = 0 caso haja vi = vj para algum c e a par i = j. Em particular, para formas simplticas (u, u) = 0 para todo u V . e
2 Do
para todos os vetores u, v V e tal que se (u, v) = 0 para todo v, ento u = 0. a
Algumas propriedades bsicas de formas lineares alternantes a
grego symplektiks: que serve para ligar, tranado, enlaado. o c c
Cap tulo 3
146/1628
u a e a ca E. 3.5 Exerccio. A propriedade mencionada no ltimo pargrafo equivalente ` denio de forma linear alternante: se uma n-forma linear e (v1 , . . . , vn ) = 0 sempre que vi = vj para algum par i = j, ento alternante. Prove isso. e a e Sugesto: para i = j dena a forma bilinear ij (vi , vj ) := (v1 , . . . , vn ) onde todos os vetores v1 , . . . , vn esto xos a a exceto vi e vj . Usando agora que ij (x + y, x + y) = 0, mostre que ij (vi , vj ) = ij (vj , vi ) para todo vi e vj . A armao principal segue disso (por que?). ca A seguinte proposiao sobre formas lineares alternantes importante: c e Proposio 3.1 Se uma n-forma linear alternante e v1 , . . . , vn so vetores linearmente dependentes, ento ca e a a (v1 , . . . , vn ) = 0 .
E. 3.6 Exerccio. Prove isso. Formas alternantes maximais
A Proposiao 3.1 tem uma conseqncia imediata: se V um espao vetorial de dimenso n e uma forma linear c ue e c a e alternante de ordem m > n, ento = 0. a E. 3.7 Exerccio. Por qu? e Assim, em um espao de dimenso n o grau mximo de uma forma alternante n. Formas alternantes de grau c a a e mximo so ditas formas alternantes maximais. Vamos mais adiante estudar como so essas formas maximais, mas a a a antes, precisamos discutir alguns fatos importantes sobre formas alternantes em espaos de dimenso nita. c a Em um espao vetorial V de dimenso n o espao vetorial das formas alternantes maximais unidimensional. Para c a c e ver isso notemos o seguinte. Seja {b1 , . . . , bn } uma base em V . Sejam agora 1 e 2 duas formas alternantes maximais em V e seja x1 , . . . , xn uma n-upla de vetores de V . Como {b1 , . . . , bn } uma base, podemos sempre escrever e
n
xi =
j=1
ij bj ,
para todo i = 1, . . . , n. Assim,

n n
1 (x1 , . . . , xn ) =
j1 =1
jn =1
1j1 njn 1 (bj1 , . . . , bjn )
e, analogamente, 2 (x1 , . . . , xn ) =
n j1 =1
jn =1
1j1 njn 2 (bj1 , . . . , bjn ) .
e ndices jk iguais. Por isso, podemos reescrever as expresses o Ocorre que 1 (bj1 , . . . , bjn ) zero caso ocorram dois acima da seguinte forma: 1 (x1 , . . . , xn ) = 1j(1) nj(n) 1 (bj(1) , . . . , bj(n) )
jSn
e, analogamente, 2 (x1 , . . . , xn ) =
jSn
1j(1) nj(n) 2 (bj(1) , . . . , bj(n) ) ,
onde, acima, Sn o conjunto de todas as bijeoes de {1, . . . , n} em si mesmo (o chamado grupo de permutaoes de n e c c elementos). E. 3.8 Exerccio. Justique.
Cap tulo 3
147/1628
Como 1 uma forma alternante maximal, tem-se que e 1 (bj(1) , . . . , bj(n) ) = sinal(j) 1 (b1 , . . . , bn ) . Assim, 1 (x1 , . . . , xn ) = 2 (x1 , . . . , xn ) = 1j(1) nj(n) sinal(j) 1 (b1 , . . . , bn )
jSn
e, analogamente,
jSn
Como se v nessas ultimas expresses, 1 (x1 , . . . , xn ) e 2 (x1 , . . . , xn ) diferem apenas pelos fatores 1 (b1 , . . . , bn ) e o e 2 (b1 , . . . , bn ), respectivamente. Como esses fatores so apenas n meros (elementos do corpo K), so proporcionais a u a um ao outro. Isso prova ento que 1 (x1 , . . . , xn ) e 2 (x1 , . . . , xn ) so proporcionais um ao outro para toda n-upla a a x1 , . . . , xn e isso era o que quer amos provar. Com as observaoes acima chegamos ao importante conceito de forma determinante. c A forma determinante
1j(1) nj(n) sinal(j) 2 (b1 , . . . , bn ) .
Como observamos acima, todas as n-formas lineares alternantes maximais de um espao vetorial V de dimenso n c a so proporcionais umas `s outras. Assim, o conhecimento de uma forma alternante maximal determina todas as outras. a a
A forma determinante3 det em um espao vetorial V de dimenso n a n-forma linear alternante maximal tal que c a e det (b1 , . . . , bn ) = 1 no caso em que {b1 , . . . , bn } a base cannica de V : e o 1 0 0 0 1 0 . b1 = 0 , b2 = 0 , . . . , bn = . . . . . . . 0 . . 0 0 1 Assim, det (x1 , . . . , xn ) =
jSn
1j(1) nj(n) sinal(j) ,
onde ij a j-sima componente do vetor xi na base cannica. e e o Como observamos, todas as outras n-formas lineares alternantes maximais de V so proporcionais a det . a Determinante de matrizes
Sejam a1 , . . . , an vetores, representados na base cannica por vetores-coluna o i1 . ai = . . . in
da e Denotamos por a1 , . . . , an a matriz n n constru de forma que sua a-sima coluna seja o vetor-coluna xa , ou seja a1 , . . . , an
3 Tambm e
chamada de forma volume, pois em R3 , det (x1 , x2 , x3 ) igual ao volume do paralelep e pedo descrito pelos vetores x1 , x2 , x3 .
11 . = . .
1n
.. .
nn
n1 . . . .
Cap tulo 3
148/1628
E evidente que toda matriz A Mat (C, n) pode ser escrita na forma A = a1 , . . . , an vetores a1 , . . . , an que representam suas colunas. Dene-se ento o determinante da matriz A como sendo a det(A) := det (a1 , . . . , an ) , ou seja, det(A) =
jSn
para algum conjunto de
(3.6) (3.7)
1j(1) nj(n) sinal(j) .
Essa expresso freq entemente demoninada frmula de Leibniz4 para o determinante de uma matriz. a e u o Cremos que o conceito de determinante de matrizes e suas propriedades bsicas sejam bem conhecidos do estudante a que tenha uma formaao bsica em Clculo e Algebra Linear, mas as mesmas sero (re)apresentadas e deduzidas na c a a a Seao 5.1, pgina 187. Vide, em particular, o Teorema 5.1, pgina 189. c a a
3.1.1.1
Formas Multilineares em Dimenso Finita e Produtos Tensoriais a
Se U um espao de dimenso nita sobre o corpo K podemos estabelecer que o espao vetorial Mn (U ) de todas as e c a c formas n-lineares sobre U isomorfo aos espaos (U )n e (U n ) (que esses dois ultimos espaos so isomorfos foi e c c a estabelecido na Seao 2.3.5.1, pgina 121). c a Seja {e1 , . . . , em } uma base em U e {1 , . . . , m } sua correspondente base dual cannica. Se Mn (U ) e o
m
u1 , . . . , un U com uk =
(uk )a ea para todo k = 1, . . . , n, temos

a=1 m m
u1 , . . . , un
=
a1 =1
an =1
(u1 )a1 (un )an (ea1 , . . . , ean ) .
Assim, denindo : Mn (U ) (U )n e (U n ) por

m
() :=
a1 =1
an =1
(ea1 , . . . , ean ) a1 an
(3.8)
teremos, como facilmente se constata, () u1 un = u1 , . . . , un .

m a1 =1 m
A aplicaao sobrejetora, pois um elemento geral de (U n ) da forma c e e imagem por da forma n-linear denida por
m m
an =1
e a1 , ..., an a1 an , que a
u1 , , un
:=
a1 =1
an =1
a1 , ..., an (u1 )a1 (un )an .
A aplicaao tambm injetora, pois se , Mn (U ) so tais que () = ( ), ento, por (3.8), teremos c e e a a c e (ea1 , . . . , ean ) = (ea1 , . . . , ean ) para todos a1 , . . . , an {1, . . . , m}, implicando = . A aplicaao , portanto, um isomorsmo de espao vetorial entre Mn (U ) e (U )n . c
3.1.2
Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski
Formas sesquilineares. Denioes c
Seja V um espao vetorial complexo. Uma forma sesquilinear5 uma funao : V V C que satisfaz as seguintes c e c propriedades:
4 Gottfried 5 Do
Wilhelm von Leibniz (1646-1716). radical grego sesqui: um e meio.
Cap tulo 3
149/1628
1. Linearidade em relaao ` segunda varivel: c a a (u, v + w) = (u, v) + (u, w) , para todos os vetores u, v e w e para todos os n meros complexos e . u 2. Anti-linearidade em relaao ` primeira varivel: c a a (u + v, w) = (u, w) + (v, w) , para todos os vetores u, v e w e para todos os n meros complexos e . u E imediato pela deniao que toda forma sesquilinear se anula no vetor nulo, ou seja, c (u, 0) = (0, u) = 0 , para todo vetor u. E. 3.9 Exerccio. Prove isso. Uma forma sesquilinear dita ser uma forma sesquilinear Hermitiana se satiszer: e 3. Simetria por conjugaao complexa: c (u, v) = (v, u) , para todos os vetores u e v. Uma forma sesquilinear dita ser uma forma sesquilinear positiva se satiszer e 4. Positividade. Para todo u V , (u, u) 0 .
Abaixo (Teorema 3.1, pgina 149) provaremos que toda forma sesquilinear positiva automaticamente Hermitiana. L a e a provaremos tambm que se uma forma sesquilinear positiva ento vale que |(u, v)|2 (u, u) (v, v) para todos e e a os vetores u e v. Essa desigualdade conhecida como Desigualdade de Cauchy-Schwarz. e Uma forma sesquilinear dita ser uma forma sesquilinear no-degenerada se satiszer: e a 5. No-degenerescncia. Se um vetor u tal que vale (u, v) = 0 para todo vetor v, ento u = 0. a e e a Nomenclatura. Uma forma sesquilinear que no no-degenerada dita ser degenerada. a e a e Formas sesquilineares no-singulares a
Seja V um espao vetorial e uma forma sesquilinear em V . Para u V xo a aplicaao lu (v) = (u, v) um c c e funcional linear em V , ou seja, um elemento do espao dual V . Se a aplicaao anti-linear l : V V que associa cada c c u V ao funcional linear lu acima for um anti-isomorsmo6 de espaos vetoriais a forma sesquilinear dita ser uma c e forma sesquilinear no-singular. a A desigualdade de Cauchy-Schwarz
De importncia fundamental na teoria das formas sesquilineares o seguinte teorema, que apresenta-nos a importante a e desigualdade de Cauchy7 -Schwarz8.
Teorema 3.1 Se uma forma sesquilinear positiva, ento tambm Hermitiana, ou seja, e a e e (u, v) = (v, u) ,
6 Denido
a pgina 89. ` a Louis Cauchy (1789-1857). 8 Karl Herman Amandus Schwarz (1843-1921).
7 Augustin
Cap tulo 3
150/1628
para todos os vetores u e v. Fora isso, vale a desigualdade de Cauchy-Schwarz: para todos os vetores u e v, |(u, v)|2 (u, u) (v, v) . Por m, se uma forma sesquilinear positiva e no-degenerada ento (u, u) = 0 se e somente se u = 0. e a a Prova. Faremos uso do fato que, para qualquer n mero complexo e quaisquer vetores u e v vale, pela hiptese de u o positividade, (u + v, u + v) 0 . ||2 (v, v) + (u, v) + (v, u) + (u, u) 0 . E. 3.10 Exerccio. Verique isso. Vamos agora escrever na forma = x + iy, onde x a parte real de e y sua parte imaginria. A ultima expresso e a a ca f (x, y) 0, onde f (x, y) := (x2 + y 2 )(v, v) + (x + iy)(u, v) + (x iy)(v, u) + (u, u) . E. 3.11 Exerccio. Verique essa armao. ca Vamos decompor (u, v) e (v, u) nas suas partes reais e imaginrias, escrevendo a (u, v) = + i onde , , e R. Ficamos com f (x, y) = (x2 + y 2 )(v, v) + (x y) + i(x + y) + (x + y) + i(x y) + (u, u) 0 . (3.11) Como f (x, y) tem que ser real (e 0) segue que a parte imaginria da expresso acima deve ser nula e, como (v, v) e a a (u, u) so reais, devemos ter a 0 = (x + y) + (x y) = x( + ) + y( ) . Como isso deve valer para todos x, y R, segue que = e = . Comparando com (3.10), isso diz que (u, v) = (v, u) , provando que Hermitiano. e Com as relaoes = e = a expresso (3.11) ca c a f (x, y) = (x2 + y 2 )(v, v) + 2(x y) + (u, u) . Vamos agora considerar dois casos: um onde (v, v) = 0 e outro onde (v, v) = 0. No primeiro f (x, y) = 2(x y) + (u, u) . Assim, como (u, u) 0 pela positividade, a condiao f (x, y) 0 poss para todos x e y R se e somente se c e vel = = 0, ou seja, se e somente se (u, v) = 0 para todo u. Aqui a desigualdade de Cauchy-Schwarz (3.9) trivialmente e satisfeita, pois ambos os lados so iguais a zero. a Passemos ao caso (v, v) = 0. Resta-nos provar a desigualdade de Cauchy-Schwarz (3.9) para esse caso. Podemos reescrever o lado direito de (3.12) como f (x, y) = (v, v) x+ (v, v)
2
(3.9)
Escrevendo-se explicitamente o lado esquerdo temos a desigualdade
(v, u) = + i ,
(3.10)
(3.12)
+ y
(v, v)
+ (u, u)
2 + 2 (v, v)
Cap tulo 3
151/1628
E. 3.12 Exerccio. Verique. Da constatamos que f (x, y) 0 para todos x e y R se e somente se , (u, u) ou seja, se e somente se O lado direito , porm, |(u, v)|2 , e a ultima desigualdade signica e e (u, u)(v, v) 2 + 2 . 2 + 2 (v, v) 0,
|(u, v)|2 (u, u)(v, v) , que a desigualdade de Cauchy-Schwarz que quer e amos demonstrar. Finalmente, se uma forma sesquilinear positiva e no-degenerada e um certo vetor u tal que (u, u) = 0, segue e a e pela desigualdade de Cauchy-Schwarz que (u, v) = 0 para todo v, o que implica u = 0, pois no-degenerada. e a
A desigualdade de Cauchy-Schwarz tem uma conseqncia de certa importncia, a chamada desigualdade de Minue a kowski9 : Se uma forma sesquilinear positiva (em particular, se um produto escalar) ento, para todos os vetores e e a u e v, vale (u v, u v)1/2 (u, u)1/2 + (v, v)1/2 . (3.13) A demonstraao simples: c e (u v, u v) = (u, u) (u, v) (v, u) + (v, v) = (u, u) 2Re ((u, v)) + (v, v) (u, u) + 2 |(u, v)| + (v, v) (u, u) + 2(u, u)1/2 (v, v)1/2 + (v, v) = (u, u)1/2 + (v, v)1/2
2
A desigualdade de Minkowski
que o que se queria demonstrar. Acima, na passagem da primeira para a segunda linha usamos a Hermiticidade de e e na passagem da terceira para a quarta linha, usamos a desigualdade de Cauchy-Schwarz, ambos esses fatos sendo conseqncia do Teorema 3.1, pgina 149. ue a
3.1.3
Produtos Escalares
Produtos internos ou produtos escalares
Uma forma sesquilinear positiva dita ser um produto escalar ou produto interno se satiszer: e
6. (u, u) = 0 se e somente se u = 0. A proposiao seguinte apresenta uma deniao alternativa de produto escalar. c c Proposio 3.2 Uma forma sesquilinear positiva um produto escalar se e somente se for no-degenerada. ca e a
9 Hermann
Minkowski (1864-1909).
Cap tulo 3
152/1628
Prova. Se um produto escalar, ento se u tal que (u, v) = 0 para todo v, vale em particular (tomando v = u) que e a e (u, u) = 0 e, portanto, u = 0. Assim, todo o produto escalar no-degenerado. Reciprocamente, pelo Teorema 3.1, e a pgina 149, se uma forma sesquilinear positiva e no-degenerada, ento vale automaticamente que (u, u) = 0 se e a e a a somente se u = 0
Notaoes para produtos escalares c
Seguindo a convenao, denotaremos freq entemente produtos escalares de dois vetores u e v no por (u, v) mas c u a por u, v . E freq ente tambm denotar um produto escalar de dois vetores u e v por (u, v). Essa notaao pode causar u e c confuso com a de par ordenado e por isso a evitamos. Em textos de F a sica comum encontrar tambm a chamada e e notaao de Dirac para produtos escalares: u|v . Por diversas razes no compartilhamos do entusiasmo de alguns com c o a essa notaao e tambm a evitamos. c e Detalhando a denio de produto escalar ca
Como o conceito de produto escalar muito importante, vamos detalh-lo um pouco mais antes de passarmos a e a exemplos. Um produto escalar ou produto interno em um espao vetorial V sobre o corpo dos complexos uma funao V V C, c e c denotada por u, v , para u, v V , com as seguintes propriedades: 1. O produto escalar linear na segunda varivel: e a u, v + w = u, v + u, w para todos u, v e w V e todos , C. 2. O produto escalar anti-linear na primeira varivel: e a u + v, w = u, w + v, w para todos u, v e w V e todos , C, onde o complexo conjugado de C. e 3. Conjugaao complexa: c u, v = v, u para todos u, v V . 4. Para todo u V 5. Positividade. Para todo vetor u no-nulo a u, u > 0 . Nota. Alguns postulados da deniao de produto escalar acima so redundantes, pois nem todos so independentes. c a a Ns os listamos apenas para ressaltar sua relevncia individual. Por exemplo, o item 2 segue de 1 e 3 (por que?). O o a item 4 segue de 1 e 2 (por que?). Os itens 1, 2 e 5 implicam o item 3 (como veremos no Teorema 3.1). Independentes so apenas 1, 2 e 5 ou 1, 3 e 5. a Para um produto escalar de dois vetores vale a seguinte e important ssima desigualdade, conhecida como Desigualdade de Cauchy-Schwarz: | u, v |2 | u, u || v, v | . A demonstraao (mais geral) apresentada no Teorema 3.1, pgina 149. c e a Advertncia. Em livros de Matemtica deniao de produto escalar por vezes apresentada de forma que se tenha e a c e linearidade na primeira varivel e anti-linearidade na segunda varivel. A convenao que adotamos oposta e seguida, a a c e e felizmente, por 100% dos textos de F sica. 0, u = u, 0 = 0 .
Cap tulo 3
153/1628
Se V um espao vetorial dotado de uma forma sesquilinear positiva , existe uma maneira cannica de construir a e c o partir de V e um outro espao vetorial dotado de um produto escalar. c Seja uma forma sesquilinear positiva em um espao vetorial V . Ento, existe um espao vetorial V , um produto escalar c a c tais que e uma aplicaao linear sobrejetora E : V V c (E(u), E(v)) = (u, v) e que E(u) = 0 em V caso (u, u) = 0. Para a mencionada construao, notemos em primeiro lugar que o conjunto de todos os vetores u com a propriedade c que (u, u) = 0 formam um subespao de V . De fato, se u e v so dois vetores desse tipo, teremos que c a (u + v, u + v) = ||2 (u, u) + (u, v) + (v, u) + ||2 (v, v) = 0 , pois (u, u) = (v, v) = 0, por hiptese, e pois (v, u) = (u, v) = 0 em funao da condiao de ser positivo (pela o c c desigualdade de Cauchy-Schwarz). Vamos denominar esse subespao por Z. O espao vetorial quociente V = V /Z (vide c c e a construao da pgina 115) tem as propriedades desejadas. A aplicaao E : V V a aplicaao que associa cada c a c c elemento de v de V ` sua classe de equivalncia [v]: E : V v [v] V . Denimos ento por a e a ([u], [v]) = (u, v) . E um exerc simples (faa) mostrar que essa deniao de fato independe dos representantes, no caso u e v, tomados cio c c nas classes [u] e [v]. E. 3.13 Exerccio. Mostre que de fato um produto escalar em V . e Produtos escalares e formas simplticas reais e
Formas sesquilineares positivas e produtos escalares
Seja V um espao vetorial complexo dotado de um produto escalar , . Ento, a expresso c a a (u, v) := Im( u, v ) ,
Na Seao 3.5, pgina 166, veremos que, sob hipteses adequadas, toda forma simpltica real a parte imaginria de c a o e e a um produto escalar em um espao complexo. c
u, v V , dene uma forma simpltica real em V . As condioes de anti-simetria ((u, v) = (v, u)) e de linearidade e c a e a por combinaoes lineares com escalares reais so elementares de se constatar. Que no-degenerada, segue do fato c que se (u, v) = 0 para todo u valeria, tomando u = iv, 0 = Im( iv, v ) = v, v , o que implica v = 0.
3.1.4
Exemplos
Para ilustrar os conceitos apresentados acima, passemos a alguns exemplos. Exemplos de formas sesquilineares e produtos escalares Exemplo 3.1 Seja V = Cn . Um exemplo de produto escalar dado pelo produto escalar usual: e
n
(u, v) = u, v onde u = (u1 , . . . , un ) e v = (v1 , . . . , vn ).
:=
k=1
uk vk ,
(3.14)
Exemplo 3.2 Seja V = Cn . Um exemplo de produto escalar dado por e (u, v) = Au, Av
C
onde u = (u1 , . . . , un ), v = (v1 , . . . , vn ) e onde A uma matriz n n inversvel. e
Cap tulo 3
154/1628
Exemplo 3.3 Exemplo de uma forma sesquilinear Hermitiana que no positiva. Seja V = Cn e seja dado por a e
n
(u, v) = u, Av
=
k, l=1
uk Akl vl ,
onde A uma matriz n n auto-adjunta, ou seja, seus elementos de matriz satisfazem Akl = Alk . A assim denida e uma forma sesquilinear Hermitiana, mas em geral pode no ser positiva. Um caso concreto o seguinte. Tomemos e a e 0 i V = C2 e A = . Ento, fcil ver que (u, u) = u, Au C = i(u1 u2 u1 u2 ) = 2Im(u1 u2 ), que pode ser a e a i 0 a negativo ou mesmo nulo. Assim, essa no positiva. E fcil ver, porm, que essa no-degenerada (mostre isso!). a e e e a Exemplo 3.4 Exemplo de uma forma sesquilinear que no Hermitiana. Seja V = Cn e seja dado por a e
n
(u, v) = u, Av
=
k, l=1
uk Akl vl ,
onde A uma matriz n n que no auto-adjunta, ou seja, Akl = Alk para pelo menos um elemento de matriz Akl . e a e A assim denida uma forma sesquilinear, mas em geral pode no ser Hermitiana. Um caso concreto o seguinte. e a e 0 1 2 Tomemos V = C e A = . Ento, fcil ver que (u, v) = u, Av C = u1 v2 , enquanto que (v, u) = v1 u2 . a e a 0 0 a e e a e e Logo, (u, v) e (v, u) podem ser distintos e no Hermitiana. Fora isso, essa tambm no positiva e degenerada (mostre isso!). Exemplo 3.5 Exemplo de uma forma sesquilinear positiva mas que no um produto escalar. Seja V = Cn e seja a e dado por (u, v) = Au , Av C onde A uma matriz n n no-inversvel. Ento, existe u0 no-nulo tal que Au0 = 0. Da segue que (u0 , v) = e a a a , Au0 , Av C = 0 para todo v e, portanto, degenerada e (u0 , u0 ) = 0. e Um caso concreto o seguinte. Tomemos V = C2 e A = e temos que (u, v) = u1 v1 . Note que todo vetor da forma ub = todo v. 1 0 0 0 0 u2 . Note que A no invers (por que?). Aqui a e vel tal que Aub = 0 e, portanto (ub , v) = 0 para e
Na Seao 3.4, pgina 163, mostraremos como a forma geral de formas bilineares, sesquilineares e produtos escalares c a e nos espaos de dimenso nita Rn e Cn . Tratemos agora de dois exemplos em espaos vetoriais de dimenso innita. c a c a Exemplo 3.6 Seja V = C([a, b]) o espao vetorial das funoes cont c c nuas complexas de um intervalo fechado [a, b] da reta real (a < b). Seja p uma funao cont c nua estritamente positiva denida em [a, b], ou seja, p(x) > 0 para todo x [a, b]. Ento, a expresso a a
b
(f, g) =
a
f (x)g(x) p(x)dx ,
para funoes f e g de V dene um produto escalar em V (justique!). c
Exemplo 3.7 Seja V = C([0, 1]) o espao vetorial das funoes cont c c nuas complexas de um intervalo fechado [0, 1] da reta real. Seja p uma funao tal que p cont c e nua e estritamente positiva no intervalo [0, 1/2) e identicamente nula no intervalo [1/2, 1]. Ento, a expresso a a
1
(f, g) =
0
f (x)g(x) p(x)dx ,
para funoes f e g de V dene uma forma sesquilinear positiva em V , que no um produto escalar (justique!). c a e
Cap tulo 3
155/1628
Exemplo 3.8 Considere o espao vetorial Cn e o produto escalar usual: (u, v) = u, v c de Cauchy-Schwarz implica
n 2 n n
n i=1
ui vi . A desigualdade (3.15)
ui vi
i=1
j=1
|uj |2
k=1
|vk |2
E. 3.14 Exerccio. Considere o espao vetorial das funoes cont c c nuas no intervalo [0, 1] e o produto escalar (f, g) = 1 f (x)g(x) dx. Tomando as funoes f (x) = x e g(x) = ex , use a desigualdade de Cauchy-Schwarz para mostrar que e 7. c 0
E. 3.15 Exerccio. Tente livremente obter outras desigualdades interessantes do mesmo estilo usando esse mtodo. e
3.2
Normas em Espaos Vetoriais c
Aqui trataremos exclusivamente, a memos que mencionado de outra forma, de espaos vetoriais sobre o corpo dos c complexos. Semi-normas
Uma semi-norma uma funao V R usualmente denotada por e c
, com as seguintes propriedades:
1. Para todo v V tem-se v 0. 2. Para qualquer C e qualquer v V tem-se v = || v . 3. Para quaisquer vetores u e v V tem-se u + v u + v . Essa desigualdade denominada desigualdade e triangular. Notas. Note-se que, pelo item 2, vale para uma semi-norma que 0 = 0 (tome = 0). Para uma semi-norma vale a desigualdade a ab b , (3.16)
para quaisquer a, b V . Como faremos uso da mesma no futuro, vamos apresentar sua demonstraao aqui, que c e uma conseqncia direta da desigualdade triangular. De fato, a desigualdade triangular diz-nos que ue ab e que b De (3.17) segue que e de (3.18) que a = a (a b) a a + ab . (3.18) a + b (3.17)
ab b
Quando dois n meros reais x e y so tais que x y e x y ento x |y|. Assim, as duas ultimas desigualdades u a a dizem que a ab b , que o que quer e amos provar. Essa desigualdade diz, incidentalmente, que a 0 para todo vetor de V . Isso mostra que o item 1 da deniao c de semi-norma (e de norma, vide abaixo) supruo. e e
( a b b ) .
Cap tulo 3
156/1628
Note-se tambm que se zermos em (3.16) as substituioes a a b, b b, obtemos e c a b ab , (3.19)
para quaisquer a, b V . Essa desigualdade ser empregada diversas vezes neste texto. a Pelos itens 2 e 3 da deniao de semi-norma, vale que c u + v || u + || v (3.20)
para quaisquer , C e quaisquer vetores u e v V . Normas
Uma norma uma funao V R usualmente denotada por e c
, com as seguintes propriedades:
1. Para todo v V tem-se v 0. 2. v = 0 se e somente se v for o vetor nulo: v = 0. 3. Para qualquer C e qualquer v V tem-se v = || v . 4. Para quaisquer vetores u e v V tem-se u + v u + v . Notas. Como se percebe, uma norma uma semi-norma dotada tambm da propriedade que v = 0 implica v = 0. e e Note tambm que, pelo item 3 acima, tem-se 0 = 0 (tome = 0). e Pelos itens 3 e 4 da deniao de norma, vale que c u + v || u + || v (3.21)
para quaisquer , C e quaisquer vetores u e v V . Como toda a norma uma semi-norma, vale tambm a importante desigualdade e e a b ab , (3.22)
para quaisquer a, b V . Essa desigualdade ser empregada diversas vezes neste texto. a As quatro condioes da deniao de norma, acima, no so, em verdade, logicamente independentes e listamoc c a a as devido ` sua importncia individual. Assim, por exemplo, a condiao de positividade 1, como no caso de a a c semi-normas, segue das condioes 3 e 4 (mais precisamente, de (3.22)). c A condiao 4, acima, de particular importncia e denominada desigualdade triangular. c e a e Um espao vetorial pode ter vrias normas. Vide exemplos abaixo. c a Exemplos de normas em espaos vetoriais c
Seja Cn = {(z1 , . . . , zn ), com z1 , . . . , zn C}, n 1, o espao vetorial das n-uplas de n meros complexos. Para c u z = (z1 , . . . , zn ) Cn , a expresso a
n
:=
k=1
|zk |
(3.23)
dene uma norma em Cn , denominada norma 1 . Verique! A expresso a z
:= max{|z1 |, . . . , |zn |}
(3.24)
Cap tulo 3
157/1628
tambm dene uma norma em Cn . Verique! e A norma (3.23) pode ser generalizada. Para cada p R, p 1, a expresso a
n
1 p
:=
k=1
|zk |
(3.25)
tambm dene uma norma em Cn , denominada norma p . A unica diculdade em provar isso reside em demonstrar a e desigualdade triangular z + w p z p + w p para quaisquer z, w Cn . Isso ser feito com mais generalidade (para a espaos de seqncias) na Seao 20.5.1, pgina 973 (vide expresso (20.35) do Teorema 20.4, pgina 976). c ue c a a a Seja C([a, b], C) o espao vetorial das funoes complexas cont c c nuas denidas no intervalo [a, b] R. A expresso a
b
:=
a
|f (x)| dx ,
(3.26)
f C([a, b], C), dene uma norma em C([a, b], C), denominada norma L1 . Verique! A expresso a f
:=
x[a, b]
sup |f (x)| ,
(3.27)
f C([a, b], C), tambm dene uma norma em C([a, b], C), denominada norma do supremo. Verique! e A norma (3.26) pode ser generalizada. Para cada p R, p 1, a expresso a
b
1 p
:=
a
|f (x)| dx
(3.28)
f C([a, b], C), dene uma norma em C([a, b], C), denominada norma Lp . A unica diculdade em provar isso reside em demonstrar a desigualdade triangular f + g p f p + g p para quaisquer f, g C([a, b], C). Isso ser feito a com mais generalidade (para funoes em espaos mensurveis) na Seao 26.4.1, pgina 1147. Vide expresso (26.41) do c c a c a a Teorema 26.7, pgina 1147. a Equivalncia de normas e Denio. Duas normas 1 e 2 em um espao vetorial V so ditas equivalentes se existirem duas constantes ca c a positivas c1 e c2 , com 0 < c1 c2 , tais que c1 v
1
c2 v
para todo vetor v V . A importncia da noao de equivalncia de normas se manifesta no fato que duas normas a c e equivalentes geram a mesma topologia mtrica. e E. 3.16 Exerccio. Mostre que a relao de equivalncia entre normas uma relao de equivalncia. ca e e ca e E. 3.17 Exerccio. Mostre que as normas equivalentes. e do espao Cn , denidas em (3.23) e (3.24), respectivamente, so c a
Em espaos vetoriais reais ou complexos de dimenso nita vale o seguinte resultado especial, cuja demonstraao c a c encontra-se no Apndice 3.A, pgina 173: e a Teorema 3.2 Em um espao vetorial de dimenso nita sobre C ou R todas as normas so equivalentes. c a a A armaao do Teorema 3.2 freq entemente falsa em espaos de dimenso innita. Isso atestado nos exemplos c e u c a e do Exerc E. 3.18. cio c a E. 3.18 Exerccio. As normas 1 e do espao C([a, b], C), denidas em (3.26) e (3.27), respectivamente, no a so equivalentes. E fcil ver que f 1 (b a) f para toda f C([a, b], C) (faa!). Seja, porm, a fam de funoes a c e lia c 1 a f (x) = e(xa) C([a, b], C) com > 0. E fcil ver que f = 1 e f 1 = (1 e(ba) ) (faa!). Mostre que c no existe nenhuma constante c tal que f c f 1 para todo > 0. a
Cap tulo 3
158/1628
Equivalncia entre semi-normas e
H uma noao de equivalncia entre semi-normas anloga ` de equivalncia entre normas. a c e a a e
A norma associada a um produto escalar
Se um produto escalar em um espao vetorial V existe associada a uma norma e c v
dada por
= (v, v)1/2 ,
v V. E. 3.19 Exerccio. Mostre que os postulados da denio de norma so de fato satisfeitos. ca a Invarincia de normas associadas a produtos escalares a
Se uma norma em um espao vetorial V produzida por um produto escalar, como acima, existe naturalmente um c e grupo de transformaoes lineares de V em V que mantem essa norma invariante. Esse grupo discutido na Seao 17.2.3, c e c x, x R para x Rn , invariante e pgina 824. Por exemplo, a chamada norma Euclidiana de Rn , denida por x = a pelo grupo O(n) das matrizes ortogonais, ou seja, das matrizes R, reais n n, que satisfazem RT R = . Isso signica que Rx = x para toda R O(n). O grupo O(n) e seus amigos so discutidos na Seao 17.2.4, pgina 825 e seguintes. a c a A desigualdade triangular Talvez a principal conseqncia da desigualdade de Minkowski (3.13) seja a seguinte. Vamos supor que seja um ue produto escalar. Ento podemos denir10 uma mtrica ou distncia entre dois vetores a e b por a e a d (a, b) := ab
= (a b, a b)1/2 .
Como um produto escalar, segue que d (a, b) = 0 se e somente se a = b (por que?). E tambm claro que e e d (a, b) = d (b, a) (por que?). Fora isso, segue da desigualdade de Minkowski que para quaisquer vetores a, b e c vale d (a, b) d (a, c) + d (c, b) . Para ver isso, note que d (a, b) = = = (a b, a b)1/2 ((a c) (b c), (a c) (b c))1/2 (a c, a c)1/2 + (b c, b c)1/2 d (a, c) + d (c, b) .
A desigualdade d (a, b) d (a, c)+d (c, b) importante no estudo de propriedades topolgicas de espaos vetoriais e o c e denominada desigualdade triangular (pergunta ao estudante: de onde vem esse nome?). e Note que a desigualdade triangular vale tambm se no for um produto escalar, mas apenas uma forma sesquilinear e a positiva (por que?). Nesse caso tambm verdade que d (a, b) = d (b, a), porm, no mais verdade que d (a, b) = 0 e e e a e se e somente se a = b e, por isso, d dita ser uma pseudo-mtrica. e e Norma e produto escalar
Acima, na passagem da segunda ` terceira linha, usamos a desigualdade de Minkowski com u = a b e v = b c. a
A norma assim denida possui duas propriedades importantes que mencionamos aqui: a identidade do paralelogramo e a identidade de polarizaao. c
10 As
Se um espao vetorial V possuir um produto escalar ento, como observamos, poss denir nele uma norma da c a e vel u, u , u V . seguinte forma: u =
nooes de mtrica e de espaos mtricos sero discutidas no Cap c e c e a tulo 20, pgina 949. a
Cap tulo 3
159/1628
Identidade do paralelogramo: Para todos os vetores u, v V vale u+v

2
+ uv
= 2 u
+2 v
(3.29)
Prova. Tem-se simplesmente pelas denioes que c u+v e uv

2 2
= u + v, u + v = = u v, u v =
u u
+ u, v + v, u + v
u, v v, u + v
Somando-se ambas tem-se o resultado desejado. E. 3.20 Exerccio. Por que (3.29) chamada identidade do paralelogramo? e E. 3.21 Exerccio. Usando a identidade do paralelogramo demonstre a identidade de Apolnio11 : o zx vlida para todos os vetores x, y, z V . a Identidade de polarizao: Para todos os vetores u, v de um espao vetorial complexo V vale ca c u, v = 1 in u + in v 4 n=0 1 in u + in v 4 n=0
2 3 3 2 2
+ zy
1 xy 2
+2 z
(x + y) 2
(3.30)
u, v ou seja, 4 u, v = u+v
2
(3.31)
uv
i u + iv
+ i u iv
Prova. Exerccio. Expanda o lado direito e verique a igualdade. E. 3.22 Exerccio. Por que essa relao chamada identidade de polarizao? ca e ca Notemos que, com a deniao dada acima de norma associada a um produto escalar, a desigualdade de Cauchyc Schwarz ca | u, v | u v . A identidade de polarizao ca
A identidade de polarizaao mencionada acima um caso especial de uma outra ligeiramente mais geral, tambm c e e denominada identidade de polarizaao. Seja A um operador linear em um espao vetorial V sobre os complexos e sejam c c u e v elementos de seu dom nio. Ento vale que a u, Av = 1 in (u + in v), A(u + in v) , 4 n=0 1 in (u + in v), A(u + in v) , 4 n=0
3 3
(3.32)
u, Av
(3.33)
11 Apolnio o
de Perga (ci. 261 A.C. ci. 190 A.C.).
Cap tulo 3
160/1628
a E. 3.23 Exerccio. Mostre isso. Sugesto: expanda o lado direito das igualdades acima e constate as igualdades. Tomando-se A como o operador identidade reobtem-se as identidades (3.30)-(3.31). A relaao (3.32) mostra que se para um operador linear A conhecermos todas as quantidades , A para todos os c vetores V , ento conhecemos tambm todas as quantidades u, Av para todos u, v V . a e
Para a f sica quntica a identidade de polarizaao (3.32) diz que se A for um observvel (operador auto-adjunto), a c a ento o conhecimento de todos os valores esperados de A, ou seja, das quantidades , A com = 1 e dos produtos a escalares u, v para vetores com u = v = 1, xa todas as probabilidades de transiao | u, Av |2 , pois c u, Av = onde n = 1 in n , An (2 + in u, v + in v, u ) , 4 n=0 1 (u + in v) . u, v + in v, u
3
(3.34)
1 (u + in v) = u + in v
2+
in
Uma conseqncia da identidade de polarizao ue ca
A relaao (3.32) permite-nos facilmente provar a seguinte armaao, freq entemente empregada: c c u
Proposio 3.3 Se um operador linear A agindo em um espao vetorial complexo V satisfaz u, Au = 0 para todo ca c vetor u V ento A = 0. a Para matrizes reais em espaos vetoriais reais no vale uma armativa to forte. Por exemplo, se V = Rn e A for c a a
n
uma matriz anti-simtrica, ou seja AT = A, ento vale automaticamente que x, Ax e a Aab = Aba para todo x Rn . Porm, A pode ser no-nula. e a Todavia, para matrizes simtricas vale o seguinte: e
=
a, b=1
xa Aab xb = 0, pois
Proposio 3.4 Seja M Mat (R, n) uma matriz simtrica (ou seja, tal que M T = M ) para a qual valha que ca e x, M x R = 0 para todo x Rn . Ento M = 0. a Prova. Se M uma matriz simtrica, fcil vericar que para quaisquer vetores u e v Rn tem-se e e e a u, M v
R
1 [ (u + v), M (u + v) 4
(u v), M (u v)
R,
R]
(Para provar isso expanda o lado direito e use que u, M v R = v, M u M , segue que u, M v R = 0 para todos u e v Rn e, portanto, M = 0 Obtendo produtos escalares a partir de normas
pois M simtrica). Logo, da hiptese sobre e e o
Nas ultimas pginas vimos que podemos obter uma norma a partir de um produto escalar e que essa norma satisfaz a a identidade do paralelogramo, expresso (3.29). Podemos nos perguntar: se uma norma for dada em um espao vetorial a c complexo, seria poss obter um produto escalar a partir dessa norma? vel A resposta a essa questo fornecida por um teorema devido a Frchet12 , von Neumann13 e Jordan14, teorema esse a e e sugerido pela identidade de polarizaao, expresso (3.30), pgina 159. c a a
Teorema 3.3 (Teorema de Frchet, von Neumann e Jordan) Seja V um espao vetorial complexo, normado com e c norma e vamos supor que essa norma satisfaa a identidade do paralelogramo c a+b
12 Maurice 13 Jnos a
+ ab
= 2 a
+2 b
(3.35)
Ren Frchet (1878-1973). e e von Neumann (1903-1957). Von Neumann tambm adotou os nomes de Johann von Neumann e John von Neumann. e 14 Ernst Pascual Jordan (19021980).
Cap tulo 3
161/1628
para todos a, b V . Dena-se, para u, v V , (u, v) := Ento, um produto escalar em V . a e Com essa deniao, vale (u, u) = u 2 para todo u V e, portanto, a norma associada ao produto escalar a c e prpria norma . Com isso, reconhecemos que (3.36) coincide com a identidade de polarizaao para o produto escalar o c . Conclu-se, ento, que uma norma associada a um produto escalar se e somente se satiszer a identidade do a e paralelogramo. 1 in u + in v 4 n=0
3 2
(3.36)
A demonstraao do Teorema de Frchet, von Neumann e Jordan encontra-se no Apndice 3.B, pgina 174. Vide c e e a tambm [192] ou [103] para outras demonstraoes essencialmente idnticas. e c e A demonstraao do Teorema 3.3 engenhosa e a principal diculdade consiste em demonstrar que (3.36) uma forma c e e sesquilinear, um fato um tanto surpreendente se observarmos que o lado direito de (3.36) contm uma soma de normas, e que no so sequer funoes lineares, satisfazendo apenas u = || u e u + v || u + || v para todos a a c , C e todos u, v V .
Mencionemos, por m, que nem toda norma satisfaz a identidade do paralelogramo e, portanto, nem toda norma e associada a um produto escalar e, assim, nem sempre poss denir um produto escalar a partir de uma norma. Os e vel Exerc cios E. 3.24 e E. 3.25, servem como exemplo de tais situaoes. c c c nuas do intervalo [0, 1] assumindo valores E. 3.24 Exerccio. Seja o espao vetorial V = C([0, 1], C) das funoes cont complexos e seja a norma f = supx[0, 1] |f (x)|. Mostre que a identidade do paralelogramo no satisfeita para as funoes a e c f (x) = x e g(x) = 1, x [0, 1], que so elementos de V . a c a E. 3.25 Exerccio. Seja o espao vetorial V = Cn , com n 2. Para a = (a1 , . . . , an ) Cn a expresso a p := [|a1 |p + + |an |p ]1/p , dene uma norma em V = Cn , caso p 1. Mostre que essa norma viola a identidade do paralelogramo para todo p = 2. Para tal considere os vetores u = (1, 0, 0, . . . , 0) e v = (0, 1, 0, . . . , 0). A norma p ser discutida a com mais detalhe no Cap tulo 20, pgina 949. a
3.3
Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt

a norma associada a esse produto escalar,
Seja V um espao vetorial dotado de um produto escalar , , e seja e c ou seja, para v V tem-se v := v, v , tal como denido acima. Normalizao. Raio associado a um vetor ca
Um vetor e V dito ser um vetor unitrio, ou um vetor normalizado, em relaao ao produto escalar em questo (e e a c a a ` norma a este associada) se e = 1.
Se u V um vetor no-nulo, podemos transform-lo em um vetor unitrio se o multiplicarmos por 1/ u . Esse e a a a 1 e procedimento por vezes denominado normalizaao do vetor u. Se u um vetor no-nulo, o vetor u u normalizado, e c e a e u o assim como todos os vetores da forma u u onde um n mero complexo de mdulo um, i.e., || = 1 (aqui estamos supondo que V seja um espao vetorial sobre o corpo dos complexos). Para um vetor no-nulo u, xo, o conjunto de c a vetores normalizados R(u) := u u, C com || = 1 dito ser o raio associado ao vetor u. e Projeo de um vetor na direo de outro vetor. Ortogonalidade ca ca
Cap tulo 3
162/1628
Se u e v so dois vetores de V com v = 0, o vetor v, u v dito ser a componente de u na direao de v, ou a projeao a e c c v 2 de u na direao de v. Essa nomenclatura tem origem na bem-conhecida e familiar interpretaao geomtrica do produto c c e escalar usual em R2 ou em R3 , mas a usamos mesmo no caso de V ser um espao vetorial complexo ou ter dimenso c a innita. Dados dois vetores u, v V , dizemos que u ortogonal a v em relaao ao produto escalar em questo se u, v = 0. e c a Evidentemente, u ortogonal a v se e somente se v for ortogonal a u. Caso v seja no-nulo, dizer que u ortogonal a e a e v signica dizer que u tem uma componente nula na direao v (e vice-versa). O vetor nulo o unico vetor de V que c e e ortogonal a todos os vetores de V . Sejam u e v so dois vetores linearmente independentes. Se subtrairmos de u sua componente na direao de v a c e a a e obtemos o vetor w = u v, u v. Esse vetor no-nulo (pois u e v so linearmente independentes) e ortogonal a v 2 v (pois v, w = 0, como facilmente se constata). Com isso, obtivemos dois vetores ortogonais, w e v, a partir de dois vetores linearmente independentes, u e v. Essa idia ser generalizada logo adiante quando falarmos do procedimento de e a ortogonalizaao de Gram-Schmidt. c Comentamos, nalmente, que a noao de ortogonalidade uma relaao de compatibilidade na coleao dos vetores c e c c unitrios de V . Vide deniao na Seao 1.1.1.2, pgina 32. a c c a Conjunto ortonormal de vetores
Seja E = {e , } um conjunto no-vazio de vetores distintos de V , sendo um conjunto arbitrrio no-vazio de a a a ndices (podendo ser nito, contvel ou no-contvel). O conjunto E dito ser um conjunto ortonormal de vetores em a a a e relaao ao produto escalar em questo se para todo tivermos e = 1 e se para todos , com = valer c a e , e = 0. Assim, E um conjunto ortonormal se todos os seus elementos forem vetores unitrios e se quaisquer dois e a vetores distintos de E forem ortogonais entre si em relaao ao produto escalar em questo. c a e E. 3.26 Exerccio. Se E = {e , } um conjunto ortonormal de vetores, mostre que e e = 2 sempre que = . Procedimento de ortogonalizao de Gram-Schmidt ca a Dado um conjunto nito B = b1 , . . . , bn composto por n vetores no-nulos e linearmente independentes de V , c podemos construir um conjunto ortonormal E = e1 , . . . , en no subespao n-dimensional gerado pelos vetores de B por um procedimento conhecido como procedimento de ortogonalizaao de Gram15 -Schmidt16 , que passaremos a descrever17. c O procedimento comea escolhendo-se um vetor de B e normalizando-se esse vetor, denindo assim o primeiro vetor c e1 de E. Para simplicar a notaao, escolhemos comear com o vetor b1 e denimos, assim, e1 := b1 b1 . No segundo c c 1 passo, tomamos o vetor b2 , subtra mos do mesmo sua componente na direao e1 e em seguida normalizamos o vetor disso c resultante, denindo assim o vetor e2 : e2 := 1 b 2 e1 , b 2 e1 b 2 e1 , b 2 e1 .
Pela construao, evidente que e1 = e2 = 1 e fcil vericar que e1 , e2 = 0. c e e a A idia do procedimento prosseguir com os demais vetores de forma anloga, tomando na k-sima etapa o vetor bk , e e a e subtraindo do mesmo suas componentes nas direoes e1 , . . . , ek1 e normalizando o vetor assim resultante. Obtemos c e1 := b1 , b1 ek := bk 1
k1 k1
bk
el , b k el
l=1
k = 2, . . . , n .
el , b k el
l=1
Observe-se que cada ek depende apenas dos vetores e1 , . . . , ek1 , denidos nas k 1 etapas anteriores. Como fcil e a e vericar, valem as relaoes ei , ej = i j para todos i, j = 1, . . . , n, atestando que E = e1 , . . . , en um conjunto c ortonormal de vetores.
Pedersen Gram (18501916). Schmidt (18761959). 17 Seria mais adequado chamar o procedimento de procedimento de ortonormalizao de Gram-Schmidt, pois o conjunto de vetores resultante ca ortonormal, mas aquela nomenclatura adotada amplamente. e e
16 Erhard 15 Jrgen
Cap tulo 3
163/1628
Note que a construao acima descrita no unica, pois podemos reordenar os elementos de B, obtendo assim uma c a e nova seqncia de vetores ej , j = 1, . . . , n. ue Comentamos, por m, que o procedimento de Gram-Schmidt, descrito acima, aplica-se sem qualquer modicaao ao c caso de B ser um conjunto contvel (no necessariamente nito) de vetores no-nulos com a propriedade que qualquer a a a subconjunto nito de B seja composto por vetores linearmente independentes (a existncia de uma tal B requer, naturale mente, que V seja um espao vetorial de dimenso innita). O conjunto E assim produzido ser igualmente um conjunto c a a ortonormal contvel. Nesse contexto, o procedimento de Gram-Schmidt tem aplicaoes no estudo e na construao de a c c fam lias de polinmios ortogonais, como os de Legende, os de Chebyshev etc. Vide Cap o tulo 11, pgina 487, e referncias a e l citadas. a
3.4
Formas Bilineares e Sesquilineares e Produtos Escalares em Espaos de Dimenso Finita c a
E poss estabelecer a forma geral de uma forma bilinear ou sesquilinear em certos espaos vetoriais, como os espaos vel c c de dimenso nita Rn ou Cn . E o que discutiremos nesta seao. a c Faremos uso do chamado Teorema da Representaao de Riesz, que arma o seguinte. c Teorema 3.4 (Teorema da Representao de Riesz) Seja l um funcional linear contnuo em um espao de Hilbert ca c H (com um produto escalar , H ). Ento existe H, unico, tal que a l(x) = , x
H,
x H .
A demonstraao desse importante teorema pode ser encontrada na Seao 31.3.1, pgina 1487. Notemos que esse c c a teorema se aplica aos espaos vetoriais Rn ou Cn , pois os mesmos so espaos de Hilbert em relaao aos produtos c a c c escalares , R e , C , respectivamente, denidos em (3.2) e (3.14) (pginas 144 e 153). a Continuidade Vamos provar a seguinte armaao: toda forma bilinear em Rn cont c e nua (em ambas as variveis), o mesmo valendo a para formas bilineares ou sesquilineares em Cn .
Vamos provar a armaao para as formas sesquilineares em Cn . Os outros casos so idnticos. Seja uma forma c a e sesquilinear em Cn . Para vetores x, y Cn , y = 0, escrevemos (x, y) = y (x, y/ y ) , (3.37) y, y C . Notemos ento que se v um vetor de norma igual a 1 e {b1 , . . . , bn } uma base ortonormal em a e e onde y = Cn ento v = v1 b1 + + vn bn com |vj | 1. Assim, a (x, v) = v1 (x, b1 ) + + vn (x, bn ) e, portanto, |(x, v)| |(x, b1 )| + + |(x, bn )| Para cada x xo o lado direito uma constante Kx e no depende de v. Aplicando isso a (3.37), teremos e a |(x, y)| Isso mostra que
y0
y Kx .
lim |(x, y)| = 0
para todo x xo. Como (x, y) linear na segunda varivel, segue que e a
yy0
lim (x, y) = (x, y0 ) ,
Cap tulo 3
164/1628
para todo y0 Cn , provando a continuidade de na segunda varivel. A prova para a primeira varivel idntica. Os a a e e casos em que bilinear em Rn ou em Cn anlogo. e e a Formas sesquilineares em Cn
Seja uma forma sesquilinear em Cn . Ento, pelo que acabamos de ver, para cada x Cn a lx : Cn C, lx (y) = (x, y)
um funcional linear e cont e nuo. Pelo Teorema da Representaao de Riesz existe um unico vetor x Cn tal que c lx (y) = x , y C para todo y Cn , ou seja, (x, y) = x , y C . Seja A a funao que a cada x Cn associa o ( nico!) vetor x com a propriedade acima: A(x) = x . Tem-se, c u (x, y) = A(x), y
C
(3.38)
Armamos que A um operador linear, ou seja, A(1 x1 + 2 x2 ) = 1 A(x1 ) + 2 A(x2 ) para todos os n meros e u complexos 1 e 2 e todos os vetores x1 e x2 . De fato, por (3.38), A(1 x1 + 2 x2 ), y
C
= (1 x1 + 2 x2 , y) = 1 (x1 , y) + 2 (x2 , y) = 1 A(x1 ), y =

C
+ 2 A(x2 ), y
C
1 A(x1 ) + 2 A(x2 ), y
Assim, para todo y Cn tem-se [A(1 x1 + 2 x2 ) 1 A(x1 ) 2 A(x2 )] , y o que implica A(1 x1 + 2 x2 ) = 1 A(x1 ) + 2 A(x2 ) , que o que quer e amos provar. Assim, A em verdade um operador linear. Resumimos esses fatos no seguinte teorema: e Teorema 3.5 Para toda forma sesquilinear em Cn existe uma matriz n n complexa A tal que (x, y) = A x, y para todos x, y Cn . Esse teorema estabelece assim a forma geral das formas sesquilineares em Cn . Formas bilineares em Rn
C C
= 0,
Seja uma forma bilinear em Rn . Ento, para cada x Rn a lx : Rn R : lx (y) = (x, y)
um funcional linear e cont e nuo. Pelo Teorema da Representaao de Riesz existe um unico vetor x Rn tal que c lx (y) = x , y R , ou seja, (x, y) = x , y R . Seja A a funao que a cada x Rn associa o ( nico!) vetor x com a propriedade acima: A(x) = x . De maneira c u anloga ao que zemos acima podemos provar que A um operador linear, ou seja, uma matriz n n real e (x, y) = a e Ax, y R . Resumimos esses fatos no seguinte teorema:
Cap tulo 3
165/1628
Teorema 3.6 Para toda forma bilinear em Rn existe uma matriz n n real A tal que (x, y) = A x, y para todos x, y Rn . Esse teorema estabelece assim a forma geral das formas bilineares em Rn . Formas bilineares em Cn
R
Seja uma forma bilinear em Cn . Ento a s (x, y) = (x, y)
dene uma forma sesquilinear em Cn , onde x = (x1 , . . . , xn ) para x = (x1 , . . . , xn ) Cn . Pelo que provamos acima, portanto, existe uma matriz complexa A tal que s (x, y) = A x, y para todos x, y Cn , ou seja, para todos x, y C .
n C
, ,
(x, y) = A x, y
Note que isso tambm diz que e (x, y) = A x, y

R
e onde A o complexo conjugado da matriz A . Resumimos esses fatos no seguinte teorema: Teorema 3.7 Para toda forma bilinear em Cn existe uma matriz n n complexa A tal que (x, y) = A x, y para todos x, y C . Esse teorema estabelece assim a forma geral das formas bilineares em Cn . Formas simplticas e
n R
Se uma forma bilinear alternante em Rn ou Cn , ou seja, bilinear e (x, y) = (y, x), ento da forma e e a e (x, y) = A x, y R onde A uma matriz anti-simtrica, ou seja, AT = A. De fato, como x, y R = y, x R e como e e (x, y) = (y, x), segue que A x, y
R
= A y, x
= y, AT x
= AT x, y
Como isso vale para todo x, y Rn (ou Cn ), tem-se AT = A.
Isso determina a forma geral de uma forma bilinear alternante em Rn ou Cn .
Se uma forma simpltica, ou seja, uma forma bilinear alternante no-degenerada, ento A tem que ser tambm e e e a a e invers vel. De fato, se Ax, y R = 0 para todo y, ento Ax = 0. Se A invers isso s poss se x = 0. a e vel oe vel Uma conseqncia do fato de A ter de ser invers que n tem que ser par. De fato, a condiao AT = A diz que ue vel e c det(A) = det(AT ) = (1)n det(AT ) = (1)n det(A). Portanto, se n e mpar ter amos det(A) = 0. A concluso que formas simplticas s ocorrem nos espaos de dimenso nita Rn ou Cn se a dimenso n for par, a e e o c a a e nesse caso, tm a forma (x, y) = Ax, y R , onde A invers e satisfaz AT = A. e e vel Formas sesquilineares Hermitianas em Cn Se uma forma sesquilinear Hermitiana em Cn , tem-se (x, y) = (y, x). Se A a matriz tal que Ax, y e e (x, y), ento a Ax, y C = Ay, x C = x, Ay C = A x, y C ,
C
Cap tulo 3
166/1628
e c e onde A := AT a adjunta de A. Como a ultima relaao vale para todo x, y Cn , tem-se A = A , ou seja, A uma matriz auto-adjunta. Portanto, a forma geral de uma forma sesquilinear Hermitiana em Cn Ax, y e Produtos escalares em Cn
C,
onde A uma matriz auto-adjunta. e
Se um produto escalar em Cn , sesquilinear Hermitiana e (x, x) > 0 se x = 0. Se A a matriz tal que e e e Ax, y C = (x, y), ento a Ax, x C > 0 (3.39)
se x = 0. Uma conseqncia disso o seguinte: se vi um dos autovetores de A com autovalor i , ento i > 0. De ue e e a fato, tomando x = vi em (3.39), teremos18 0 < Avi , vi C = i vi , vi C , o que implica i > 0. Esse fato, em particular, nos diz que A invers (pois o determinante de A o produto de seus autovalores). e vel e Outra conseqncia dessas observaoes a seguinte. E bem sabido que os autovetores vi de uma matriz auto-adjunta ue c e A podem ser escolhidos de modo a formar uma base ortonormal (vide Teorema 5.13, pgina 226). Vamos denir uma a matriz B de modo que Bvi = i vi para todos os autovetores vi de A. Isso dene a aao de B nos vetores de uma base c e, portanto, B ca denida em toda parte19 . a E fcil provar que B assim denida tambm auto-adjunta, B = B, e que B 2 = A. Claramente B tambm e e e e invers e tem autovalores > 0. vel E. 3.27 Exerccio. Mostre esses fatos. Disso conclu mos que (x, y) = Ax, y
C
= Bx, By
Para futura referncia reunimos nossas concluses sobre produtos escalares em espaos Cm na seguinte proposiao: e o c c Proposio 3.5 Se um produto escalar em Cn ento existe uma unica matriz M Mat (C, n) auto-adjunta e de ca e a autovalores positivos (e, portanto, inversvel) tal que (x, y) = x, M y C para todos x, y Cn .
Igualmente, se um produto escalar em Cn ento existe uma (nica) matriz auto-adjunta B , inversvel e com e a u autovalores > 0 tal que (x, y) = B x, B y C para todo x, y Cn .
3.5
Estruturas Complexas sobre Espaos Vetoriais Reais c
a Seja V um espao vetorial real. Em V est, portanto, denido um produto por escalares reais: x v V , onde x R e c v V . Sob certas circunstncias poss transformar V em um espao vetorial complexo denindo um produto por a e vel c escalares complexos: z v V para z C e v V . Tambm sob hipteses, um produto escalar complexo pode ser e o denido em V . Suponha que exista um operador linear J : V V , agindo em V , com a propriedade J 2 = , onde denota o operador identidade. Se z C da forma z = x + iy com x, y R, dena-se em V o produto por escalares complexos e por (x + iy) v := xv + yJv . (3.40) As seguintes propriedades poder ser facilmente vericadas como exerc cio: 1. O produto por escalares complexos (3.40) associativo: e ( u) = () u , para todos , C e u V , onde o produto de por em C, e 2. 1 u = u para todo u V .
18 Lembre-se 19 Para
que os autovalores de uma matriz auto-adjunta so sempre nmeros reais. a u o estudante mais avanado: aqui poder c amos usar tambm o teorema espectral, Teorema 5.5. e
Cap tulo 3
167/1628
3. O produto por escalares complexos (3.40) distributivo em relaao ` soma de vetores: e c a (u + v) = u + v , para todo C e todos u, v V . 4. O produto por escalares complexos (3.40) distributivo em relaao ` soma de escalares: e c a ( + ) u = u + u , para todos , C e todo u V . Portanto, pela deniao da Seao 2.1.5, pgina 75, V um espao vetorial complexo com o produto denido acima. c c a e c Vamos denotar por VJ esse espao vetorial complexo, para no confund com V , que um espao vetorial real. Note c a -lo e c que os vetores de V e de VJ so os mesmos, mas V e VJ representam estruturas diferentes. VJ dito ser uma estrutura a e complexa sobre o espao vetorial real V . c Uma questo de grande interesse, especialmente no contexto das chamadas lgebras CAR e CCR (vide [25]) que a a descrevem as lgebras de comutaao e anticomutaao cannicas da Mecnica Quntica e das Teorias Qunticas de Campos a c c o a a a (que descrevem modelos ferminicos20 e bosnicos21 ), saber se possivel introduzir um produto escalar complexo no o o e e espao complexo VJ . Como veremos no que segue, tal possivel se houver em V uma forma simpltica real ou um c e e produto escalar real satisfazendo certas hipteses. Desenvolveremos primeiro as idias gerais e apresentaremos exemplos o e posteriormente, ` pgina 169. a a Formas simplticas reais e produtos escalares reais e
Para mostrar como construir produtos escalares complexos no espao complexo VJ precisamos do seguinte resultado c preparatrio, que tem interesse por si s, por estabelecer uma relaao entre formas simplticas22 reais e produtos escalares o o c e reais.
Lema 3.1 Seja V um espao vetorial real e suponha que exista um operador linear J : V V satisfazendo J 2 = . c Valem as seguintes armaoes c I. Se : V V R um produto escalar real em V satisfazendo e (Ju, v) = (u, Jv) para todos u , v V , ento : V V R denida para todos u, v V por a (u, v) := (Ju, v) = (u, Jv) uma forma simpltica real e satisfaz e e (a) (Ju, v) = (u, Jv) para todos u , v V , (b) (u, Ju) 0 para todo u V . II. Se : V V R uma forma simpltica real em V satisfazendo e e (a) (Ju, v) = (u, Jv) para todos u , v V , (b) (u, Ju) 0 para todo u V , ento : V V R denida para todos u, v V por a (u, v) := (u, Jv) = (Ju, v) um produto escalar real e satisfaz e (a) (Ju, v) = (u, Jv) para todos u , v V .
20 Enrico
(3.41)
(3.42)
Fermi (1901-1954). Nath Bose (1894-1974). 22 Para a deniao, vide pgina 145. c a
21 Satyendra
Cap tulo 3
168/1628
Prova da parte I. Pelas hipteses, um produto escalar real e, portanto, uma forma bilinear real, positiva, simtrica o e e e e no-degenerada. Que denida em (3.41) uma forma bilinear evidente. Para todos u, v V tem-se a e e (u, v) = (Ju, v) = (u, Jv)
simetria
(Jv, u) = (v, u) ,
provando que uma forma alternante. Se (u, v) = 0 para todo v V , ento (Ju, v) = 0 para todo v V . Mas e a como no-degenerada, segue que Ju = 0, o que implica u = 0, pois J 2 = . Isso provou que no degenerada e, e a e a portanto, uma forma simpltica. Note-se agora que e e (u, Jv) = (Ju, Jv) = (u, J 2 v) = (u, v) = (Ju, v) . Por m, (u, Ju) = (Ju, Ju) 0, pois um produto escalar. Pelo mesmo motivo, (Ju, Ju) = 0 se e somente se e Ju = 0. Como J 2 = , isso implica u = 0. Isso provou as armaoes da parte I. c
Prova da parte II. Pelas hipteses, uma forma simpltica real e, portanto, uma forma bilinear real, alternante e o e e e no-degenerada. Que denida em (3.42) uma forma bilinear evidente. Para todos u, v V tem-se a e e (u, v) = (u, Jv) = (Ju, v)
alternncia a
(v, Ju) = (v, u) ,
provando que uma forma simtrica. Se (u, v) = 0 para todo v V , ento (u, Jv) = 0 para todo v V . Mas e e a como no-degenerada, segue que u = 0, provando que uma forma no-degenerada. Para todo u tem-se tambm e a e a e (u, u) = (u, Ju) 0, por hiptese, provando que uma forma positiva. Assim, pela Proposiao 3.2, pgina 151, o e c a um produto escalar. Note-se agora que, por deniao, (u, v) = (Ju, v) para todos u , v V . Disso segue que e c (u, v) = (Ju, v) e que (u, Jv) = (Ju, Jv) = (u, J 2 v) = (u, v) = (Ju, v) . Isso provou as armaoes da parte II. c
A proposiao que segue mostra como se pode construir em VJ um produto escalar complexo se for fornecida uma c forma simpltica real ou um produto escalar real em V satisfazendo certas hipteses. e o Proposio 3.6 Suponhamos que V seja um espao vetorial real e que exista J : V V , um operador linear em V , ca c satisfazendo J 2 = . Ento valem as seguintes armaoes: a c A. Se existir uma forma simpltica real : V V R satisfazendo e (a) (Ju, v) = (u, Jv) para todos u , v V , (b) (u, Ju) 0 para todo u V 23 ,
J,
Produtos escalares complexos sobre estruturas complexas
ento, V V (u, v) u, v a
C denida por u, v
J,
:= (u, Jv) + i(u, v)
para todos u, v V , um produto escalar complexo sobre a estrutura complexa VJ . e B. Se existir um produto escalar real : V V R satisfazendo (a) (Ju, v) = (u, Jv) para todos u , v V , ento, V V (u, v) u, v a
J,
C denida por u, v
J,
:= (u, v) + i(Ju, v)
para todos u, v V , um produto escalar complexo sobre a estrutura complexa VJ . e

23 Em
[25] essa ultima condiao no mencionada, mas ela necessria. c a e e a
Cap tulo 3
169/1628
Prova. Mostremos em primeiro lugar que as hipteses das partes A e B so equivalentes. Pelo Lema 3.1, pgina 167, o a a a existncia de uma forma simpltica real satisfazendo as hipteses da parte A implica a existncia de um produto e e o e escalar real dado por (u, v) := (u, Jv) = (Ju, v) satisfazendo as hipteses da parte B, sendo que, por essa o deniao de , c (u, Jv) + i(u, v) = (u, v) + i(Ju, v) . (3.43) Reciprocamente, tambm pelo Lema 3.1, pgina 167, a existncia de um produto escalar real satisfazendo as hipteses e a e o da parte B implica a existncia de uma forma simpltica real dada por (u, v) := (Ju, v) = (u, Jv) satisfazendo e e as hipteses da parte A, sendo que, por essa deniao de , a igualdade (3.43) tambm vlida. Assim, suciente o c e e a e provarmos, digamos, a parte A. Prova da parte A. E evidente que para quaisquer u, v, w V valem (u + v), w Alm disso, e v, u
J, J,
= u, w
J,
+ v, w
J,
u, (v + w)
J,
= u, v
J,
+ u, w
J,
= (v, Ju) + i(v, u) = (Ju, v) i(u, v) = (u, Jv) i(u, v) = u, v
J,
(3.44)
Para x, y R tem-se tambm e u, (x + iy) v

J,
= = =
J 2 =
u, xv + yJv u, xv
J,
J,
+ u, yJv
J,
(u, xJv) + i(u, xv) + (u, yJ 2 v) + i(u, yJv) (u, xJv) + i(u, xv) + (u, yv) + i(u, yJv) x (u, Jv) + i(u, v) + iy (u, Jv) + i(u, v) (x + iy) u, v
J, J,
= =
. = (x iy) u, v
J, ,
Pela propriedade (3.44), isso implica tambm (x + iy) u, v e forma sesquilinear.
mostrando que ,
J,
uma e
Pelas hipteses, tem-se u, u J, = (u, Ju) 0, mostrando que , J, positiva. Se 0 = u, v J, = (u, Jv) + o e i(u, v) para todo u, segue que (u, v) = 0 para todo u, o que implica que v = 0, pois no-degenerada (pela nossa e a deniao de forma simpltica). Isso mostrou que , J, no-degenerada. Assim, , J, uma forma sesquilinear c e e a e positiva e no-degenerada e pelo Teorema 3.1, pgina 149, segue que u, u J, = 0 se e somente se u = 0. Isso mostrou a a que , J, um produto escalar complexo em VJ . e Exemplos
Vamos primeiramente estudar o caso de espaos de dimenso nita. Vale a seguinte proposiao: c a c
Proposio 3.7 Um espao vetorial real V de dimenso nita admite uma estrutura complexa (no necessariamente ca c a a unica) se e somente se tiver dimenso par. a
Prova. Se J um operador linear agindo no espao vetorial real de dimenso nita V , podemos represent-lo como e c a a a e uma matriz. Se J 2 = ento, tomando-se o determinante de ambos os lados, temos (det(J))2 = (1)n , onde n a dimenso de V . Como o lado esquerdo positivo, n tem que ser par. Reciprocamente, vamos supor que V tenha a e dimenso par, digamos 2m. Desejamos mostrar que existe um operador linear agindo em V satisfazendo J 2 = . Uma a
Cap tulo 3
170/1628
poss escolha a seguinte. Como V tem dimenso par podemos encontrar dois subespaos V1 e V2 , ambos de dimenso vel e a c a m, com V = V1 V2 . Como V1 e V2 tm a mesma dimenso, so isomorfos, e existe um operador linear A : V1 V2 que e a a bijetivo (o Exemplo 3.9, abaixo, deixar isso mais claro. Um tal operador no necessariamente unico, mas isso no e a a e a representa um problema). Todo elemento v V pode ser escrito da forma v = v1 v2 com v1 V1 e v2 V2 . Podemos denir Jv = J(v1 v2 ) := (Av2 ) (Av1 ). E trivial, ento, vericar que J 2 = , como desejado. a Exemplo 3.9 Seja V um espao vetorial real de dimenso 2m. Em alguma base, podemos representar v V na forma c a de um vetor-coluna: v1 vm+1 . . . . . . vm v2m v = Dena-se, ento, a Jv := (3.45) vm+1 . v1 , . . . . . . v2m vm ou seja, em forma matricial, na mesma base, J =
m m m m
sendo m e m matrizes m m. E elementar vericar que J 2 = 2m , como desejado.
A escolha de J indicada acima dependeu de uma particular decomposiao de V em dois subespaos de dimenso m. c c a H vrias outras decomposioes poss a a c veis, que fornecem outros operadores J e, portanto, outras estruturas complexas. Permanecendo no exemplo acima, fcil ver que, se x, y R, ento o produto por escalares complexos ca e a a v1 v1 xv1 yvm+1 . . . . . . . . . vm vm xvm yv2m := (x + yJ) = (x + iy) (3.46) vm+1 vm+1 xvm+1 + yv1 . . . . . . . . . . v2m v2m xv2m + yvm Seguindo ainda o exemplo de (3.45) e (3.46) para V = R2m , vamos ilustrar a Proposiao 3.6 e produto escalar c complexo para (R2m )J . Adotemos para o produto escalar usual:
2m
(u, v) :=
k=1
uk vk = u1 v1 + + u2m v2m .
Temos que (Ju, v) = um+1 v1 u2m vm + u1 vm+1 + + um v2m e que Logo (Ju, v) = (u, Jv) e podemos aplicar a Proposiao 3.6, obtendo em (R2m )J o produto escalar c u, v
J,
(u, Jv) = u1 vm+1 um v2m + um v1 + + u2m vm
= (u, v) + i(Ju, v) = u1 v1 + + u2m v2m + i um+1 v1 u2m vm + u1 vm+1 + + um v2m
= u1 (v1 + ivm+1 ) + + um (vm + iv2m ) + um+1 (vm+1 iv1 ) + u2m (v2m ivm ) = (u1 + ium+1 )(v1 + ivm+1 ) + + (um + iu2m )(vm + iv2m ) . E. 3.28 Exerccio. Verique que u, v
J,
= u, v
J,
para todo C.
Cap tulo 3
171/1628
Entendemos, assim, que a estrutura complexa que estudamos consiste nesse caso em identicar bijetivamente R2m e C por v1 v1 + ivm+1 . . . vm . 2m . R Cm . vm+1 . . . vm + iv2m v2m
m
e adotar em Cm o produto escalar complexo ,
usual (denido ` pgina 21). a a
Vejamos como as idias de acima podem ser generalizadas e de modo a incluir espaos de dimenso innita. e c a Exemplo 3.10 Se V um espao vetorial real de (dimenso nita ou no) sempre poss encontrar um operador e c a a e vel c linear J satisfazendo J 2 = se V possuir dois subespaos V1 e V2 com V = V1 V2 e tais que existe A : V1 V2 , linear e bijetora (em dimenso nita isso requer que V1 e V2 tenham a mesma dimenso e, portanto, que V tenha dimenso a a a par, como mencionado na Proposiao 3.7). De fato, para v V da forma v = v1 v2 com v1 V1 e v2 V2 , denindo c Jv := (A1 v2 ) (Av1 ) fcil constatar que J 2 = . e a Para um tal J o produto por um escalar complexo = x + iy, com x, y R, ca denido por (v1 v2 ) := (x + yJ)(v1 v2 ) = x(v1 v2 ) + y (A1 v2 ) (Av1 ) = (xv1 yA1 v2 ) (xv2 + yAv1 ) .
Se V um espao de Hilbert real separvel com uma base {k , k N}, podemos tomar V1 e V2 como os espao e c a c gerados por {k , k N, k par} e {k , k N, k mpar}, respectivamente. Uma poss escolha para a bijeao linear vel c A : V1 V2 seria

A
m=0
a2m 2m
=
m=0
a2m 2m+1 ,
para a qual A1
m=0
a2m+1 2m+1
=
m=0
a2m+1 2m ,
ou seja, em termos de elementos da base, A2m = 2m+1 e A1 2m+1 = 2m para todo m 0. Com essa deniao, c ter amos

J
m=0
a2m 2m
a2m+1 2m+1
m=0
a2m+1 2m
m=0
a2m 2m+1
m=0
O produto com escalares complexos = x + iy, com x, y R, ca denido por

(x + iy)
am m
m=0
m=0
(xa2m ya2m+1 )2m
(xa2m+1 + ya2m )2m+1

m=0
Para um tal J o produto por um escalar complexo = x + iy com x, y R ca denido por (v1 v2 ) := (x + yJ)(v1 v2 ) = x(v1 v2 ) + y (A1 v2 ) (Av1 )

= (xv1 yA1 v2 ) (xv2 + yAv1 ) . m m , o produto escalar real usual,
Para , V da forma = constatamos que
m m , =
m=0 m=0
m m e (, ) :=
m=0
(, J) =
2m 2m+1 +
m=0 m=0
2m+1 2m
e que
(J, ) =
2m+1 2m +
m=0 J, m=0
2m 2m+1 .
Assim, (, J) = (J, ) e pela parte B da Proposiao 3.6, pgina 168, , c a produto escalar complexo. Explicitamente, tem-se
:= (, ) + i(J, ) um e
J,
=
m=0
(2m + i2m+1 )(2m + i2m+1 ) .
Cap tulo 3
172/1628
e E. 3.29 Exerccio. Verique! Verique tambm que ,
J,
= ,
J,
para todo C.
A forma simpltica real associada a pela parte I do Lema 3.1, pgina 167, e a e

(, ) = (, J) =
m=0
2m 2m+1
2m+1 2m .
m=0
Exemplo 3.11 Uma situaao que no se deve deixar de comentar a seguinte. Se V um espao vetorial complexo com c a e e c um produto escalar complexo , , V naturalmente tambm um espao vetorial real, sendo que, como comentamos ` e e c a pgina 153, (u, v) := Im( u, v ) u, v V , dene uma forma simpltica real em V . Denindo em V o operador linear a e Ju = iu, tem-se J 2 = . A multiplicaao por escalares complexos no apresenta novidades: para x, y R e u V c a vale, pela deniao, (x + iy) u = xu + yJu = (x + iy)u. c a E fcil constatar que (u, Jv) = Im( u, iv ) = Im( iu, v ) = (Ju, v) e que (u, Ju) = Im( u, iu ) = u, u e 0. Assim, pela parte A da Proposiao 3.6, pgina 168, u, v J, := (u, Jv) + i(u, v) um produto escalar complexo c a em V . No entanto, facil ver que nesse caso u, v J, = Im( u, iv ) + iIm( u, v ) = Re( u, v ) + iIm( u, v ) = u, v . e O produto escalar real associado a pela parte II do Lema 3.1, pgina 167, a e (u, v) = (u, Jv) = Im( u, iv ) = Re( u, v ) . E interessante notar tambm que se tivssemos adotado Ju = iu, u V , ter e e amos ainda para (u, v) = Im( u, v ) que (u, Jv) = (Ju, v). Porm, (u, Ju) = u, u 0, violando a condiao de positividade. e c Exemplo 3.12 Uma situaao um pouco diferente a seguinte. Seja V um espao vetorial complexo dotado de um c e c produto escalar complexo , . Sejam V1 e V2 dois subespaos ortogonais de V (ortogonais segundo o produto escalar c , ). Encarando V como um espao real, denamos o operador linear J : V V por J(v1 v2 ) = i(v1 (v2 )), onde c c v1 V1 e v2 V2 . E claro que J 2 = . A multiplicaao por escalares complexos x + iy, com x, y R, ca (x + iy) (v1 v2 ) = x(v1 v2 ) + yJ(v1 v2 ) = ((x + iy)v1 ) ((x iy)v2 ) , ou seja, (v1 v2 ) = (v1 ) (v2 ), para todos C, v1 V1 e v2 V2 . E tambm fcil constatar que para o produto escalar real (u, v) = Re( u, v ) vale a relaao (u, Jv) = (Ju, v) e a c (para isso essencial que V1 e V2 sejam ortogonais segundo , ). e O forma simpltica real associada a pela parte I do Lema 3.1, pgina 167, , tomando u = u1 u2 , v = v1 v2 , e a e com u1 , v1 V1 e u2 , v2 V2 , (u, v) := (Ju, v) = Im ( u1 , v1 ) Im ( u2 , v2 ) , como facilmente se verica. Pela parte B da Proposiao 3.6, pgina 168, u, v J, := (u, v) + i(Ju, v) um produto escalar complexo. Por c a e essa deniao, tem-se, tomando u = u1 u2 , v = v1 v2 , com u1 , v1 V1 e u2 , v2 V2 , c u, v
J,
= = = =
(u1 u2 ), (v1 v2 )
J,
Re( u1 , v1 ) + Re( u2 , v2 ) + i (Re( iu1 , v1 ) + Re( iu2 , v2 )) Re( u1 , v1 ) + Re( u2 , v2 ) + iIm( u1 , v1 ) iIm( u2 , v2 ) u1 , v1 + u2 , v2 . = u, v para todo C.
e E. 3.30 Exerccio. Verique tambm que u, v
J,
J,
Cap tulo 3
173/1628
Apndices e
3.A Equivalncia de Normas em Espaos Vetorias de Dimenso e c a Finita
Apresentamos aqui a demonstraao do Teorema 3.2, pgina 157, que arma que todas as normas em um espao vetorial c a c de dimenso nita sobre C ou R so equivalentes. a a A demonstraao que segue faz uso de algumas nooes e resultados elementares sobre topologias mtricas. O leitor c c e interessado deve seguir as referncias dadas abaixo aos pontos destas Notas onde tais nooes e resultados so tratados. e c a Prova do Teorema 3.2. Seja V um espao vetorial de dimenso nita, de sorte que existe uma base B = {b1 , . . . , bn } c a de vetores linearmente independentes de V tais que todo u V pode ser escrito de modo unico como uma combinaao c linear u = 1 b1 + + n bn dos vetores de B, onde os coecientes k so reais ou complexos (dependendo de V ser um a espao vetorial sobre R ou sobre C). Fixada uma base B, podemos denir uma norma E em V por c
n
u onde, como acima, u = 1 b1 + + n bn . Seja agora
=
k=1
|k |2 ,
uma outra noma denida em V . Temos que

(3.21) (3.15) n n
1 b1 + + n bn
|1 | b1 + + |n | bn
k=1
|k |2
bk
k=1
Assim, estabelecemos que para todo u V vale u

n
M1 u
(3.A.1)
com M1 :=
k=1
bk
sendo uma constante positiva independente de u.

(3.22) (3.A.1)
: Rn R (ou : Cn R) denida por
Para todos u, v V vale
u v
uv
M1 u v
E.
Essa relaao estabelece que a funao c c
(1 , . . . , n ) :=
1 b1 + + n bn
cont e nua na topologia mtrica usual de Rn (ou Cn ), pois mostra (com u = 1 b1 + + n bn e v = 1 b1 + + n bn ) e que
n
(1 , . . . , n ) (1 , . . . , n ) M1
k=1
|k k |2 ,
provando que se (1 , . . . , n ) converge a (1 , . . . , n ) na topologia mtrica usual de Rn (ou Cn ), ento (1 , . . . , n ) e a converge a (1 , . . . , n ). Seja B1 a bola aberta centrada em 0 e de raio 1 em Rn (ou Cn ) na topologia mtrica usual: e n B1 := (1 , . . . , n ) Rn (ou Cn ) |k |2 < 1 ,
k=1 24
e seja B1 seu bordo :
B1 :=
24 Para
(1 , . . . , n ) Rn (ou Cn )
k=1
|k |2 = 1
a deniao da noao de bordo e para a observaao que todo bordo fechado, vide pgina 1041. c c c e a
Cap tulo 3
174/1628
B1 fechado e limitado e, portanto (pelo Teorema de Heine-Borel, Teorema 29.14, pgina 1352), compacto na e a e topologia mtrica usal. Logo, pelo Teorema 29.16, pgina 1352, a funao cont e a c nua assume em B1 um m nimo M2 0 e, portanto, (1 , . . . , n ) M2 (3.A.2)
n
para toda n-upla (1 , . . . , n ) com

k=1
|k |2 = 1.
Seja (1 , . . . , n ) um ponto de B1 onde o m nimo de assumido e seja v0 = 1 b1 + + n bn . O fato que e (1 , . . . , n ) B1 signica, evidentemente, que v0 E = 1. A constante M2 no pode ser nula, pois se o fosse ter a amos v0 = 0, ou seja, v0 = 0, o que contraria v0 E = 1. Segue de (3.A.2) que 1 b1 + + n bn M2 para todo vetor u = 1 b1 + + n bn com u todo v V , v = 0, tem-se, evidentemente, que 1 v v E
1 v Ev E E
= 1. Como para
= 1, segue que v M2 v
E
M2 ,
ou seja,
sendo que a ultima desigualdade vale tambm, evidentemente, para v = 0. Provamos, portanto, que existem constantes e M1 e M2 com M2 > 0 tais que para todo vetor v V , M2 v
E
M1 v
E.
estabelecendo que toda norma equivalente ` norma e a equivalncia, segue que todas as normas em V so equivalentes. e a
Como a equivalncia de normas uma relaao de e e c
3.B
Prova do Teorema de Frchet, von Neumann e Jordan e
Nesta Seao apresentamos a demonstraao do Teorema de Frchet, von Neumann e Jordan, Teorema 3.3, pgina 160. c c e a Vamos supor que seja uma norma em um espao vetorial complexo V e que satisfaa a identidade do paralelogramo c c a+b para todos a, b V . Dena-se, para u, v V , (u, v) := ou seja, escrevendo os termos da soma explicitamente, (u, v) := Vale a propriedade Hermitiana (u, v) = (v, u) para todos u, v V pois, como a = (u, v) = = = = a e a = ia para todo a V , segue que 1 4 1 4 1 4 u+v v+u v+u
2 2 2 2 2
+ ab
= 2 a
+2 b
(3.B.3)
1 in u + in v 4 n=0
1 4
u+v
uv
u + iv
u iv
(3.B.4) (3.B.5)
uv vu vu
+i +i i
u + iv iu v v + iu
u iv iu + v v iu
(v, u) .
Cap tulo 3
175/1628
E importante observar que, por (3.B.4), (u, u) := 1 4 2u

2
uu
(1 + i)u
(1 i)u
(3.B.6)
j que, do fato que |1 + i| = |1 i|, segue pelas propriedades denidoras de uma norma que (1 + i)u = |1 + i| u = a |1 i| u = (1 i)u .
Para provar que um produto escalar, resta-nos provar que uma forma sesquilinear. Como ter a propriedade e e Hermitiana (3.B.5), suciente provar que linear na segunda varivel. De fato, esse o unico ponto no-trivial da e e a e a demonstraao do Teorema 3.3 e o unico em que a identidade do paralelogramo usada. O leitor ver que a demonstraao c e a c de que linear na segunda varivel engenhosa, sendo feita, sucessivamente, primeiro para n meros inteiros, depois e a e u para racionais, depois para n meros reais e, por m, para nmeros complexos. u u Denindo-se, para u, v V , podemos escrever, por (3.B.4), (u, v) := Segue facilmente da deniao (3.B.7) que c f (u, v) f (u, v) = f (v, u) , = f (u, v) , (3.B.9) (3.B.10) (3.B.11) f (u, v) := u+v
2
Assim, estabelecemos que para todo u V vale (u, u) = u 2, o que implica, pelas propriedades denidoras de uma norma, que (u, u) 0, sendo que (u, u) = 0 se e somente se u = 0.
uv
(3.B.7) (3.B.8)
1 f (u, v) if (u, iv) . 4
f (u, 0) = 0 .
A seguinte proposiao fundamental para a prova de que uma forma sesquilinear e em sua demonstraao feito uso c e e c e da identidade do paralelogramo. Proposio 3.8 Para todos u, v e w V vale ca f (u, v + w) = f (u, v) + f (u, w) . Por (3.B.9), segue que f (u + v, w) = f (u, w) + f (v, w), tambm para todos u, v e w V . e Prova. Precisamos apenas provar (3.B.12), o que feito com uso da identidade do paralelogramo (3.B.3). Por (3.B.3) e com a = u + v e b = w, v-se que e u+v+w
2
(3.B.12)
= 2 u+v
+2 w
u+vw
Trocando-se v v e w w, segue disso que uvw Logo, como f (u, v + w) = u + v + w

2 2
= 2 uv
2
+2 w
uv+w
2
u v w 2 , segue que 2 uv
2
f (u, v + w) = 2 u + v Assim, provamos que
+ uv+w
u+vw
. (3.B.13)
f (u, v + w) = 2f (u, v) + f (u, w v) . Trocando v w, isso ca f (u, v + w) = 2f (u, w) + f (u, v w) e, por (3.B.10), conclu mos que vale tambm e f (u, v + w) = 2f (u, w) f (u, w v) . Somando (3.B.13) e (3.B.14), obtemos f (u, v + w) = f (u, v) + f (u, w), que o que quer e amos.
(3.B.14)
Cap tulo 3
176/1628
Tomando v = w, (3.B.12) implica que f (u, 2v) = 2f (u, v). Vamos assumir que para algum n N, valha f (u, nv) = nf (u, v). Isso verdadeiro para n = 0 (por (3.B.11)) e n = 1 (trivialmente) e vale tambm, como vimos, para n = 2. e e Ento, a f (u, (n + 1)v) = f (u, v + nv)
(3.B.12)
f (u, v) + f (u, nv)
hiptese o
f (u, v) + nf (u, v) = (n + 1)f (u, v) . (3.B.15)
Com isso, provamos por induao que c f (u, nv) = nf (u, v) para todo n N e todos u, v V . Substituindo v por f u,
1 n v,
isso est tambm dizendo que a e = 1 f (u, v) , n 1 v q p f (u, v) . q (3.B.16)
1 v n
tambm para todo n N, e todos u, v V . Assim, se p e q so inteiros positivos q = 0, vale e a f u, p v q

(3.B.15)
pf
u,
(3.B.16)
Por (3.B.10) e por (3.B.11), segue disso que f (u, rv) = rf (u, v) para todo r Q e todos u, v V . (3.B.17)
Seja x R e seja rk , k N, uma seqncia de n meros racionais tal que lim rk = x. Ento, usando a desigualdade ue u a
k
(3.16), pgina 155, com a = (rk x)v e b = u xv, tem-se que a como lim |rk x| = 0, segue que lim
k k
u + rk v u + xv
k
(rk x)v = |rk x| v e

k
u + rk v u + xv
= 0, ou seja, lim u + rk v = u + xv = u + lim rk v . u, lim rk v

k
Isso implica imediatamente que

k
lim f (u, rk v) = f
(3.B.18) (3.B.19)
e, portanto, provamos que f (u, xv) = xf (u, v) , para todo x R e todos u, v V , pois f (u, xv) = f u, lim rk v
k (3.B.18) (3.B.17)
lim f (u, rk v)
lim rk f (u, v) = xf (u, v) .
Sejam agora x, y R. Tem-se, pelo exposto acima, f (u, (x + iy)v) = f (u, xv + iyv) Por (3.B.8), segue que (u, (x + iy)v) =
(3.B.20) (3.B.12)
f (u, xv) + f (u, iyv)
(3.B.19)
xf (u, v) + yf (u, iv) .
(3.B.20)
1 f (u, (x + iy)v) if (u, (x + iy)iv) 4 1 4 1 4 x xf (u, v) + yf (u, iv) i xf (u, iv) + yf (u, v) xf (u, v) + yf (u, iv) i xf (u, iv) yf (u, v) 1 1 f (u, v) if (u, iv) + iy f (u, v) if (u, iv) 4 4
(3.B.10)
= =
(x + iy)(u, v) .
Com isso, provamos que para todo z C e todos u, v V vale (u, zv) = z(u, v). Pela propriedade Hermitiana (3.B.5), segue tambm que (zu, v) = z(u, v). Isso estabeleceu que uma forma sesquilinear, completando a prova e e do Teorema 3.3.

CAP 03 - Formas Lineares e Normas em Espaços Vetoriais

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

CAP 03 - Formas Lineares e Normas em Espaços Vetoriais

Uploaded by

Copyright:

Available Formats

Cap tulo 3 Formas Lineares e Normas em Espaos Vetoriais c

3.2 3.3 3.4 3.5 3.A 3.B

Formas Lineares, Sesquilineares e Produtos Escalares em Espaos Vetoriais c

chamada n-forma linear ou simplesmente n-forma.

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

x, y Outro exemplo A (x, y) = x, Ay e

onde A uma matriz n n real qualquer. e

Formas bilineares simtricas e anti-simtricas e e

Formas bilineares no-degeneradas a

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

para todos os vetores u, v V e tal que se (u, v) = 0 para todo v, ento u = 0. a

Algumas propriedades bsicas de formas lineares alternantes a

grego symplektiks: que serve para ligar, tranado, enlaado. o c c

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

E. 3.6 Exerccio. Prove isso. Formas alternantes maximais

para todo i = 1, . . . , n. Assim,

1j1 njn 1 (bj1 , . . . , bjn )

1j1 njn 2 (bj1 , . . . , bjn ) .

1j(1) nj(n) 2 (bj(1) , . . . , bj(n) ) ,

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

1j(1) nj(n) sinal(j) 2 (b1 , . . . , bn ) .

1j(1) nj(n) sinal(j) ,

Sejam a1 , . . . , an vetores, representados na base cannica por vetores-coluna o i1 . ai = . . . in

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

para algum conjunto de

1j(1) nj(n) sinal(j) .

Formas Multilineares em Dimenso Finita e Produtos Tensoriais a

(uk )a ea para todo k = 1, . . . , n, temos

(u1 )a1 (un )an (ea1 , . . . , ean ) .

Assim, denindo : Mn (U ) (U )n e (U n ) por

teremos, como facilmente se constata, () u1 un = u1 , . . . , un .

a1 , ..., an (u1 )a1 (un )an .

Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski

Formas sesquilineares. Denioes c

Wilhelm von Leibniz (1646-1716). radical grego sesqui: um e meio.

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Escrevendo-se explicitamente o lado esquerdo temos a desigualdade

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Produtos internos ou produtos escalares

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Notaoes para produtos escalares c

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Formas sesquilineares positivas e produtos escalares

(u, v) = u, v onde u = (u1 , . . . , un ) e v = (v1 , . . . , vn ).

onde u = (u1 , . . . , un ), v = (v1 , . . . , vn ) e onde A uma matriz n n inversvel. e

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

para funoes f e g de V dene um produto escalar em V (justique!). c

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Normas em Espaos Vetoriais c

Uma semi-norma uma funao V R usualmente denotada por e c