Conceitos Preliminares (nota da lgebra linear 2)

October 8, 2009

1 Nmeros Complexos
O conjunto dos numeros complexos C = {x + iy : x, y R} com i2 = 1 um corpo com a soma (x + iy) + (x + iy ) = (x + x ) + i(y + y ) e o produto (x + iy) (x + iy ) = (xx yy ) + i(xy + x y). Podemos associar o conjunto C com o plano euclidiano R2 pela associacao x + iy (x, y) que estabelece isomossmo como espaco vetorial sobre R. O conjunto dos nmeros complexos vistos como R2 com operacao de multiplicao (x, y) (x , y ) = (xx yy , xy + x y) chamado de plano complexo. O conjugado x + iy = x iy tem um papel importante na simplicao de notao, assim como na deduo de suas propriedades. No plano complexo, a conjugao a reexo relativamente ao eixo dos nmeros reais (eixo X) e quando visto como R2 , conjugao um dos isomorsmos que inverte a orientao. Alguns conceitos bsicos necessrios para trabalhar com espaos vetoriais sobre nmeros complexos so: 1. Re(x + iy) = x a parte real. 2. Im(x + iy) = y a parte imaginria. 3. |z|2 = z z . Note que |z| = ||z|| onde ||x + iy|| = x2 + y 2 que a norma do vetor (x, y) que representa o nmero complexo x + iy no plano R2 . Porm, vale a igualdade |a b| = |a| |b| relativamente ao produto dos nmeros complexos. Por isso, ele chamado de mdulo em vez da norma. Lembremos que, uma barra vertical em vez de duas, usado quando vale |a b| = |a| |b| para o produto denido sobre o conjunto. 4. z 1 =
z |z|2 .

O produto interno no espao vetorial complexo e denominado de produto hermitiano e o espao vetorial complexo com o produto interno chamado de espao hermitiano. No caso do spao vetorial sore o real com produto interno chamado de espao euclidiano.

Exerccios.

1. Mostre que z = z . 2. Mostre que z + w = z + w e z w = z w. 3. Mostre que z 1 =

z |z|2 .

dica: use o fato de z z = |z|2 .

4. Mostre que Re(z) |z| e Im(z) |z|. 5. Mostre que z + z = 2Re(z) e z z = i2Im(z). 6. Mostre que z C, z R z = z . Pela parte 2 acima, conjugao dos nmeros complexos coerente com qualquer operao composta de adicao e multiplicao. Em particular, A B = A B para matrizes complexas.

2 Algumas consideraes sobre o produto interno

No caso do produto interno complexo (produto hermitiano), vale , = , , em vez da comutatividade. Com isso, temos que , c = c , na qual a vericao deixado como exerccio. Devido a estes fatos, requer cuidado especial na ordem que opera para obter resultados vlidos no caso complexo. Por exemplo, a projeo ortogonal de sobre dado por , ||||2 na qual a ordem essencial para ter , ||||2 (projeo ortogonal permite realizar ortonormalizao de Gramm-Schmith entre outros). 1

No espao Cn , o produto interno cannico denito como sendo (z1 , . . . , zn ), (w1 , . . . , wn ) = z1 w1 + + zn wn . Note a conjugao no segundo membro. No caso do espao vetorial sobre nmeros complexos de dimenso nita, considere uma base . Usando a coordenada do vetor nesta base, podemos denir o conjugado do vetor como sendo conjugado das suas coordenadas nesta base (z1 , , zn ) = (z1 , , zn ). Note que o conjugado do vetor depende da base escolhida, mas vale , = , , o que bastante til para trabalhar com espaos vetoriais sobre nmeros complexos. O exemplo dos conjunto das funes contnuas C(D, R) = {f : D R contnuas} com D compacto bastante importante na anlise linear e o produto interno cannico denido como D f g . Analogamente, produto hermitiano (produto interno complexo) sobre C(D, C) = {f : D C contnuas} denido como D f g . Tambm poder substituir D com conjunto aberto, desde que a condio adicional de integrabilidade for adicionada. A anlise de Fourier estuda o caso especial de projeo ortogonal da funo sobre um subespao especial, considerando este produto interno. Outro ponto importante , se tiver uma base B, sempre podemos denir um produto interno na qual B ortonormal, como sendo (x1 , . . . , xn ), (y1 , . . . , yn ) = x1 y1 + + xn yn que o produto interno cannico associado a base B. Com isso, construes que dependem da base e os que dependem do produto interno podem estar relacionados de alguma forma. No entanto, o produto interno mais importante aquele que denido para medir algo de interesse. Tendo o produto interno, toma uma base e atravs do processo de ortonormalizao de Gram-Schmith, obtm a base ortonormal. Por exemplo, no caso de polinmios, o produto interno associado a base cannica {1, t, t2 , t3 , . . .} no muito interessante. b Assim, usamos o produto interno p, q = a p(t)q(t)dt na qual mede diversos valores relacionados a fsica e a geometria, e procuramos pela base ortonormal relativamente a ele (existem vrios destas bases em uso). Notao matricial. No caso de ter o vetor na base ortonormal, podemos representar o produto interno na forma mat tricial , = [] [] onde [] e [] a representao matricial dos vetores como matriz coluna na base dada. Note que, dependendo da literatura, a reppresentao matricial do vetor feito pela matriz linha, o que requer cuidados. A representao matricial do produto interno especialmente importante quando trabalha com produto interno e transformao linear ao mesmo tempo.

Exerccios.

