Académique Documents
Professionnel Documents
Culture Documents
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.
em
Exemplos 1. A adio usual em uma operao binria. 2. A multiplicao usual em 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
( ) +
, + ,
K4. Existncia de simtrico da + e existncia de inverso da Usualmente designamos o simtrico de , , , + por e o inverso de + , =0 = por
, , , ( + ) =
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
3. Seja corpo.
+ 0 1 0 0 1 1 1 0
Espao Vectorial
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
(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 , , , .( . ) = ( ). , , .
Definio: Seja
um espao vectorial sobre o corpo K. Aos elementos = dizemos que V um espao vectorial real.
= dizemos que V um
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.
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.
2. O vector nulo
nico. = .
= 0
Subespao Vectorial
, +,
Definio: Seja
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. ,
subespao vectorial de V se e s se , ,
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 +
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
vectores quaisquer de S.
um vector de S.
= ( , , ) :
um subespao de .
Demonstrao: Exerccio
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 .
ainda um
Demonstrao: () Se T um subespao de V e
ento
um =
Seja agora u um vector qualquer de T. Ento subespao de V, ento Assim + + + ( ) . + pelo que
. Note-se que
+ ( )
e portanto
. 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
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 = .
,,
, r se
Os escalares
,,
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. , +, , , ,, ,
Teorema: Seja
vectores de V. O conjunto de todas as combinaes lineares dos vectores i.e., . um subespao de V. Demonstrao: Exerccio : , , ,,
,,
, r ,
Definio: Seja
,,
vectores
,,
. Os vectores
,,
Teorema: Se
= ( , , ) :
( ,
Definio: Seja
10
= , ,
== ,,
=0
Um conjunto de vectores que no linearmente independente diz-se linearmente dependente. Deste modo, os vectores quando existem escalares , , ,, so linearmente dependentes
Se um conjunto de vectores contm o vector nulo, ento linearmente dependente. Se , , ,, linearmente dependente ento algum daqueles vectores
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
mostre que
11
Definio: O conjunto , , , , , ,, , ,, ,,
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 . ,
3. Verifique que o conjunto 1 constitui uma base para o espao vectorial complexo constitui uma base para o espao vectorial
coordenadas
do
,,
,,
12
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
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, , ,, ,
,,
, onde
4. O espao dos polinmios definidos em e de grau menor os igual a n tem . Designa-se por base cannica de .
13
Teorema: Se
,,
Se
. 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.
= . 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.
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
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
= dim( + ).
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
15
= ( , , , ): +
= ( , , , ): + +
=0 =2
= ( , + , 2 + + , + 2 + 2 ): , ,
3. Calcule
e para T. Verifique se = .
soma
interseco
dos
subespaos
de
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 + .
16
Exerccios
1.3. 1.4.
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
= ento
constituem
1,2 2
2 + 1 na base cannica 1, ,
de
17