Espacos Vetoriais
Conte
udo
2.1
2.2
Espa
cos Vetoriais
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
2.1.1
2.1.2
2.1.3
. . . . . . . . . . . . . . . . . . . . 109
2.2.2
2.2.3
2.2.4
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
2.3
Normas em Espa
cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . 130
2.4
2.5
2.A Equival
encia de Normas em Espa
cos Vetorias de Dimens
ao Finita . . . . 152
2.B Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . 154
nocao de espaco vetorial que introduzimos na Secao 1.2.3, pagina 60, e da maior importancia
na Fsica e na Matematica. Neste captulo vamos estuda-la com mais detalhe. Particular
atencao sera dada `as nocoes de forma multilinear, forma sesquilinear, produto escalar e norma
em espacos vetoriais. As importantes desigualdades de Cauchy-Schwarz e de Minkowski
serao demonstradas com bastante generalidade. Este captulo trata quase exclusivamente de aspectos
algebricos de espacos vetoriais, pondo de lado aspectos topologicos, os quais serao discutidos em
captulos futuros.
2.1
2.1.1
Espa
cos Vetoriais
Sub-Espacos e Espacos Quocientes
Sub-espacos
102
Vers
ao de 12 de julho de 2006.
Captulo 2
103/1490
2.1.2
Vers
ao de 12 de julho de 2006.
Captulo 2
104/1490
Bases Alg
ebricas de um Espaco Vetorial
Depend
encia linear
Um conjunto finito u1 , . . . , un V de vetores e dito ser linearmente dependente se existir um
conjunto de escalares 1 , . . . , n V , nem todos nulos, tais que
1 u1 + + n un = 0.
Um conjunto arbitrario de vetores e dito ser linearmente independente se nao possuir nenhum subconjunto finito que seja linearmente dependente.
Combinac
oes lineares
Para um conjunto finito de vetores {u1 , . . . , un } V e de escalares {1 , . . . , n } K, uma
expressao como
1 u1 + + n un
Seja C V um conjunto de vetores. A varredura linear (linear span) de C, denotado por span (C)
e o conjunto de todos os vetores de V que podem ser escritos como uma combinacao linear finita de
elementos de C.
Bases alg
ebricas em espacos vetoriais
Aqui I designa um conjunto arbitrario nao-vazio de ndices.
Uma base algebrica1 em um espaco vetorial V e um conjunto B = {bi , i I} de vetores linearmente
independentes tais que span (B) = V e tais que qualquer vetor u de V pode ser escrito de modo u
nico
como uma combinacao linear finita de elementos de B.
Se B e uma base algebrica, entao para cada u V existem univocamente definidos 1 , . . . , n K
e i1 , . . . , in I tais que:
u = 1 bi1 + + n bin .
Os seguintes teoremas podem ser demonstrados com uso do Lema de Zorn (omitiremos as demonstracoes aqui. Vide, por exemplo, [65]).
Teorema 2.1 Todo espaco vetorial V possui uma base algebrica, exceto o espaco vetorial trivial V =
{0}.
Teorema 2.2 Dado um espaco vetorial V (nao-trivial), todas as bases algebricas em V tem a mesma
cardinalidade.
1
Vers
ao de 12 de julho de 2006.
Captulo 2
105/1490
Dimens
ao alg
ebrica
Um espaco vetorial e dito ser de dimensao algebrica finita se possuir uma base algebrica finita. Se
um espaco vetorial V tem dimensao algebrica finita, sua dimensao algebrica, ou simplesmente dimens
ao
e definida como sendo o n
umero de elementos de sua base.
Nem todo espaco vetorial tem uma base algebrica finita (vide exemplos abaixo). De modo geral,
se um espaco vetorial possui uma base algebrica, sua dimensao algebrica e definida como sendo a
cardinalidade de suas bases algebricas (pelo Teorema 2.2 acima sao todas iguais).
Exemplo 1. V = Cn sobre o corpo dos complexos ou V = Rn sobre o corpo dos reais. Tais sao bem
conhecidos exemplos-prototipo de espacos vetoriais de dimensao finita (= n).
P,
Seja P = conjunto de todos os polinomios de uma variavel real com coeficientes complexos: Pn (t)
Pn (t) = an tn + + a1 t + a0
Exemplo 2. V = P sobre o corpo dos complexos. Este e claramente um espaco vetorial de dimensao
infinita. V possui uma base algebrica, a saber, o conjunto de todos os polinomios da forma bn = tn ,
n = 0, 1, 2, . . ..
Exemplo 3. V = R sobre o corpo dos reais. O conjunto dos reais sobre o corpo dos reais e tambem
um espaco vetorial de dimensao 1, a saber, uma possvel base e formada pelo elemento 1: B = {1}, ja
que, obviamente, qualquer elemento x R pode ser escrito como x = x 1, com x no corpo dos reais.
Esse exemplo pode parecer banal, e de fato o e, mas leva a um anti-exemplo curioso que mostra
que a dimensao algebrica de um espaco vetorial e tambem fortemente dependente do corpo de escalares
utilizado.
Exemplo 4. V = R sobre o corpo dos racionais.
Vers
ao de 12 de julho de 2006.
Captulo 2
106/1490
Prova. A demonstracao e feita por absurdo. Suponhamos que haja uma base B = {b1 , . . . , bk } em V
com k < n. Entao podemos escrever
v1 = 1 b1 + + k bk .
pois B e uma base. Nem todos os i podem ser nulos. Supondo que k seja um elemento nao-nulo,
podemos escrever
bk = (k )1 (v1 1 b1 k1 bk1 )
(2.1)
Analogamente, temos que
v2 = 1 b1 + + k bk
e, usando (2.1), podemos escrever
v2 = 1 b1 + + k1bk1 + 1 v1 .
Os i nao podem ser todos nulos, pois de outra forma teramos v2 = 1 v1 , contrariando a hipotese
de os vi s serem linearmente independentes. Suponhamos que k1 seja o elemento nao-nulo, podemos
escrever bk1 como uma combinacao linear envolvendo {b1 , . . . , bk2 } e os vetores v1 e v2 . Prosseguindo,
concluiremos apos k passos que
vk+1 = 1 v1 + + k vk ,
contrariando a hipotese de que os vi s sao linearmente independentes.
Automorfismos descontnuos do grupo (R, +)
Nota para os estudantes mais avancados.
Neste topico usaremos as bases de Hamel da reta real para ilustrar uma patologia cuja existencia
e por vezes mencionada na teoria de grupos, a saber, a existencia de automorfismos descontnuos do
grupo (R, +).
Considere-se a equacao f (x + y) = f (x) + f (y) para todo x, y R. Podemos nos perguntar:
bastante claro que funcoes do tipo f (x) = cx, com
que funcoes f : R R podem satisfaze-la? E
c constante real, satisfazem f (x + y) = f (x) + f (y) para todo x, y R. Fora isso, f (x) = cx sao
contnuas e sao bijecoes de R em R (a menos que c = 0).
Serao essas as u
nicas funcoes com a propriedade f (x + y) = f (x) + f (y) para todo x, y R? Sera
que ha outras funcoes com essa propriedade e que nao sejam contnuas? Sera que ha outras funcoes com
essa propriedade, nao-contnuas, e que tambem sejam bijecoes de R em R? A resposta a essa u
ltima
pergunta e muito curiosa e conduz a uma classe de funcoes cuja existencia ilustra algumas dificuldades
encontradas na teoria de grupos.
Provemos em primeiro lugar a seguinte afirmacao:
Vers
ao de 12 de julho de 2006.
Captulo 2
107/1490
Proposic
ao 2.1 Se f : R R satisfizer f (x + y) = f (x) + f (y) para todo x, y R e f for contnua
em toda reta real R, entao f e da forma f (x) = cx para algum c, constante real.
Historicamente esse pequeno resultado e devido a Cauchy2 .
claro
Prova. Seja f contnua satisfazendo f (x + y) = f (x) + f (y) para todo x, y R e f : R R. E
que, tomando x = y = 0 tem-se f (0) = f (0 + 0) = 2f (0) e, portanto f (0) = 0. Segue facilmente da
que 0 = f (0) = f (x + (x)) = f (x) + f (x) e, portanto f (x) = f (x) para todo x R.
Seja agora p inteiro positivo e x real, ambos arbitrarios. Teremos que f (px) = f ((p 1)x + x) =
f ((p 1)x) + f (x) = f ((p 2)x) + 2f (x) etc. Repetindo p vezes esse proceder, conclumos que
f (px) = pf (x). Como f (x) = f (x), essa relacao vale para p negativo tambem. Seja agora q
inteiro, nao-nulo. Entao, pelo que acabamos de provar, f (1) = f (q/q) = qf (1/q) e conclumos que
f (1/q) = f (1)/q. Se entao tivermos um n
umero racional r da forma r = p/q, com p inteiro e q inteiro
nao-nulo, teremos que f (r) = f (p/q) = pf (1/q) = (p/q)f (1) = rf (1). Finalizamos a prova evocando
a continuidade de f e o fato que todo x real pode ser aproximado por um n
umero racional: seja
x R e rn , n N, uma seq
uencia de n
umeros racionais que coverge a x, i.e., x = limn rn . Entao
f (x) = f (limn rn ) = limn f (rn ) = (limn rn ) f (1) = xf (1). Na segunda igualdade usamos a
hipotese (crucial!) que f e contnua em toda parte. Denotando f (1) = c a afirmacao esta provada.
Com esse resultado em maos podemos nos perguntar: havera funcoes nao-contnuas que satisfazem
f (x + y) = f (x) + f (y)? Talvez surpreendentemente, a resposta e positiva. Nao so ha funcoes nao
contnuas com essa propriedade, mas ha dentre elas funcoes bijetoras de R em R. Funcoes com tais
caractersticas um tanto patologicas podem ser construdas com o uso das assim chamadas bases de
Hamel da reta real. Detalhemos.
Seja o espaco vetorial V dos n
umeros reais sob o corpo dos racionais. Como consideramos paginas
acima, esse espaco vetorial tem dimensao algebrica infinita, mas existe uma base H R de V , naocontavel, denominada base de Hamel, tal que todo elemento x de R pode ser escrito como combinacao
linear finita (
unica!) por racionais de elementos de H, ou seja, para todo x R existe um n (que
depende de x), racionais r1 , . . . , rn (que dependem de x) e elementos h1 , . . . , hn de H (que tambem
dependem de x) tais que x pode ser escrita (de forma u
nica!) como x = r1 h1 + + rn hn . Denominaremos essa expressao a decomposicao de x em H.
hm .
decomposicoes em H, entao a decomposicao de x + y e r1 h1 + + rn hn + r1 h1 + + rm
Vamos definir uma funcao f : R R, da seguinte forma. Primeiramente fixamos seus valores
nos elementos de H tomando, para cada h H, f (h) := fh R, onde os n
umeros fh sao escolhidos
arbitrariamente. Em segundo lugar, para qualquer x R, e cuja decomposicao em H seja x =
r1 h1 + + rn hn , definimos f (x) := r1 f (h1 ) + + rn f (hn ) = r1 fh1 + + rn fhn . Assim, se x e y sao
n
umeros reais e x = r1 h1 + + rn hn e y = r1 h1 + + rm
hm sao suas decomposicoes em H, teremos
O leitor pode convencer-se que ha, para cada base de Hamel H, infinitas funcoes desse tipo (devido
`a arbitrariedade da escolha dos fh s) e que todas sao descontnuas, exceto se escolhermos fh = ch para
todo h H, com uma constante c fixa.
2
Vers
ao de 12 de julho de 2006.
Captulo 2
108/1490
x =
rj hj =
j=1
s(j) g(j) =
j=1
sj g j = y
j=1
e, portanto, f : R R e bijetora.
Assim, por exemplo, se A e uma matriz real n n antisimetrica, entao O(t) = exp(tA), t R e um
subgrupo uniparametrico contnuo de SO(n), pois O(0) = e O(t)O(t ) = O(t+t ) para todos t, t R,
sendo os elementos de matriz de O(t) funcoes contnuas de t. Se agora definirmos P (t) = exp(f (t)A),
t R, para uma funcao f : R R, patologica como acima (ou seja, satisfazendo f (x+y) = f (x)+f (y)
para todo x, y R, bijetora mas descontnua), ainda teremos P (0) = e P (t)P (t ) = P (t + t ) para
todos t, t R, mas os elementos de matriz de P (t) nao sao funcoes contnuas de t.
Bases topol
ogicas em espacos vetoriais
Nota para os estudantes mais avancados.
O conceito de base algebrica nao deve ser confundido com o de base topologica, conceito esse pertencente ao contexto dos espacos vetoriais topologicos:
Uma base topologica em um espaco vetorial topologico V e um conjunto B = {bi , i I} de vetores
linearmente independentes tais que span (B) e um conjunto denso em V , ou seja, o fecho de span (B)
e V .
Uma base topologica e dita ser base topologica completa se nao possuir nenhum subconjunto proprio
que tambem seja uma base topologica.
3
Vers
ao de 12 de julho de 2006.
Captulo 2
109/1490
A dimensao topologica de um espaco vetorial e entao definida como sendo a cardinalidade das bases
topologicas completas de V .
Para ilustrar como os conceitos de base algebrica e base topologica sao diferentes, consideremos
novamente o seguinte Exemplo 4 acima:
Exemplo 5. V = R sobre o corpo dos racionais, com a topologia usual sobre R, tem uma base
topologica completa de dimensao finita: B = {1}. De fato, o conjunto {r 1, r Q} e denso em R.
Esse espaco vetorial possui entao uma dimensao topologica igual a um.
Definic
ao. Um espaco vetorial topologico sobre o corpo dos reais ou dos complexos e dito ser separavel
se possuir uma base topologica contavel.
2.1.3
O Dual Alg
ebrico de um Espaco Vetorial
Seja V um espaco vetorial sobre um corpo K (por exemplo, o corpo C). Uma aplicacao l : V K,
definida sobre todo V , e dita ser um funcional linear se
l(x + y) = l(x) + l(y)
para todo x, y V e todo , K.
E. 2.7 Exerccio. Mostre que, de acordo com a definicao acima, vale para qualquer funcional linear l que
l(0) = 0.
O conjunto de todos os funcionais lineares de V em K e denominado espaco dual algebrico de V e
denotado V . O conjunto V e feito um espaco vetorial (sobre K), atraves da seguinte relacao:
(l + m)(x) := l(x) + m(x),
para todo l e m V ; , K e todo x V . O vetor nulo de V e o funcional linear que associa
trivialmente todo vetor de V a zero: l(x) = 0, x V .
O seguinte teorema e verdadeiro e sera implicitamente usado varias vezes no que segue. Sua demonstracao e, como veremos, elementar mas instrutiva.
Teorema 2.4 Seja um espaco vetorial V sobre um corpo K. Se um vetor v tem a propriedade que
l(v) = 0 para todo l V entao v = 0.
Prova. Seja B uma base algebrica em V . Para cada elemento b B podemos associar um funcional
linear lb , definido da seguinte forma. Como todo w V pode ser escrito como uma combinacao linear
finita de elementos de B, podemos sempre escrever
w = wb b + w ,
claro que wb = 0 caso b
onde w e uma combinacao linear finita de elementos de B \ {b} e wb K. (E
nao compareca na decomposicao de w em uma soma finita de elementos de B).
Vers
ao de 12 de julho de 2006.
Captulo 2
110/1490
Definimos entao
lb (w) = wb ,
um exerccio simples mostrar que, para cada b B, a aplicacao lb : V K
para todo vetor w V . E
dada acima e um funcional linear.
E. 2.8 Exerccio. Mostre isso.
Seja entao v um vetor como no enunciado do teorema. Se l(v) = 0 para todo l V , vale obviamente que lb (v) = 0 para todo b B. Isso, porem, trivialmente implica que v = 0, completando a
demonstracao.
uente, e graficamente conveniente, usar-se a notacao l, x
Notacao. Para x V e l V e muito freq
em lugar de l(x).
Se A e B sao espacos vetoriais e A B entao B A .
E. 2.9 Exerccio. Justifique essa ultima afirmativa.
O dual topol
ogico de um espaco vetorial
Seja V um espaco vetorial topologico. O conjunto de todos os funcionais lineares contnuos sobre
V e dito ser o dual topologico de V . O dual topologico sera denotado neste texto por V . Note-se que
V V .
Exemplos de funcionais lineares
Exemplo 1. Seja V = Cn , sobre o corpo dos complexos. Seja a1 , . . . , an um conjunto fixo de
n
umeros complexos. Para qualquer vetor z = (z1 , . . . , zn ) Cn defina-se
l(z) = a1 z1 + + an zn .
Entao l e um funcional linear em Cn .
E. 2.10 Exerccio. Verifique.
Em verdade, e possvel demonstrar a recproca: em Cn todo funcional linear e da forma acima
para algum conjunto {a1 , . . . , an }. Essa afirmativa e um caso particular de um teorema importante
conhecido como Lema de Riesz, que sera demonstrado no contexto mais geral dos chamados espacos
de Hilbert, dos quais Cn e um exemplo.
Seja P o conjunto de todos os polinomios de uma variavel real com coeficientes complexos: Pn (t) P,
Pn (t) = an tn + + a1 t + a0
Vers
ao de 12 de julho de 2006.
Captulo 2
111/1490
e um funcional linear em P.
E. 2.11 Exerccio. Verifique.
Esse exemplo pode ser generalizado:
Exemplo 3. Sejam t1 , . . . , tn R, distintos, e a1 , . . . , an n
umeros complexos. Para todo p P,
definamos
l(p) = a1 p(t1 ) + + an p(tn ) .
Entao l e um funcional linear em P.
E. 2.12 Exerccio. Verifique.
Ou
ltimo exemplo pode ser fortemente generalizado nos dois exemplos que seguem.
Exemplo 3. Seja (a, b) um intervalo finito de R e h uma funcao complexa integravel nesse intervalo
b
(ou seja, a |h(t)|dt ). Entao,
b
h(t) p(t) dt
l(p) =
a
l(p) =
g(t) p(t) dt .
Vers
ao de 12 de julho de 2006.
Captulo 2
112/1490
I(f ) e um funcional linear pois, se escrevemos y = n+1 bin+1 + + n+m bin+m , teremos
I(f )(x + y) = 1 f (bi1 ) + + n+m f (bin+m )
= 1 f (bi1 ) + + n f (bin ) + n+1 f (bin+1 ) + + n+m f (bin+m )
= I(f )(x) + I(f )(y) .
(2.2)
Isso entao mostrou que I(f ) e de fato um elemento de V para cada f FB . Vamos mostrar o reverso:
que a cada elemento l de V ha um elemento gl de FB associado e que I(gl ) = l. Seja novamente
x = 1 bi1 + + n bin V e seja l um elemento de V . Tem-se
l(x) = 1 l(bi1 ) + + n l(bin ) .
Definimos entao gl : B K por
gl (b) = l(b)
(2.3)
A aplicacao I : FB V e, portanto, uma bijecao entre esses dois conjuntos. Notemos, porem, que
essa bijecao nao e canonica no sentido que a mesma depende da base adotada. Se trocarmos B por
outra base a bijecao altera-se.
De posse desses fatos podemos entender a relacao entre V e V da seguinte forma. Seja o subconjunto
GB de FB formado por todas as funcoes que assumem valores nao-nulos (no corpo K) apenas para um
conjunto finito de B, ou seja, para g GB existe um conjunto finito Bg = {b1 , . . . , bn } B tal que g
e nao-nula nos elementos de Bg , mas e nula em B \ Bg .
Os conjuntos GB e V podem ser identificados no seguinte sentido. Afirmamos que existe uma bijecao
J : GB V . Tal e facil de ver se lembrarmos que os elementos de V podem ser escritos como uma
combinacao linear finita de elementos de B. De fato, para g GB definimos
J(g) = g(b1 )b1 + + g(bn )bn V
onde {b1 , . . . , bn } = Bg . Reciprocamente, se x V e x = 1 bi1 + + n bin , definimos gx GB por
gx (bia ) = a ,
a = 1, . . . , n
e
gx (b) = 0 ,
facil ver entao que
se b {bi1 , . . . , bin }. E
J(gx ) = g(bi1 )bi1 + + g(bin )bin = 1 bi1 + + n bin = x ,
(2.4)
o que mostra que J e bijetora. Notemos novamente que essa bijecao tambem nao e canonica, no sentido
que a mesma depende da base adotada. Se trocarmos B por outra base a bijecao altera-se.
Vers
ao de 12 de julho de 2006.
Captulo 2
113/1490
Ao contrario do que ocorre na relacao entre V e V , podemos sempre encontrar uma aplicacao
linear injetiva de V em (V ) que e natural: independente de base. Vamos denota-la por . Definimos
: V (V ) da seguinte forma: para x V , (x) e o elemento de (V ) que associa a cada l V o
valor l(x):
(x)(l) = l(x) .
Vers
ao de 12 de julho de 2006.
Captulo 2
114/1490
(1 b1 + + n bn ) = 0
(w)(l) = l(w) = 0 ,
onde w = 1 b1 + + 1 bn . Isso, porem, implica w = 0 (pelo Teorema 2.4, pagina 109), o que implica
1 = = n = 0.
Vers
ao de 12 de julho de 2006.
Captulo 2
115/1490
Caso de dimensao infinita. No caso de dimensao infinita desejamos mostrar que sempre ha elementos
em (V ) que nao sao da forma (x) para algum x V .
Abaixo K e o corpo dos reais ou dos complexos.
Vamos primeiro delinear a estrategia a ser seguida. Seja B uma base em V (fixa daqui por diante).
Como sabemos, existe uma aplicacao linear bijetora : FB V . Uma funcao s : B K, s FB
e dita ser limitada se existir um M > 0 tal que |s(b)| < M para todo b B. Seja LB o conjunto de
claro que LB FB . Vamos mostrar o seguinte: nao existe
todas as funcoes limitadas de B em K. E
nenhum vetor nao-nulo v V com a propriedade que
(v)() = 0 ,
para todo (LB ). Seja v = 1 b1 + + m bm um tal vetor para o qual (v)() = 0. Isso significa
que para todo (LB )
0 = (v)() = (v) = 1 (b1 ) + + m (bm ) .
Tomemos funcionais i s da forma
i (b) =
1, se b = bi
0, de outra forma
para i = 1, . . . , m. Como todo i e um elemento de (LB ) (por que?), teramos 0 = i (v) = i para
todo i, o que implica v = 0.
Vers
ao de 12 de julho de 2006.
Captulo 2
116/1490
A conclusao e que nenhum elemento de (V ) que seja da forma (v) para algum v V nao-nulo
pode anular todos os elementos de (LB ) V . A estrategia que seguiremos sera a de exibir um
elemento de (V ) que tem precisamente a propriedade de anular todos os elementos de (LB ). Um tal
elemento nao pode pertencer, portanto, a (V ), o que mostra que (V ) e um subconjunto proprio de
(V ) no caso de dimensao infinita.
Seja u V \ (LB ) e U o sub-espaco de V gerado por u. Todo elemento l V pode ser escrito
de modo u
nico na forma
l = au + y ,
claro que (V )
onde a K e y pertence ao sub-espaco complementar de U. Definamos (l) = a. E
e que aniquila todo elemento de (LB ), pois estes pertencem ao sub-espaco complementar de U (por
que?). Assim, (V ) mas (V ).
2.2
2.2.1
Vers
ao de 12 de julho de 2006.
Captulo 2
117/1490
E. 2.21 Exerccio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares em um
espaco vetorial V sobre um corpo K forma um espaco vetorial sobre K.
Formas bilineares
De particular interesse e o caso n = 2, em cujo caso as formas sao denominadas formas bilineares:
uma forma bilinear e uma funcao : V 2 K que seja linear em cada um dos seus dois argumentos,
ou seja, para todo , K, todos u, v, w V , valem
(u, (v + w)) = (u, v) + (u, w) ,
((u + v), w) = (u, w) + (v, w) .
Um exemplo basico importante e o seguinte. Seja V = Rn o espaco vetorial (sobre o corpo dos
reais) formado por n-uplas de n
umeros reais: V = {x = (x1 , . . . , xn ), xi R}. Uma forma bilinear
em V e dada por
n
x, y
xk yk .
(2.6)
k=1
Outro exemplo e
A (x, y) = x, Ay
(2.7)
Vers
ao de 12 de julho de 2006.
Captulo 2
118/1490
Deve ser bem claro que essa definicao equivale `a seguinte afirmacao: se e uma n-forma linear
alternante, entao para todo Sn , o grupo de permutacoes de n elementos, vale
v(1) , . . . , v(n)
= (sinal) (v1 , . . . , vn ) ,
(2.8)
para todos os vetores v1 , . . . , vn V , onde sinal e o sinal da permutacao (definido `a pagina 771).
E. 2.22 Exerccio. Esta claro?
Nomenclatura. Se e n-forma linear alternante, n e dito ser o grau de .
O conjunto de todas as n-formas lineares alternantes em um espaco vetorial V sobre um corpo K e
igualmente um espaco vetorial sobre K: para duas n-formas lineares alternantes 1 e 2 e dois escalares
1 , 2 K define-se a combinacao 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 ) .
facil constatar que a n-forma linear assim definida e tambem alternante.
E
E. 2.23 Exerccio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares alternantes
em um espaco vetorial V sobre um corpo K forma um espaco vetorial sobre K.
Formas simpl
eticas
Formas bilineares alternantes nao-degeneradas sao denominadas formas simpleticas5. Formas simpleticas sao importantes em algumas areas da Fsica, como por exemplo na mecanica classica e no
estudo de metodos de quantizacao.
Assim, uma forma simpletica em um espaco vetorial V sobre um corpo K e uma forma bilinear
para a qual
(u, v) = (v, u)
para todos os vetores u, v V e tal que se (u, v) = 0 para todo v, entao u = 0.
Um exemplo basico importante no caso do espaco vetorial V = Rn e que, como veremos na Secao
2.4, e o caso geral e o seguinte:
A (x, y) = x, Ay R ,
onde A e uma matriz n n real anti-simetrica, ou seja, que satisfaz AT = A, o que equivale a dizer
que seus elementos de matriz satisfazem Aij = Aji . Fora isso, pela condicao de nao-degenerescencia
A tem que ser invertvel, pois se x, Ay R = 0 para todo y, entao AT x, y R = 0 para todo y, o
que so e possvel se AT x = 0. Isso implicaria que det(A) = det(AT ) = 0. Uma conseq
uencia do
T
fato de A ter de ser invertvel e que n tem que ser par. De fato, a condicao A = A diz que
det(A) = det(AT ) = (1)n det(AT ) = (1)n det(A). Portanto, se n e mpar teramos det(A) = 0.
Algumas propriedades b
asicas de formas lineares alternantes
5
Do grego symplektik
os: que serve para ligar, trancado, enlacado.
Vers
ao de 12 de julho de 2006.
Captulo 2
119/1490
evidente pela definicao que se e uma n-forma alternante entao (v1 , . . . , vn ) = 0 caso haja
E
vi = vj para algum par i = j. Em particular, para formas simpleticas (u, u) = 0 para todo u V .
E. 2.24 Exerccio. A propriedade mencionada no ultimo paragrafo e equivalente `a definicao de forma
linear alternante: se e uma n-forma linear e (v1 , . . . , vn ) = 0 sempre que vi = vj para algum par i = j,
entao e alternante. Prove isso. Sugestao: para i = j defina a forma bilinear ij (vi , vj ) := (v1 , . . . , vn )
onde todos os vetores v1 , . . . , vn estao fixos 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 afirmacao principal segue disso (por que?).
A seguinte proposicao sobre formas lineares alternantes e importante:
Proposic
ao 2.2 Se e uma n-forma linear alternante e v1 , . . . , vn sao vetores linearmente dependentes,
ent
ao
(v1 , . . . , vn ) = 0 .
ij bj ,
xi =
j=1
1 (x1 , . . . , xn ) =
j1 =1
jn =1
e, analogamente,
n
2 (x1 , . . . , xn ) =
j1 =1
jn =1
Vers
ao de 12 de julho de 2006.
Captulo 2
120/1490
Ocorre que 1 (bj1 , . . . , bjn ) e zero caso ocorram dois ndices jk iguais. Por isso, podemos reescrever
as expressoes acima da seguinte forma:
1 (x1 , . . . , xn ) =
jSn
e, analogamente,
2 (x1 , . . . , xn ) =
jSn
e, analogamente,
2 (x1 , . . . , xn ) =
jSn
Como se ve nessas u
ltimas expressoes, 1 (x1 , . . . , xn ) e 2 (x1 , . . . , xn ) diferem apenas pelos fatores
1 (b1 , . . . , bn ) e 2 (b1 , . . . , bn ), respectivamente. Como esses fatores sao apenas n
umeros (elementos
do corpo K), sao proporcionais um ao outro. Isso prova entao que 1 (x1 , . . . , xn ) e 2 (x1 , . . . , xn )
sao proporcionais um ao outro para toda n-upla x1 , . . . , xn e isso era o que queramos provar.
Com as observacoes acima chegamos ao importante conceito de forma determinante.
A forma determinante
Como observamos acima, todas as n-formas lineares alternantes maximais de um espaco vetorial
V de dimensao n sao proporcionais umas `as outras. Assim, o conhecimento de uma forma alternante
maximal determina todas as outras.
A forma determinante6 det em um espaco vetorial V de dimensao n e a n-forma linear alternante
maximal tal que det (b1 , . . . , bn ) = 1 no caso em que {b1 , . . . , bn } e a base canonica de V :
0
0
1
0
1
0
0
0
b1 = , b2 = , . . . , bn = ... .
..
..
0
.
.
1
0
0
6
Tambem chamada de forma volume, pois em R3 , det (x1 , x2 , x3 ) e igual ao volume do paraleleppedo descrito pelos
vetores x1 , x2 , x3 .
Vers
ao de 12 de julho de 2006.
Captulo 2
121/1490
Assim,
det (x1 , . . . , xn ) =
jSn
Denotamos por a1 , . . . , an
vetor-coluna xa , ou seja
11 n1
.. .
..
= ...
.
.
1n nn
evidente que toda matriz A Mat (C, n) pode ser escrita na forma A =
E
algum conjunto de vetores a1 , . . . , an que representam suas colunas.
a1 , . . . , an
para
(2.9)
ou seja,
det(A) =
jSn
(2.10)
Cremos que o conceito de determinante de matrizes e suas propriedades basicas sejam bem conhe
cidos do estudante que tenha uma formacao basica em Calculo e Algebra
Linear, mas as mesmas serao
(re)apresentadas e deduzidas na Secao 3.1, pagina 160. Vide, em particular, o Teorema 3.1, pagina
162.
2.2.2
Vers
ao de 12 de julho de 2006.
Captulo 2
122/1490
(u, u) 0 .
Abaixo (Teorema 2.6, pagina 123) provaremos que toda forma sesquilinear positiva e automaticamente Hermitiana. La provaremos tambem que se e uma forma sesquilinear positiva entao vale
que |(u, v)|2 (u, u) (v, v) para todos os vetores u e v. Essa desigualdade e conhecida como
Desigualdade de Cauchy-Schwarz.
Uma forma sesquilinear e dita ser uma forma sesquilinear nao-degenerada se satisfizer:
5. Nao-degenerescencia. Se um vetor u e tal que vale (u, v) = 0 para todo vetor v, entao u = 0.
Nomenclatura. Uma forma sesquilinear que nao e nao-degenerada e dita ser degenerada.
Formas sesquilineares n
ao-singulares
Seja V um espaco vetorial e uma forma sesquilinear em V . Para u V fixo a aplicacao lu (v) =
(u, v) e um funcional linear em V , ou seja, um elemento do espaco dual V . Se a aplicacao anti-linear
Vers
ao de 12 de julho de 2006.
Captulo 2
123/1490
(v, u) = + i ,
(2.12)
Definido `a p
agina 74.
Augustin Louis Cauchy (1789-1857).
10
Karl Herman Amandus Schwarz (1843-1921).
9
Captulo 2
Vers
ao de 12 de julho de 2006.
124/1490
Como f (x, y) tem que ser real (e 0) segue que a parte imaginaria da expressao acima deve ser nula
e, como (v, v) e (u, u) sao reais, devemos ter
0 = (x + y) + (x y) = x( + ) + y( ) .
Como isso deve valer para todos x, y R, segue que = e = . Comparando com (2.12), isso
diz que
(u, v) = (v, u),
provando que e Hermitiano.
Com as relacoes = e = a expressao (2.13) fica
f (x, y) = (x2 + y 2 )(v, v) + 2(x y) + (u, u) .
(2.14)
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 condicao f (x, y) 0 e possvel para todos x e y R
se e somente se = = 0, ou seja, se e somente se (u, v) = 0 para todo u. Aqui a desigualdade de
Cauchy-Schwarz (2.11) e trivialmente satisfeita, pois ambos os lados sao iguais a zero.
Passemos ao caso (v, v) = 0. Resta-nos provar a desigualdade de Cauchy-Schwarz (2.11) para
esse caso. Podemos reescrever o lado direito de (2.14) como
f (x, y) = (v, v)
x+
(v, v)
+ y
(v, v)
+ (u, u)
2 + 2
(v, v)
2 + 2
(v, v)
0,
ou seja, se e somente se
(u, u)(v, v) 2 + 2 .
Captulo 2
Vers
ao de 12 de julho de 2006.
125/1490
(2.15)
A demonstracao e simples:
(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)
=
que e o que se queria demonstrar. Acima, na passagem da primeira para a segunda linha usamos a
Hermiticidade de e na passagem da terceira para a quarta linha, usamos a desigualdade de CauchySchwarz, ambos esses fatos sendo conseq
uencia do Teorema 2.6, pagina 123.
2.2.3
Produtos Escalares
Prova. Se e um produto escalar, entao se u e tal que (u, v) = 0 para todo v, vale em particular
(tomando v = u) que (u, u) = 0 e, portanto, u = 0. Assim, todo o produto escalar e nao-degenerado.
Reciprocamente, pelo Teorema 2.6, pagina 123, se e uma forma sesquilinear positiva e nao-degenerada,
entao vale automaticamente que (u, u) = 0 se e somente se u = 0
Notac
oes para produtos escalares
11
Vers
ao de 12 de julho de 2006.
Captulo 2
126/1490
0, u = u, 0 = 0 .
Vers
ao de 12 de julho de 2006.
Captulo 2
127/1490
Advert
encia. Em livros de Matematica definicao de produto escalar e por vezes apresentada de forma
que se tenha linearidade na primeira variavel e anti-linearidade na segunda variavel. A convencao que
adotamos e oposta e e seguida, felizmente, por 100% dos textos de Fsica.
Formas sesquilineares positivas e produtos escalares
Se V e um espaco vetorial dotado de uma forma sesquilinear positiva , existe uma maneira canonica
de construir a partir de V e um outro espaco vetorial dotado de um produto escalar.
Seja uma forma sesquilinear positiva em um espaco vetorial V . Entao, existe um espaco vetorial
V , um produto escalar
e uma aplicacao linear sobrejetora E : V V tais que
2.2.4
Vers
ao de 12 de julho de 2006.
Captulo 2
128/1490
Exemplos
(u, v) = u, v
uk vk ,
:=
(2.16)
k=1
Exemplo 2.3 Exemplo de uma forma sesquilinear Hermitiana que nao e positiva. Seja V = Cn e seja
dado por
n
(u, v) = u, Av
uk Akl vl ,
=
k, l=1
onde A e uma matriz n n auto-adjunta, ou seja, seus elementos de matriz satisfazem Akl = Alk .
A assim definida e uma forma sesquilinear Hermitiana, mas em geral pode nao ser positiva. Um
0 i
. Entao, e facil ver que (u, u) =
caso concreto e o seguinte. Tomemos V = C2 e A =
i 0
u, Au C = i(u1 u2 u1 u2 ) = 2Im(u1 u2 ), que pode ser negativo ou mesmo nulo. Assim, essa nao e
facil ver, porem, que essa e nao-degenerada (mostre isso!).
positiva. E
Exemplo 2.4 Exemplo de uma forma sesquilinear que nao e Hermitiana. Seja V = Cn e seja dado
por
n
(u, v) = u, Av
uk Akl vl ,
k, l=1
onde A e uma matriz n n que nao e auto-adjunta, ou seja, Akl = Alk para pelo menos um elemento
de matriz Akl . A assim definida e uma forma sesquilinear, mas em geral pode nao ser Hermitiana.
0 1
. Entao, e facil ver que
Um caso concreto e o seguinte. Tomemos V = C2 e A =
0 0
(u, v) = u, Av
= u1 v2 ,
enquanto que (v, u) = v1 u2 . Logo, (u, v) e (v, u) podem ser distintos e nao e Hermitiana. Fora
isso, essa tambem nao e positiva e e degenerada (mostre isso!).
Exemplo 2.5 Exemplo de uma forma sesquilinear positiva mas que nao e um produto escalar. Seja
V = Cn e seja dado por
(u, v) = Au , Av C
Captulo 2
Vers
ao de 12 de julho de 2006.
129/1490
onde A e uma matriz n n nao-invertvel. Entao, existe u0 nao-nulo tal que Au0 = 0. Da, segue que
(u0 , v) = Au0 , Av C = 0 para todo v e, portanto, e degenerada e (u0, u0 ) = 0.
Um caso concreto e o seguinte. Tomemos V = C2 e A =
1 0
0 0
(por que?). Aqui temos que (u, v) = u1 v1 . Note que todo vetor da forma ub =
Aub = 0 e, portanto (ub, v) = 0 para todo v.
0
u2
e tal que
Na Secao 2.4, pagina 138, mostraremos como e a forma geral de formas bilineares, sesquilineares
e produtos escalares nos espacos de dimensao finita Rn e Cn . Tratemos agora de dois exemplos em
espacos vetoriais de dimensao infinita.
Exemplo 2.6 Seja V = C([a, b]) o espaco vetorial das funcoes contnuas complexas de um intervalo
fechado [a, b] da reta real (a < b). Seja p uma funcao contnua estritamente positiva definida em [a, b],
ou seja, p(x) > 0 para todo x [a, b]. Entao, a expressao
b
(f, g) =
f (x)g(x) p(x)dx ,
a
Exemplo 2.7 Seja V = C([0, 1]) o espaco vetorial das funcoes contnuas complexas de um intervalo
fechado [0, 1] da reta real. Seja p uma funcao tal que p e contnua e estritamente positiva no intervalo
[0, 1/2) e identicamente nula no intervalo [1/2, 1]. Entao, a expressao
1
(f, g) =
f (x)g(x) p(x)dx ,
0
para funcoes f e g de V define uma forma sesquilinear positiva em V , que nao e um produto escalar
(justifique!).
uivi
i=1
j=1
|uj |
2
k=1
|vk |2
(2.17)
E. 2.33 Exerccio. Considere o espaco vetorial das funcoes contnuas no intervalo [0, 1] e o produto
1
escalar (f, g) = 0 f (x)g(x) dx. Tomando as funcoes f (x) = x e g(x) = ex , use a desigualdade de
2.3
Captulo 2
Vers
ao de 12 de julho de 2006.
130/1490
Normas em Espa
cos Vetoriais
Aqui trataremos exclusivamente, a memos que mencionado de outra forma, de espacos vetoriais sobre
o corpo dos complexos.
Semi-Normas
Uma semi-norma e uma funcao V R usualmente denotada por , 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 .
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
(2.18)
para quaisquer a, b V . Como faremos uso da mesma no futuro, vamos apresentar sua demonstracao aqui, que e uma conseq
uencia direta da desigualdade triangular.
A desigualdade triangular diz-nos que
ab
a + b
(2.19)
(2.20)
e que
b
a (a b)
a + ab .
ab b
e de (2.20) que
a
( a b b ).
Quando dois n
umeros reais x e y sao tais que x y e x y entao x |y|. Assim, as duas
u
ltimas desigualdades dizem que
a
ab b
Captulo 2
Vers
ao de 12 de julho de 2006.
131/1490
ab ,
(2.21)
para quaisquer a, b V . Essa desigualdade sera empregada diversas vezes neste texto.
Pelos itens 2 e 3 da definicao de semi-norma, vale que
u + v
|| u + || v
(2.22)
|| u + || v
(2.23)
ab ,
(2.24)
para quaisquer a, b V . Essa desigualdade sera empregada diversas vezes neste texto.
As quatro condicoes da definicao de norma, acima, nao sao, em verdade, logicamente independentes e listamo-as devido `a sua importancia individual. Assim, por exemplo, a condicao de
positividade 1, como no caso de semi-normas, segue das condicoes 3 e 4 (mais precisamente, de
(2.24)).
Vers
ao de 12 de julho de 2006.
Captulo 2
132/1490
:=
k=1
|zk |
(2.25)
:= max{|z1 |, . . . , |zn |}
(2.26)
:=
k=1
|zk |p
(2.27)
:=
a
|f (x)| dx ,
(2.28)
f C([a, b], C), define uma norma em C([a, b], C), denominada norma L1 . Verifique! A expressao
f
:= sup |f (x)| ,
(2.29)
x[a, b]
f C([a, b], C), tambem define uma norma em C([a, b], C), denominada norma do supremo.
Verifique!
A norma (2.28) pode ser generalizada. Para cada p R, p 1, a expressao
1
p
:=
a
|f (x)| dx
(2.30)
f C([a, b], C), define uma norma em C([a, b], C), denominada norma Lp . A u
nica dificuldade 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 sera feito com mais generalidade (para funcoes em espacos mensuraveis) na
Secao 23.4.1, pagina 1188. Vide expressao (23.41) do Teorema 23.7, pagina 1188.
Vers
ao de 12 de julho de 2006.
Captulo 2
133/1490
Equival
encia de normas
Definic
ao. Duas normas 1 e 2 em um espaco vetorial V sao ditas equivalentes se existirem duas
constantes positivas c1 e c2 , com 0 < c1 c2 , tais que
c1 v
c2 v
para todo vetor v V . A importancia da nocao de equivalencia de normas se manifesta no fato que
duas normas equivalentes geram a mesma topologia metrica.
E. 2.35 Exerccio. Mostre que a relacao de equivalencia entre normas e uma relacao de equivalencia.
E. 2.36 Exerccio. Mostre que as normas
respectivamente, sao equivalentes.
Em espacos vetoriais reais ou complexos de dimensao finita vale o seguinte resultado especial, cuja
demonstracao encontra-se no Apendice 2.A, pagina 152:
Teorema 2.7 Em um espaco vetorial de dimensao finita sobre C ou R todas as normas s
ao equivalentes.
A afirmacao do Teorema 2.7 e freq
uentemente falsa em espacos de dimensao infinita. Isso e atestado
nos exemplos do Exerccio E. 2.37.
E. 2.37 Exerccio. As normas 1 e do espaco C([a, b], C), definidas em (2.28) e (2.29),
facil ver que f 1 (b a) f para toda f C([a, b], C)
respectivamente, nao sao equivalentes. E
facil ver
(faca!). Seja, porem, a famlia de funcoes f (x) = e(xa) C([a, b], C) com > 0. E
1
que f = 1 e f 1 = (1 e(ba) ) (faca!). Mostre que nao existe nenhuma constante c tal que
f c f 1 para todo > 0.
Equival
encia entre semi-normas
Ha uma nocao de equivalencia entre semi-normas que e identica `a de equivalencia entre normas.
A norma associada a um produto escalar
Se e um produto escalar em um espaco vetorial V existe associada a uma norma
por
v
= (v, v)1/2 ,
v V.
E. 2.38 Exerccio. Mostre que os postulados da definicao de norma sao de fato satisfeitos.
Invari
ancia de normas associadas a produtos escalares
dada
Vers
ao de 12 de julho de 2006.
Captulo 2
134/1490
Se uma norma em um espaco vetorial V e produzida por um produto escalar, como acima, existe
naturalmente um grupo de transformacoes lineares de V em V que mantem essa norma invariante.
Esse grupo e discutido na Secao 14.2.3, pagina 784. Por exemplo, a chamada norma Euclidiana de Rn ,
x, x R para x Rn , e invariante pelo grupo O(n) das matrizes ortogonais, ou
definida por x =
seja, das matrizes R, reais n n, que satisfazem RT R = . Isso significa que Rx = x para toda
R O(n). O grupo O(n) e seus amigos sao discutidos na Secao 14.2.4, pagina 785 e seguintes.
A desigualdade triangular
Talvez a principal conseq
uencia da desigualdade de Minkowski (2.15) seja a seguinte. Vamos supor
que seja um produto escalar. Entao podemos definir12 uma metrica ou distancia entre dois vetores
a e b por
d (a, b) := a b = (a b, a b)1/2 .
tambem
Como e um produto escalar, segue que d (a, b) = 0 se e somente se a = b (por que?). E
claro que 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) .
Acima, na passagem da segunda `a terceira linha, usamos a desigualdade de Minkowski com u = a b
e v = b c.
A norma assim definida possui duas propriedades importantes que mencionamos aqui: a identidade
do paralelogramo e a identidade de polarizacao.
12
Captulo 2
Vers
ao de 12 de julho de 2006.
135/1490
+ uv
= 2 u
+2 v
(2.31)
= u + v, u + v =
= u v, u v =
+ u, v + v, u + v
e
uv
u, v v, u + v
+ zy
1
xy
2
+2 z
(x + y)
2
u, v
1
=
4
u, v
in u + in v
(2.32)
in u + in v
(2.33)
+ i u iv
n=0
3
n=0
ou seja,
4 u, v =
u+v
uv
i u + iv
Vers
ao de 12 de julho de 2006.
Captulo 2
136/1490
A identidade de polarizacao mencionada acima e um caso especial de uma outra ligeiramente mais
geral, tambem denominada identidade de polarizacao. Seja A um operador linear em um espaco vetorial
V sobre os complexos e sejam u e v elementos de seu domnio. Entao vale que
u, Av
u, Av
1
4
1
=
4
in (u + in v), A(u + in v) ,
(2.34)
in (u + in v), A(u + in v) ,
(2.35)
n=0
3
n=0
E. 2.42 Exerccio. Mostre isso. Sugestao: expanda o lado direito das igualdades acima e constate as
igualdades.
Tomando-se A como o operador identidade reobtem-se as identidades (2.32)-(2.33).
A relacao (2.34) mostra que se para um operador linear A conhecermos todas as quantidades
, A para todos os vetores V , entao conhecemos tambem todas as quantidades u, Av para
todos u, v V .
Para a fsica quantica a identidade de polarizacao (2.34) diz que se A for um observavel (operador
auto-adjunto), entao o conhecimento de todos os valores esperados de A, ou seja, das quantidades
, A com = 1 e dos produtos escalares u, v para vetores com u = v = 1, fixa todas as
probabilidades de transicao | u, Av |2 , pois
1
u, Av =
4
onde
n =
in n , An (2 + in u, v + in v, u ) ,
(2.36)
n=0
1
(u + in v) =
u + in v
2+
in
1
(u + in v) .
u, v + in v, u
Uma conseq
u
encia da identidade de polarizac
ao
A relacao (2.34) permite-nos facilmente provar a seguinte afirmacao, freq
uentemente empregada:
Proposic
ao 2.4 Se um operador linear A agindo em um espaco vetorial complexo V satisfaz u, Au =
0 para todo vetor u V entao A = 0.
Para matrizes reais em espacos vetoriais reais nao vale uma afirmativa tao forte. Por exemplo,
se V = Rn e A for uma matriz anti-simetrica, ou seja AT = A, entao vale automaticamente que
n
x, Ax
=
a, b=1
xa Aab xb = 0, pois Aab = Aba para todo x Rn . Porem, A pode ser nao-nula.
Captulo 2
Vers
ao de 12 de julho de 2006.
137/1490
Proposic
ao 2.5 Seja M Mat (R, n) uma matriz simetrica (ou seja, tal que M T = M) para a qual
valha que x, Mx R = 0 para todo x Rn . Entao M = 0.
Prova. Se M e uma matriz simetrica, e facil verificar que para quaisquer vetores u e v Rn tem-se
u, Mv
1
[ (u + v), M(u + v)
4
(u v), M(u v) R ] .
(Para provar isso expanda o lado direito e use que u, Mv R = v, Mu R , pois M e simetrica). Logo,
da hipotese sobre M, segue que u, Mv R = 0 para todos u e v Rn e, portanto, M = 0
Obtendo produtos escalares a partir de normas
Nas u
ltimas paginas vimos que podemos obter uma norma a partir de um produto escalar e que
essa norma satisfaz a identidade do paralelogramo, expressao (2.31). Podemos nos perguntar: se uma
norma for dada em um espaco vetorial complexo, seria possvel obter um produto escalar a partir dessa
norma?
A resposta a essa questao e fornecida por um teorema devido a Frechet14 , von Neumann15 e Jordan16 ,
teorema esse sugerido pela identidade de polarizacao, expressao (2.32), pagina 135.
Teorema 2.8 (Teorema de Fr
echet, von Neumann e Jordan) Seja V um espaco vetorial complexo, normado com norma e vamos supor que essa norma satisfaca a identidade do paralelogramo
a+b
+ ab
= 2 a
+2 b
(2.37)
1
4
in u + in v
(2.38)
n=0
Ent
ao, e um produto escalar em V .
Com essa definicao, vale (u, u) = u 2 para todo u V e, portanto, a norma associada ao produto
escalar e a propria norma . Com isso, reconhecemos que (2.38) coincide com a identidade de
polarizacao para o produto escalar .
Conclu-se, entao, que uma norma e associada a um produto escalar se e somente se satisfizer a
identidade do paralelogramo.
A demonstracao do Teorema de Frechet, von Neumann e Jordan encontra-se no Apendice 2.B,
pagina 154. Vide tambem [155] ou [83] para outras demonstracoes essencialmente identicas.
14
Vers
ao de 12 de julho de 2006.
Captulo 2
138/1490
Mencionemos, por fim, que nem toda norma satisfaz a identidade do paralelogramo e, portanto,
nem toda norma e associada a um produto escalar e, assim, nem sempre e possvel definir um produto
escalar a partir de uma norma. Os Exerccios E. 2.43 e E. 2.44, servem como exemplo de tais situacoes.
E. 2.43 Exerccio. Seja o espaco vetorial V = C([0, 1], C) das funcoes contnuas do intervalo [0, 1]
assumindo valores complexos e seja a norma f = supx[0, 1] |f (x)|. Mostre que a identidade do paralelogramo nao e satisfeita para as funcoes f (x) = x e g(x) = 1, x [0, 1], que sao elementos de V .
E. 2.44 Exerccio. Seja o espaco vetorial V = Cn , com n 2. Para a = (a1 , . . . , an ) Cn a expressao
a p := [|a1 |p + + |an |p ]1/p , define 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 sera discutida com mais detalhe no Captulo 17.
2.4
possvel estabelecer a forma geral de uma forma bilinear ou sesquilinear em certos espacos vetoriais,
E
o que discutiremos nesta secao.
como os espacos de dimensao finita Rn ou Cn . E
Faremos uso do chamado Teorema da Representacao de Riesz, que afirma o seguinte.
Teorema 2.9 (Teorema da Representac
ao de Riesz) Seja l um funcional linear contnuo em um
espaco de Hilbert H (com um produto escalar , H). Entao existe H, u
nico, tal que
l(x) = , x
H,
x H .
A demonstracao desse importante teorema pode ser encontrada na Secao 25.3.1, pagina 1268. Notemos que esse teorema se aplica aos espacos vetoriais Rn ou Cn , pois os mesmos sao espacos de Hilbert
em relacao aos produtos escalares , R e , C , respectivamente, definidos em (2.6) e (2.16) (paginas
117 e 128).
Continuidade
Vamos provar a seguinte afirmacao: toda forma bilinear em Rn e contnua (em ambas as variaveis),
o mesmo valendo para formas bilineares ou sesquilineares em Cn .
Vers
ao de 12 de julho de 2006.
Captulo 2
139/1490
Vamos provar a afirmacao para as formas sesquilineares em Cn . Os outros casos sao identicos. Seja
uma forma sesquilinear em Cn . Para vetores x, y Cn , y = 0, escrevemos
(x, y) =
y (x, y/ y ) ,
(2.39)
onde y =
y, y C . Notemos entao que se v e um vetor de norma igual a 1 e {b1 , . . . , bn } e uma
base ortonormal em Cn entao v = v1 b1 + + vn bn com |vj | 1. Assim,
(x, v) = v1 (x, b1 ) + + vn (x, bn )
e, portanto,
|(x, v)| |(x, b1 )| + + |(x, bn )|
Para cada x fixo o lado direito e uma constante Kx e nao depende de v. Aplicando isso a (2.39),
teremos
|(x, y)| y Kx .
Isso mostra que
y0
para todo x fixo. Como (x, y) e linear na segunda variavel, segue que
lim (x, y) = (x, y0 ) ,
yy0
para todo y0 Cn , provando a continuidade de na segunda variavel. A prova para a primeira variavel
e identica. Os casos em que e bilinear em Rn ou em Cn e analogo.
Formas sesquilineares em Cn
Seja uma forma sesquilinear em Cn . Entao, pelo que acabamos de ver, para cada x Cn
lx : Cn C,
lx (y) = (x, y)
= (1x1 + 2 x2 , y)
= 1 (x1 , y) + 2 (x2 , y)
= 1 A(x1 ), y
=
+ 2 A(x2 ), y
1 A(x1 ) + 2 A(x2 ), y
Captulo 2
Vers
ao de 12 de julho de 2006.
140/1490
= 0,
o que implica
A(1 x1 + 2 x2 ) = 1 A(x1 ) + 2 A(x2 ) ,
que e o que queramos provar. Assim, A e em verdade um operador linear. Resumimos esses fatos no
seguinte teorema:
Teorema 2.10 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
Seja uma forma bilinear em Rn . Entao, para cada x Rn
lx : Rn R :
lx (y) = (x, y)
Teorema 2.11 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
Seja uma forma bilinear em Cn . Entao
s (x, y) = (x, y)
Vers
ao de 12 de julho de 2006.
Captulo 2
141/1490
define 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
(x, y) = A x, y
(x, y) = A x, y
para todos x, y Cn .
para todos x, y Cn .
Esse teorema estabelece assim a forma geral das formas bilineares em Cn .
Formas simpl
eticas
Se e uma forma bilinear alternante em Rn ou Cn , ou seja, e bilinear e (x, y) = (y, x),
entao e da forma (x, y) = A x, y R onde A e uma matriz anti-simetrica, ou seja, AT = A. De
fato, como x, y R = y, x R e como (x, y) = (y, x), segue que
A x, y
= A y, x
= y, AT x
= AT x, y
Se e uma forma simpletica, ou seja, e uma forma bilinear alternante nao-degenerada, entao A
tem que ser tambem invertvel. De fato, se Ax, y R = 0 para todo y, entao Ax = 0. Se A e invertvel
isso so e possvel se x = 0.
Uma conseq
uencia do fato de A ter de ser invertvel e que n tem que ser par. De fato, a condicao
A = A diz que det(A) = det(AT ) = (1)n det(AT ) = (1)n det(A). Portanto, se n e mpar
teramos det(A) = 0.
T
Captulo 2
Vers
ao de 12 de julho de 2006.
142/1490
Se e uma forma sesquilinear Hermitiana em Cn , tem-se (x, y) = (y, x). Se A e a matriz tal
que Ax, y C = (x, y), entao
Ax, y
= Ay, x
= x, Ay
= A x, y
>0
(2.41)
se x = 0. Uma conseq
uencia disso e o seguinte: se vi e um dos autovetores de A com autovalor i ,
entao i > 0. De fato, tomando x = vi em (2.41), teremos17 0 < Avi , vi C = i vi , vi C , o que implica
i > 0. Esse fato, em particular, nos diz que A e invertvel (pois o determinante de A e o produto de
seus autovalores).
bem sabido que os autovetores vi de uma
Outra conseq
uencia dessas observacoes e a seguinte. E
matriz auto-adjunta A podem ser escolhidos de modo a formar uma
base ortonormal (vide Teorema
3.13, pagina 205). Vamos definir uma matriz B de modo que Bvi = i vi para todos os autovetores
vi de A. Isso define a acao de B nos vetores de uma base e, portanto, B fica definida em toda parte18 .
facil provar que B assim definida e tambem auto-adjunta, B = B, e que B 2 = A. Claramente
E
B e tambem invertvel e tem autovalores > 0.
E. 2.45 Exerccio. Mostre esses fatos.
Disso conclumos que
(x, y) = Ax, y
= Bx, By
para todo x, y Cn .
2.5
Seja V um espaco vetorial real. Em V esta, portanto, definido um produto por escalares reais: x v V ,
onde x R e v V . Sob certas circunstancias e possvel transformar V em um espaco vetorial complexo
17
18
Vers
ao de 12 de julho de 2006.
Captulo 2
143/1490
(2.42)
Vers
ao de 12 de julho de 2006.
Captulo 2
144/1490
Lema 2.1 Seja V um espaco vetorial real e suponha que exista um operador linear J : V V
satisfazendo J 2 = . Valem as seguintes afirmacoes
I. Se : V V R e um produto escalar real em V satisfazendo
(Ju, v) = (u, Jv)
para todos u , v V , entao : V V R definida para todos u, v V por
(u, v) := (Ju, v) = (u, Jv)
(2.43)
(2.44)
Prova da parte I. Pelas hipoteses, e um produto escalar real e, portanto, e uma forma bilinear real,
positiva, simetrica e nao-degenerada. Que definida em (2.43) e uma forma bilinear e evidente. Para
todos u, v V tem-se
(u, v) = (Ju, v) = (u, Jv)
simetria
(Jv, u) = (v, u) ,
provando que e uma forma alternante. Se (u, v) = 0 para todo v V , entao (Ju, v) = 0 para
todo v V . Mas como e nao-degenerada, segue que Ju = 0, o que implica u = 0, pois J 2 = . Isso
provou que e nao degenerada e, portanto, e uma forma simpletica. Note-se agora que
(u, Jv) = (Ju, Jv) = (u, J 2 v) = (u, v) = (Ju, v) .
Por fim, (u, Ju) = (Ju, Ju) 0, pois e um produto escalar. Pelo mesmo motivo, (Ju, Ju) = 0
se e somente se Ju = 0. Como J 2 = , isso implica u = 0. Isso provou as afirmacoes da parte I.
Vers
ao de 12 de julho de 2006.
Captulo 2
145/1490
Prova da parte II. Pelas hipoteses, e uma forma simpletica real e, portanto, e uma forma bilinear real,
alternante e nao-degenerada. Que definida em (2.44) e uma forma bilinear e evidente. Para todos
u, v V tem-se
(u, v) = (u, Jv) = (Ju, v)
altern
ancia
provando que e uma forma simetrica. Se (u, v) = 0 para todo v V , entao (u, Jv) = 0 para todo
v V . Mas como e nao-degenerada, segue que u = 0, provando que e uma forma nao-degenerada.
Para todo u tem-se tambem (u, u) = (u, Ju) 0, por hipotese, provando que e uma forma
positiva. Assim, pela Proposicao 2.3, pagina 125, e um produto escalar. Note-se agora que, por
definicao, (u, v) = (Ju, v) para todos u , v V . Disso segue que (u, v) = (Ju, v) e que
(u, Jv) = (Ju, Jv) = (u, J 2 v) = (u, v) = (Ju, v) .
Isso provou as afirmacoes da parte II.
entao, V V (u, v) u, v
J,
C definida por
u, v
J,
J,
C definida por
u, v
J,
:= (u, v) + i(Ju, v)
22
Em [18] essa u
ltima condicao n
ao e mencionada, mas ela e necess
aria.
Captulo 2
Vers
ao de 12 de julho de 2006.
146/1490
Prova. Mostremos em primeiro lugar que as hipoteses das partes A e B sao equivalentes. Pelo Lema 2.1,
pagina 144, a existencia de uma forma simpletica real satisfazendo as hipoteses da parte A implica
a existencia de um produto escalar real dado por (u, v) := (u, Jv) = (Ju, v) satisfazendo as
hipoteses da parte B, sendo que, por essa definicao de ,
(u, Jv) + i(u, v) = (u, v) + i(Ju, v) .
(2.45)
Reciprocamente, tambem pelo Lema 2.1, pagina 144, a existencia de um produto escalar real satisfazendo as hipoteses da parte B implica a existencia de uma forma simpletica real dada por
(u, v) := (Ju, v) = (u, Jv) satisfazendo as hipoteses da parte A, sendo que, por essa definicao
de , a igualdade (2.45) e tambem valida. Assim, e suficiente provarmos, digamos, a parte A.
evidente que para quaisquer u, v, w V valem
Prova da parte A. E
(u + v), w
J,
= u, w
J,
+ v, w
J,
u, (v + w)
J,
= u, v
J,
+ u, w
J,
Alem disso,
v, u
J,
.
(2.46)
J,
J,
u, xv + yJv
u, xv
=
J 2 =
J,
J,
+ u, yJv
J,
(x + iy) u, v
J,
J,
= (x iy) u, v
J, ,
mostrando que
Vers
ao de 12 de julho de 2006.
Captulo 2
147/1490
Proposic
ao 2.7 Um espaco vetorial real V de dimensao finita admite uma estrutura complexa (n
ao
necessariamente u
nica) se e somente se tiver dimensao par.
Prova. Se J e um operador linear agindo no espaco vetorial real de dimensao finita V , podemos
representa-lo como uma matriz. Se J 2 = entao, tomando-se o determinante de ambos os lados,
temos (det(J))2 = (1)n , onde n e a dimensao de V . Como o lado esquerdo e positivo, n tem que
ser par. Reciprocamente, vamos supor que V tenha dimensao par, digamos 2m. Desejamos mostrar
que existe um operador linear agindo em V satisfazendo J 2 = . Uma possvel escolha e a seguinte.
Como V tem dimensao par podemos encontrar dois subespacos V1 e V2 , ambos de dimensao m, com
V = V1 V2 . Como V1 e V2 tem a mesma dimensao, sao isomorfos, e existe um operador linear
A : V1 V2 que e bijetivo (o Exemplo 2.9, abaixo, deixara isso mais claro. Um tal operador nao e
necessariamente u
nico, mas isso nao representa um problema). Todo elemento v V pode ser escrito
v1
vm+1
..
..
.
.
vm
v2m
v =
Defina-se, entao,
Jv :=
(2.47)
.
,
vm+1
v1
.
.
..
..
v2m
vm
J =
m m
m m
A escolha de J indicada acima dependeu de uma particular decomposicao de V em dois subespacos de dimensao m. Ha varias outras decomposicoes possveis, que fornecem outros operadores J
e, portanto, outras estruturas complexas. Permanecendo no exemplo acima, e facil ver que, se x, y R,
entao o produto por escalares complexos fica
xv1 yvm+1
v1
v1
..
..
..
.
.
.
xvm yv2m
vm
vm
(2.48)
(x + iy)
.
=
:= (x + yJ)
xvm+1 + yv1
vm+1
vm+1
.
.
..
..
..
.
xv2m + yvm
v2m
v2m
Vers
ao de 12 de julho de 2006.
Captulo 2
148/1490
Seguindo ainda o exemplo de (2.47) e (2.48) para V = R2m , vamos ilustrar a Proposicao 2.6 e
produto escalar 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
(u, Jv) = u1 vm+1 um v2m + um v1 + + u2m vm
Logo (Ju, v) = (u, Jv) e podemos aplicar a Proposicao 2.6, obtendo em (R2m )J o produto escalar
u, v
J,
= (u, v) + i(Ju, v)
=
= 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. 2.46 Exerccio. Verifique que u, v
J,
= u, v
J,
para todo C.
Entendemos, assim, que a estrutura complexa que estudamos consiste nesse caso em identificar
bijetivamente R2m e Cm por
v1
v
+
iv
.
1
m+1
.
.
m
2m
.
R
Cm
.
vm+1
.
..
vm + iv2m
v2m
e adotar em Cm o produto escalar complexo ,
Vejamos como as ideias de acima podem ser generalizadas e de modo a incluir espacos de dimensao
infinita.
Exemplo 2.10 Se V e um espaco vetorial real de (dimensao finita ou nao) e sempre possvel encontrar
um operador linear J satisfazendo J 2 = se V possuir dois subespacos V1 e V2 com V = V1 V2
e tais que existe A : V1 V2 , linear e bijetora (em dimensao finita isso requer que V1 e V2 tenham a
mesma dimensao e, portanto, que V tenha dimensao par, como mencionado na Proposicao 2.7). De
fato, para v V da forma v = v1 v2 com v1 V1 e v2 V2 , definindo Jv := (A1 v2 ) (Av1 ) e facil
constatar que J 2 = .
Captulo 2
Vers
ao de 12 de julho de 2006.
149/1490
Para um tal J o produto por um escalar complexo = x + iy, com x, y R, fica definido por
(v1 v2 ) := (x+yJ)(v1 v2 ) = x(v1 v2 )+y (A1 v2 ) (Av1 )
Se V e um espaco de Hilbert real separavel com uma base {k , k N}, podemos tomar V1 e V2
como os espaco gerados por {k , k N, k par} e {k , k N, k mpar}, respectivamente. Uma
possvel escolha para a bijecao linear A : V1 V2 seria
a2m 2m
m=0
a2m 2m+1 ,
m=0
para a qual
a2m+1 2m+1
a2m+1 2m ,
=
m=0
m=0
ou seja, em termos de elementos da base, A2m = 2m+1 e A1 2m+1 = 2m para todo m 0. Com
essa definicao, teramos
a2m 2m
m=0
a2m+1 2m+1
m=0
a2m+1 2m
m=0
a2m 2m+1
m=0
(x + iy)
am m =
m=0
m=0
m=0
Para um tal J o produto por um escalar complexo = x + iy com x, y R fica definido por
(v1 v2 ) := (x+yJ)(v1 v2 ) = x(v1 v2 )+y (A1 v2 ) (Av1 )
Para , V da forma =
real usual, constatamos que
(, J) =
m m , =
m=0
m m e (, ) :=
m=0
m m , o produto escalar
m=0
2m 2m+1 +
m=0
2m+1 2m
m=0
e que
(J, ) =
2m+1 2m +
m=0
2m 2m+1 .
m=0
J,
:= (, ) +
J,
J,
= ,
J,
para todo C.
Captulo 2
Vers
ao de 12 de julho de 2006.
150/1490
A forma simpletica real associada a pela parte I do Lema 2.1, pagina 144, e
(, ) = (, J) =
m=0
2m 2m+1
2m+1 2m .
m=0
Exemplo 2.11 Uma situacao que nao se deve deixar de comentar e a seguinte. Se V e um espaco
vetorial complexo com um produto escalar complexo , , V e naturalmente tambem um espaco
vetorial real, sendo que, como comentamos `a pagina 127, (u, v) := Im( u, v ) u, v V , define
uma forma simpletica real em V . Definindo em V o operador linear Ju = iu, tem-se J 2 = . A
multiplicacao por escalares complexos nao apresenta novidades: para x, y R e u V vale, pela
definicao, (x + iy) u = xu + yJu = (x + iy)u.
facil constatar que (u, Jv) = Im( u, iv ) = Im( iu, v ) = (Ju, v) e que (u, Ju) =
E
Im( u, iu ) = u, u 0. Assim, pela parte A da Proposicao 2.6, pagina 145, u, v J, := (u, Jv) +
i(u, v) e um produto escalar complexo em V . No entanto, e facil ver que nesse caso u, v J, =
Im( u, iv ) + iIm( u, v ) = Re( u, v ) + iIm( u, v ) = u, v .
O produto escalar real associado a pela parte II do Lema 2.1, pagina 144, e
(u, v) = (u, Jv) = Im( u, iv ) = Re( u, v ) .
interessante notar tambem que se tivessemos adotado Ju = iu, u V , teramos ainda para
E
(u, v) = Im( u, v ) que (u, Jv) = (Ju, v). Porem, (u, Ju) = u, u 0, violando a
condicao de positividade.
Exemplo 2.12 Uma situacao um pouco diferente e a seguinte. Seja V um espaco vetorial complexo
dotado de um produto escalar complexo , . Sejam V1 e V2 dois sub-espacos ortogonais de V
(ortogonais segundo o produto escalar , ). Encarando V como um espaco real, definamos o operador
claro que J 2 = . A
linear J : V V por J(v1 v2 ) = i(v1 (v2 )), onde v1 V1 e v2 V2 . E
multiplicacao por escalares complexos x + iy, com x, y R, fica
(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 .
tambem facil constatar que para o produto escalar real (u, v) = Re( u, v ) vale a relacao
E
(u, Jv) = (Ju, v) (para isso e essencial que V1 e V2 sejam ortogonais segundo , ).
O forma simpletica real associada a pela parte I do Lema 2.1, pagina 144, e, tomando u = u1 u2 ,
v = v1 v2 , com u1 , v1 V1 e u2 , v2 V2 ,
(u, v) := (Ju, v) = Im ( u1 , v1 ) Im ( u2 , v2 ) ,
como facilmente se verifica.
Pela parte B da Proposicao 2.6, pagina 145, u, v
J,
Vers
ao de 12 de julho de 2006.
Captulo 2
151/1490
J,
(u1 u2 ), (v1 v2 )
J,
u1 , v1 + u2 , v2 .
J,
= u, v
J,
para todo C.
Captulo 2
Vers
ao de 12 de julho de 2006.
152/1490
Ap
endices
2.A
Equival
encia de Normas em Espa
cos Vetorias de Dimens
ao
Finita
Apresentamos aqui a demonstracao do Teorema 2.7, pagina 133, que afirma que todas as normas em
um espaco vetorial de dimensao finita sobre C ou R sao equivalentes.
A demonstracao que segue faz uso de algumas nocoes e resultados elementares sobre topologias
metricas. O leitor interessado deve seguir as referencias dadas abaixo aos pontos destas Notas onde
tais nocoes e resultados sao tratados.
Prova do Teorema 2.7. Seja V um espaco vetorial de dimensao finita, de sorte que existe uma base
B = {b1 , . . . , bn } de vetores linearmente independentes de V tais que todo u V pode ser escrito de
modo u
nico como uma combinacao linear u = 1 b1 + + n bn dos vetores de B, onde os coeficientes
k sao reais ou complexos (dependendo de V ser um espaco vetorial sobre R ou sobre C). Fixada uma
base B, podemos definir uma norma E em V por
n
=
k=1
|k |2 ,
1 b1 + + n bn
(2.23)
|1 | b1 + + |n | bn
(2.17)
k=1
|k |2
bk
k=1
M1 u
(2.A.1)
bk
com M1 :=
k=1
(2.24)
uv
(2.A.1)
M1 u v
1 b1 + + n bn
Captulo 2
Vers
ao de 12 de julho de 2006.
153/1490
(1 , . . . , n ) (1 , . . . , n ) M1
k=1
|k k |2 ,
B1 := (1 , . . . , n ) Rn (ou Cn )
|k |2 < 1 ,
k=1
B1 :=
(1 , . . . , n ) Rn (ou Cn )
k=1
|k |2 = 1
B1 e fechado e limitado e, portanto (pelo Teorema de Heine-Borel, Teorema 24.9, pagina 1238), e
compacto na topologia metrica usal. Logo, pelo Teorema 24.11, pagina 1239, a funcao contnua
assume em B1 um mnimo M2 0 e, portanto,
(1 , . . . , n ) M2
(2.A.2)
|k |2 = 1.
M2
1
v
v E
M2 ,
ou seja,
M2 v
sendo que a u
ltima desigualdade vale tambem, evidentemente, para v = 0. Provamos, portanto, que
existem constantes M1 e M2 com M2 > 0 tais que para todo vetor v V ,
M2 v
M1 v
estabelecendo que toda norma e equivalente `a norma E . Como a equivalencia de normas e uma
relacao de equivalencia, segue que todas as normas em V sao equivalentes.
23
Para a definicao da nocao de bordo e para a observacao que todo bordo e fechado, vide p
agina 1057.
2.B
Captulo 2
Vers
ao de 12 de julho de 2006.
154/1490
Prova do Teorema de Fr
echet, von Neumann e Jordan
Nesta Secao apresentamos a demonstracao do Teorema de Frechet, von Neumann e Jordan, Teorema
2.8, pagina 137.
Vamos supor que seja uma norma em um espaco vetorial complexo V e que satisfaca a identidade
do paralelogramo
a+b 2+ ab 2 = 2 a 2+2 b 2
(2.B.3)
para todos a, b V . Defina-se, para u, v V ,
(u, v) :=
1
4
in u + in v
n=0
1
4
u+v
uv
u + iv
u iv
(2.B.4)
(2.B.5)
1
4
u+v
uv
+i
u + iv
u iv
1
4
v+u
vu
+i
iu v
iu + v
1
4
v+u
vu
v + iu
v iu
= (v, u) .
importante observar que, por (2.B.4),
E
(u, u) :=
1
4
2u
uu
(1 + i)u
(1 i)u
ja que, do fato que |1 + i| = |1 i|, segue pelas propriedades definidoras de uma norma que (1 + i)u =
|1 + i| u = |1 i| u = (1 i)u .
Assim, estabelecemos que para todo u V vale (u, u) = u 2, o que implica, pelas propriedades
definidoras de uma norma, que (u, u) 0, sendo que (u, u) = 0 se e somente se u = 0.
Para provar que e um produto escalar, resta-nos provar que e uma forma sesquilinear. Como
ter a propriedade Hermitiana (2.B.5), e suficiente provar que e linear na segunda variavel. De
fato, esse e o u
nico ponto nao-trivial da demonstracao do Teorema 2.8 e o u
nico em que a identidade
do paralelogramo e usada. O leitor vera que a demonstracao de que e linear na segunda variavel e
engenhosa, sendo feita, sucessivamente, primeiro para n
umeros inteiros, depois para racionais, depois
para n
umeros reais e, por fim, para n
umeros complexos.
Captulo 2
Vers
ao de 12 de julho de 2006.
155/1490
Definindo-se, para u, v V ,
f (u, v) :=
u+v
uv
(2.B.6)
1
f (u, v) if (u, iv) .
4
(2.B.7)
(2.B.8)
f (u, v) = f (u, v) ,
(2.B.9)
f (u, 0) = 0 .
(2.B.10)
A seguinte proposicao e fundamental para a prova de que e uma forma sesquilinear e em sua demonstracao e feito uso da identidade do paralelogramo.
Proposic
ao 2.8 Para todos u, v e w V vale
f (u, v + w) = f (u, v) + f (u, w) .
(2.B.11)
Por (2.B.8), segue que f (u + v, w) = f (u, w) + f (v, w), tambem para todos u, v e w V .
Prova. Precisamos apenas provar (2.B.11), o que e feito com uso da identidade do paralelogramo
(2.B.3). Por (2.B.3) com a = u + v e b = w, ve-se que
u+v+w
= 2 u+v
+2 w
u+vw
+2 w
uv+w
= 2 uv
u v w 2 , segue que
2 uv
+ uv+w
u+vw
(2.B.12)
Trocando v w, isso fica f (u, v + w) = 2f (u, w) + f (u, v w) e, por (2.B.9), conclumos que vale
tambem
f (u, v + w) = 2f (u, w) f (u, w v)
(2.B.13)
Somando (2.B.12) e (2.B.13), obtemos f (u, v + w) = f (u, v) + f (u, w), que e o que queramos.
Captulo 2
Vers
ao de 12 de julho de 2006.
156/1490
Tomando v = w, (2.B.11) implica que f (u, 2v) = 2f (u, v). Vamos assumir que para algum n N,
n 1, valha f (u, nv) = nf (u, v). Isso e verdadeiro para n = 0 (por (2.B.10)) e n = 1 (trivialmente)
e vale tambem, como vimos, para n = 2. Entao,
(2.B.11)
(2.B.14)
para todo n N e todos u, v V . Substituindo v por n1 v, com n = 0, isso esta tambem dizendo que
f
1
v
n
u,
1
f (u, v) ,
n
(2.B.15)
u,
p
v
q
(2.B.14)
pf
u,
1
v
q
(2.B.15)
p
f (u, v) .
q
(2.B.16)
usando a desigualdade (2.18), pagina 130, com a = (rk x)v e b = u xv, tem-se que
(rk x)v
= |rk x| v
u + rk v u + xv
= 0, ou seja,
u + rk v u + xv
e como lim |rk x| = 0, segue que lim
k
lim u + rk v
u + xv
u + lim rk v
k
(2.B.17)
(2.B.18)
(2.B.17)
lim f (u, rk v)
(2.B.16)
Captulo 2
Vers
ao de 12 de julho de 2006.
157/1490
(2.B.11)
(2.B.18)
1
f (u, (x + iy)v) if (u, (x + iy)iv)
4
(2.B.19)
1
4
(2.B.9)
1
4
(x + iy)(u, v) .
1
1
f (u, v) if (u, iv) + iy f (u, v) if (u, iv)
4
4
Parte II
T
opicos de Algebra
Linear
158