Você está na página 1de 17

Captulo 1: Espaos Vectoriais

Palavras Chave Operaes binrias, Estrutura Algbrica, Corpo, Espao Vectorial, Subespao Vectorial, Dependncia Linear, Independncia Linear, Combinao Linear, Gerador, Base, Dimenso de um Espao Vectorial, Soma Directa de Subespaos, Subespaos Suplementares.

Objectivos Definir e identificar espao vectorial. Definir e identificar subespao vectorial. Definir combinao linear de vectores, independncia/dependncia linear de vectores e subespao gerado por um conjunto de vectores. Definir e determinar uma base e a dimenso de um espao vectorial. Obter as componentes de um vector em relao a uma base. Completar a base de um subespao vectorial de modo a obter uma base para o espao vectorial.

Operaes Binrias e Estruturas Algbricas. Noo de Corpo

Definio: Uma operao binria definida no conjunto A uma aplicao de A.

em

Deste modo por uma operao binria corresponde um e um s elemento de A.

, a cada par de elementos de A

Maria do Carmo Coimbra MIEC - FEUP

Exemplos 1. A adio usual em uma operao binria. 2. A multiplicao usual em uma operao binria.

3. A subtraco usual em no uma operao binria.

Uma estrutura algbrica consiste num conjunto associado a uma ou mais operaes sobre o conjunto que satisfazem certos axiomas. Em particular vamos estudar a estrutura algbrica que designamos por corpo. que a estrutura algbrica ( , +,) um corpo e por abuso de linguagem, tambm se diz K1. Propriedade Associativa da + e da , , , , ,( + ) + = ,( ) = , + , +( + ) Definio: Seja K um conjunto e + e duas operaes binrias definidas em K. Diz-se

que K um corpo se so verificados os axiomas:

K2. Propriedade Comutativa da + e da , ,

( ) +

K3. Existncia de elemento neutro da + e da , ,

, + ,

K4. Existncia de simtrico da + e existncia de inverso da Usualmente designamos o simtrico de , , , + por e o inverso de + , =0 = por

K5. Propriedade Distributiva da em relao +

, , , ( + ) =

Maria do Carmo Coimbra MIEC - FEUP

Exemplos 1. ( , +,) em que = , = , ou = em que + e so a adio e

2. (, +,) em que + e so a adio e multiplicao usuais no um corpo. A propriedade K4 em relao multiplicao falha. = 2 , , = 0,1 . Verifique que ( , +,) com + e definidas pela tabelas um . 0 1 0 0 0 1 0 1 1

multiplicao usuais nesses conjuntos um corpo.

3. Seja corpo.

+ 0 1 0 0 1 1 1 0

Espao Vectorial

Definio: Seja V um conjunto no vazio e K um corpo. Suponhamos definidas duas

Dizemos que

operaes, uma que designamos por adio em V, +, e outra por multiplicao externa . simplesmente que V um espao vectorial ou espao linear sobre o corpo K se se , +, um espao vectorial ou espao linear sobre o corpo K ou mais

verificam os axiomas: (A0) A adio uma operao binria em V, i.e., V fechado para a adio , , , , + = = +( + ) + , zero ou vector nulo de V 3

(A1) A adio goza da propriedade associativa ,( + )+ , , +

(A2) A adio goza da propriedade comutativa

(A3) Existncia de elemento neutro da adio em V, Maria do Carmo Coimbra MIEC - FEUP

, , + =

(A4) Todos os elementos tm simtrico , , + (M0) V fechado para a multiplicao externa (M1) Associatividade mista , , , .( . ) = ( ). , , .

(M2) Distributividade da multiplicao externa em relao adio em V , , , , +, , .( + ) = . + . = . + . , identidade de K . =

(M3) Distributividade da multiplicao externa em relao adio em K , , ( + ). , ,

(M4) Existncia de elemento neutro da multiplicao externa,

Definio: Seja

um espao vectorial sobre o corpo K. Aos elementos = dizemos que V um espao vectorial real.