1. Mostre que, se um vetor tal que , = 0 para todo ento = 0. Usando este fato, mostre que se , = , ento = . Este resultado bastante til quando trabalha com o produto interno. 2. Sabendo que o produto interno linear em relao ao primeiro vetor e , = , , monstre que , c = c , . 3. No espaco vetorial complexo Cn , o produto escalar cannico denido como sendo (z1 , . . . , zn ), (w1 , . . . , wn ) = z1 w1 + + zn wn . Mostre que , = , . 4. A associao entre nmeros complexos e o vetor do plano permite ver o espao vetorial complexo Cn como sendo o espaco vetorial real R2n . Verique que o produto escalar no so iguais, mas a norma induzida por eles so iguais. 5. Mostre que se B for base ortonormal, ento (x1 , . . . , xn )B , (y1 , . . . , yn )B = x1 y1 + + xn yn . 6. Uma transfomao linear T : V W onde V e W so espaos com produto interno, dizemos que T uma isometria, se ||T || = ||||. Mostre que T isometria se, e somente se, T , T = , . Mostre tambm que uma isometria sobrejetiva T : V W um isomorsmo. 7. Demonstre o regra do paralelogramao (|| + ||2 + || ||2 = 4(||||2 + ||||2 )) para espaos com produto interno.

3 Espao vetorial de dimenso innita

Denio 3.1. Um conjunto

S V onde V espao vetorial dito L.I. se quanquer combinao linear nita que resulte no vetor nule combinao trivial, isto , para todo S tal que # < ( conjunto nito), sem-se que a = 0 = a = 0 para todo .

De forma anloga, combinao linear tambm tem que ser nita.

Denio 3.2. Dizemos que V uma combinao linear dos elementos de S quando for combinao linear nita
dos elementos de S, isto , se existe S tal que # < ( conjunto nito), tal que =
a = 0 com a F .

Assim, o espao gerado pelo S V o conjunto das combinaes lineares nitas dos elementos de V . Como no caso de dimenso nita, uma base o conjunto L.I. que gera o espao todo. importante observar que, mesmo no caso de dimenso innita, podemos obter uma base extendida de um conjunto L.I. Logo. sempre ter uma base (justique). 2

Teorema 3.3 (base de Hamel).

Seja

S V um conjunto L.I. Ento existe uma base obtida como extenso de S .

Pelo teorema acima, poder usar a base mesmo na dimenso innita, obtendo alguns resultados relacionados aos casos de dimenso nita 9sempre lembrando que combinao linear na lgebra combinao nita). Para provar este teorema, precisamos da Lema de Zorn e algumas tcnicas especcas do teorria de conjuntos (trabalhar com conjunto dos conjuntos). Apesar da prova no costuma ser feito no nvel da disciplina de lgebra Linear 2, ser mostrado a seguir, para completar o assunto.

Lema 3.4 (Zorn).

Prova do Teorema

Seja X um conjunto parcialmente ordenado e no vazio. Se todo subconjunto totalmente ordenado de X tem um limitante superior em X , ento X tem (pelo menos) um elemento maximal.

3.3. Considere uma ordem de continncia (A B ) em X = {x V : x S, x L.I.}. Para usar o Lema de Zorm, precisar mostrar que todo subconjunto totalmente ordenado tem limitante superior. Seja = Y X totalmente ordenado. Ento considere M = yY y ento y Y, M e obviamente M S . Para que M seja limitante superior de mY em X , basta que M seja L.I. Considere o subconjunto nito M tal que a = 0. Queremos mostrar que = 0 para todo . M , y para algum y Y . Assim, y . Como Y totalmente ordenado e nito, y = Y para algum y . Como y L.I., temos que a = 0 = a = 0 para todo .

Pelo Lema de Zorn, existe o elemento maximal de X . Seja B o elemento maximal, ento armamos que B uma base. Suponhe por absurdo que B no uma base de V . Ento existe um vetor V que no uma combinao nita dos elementos de B. Considere B = B {}. Ento B L.I. (prove) e B B , contradizendo o fato de B ser maximal.
Observao 3.5. Observe que muito das demonstraes do caso innito tentar usar algum resultado do caso nito, por combinao linear sempre ser nita. No entanto, na anlise, frequntemente usam uma formalizao que permite as combinaes lineares innitas, desde que esteja de acordo com um determinado critrio de convergncia pr-estabelecido. Com isto, poder obter uma base enumervel do espao das funes, mas os resultados relacionados nem sempre coincide com do caso de algbra (que s permite combinao nita). Por isso, deve estar bem claro, se a combinao linear sempre nita (lgebra) ou permitido ter combinao innita (Anlise) e se a combinao innita permitida, qual ser o critrio de convergncia. Por exemplo, na lgebra, o espao gerado pela base B = {1, t, t2 , t3 . . .} o espao dos polinmios, mas dependento do que est trabalhando, a anlise pode considerar como espao das sries de potncias. Dever estar atento para no misturar lgebra linear com verso da anlise linear, o que requer tratamento diferenciado.

Exerccios.

1. Considere a denio da dimenso de V como sendo o inteiro dim V = max{#S : S V, S L.I} caso exista. Caso no existir, dizemos que V de dimenso innita. No caso de dim V = n, mostre que (a) Todo conjunto L.I. com n elementos gera o espao. (b) Se um conjunto nito gera o espao, qualquer conjunto com mais elementos que ele, L.D. (c) Conclua que o nmero de elementos num conjunto L.I. gerador do espao a dimenso.