chamamos vectores e aos elementos de K escalares. Se espao vectorial complexo e se

= dizemos que V um

definido o espao vectorial, entende-se que se trata de .

Nota: No texto que se segue sempre que no haja referncia o corpo sobre o qual est

Exemplos: [Verifique] 1. O conjunto sobre o corpo com as operaes usuais um espao vectorial.

Maria do Carmo Coimbra MIEC - FEUP

3. O conjunto sobre o corpo com as operaes usuais um espao vectorial. 4. O conjunto

2. O conjunto sobre o corpo

com as operaes usuais no um espao

vectorial. A multiplicao externa no fechada.

dos polinmios de coeficientes reais grau menor ou igual a n com as

operaes usuais de adio de polinmios e de multiplicao de um polinmio por um nmero real um espao vectorial real. 5. O conjunto das funes reais de varivel real com as operaes usuais de adio de funes e de multiplicao de uma funo por um nmero real um espao vectorial real.

Exerccio: Indique se o conjunto dado ou no um espao vectorial. Se no o for indique pelo menos um axioma que no se verifica. 2. Os vectores de com a primeira componente igual a 1. 3. Os vectores de ( , ) em que = . 1. Os vectores de com a primeira componente nula.

5. Todas as funes reais de varivel real em que (0) = 1.

6. Todas as funes reais de varivel real em que (0) = (1).

4. Todas as funes reais de varivel real em que (0) = (1).

Propriedades Gerais de um espao vectorial V sobre o corpo K [Verifique] 1. , , , + + = + = .

2. O vector nulo

nico. = .

3. O simtrico de um vector nico. 4. A equao 6. , 0. 7. . = E por 5, 6,e 7, . = =0 = 5 5. , . = tem soluo nica em V. . =

= 0

Maria do Carmo Coimbra MIEC - FEUP

Subespao Vectorial
, +,

Definio: Seja

um espao vectorial sobre o corpo K. Um subconjunto S de V se S com as operaes induzidas pelas

diz-se subespao vectorial de V e escreve-se

operaes de V for um espao vectorial sobre o corpo K.

O menor subespao de um espao vectorial V contm apenas 1 elemento: o zero de V. O maior subespao de V o prprio V. Estes dois subespaos dizem-se os subespaos triviais. = , os subespaos triviais so e (0,0,0) . Para alm destes subespaos, os

Se

outros subespaos so o das rectas que passam na origem e os planos que passam na origem. = , os subespaos triviais so e 0 e estes so os nicos subespaos de .

Se

Apesar de um subespao vectorial ter de satisfazer a todas as propriedades referidas na definio de espao vectorial no necessrio verific-las a todas. Teorema: Seja 1. , , +, um espao vectorial sobre o corpo K e e . S um

subespao vectorial de V se e s se 2. , + , , .

As condies 1 e 2 do teorema anterior podem ser substitudas por uma nica condio e podemos enunciar o teorema com a forma, , +, . S um

Teorema: Seja 3. ,

um espao vectorial sobre o corpo K e , . + .

subespao vectorial de V se e s se , ,

Maria do Carmo Coimbra MIEC - FEUP

Demonstrao: Sejam , () Seja e

podemos concluir que .

agora a propriedade 1 aos vectores . e + =

escalares quaisquer e , vectores quaisquer de S. Ento pela propriedade 2 um vector de S e que . e . conclui-se . + . um vector de S. . , segue-se que +

e admitamos que so vlidas as propriedades 1 e 2.

um vector de S. Aplicando

() Seja

quaisquer de S. Como . = . +

e admitamos que vlida a propriedade 3. Sejam , vectores . , segue-se que . um escala qualquer e , . +

logo fica

verificada a propiedade 1. Seja Como

vectores quaisquer de S.

um vector de S.

Exemplos 1. Verifique se 2. Verifique se 3. Verifique se 4. Verifique se = ( , , ) : +2 =0 = ( , ) : = 0 um subespao de . = um subespao de .

= ( , , ) :

= (0,0,0), (01,1), (0,0,1) um subespao de .

um subespao de .

Teorema: Seja S e T subespaos vectoriais do espao vectorial V. Ento = : ainda um subespao de V.

Demonstrao: Exerccio

Maria do Carmo Coimbra MIEC - FEUP

A reunio de subespaos pode no ser um subespao conforme ilustra o seguinte exemplo: Exemplo 1. Verifique que 2. Verifique que 3. Verifique que = ( , ) : = ( , ) : = 0 um subespao de . = 0 um subespao de .

no um subespao de .

Teorema: Seja S e T subespaos vectoriais do espao vectorial V. Ento subespao de V se e s se ou .

ainda um

Demonstrao: () Se T um subespao de V e

subespao de V. Analogamente, se S um subespao de V e pelo que um subespao de V.

ento

pelo que ento

um =

() Suponhamos que tal que

Seja agora u um vector qualquer de T. Ento subespao de V, ento Assim + + + ( ) . + pelo que

. Note-se que

um subespao de V mas que . +

. De forma idntica se mostraria que se ento

+ ( )

e portanto

o que mostra que qualquer vector u de T pertence a S, logo

, o que uma contradio. Ento

. Como por hiptese +

. Como

, existe um + +

. Mas se

um subespao de V em que

Teorema: Seja S e T subespaos vectoriais do espao vectorial V. Ento a soma + = : ( , : = + ) ainda um subespao de V.

Demonstrao: Exerccio

Maria do Carmo Coimbra MIEC - FEUP

Conjuntos de Geradores
Uma maneira de obter subespaos de um espao vectorial custa dos vectores do espao. , +, , , , ,,

Definio: Seja

um espao vectorial sobre o corpo K e , ,, combinao linear dos vectores tais que = .

vectores de V. Dizemos que existirem escalares

,,

, r se

Os escalares

,,

dizem-se os coeficientes da combinao linear

Exemplos 1. Em , o vector 2, 2 combinao linear dos vectores (1,1) e (2,2).

2. Qualquer vector (a, b, c) de combinao linear de (1,0,0), (0,1,0) e (0,0,1). Verifique que os coeficientes da combinao linear so nicos. , +, , , ,, ,

Verifique que os coeficientes da combinao linear no so nicos.

Teorema: Seja

um espao vectorial sobre o corpo K e

vectores de V. O conjunto de todas as combinaes lineares dos vectores i.e., . um subespao de V. Demonstrao: Exerccio : , , ,,

,,

, r ,

Definio: Seja

V. Chamamos subespao gerado por S ao conjunto de todas as combinaes lineares dos

,,

um conjunto de r vectores de um espao vectorial

Maria do Carmo Coimbra MIEC - FEUP

subespao. Tal subespao denotado por, ou ( ) ou . , , ,, ( Demonstrao: Exerccio

vectores

,,

. Os vectores

,,

designam-se por geradores do

Teorema: Se

so vectores de um espao vectorial e um deles, por , , ,, ) = ( , ,, )

exemplo o primeiro, combinao linear dos restantes r-1 vectores ento

Exemplos 3. Em , seja = 2, 2 e = (1,1). Verifique que ) = ( = + = (1,1,0), (0,1,1) , + , ) e )

4. Verifique que 5. Seja , , (

vectores de um espao vectorial V. Mostre que , , ) = ( + +

= ( , , ) :

( ,

Definio: Um espao vectorial V diz-se finitamente gerado se existem , , ,, tais que = ( , , ,, )

Independncia e Dependncia Linear


, +, , , ,,

Definio: Seja

um espao vectorial sobre o corpo K e , , , , ,, ,,

vectores de V. Os vectores combinao linear nula de

so linearmente independentes se a nica a trivialmente nula, i.e.,

Maria do Carmo Coimbra MIEC - FEUP

10

= , ,

== ,,

=0

Um conjunto de vectores que no linearmente independente diz-se linearmente dependente. Deste modo, os vectores quando existem escalares , , ,, so linearmente dependentes

, no todos nulos, tal que =

Se um conjunto de vectores contm o vector nulo, ento linearmente dependente. Se , , ,, linearmente dependente ento algum daqueles vectores

combinao linear dos restantes e reciprocamente.

Exemplos 2. Verifique se os vectores (1,0,3) , (2, 1, 17) e (1,1,14) de linearmente dependentes. e + 3. Sendo 1. Verifique que os vectores (1,1,0) e (0,1,1) de so linearmente independentes.

so

dois vectores linearmente independentes de um espao vectorial, e tambm so linearmente independentes.

mostre que

Maria do Carmo Coimbra MIEC - FEUP

11

Base e Dimenso de um espao vectorial


, , ,,

Definio: O conjunto , , , , , ,, , ,, ,,

de r vectores de um espao vectorial V formam

uma base do espao vectorial V se 1. 2. Escreve-se

um conjunto gerador de V. um conjunto de vectores linearmente independentes de V. .

Diz-se que um espao vectorial tem dimenso finita se tem como base um conjunto finito de vectores ou se = . Caso contrrio, diz-se que V tem dimenso infinita. Se =

diz-se que V tem dimenso nula e convenciona-se que a base o conjunto vazio. Se V no finitamente gerado diz-se que V tem dimenso infinita.

Exemplos 1. Verifique que os vectores (1,0) e (0,1) constituem uma base para o espao vectorial real . . constitui uma base para o espao vectorial real . ,

2. Verifique que o conjunto 1,

4. Verifique que o conjunto 1, ,

3. Verifique que o conjunto 1 constitui uma base para o espao vectorial complexo constitui uma base para o espao vectorial

dos polinmios de coeficientes reais cujo grau no excede 3.

Definio: Dada uma base ordenada chamam-se , , ,, componentes ou

aos coeficientes escalares ( , =

coordenadas

do

,,

de um espao vectorial V vector ) da combinao linear u na base ordenada

,,

Maria do Carmo Coimbra MIEC - FEUP

12

Exemplo: 1. Representar o vector = (1,0) na base (1,1), (1,1) . 1= 0= +

Ora (1,0) = (1,1) + (1,1) Portanto as coordenadas de

= (1,0) na base (1,1), (1,1) so ( , ).

2. No espao dos polinmios de grau menor os igual a 3 considere a seguinte base: 1,1 , 1 a. b. =23 + =32 ,1 . Calcule as coordenadas nesta base de +2

Teorema: Todas as bases de um espao vectorial de dimenso finita escreve-se dim .

mesmo nmero de elementos. Este nmero de elementos chama-se dimenso de V e

tm o

Exemplos 1. um espao vectorial real de dimenso 1. um vector de 2. , sobre o corpo um espao vectorial de dimenso infinita. 3. O espao vectorial real tem dimenso n. Uma base 1. Esta base designa-se por base cannica de . dimenso + 1. Uma base 1, , ,, ,

com todas as componente nulas, excepo da i-sima que vale

,,

, onde

4. O espao dos polinmios definidos em e de grau menor os igual a n tem . Designa-se por base cannica de .

Maria do Carmo Coimbra MIEC - FEUP

13

Teorema: Se

subconjunto de S que uma base de V.

,,

gera o espao vectorial V ento existe um

Se

faamos a demonstrao por induo. Se = 1 ento = e como tm-se que

ento o conjunto vazio a base de V e um subconjunto de S. Se

subconjunto de S, uma base de V.

. Logo S, que um

Hiptese de induo: Admitamos que todo o subconjunto de S com r-1 vectores admite um subconjunto para base. Tese: S admite um subconjunto de S para base. Se os vectores Se os vectores , , , , ,, ,, so linearmente independentes ento S uma base de V. so linearmente dependentes, um deles combinao

linear dos outros r-1 e o conjunto desse r-1 vectores continua a gerar S logo, por hiptese de induo, existe um subconjunto de S que base para V.

Teorema: Seja V um espao vectorial de dimenso finita com dim

= . Ento

1. Qualquer conjunto de n vectores de V linearmente independentes uma base de V. 2. Qualquer conjunto de n vectores que gera V uma base de V.

Teorema: Seja V um espao vectorial de dimenso finita com dim modo a se obter uma base de V.

Qualquer conjunto de k vectores linearmente independentes de V pode ser ampliado de

e 1

Teorema: Seja V um espao vectorial de dimenso finita e S um subespao de V. Ento dim dim Se dim = dim

ento S = V 14

Maria do Carmo Coimbra MIEC - FEUP

Teorema: Seja V um espao vectorial de dimenso finita com dim subespaos de V. Ento dim + dim

= dim( ) + dim( + )

e S e T dois

Teorema: Seja V um espao vectorial e S e T dois subespaos de V. Se conjunto de geradores de S e se conjunto gerador de + . for um conjunto de geradores de T ento

for um um

No caso especial de

Neste caso dizemos que

= 0 temos dim + dim

uma soma directa e escrevemos .

= dim( + ).

Pode acontecer que

do subespao S com o subespao T. S e T dizem-se suplementares.

= . Nesse caso, diz-se que o espao vectorial V soma directa

Teorema: Seja V um espao vectorial e S e T dois subespaos de V tal que for uma base de S e se for uma base de T ento , uma base de V.

= . Se

Maria do Carmo Coimbra MIEC - FEUP

15

Exemplos 1. Calcule a dimenso de U, W, vectorial , e + , sendo U e W subespaos do espao =0

2. Considere o subconjunto do espao vectorial ,

= ( , , , ): +

= ( , , , ): + +

=0 =2

b. Determine uma base para S.

c. D exemplo de um subespao T, do espao vectorial tal que = . ,

a. Mostre que S um subespao do espao vectorial .

= ( , + , 2 + + , + 2 + 2 ): , ,

3. Calcule

e para T. Verifique se = .

=( (1,0, 1), (0,1,1) ) e

soma

= ( (0,0,1), (1,1,0) ). Indique uma base para S

interseco

dos

subespaos

de

4. Indique um subespao suplementar de

= ( (1,0, 1), (0,1,1) ) em .

5. Sejam S e T subespaos de tais que, T=( (0, 2,0, 3), (1,0,1,0) ) e = ( (1, 1,2, 3), (1,1,2,0), (3, 1,6, 6) ) . a. Determine a dimenso de S, T, e + .

b. Determine uma base para o subespao U de tal que = .

c. Determine as coordenadas de (3, 1,6, 6) na base obtida anteriormente.

Maria do Carmo Coimbra MIEC - FEUP

16

Exerccios

1. Diga se as seguintes proposies so verdadeiras ou falsas justificando as respostas.


1.1. O conjunto das funes mpares um subespao vectorial do espao vectorial real das funes reais de varivel real, com a adio de funes e multiplicao de uma funo por um escalar usuais. 1.2. O vector = (3,1). = (1,0) pode ser escrito como combinao linear de = (2,1) e

1.3. 1.4.

= (1,0,0)), (0,1,0), (0,0,1), (1,1,0) gera . = : =3 2 :

1.5. Se A e B so subespaos de um espao vectorial real V, ento o conjunto C,

= (1,0,0)), (0,1,0), (0,0,1), (1,1,0) uma base para .

tambm um subespao de V. 1.7. Qualquer que seja o nmero real m, os vectores ( , , 1) , ( , 1, 1.8. Se os vectores (1, , ) de so linearmente independentes. , , (1 + ) , constituem uma base do espao complexo (1 + ) , (1 + ) 1.6. = ( , , 2 + , 2 + ): , um subespao do espao vectorial . ) e

tambm os vectores 1.9. O conjunto 3 + 1, 1.10. 1.11. 1, , uma base de V.

= ento

constituem

polinmios de grau menor ou igual a 2. As coordenadas de , (1 + )

1,2 2

uma base para o espao vectorial real dos so (1,2,1).

No espao real das funes reais de varivel real, o conjunto

2 + 1 na base cannica 1, ,

de

um conjunto de vectores linearmente independentes.

Maria do Carmo Coimbra MIEC - FEUP

17