UNIVERSIDADE FEDERAL DA PARABA CENTRO DE CINCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMTICA INTRODUO LGEBRA LINEAR - 2009.

.2 PROFESSOR SALES ALGUNS FATOS IMPORTANTES DA LGEBRA LINEAR Teorema 1 Consideremos que seja um espao vetorial, seja um vetor em , 0 seja o vetor nulo de e seja um escalar. Nestas condies, valem: i) ii) iii) iv) 0 0 0 Se 0, ento ou 0

Caso especial de espao vetorial Se um espao vetorial e 0 o seu vetor nulo, ento o conjunto munido das operaes de adio e multiplicao por escalar vigentes em V e formado apenas por 0 um espao vetorial, chamado espao vetorial nulo. Definio de subespao vetorial Consideremos que seja um espao vetorial. Dizemos que um subconjunto de , , um subespao vetorial de se , ele prprio, um espao vetorial, isto , , munido das operaes de adio e multiplicao por escalar definidas em , um espao vetorial. Teorema 2 Consideremos que seja um espao vetorial. Um subconjunto , de , um subespao vetorial de se, e somente se, valem todas as seguintes condies: i) ii) iii) no-vazio, fechado em relao adio, ou seja, se e pertencem a , ento pertence a , fechado em relao multiplicao por escalar, isto , se, para qualquer pertencente a e qualquer escalar , ocorre: pertence a .

Corolrio do Teorema 2 (critrio de identificao de subespaos) Consideremos que seja um espao vetorial. Um subconjunto , de , um subespao vetorial de se, e somente se, valem todas as seguintes condies: i) ii) 0 pertence a ( no-vazio), Para quaisquer , em e quaisquer escalares um elemento de . , , ocorre:

Teorema 3 Se e destes subespaos,

so subespaos de um espao vetorial , ento a interseo , um subespao vetorial de .

Advertncia Se e so subespaos de um espao vetorial , ento nem sempre a unio destes subespaos, , um subespao vetorial de .

Teorema 4 (espao-soluo de sistemas homogneos) Se x 0 um sistema linear homogneo formado por equaes e incgnitas, ento o conjunto de todos os vetores-soluo desse sistema um subespao de . Observao No teorema 3, o smbolo representa uma matriz do tipo:

e x um vetor do tipo:

Definio (combinao linear) Consideremos que sejam vetores de um espao vetorial . Dizemos que uma combinao linear de se existem escalares tais que . Observao Fixado um conjunto de vetores de um espao vetorial , certos vetores de podem ser expressos como combinao linear dos vetores , mas podem existir vetores de que no podem ser escritos assim. Um fato relevante a este respeito que o conjunto de todas as combinaes lineares dos vetores um subespao vetorial de . este o contedo do seguinte teorema. Teorema 5 Consideremos que sejam vetores de um espao vetorial , ento o conjunto, de todas as combinaes lineares dos vetores um subespao vetorial de . Alm disso, o menor subespao de que contm os vetores , no sentido de que se qualquer subespao de que contm os vetores , ento contm . Definio e notao (subespao gerado) O subespao do teorema 4 denominado subespao gerado por , e geralmente representado por ou Observao Cada um dos vetores eles, pois, por exemplo, temos: . pertence ao subespao gerado por

. Ou seja, cada um dos vetores uma combinao linear deles prprios.

Teorema 6 Se e so conjuntos de vetores de um mesmo espao vetorial , ento vale a seguinte relao: e cada vetor de se, e somente se, cada vetor de uma combinao linear de . uma combinao linear de

Observao O que o teorema 6 afirma, essencialmente, que possvel um mesmo subespao, , de um dado espao vetorial, , ser gerado por conjuntos formados por quantidades distintas de vetores de . A nica condio para isto acontecer que cada um dos vetores, em cada um dos conjuntos, seja combinao linear dos vetores do outro conjunto. A ttulo de ilustrao deste fato, basta ver que o plano gerado, tanto pelos vetores e quanto pelos vetores e . Definio ((in)dependncia linear) Consideremos que sejam vetores de um espao vetorial . A equao 0, cujas incgnitas so os escalares , possui pelo menos uma soluo, qual seja, . Se esta a nica soluo desta equao, dizemos que os vetores so linearmente independentes (abreviadamente, l.i.). Porm, se esta equao admite alguma soluo em que nem todos os escalares so diferentes de zero, dizemos que os vetores so linearmente dependentes (abreviadamente, l.d.). Observao comum usarmos a expresso o conjunto para significar que os vetores so l.i. Quando os vetores l.d. comum falarmos que o conjunto l.d. l.i. so

Teorema 7 Consideremos que seja um conjunto de dois ou mais vetores de um espao vetorial . Nestas condies, so vlidas as seguintes relaes equivalentes: i) ii) l.d. se, e somente se, pelo menos um vetor de pode ser expresso como combinao linear dos demais vetores de . l.i. se, e somente se, nenhum vetor de pode ser escrito como combinao linear dos demais vetores de .

Teorema 8 Em um espao vetorial, todo subconjunto finito contendo o vetor nulo l.d. Teorema 9 Considere que . Se , ento l.d. seja um subconjunto de vetores de

Definio (Base e dimenso) Consideremos que seja um espao vetorial arbitrrio e que seja um subconjunto de . Dizemos que uma base de se, nestas condies, valem as seguintes relaes: i) ii) linearmente independente, e .

Teorema 10 (Unicidade de representao de um vetor em uma base) Se uma base de um espao vetorial , ento cada vetor em pode ser expresso de uma nica maneira na forma . Definio (Coordenadas em relao a uma base) Se uma base de um espao vetorial e se um vetor em tal que , ento os escalares so chamados de coordenadas do vetor em relao base . Tal fato representado por: . Uma ilustrao Consideremos a base de e . a) Quais so as coordenadas do vetor b) Qual o vetor em tal que Uma soluo a) Aqui, precisamos encontrar escalares , ( temos . e tais que e , isto . Assim, dada por , em que

em relao base ? ?

, o que nos fornece

b) Como , a definio de coordenadas de um vetor em relao a uma determinada base implica: , ou seja, . Teorema 11 Se um conjunto l.i. de vetores em um espao vetorial , ento uma base para o subespao . Definio (Dimenso de um espao vetorial) Dizemos que um espao vetorial tem dimenso finita se este contm um subconjunto finito que uma base de . Se no existe um subconjunto nestas condies, dizemos que tem dimenso infinita. Ilustrao So exemplos de espaos vetoriais de dimenso finita: O espao infinita. de todas as funes . tem dimenso

Teorema 11 Consideremos que seja uma base de um espao vetorial . Nestas condies, so vlidas as seguintes afirmaes: i) ii) Todo subconjunto de contendo mais do que vetores l.d. Nenhum subconjunto de contendo menos do que vetores gera . possuem a

Teorema 12 Duas bases quaisquer de um mesmo espao vetorial mesma quantidade de vetores.

Definio A dimenso de um espao vetorial de dimenso finita a quantidade de vetores de uma base dele. A notao usada para representar a dimenso de um espao vetorial destes . A dimenso do espao vetorial nulo definida como sendo zero. Teorema 13 Consideremos que i) ii) seja um espao vetorial de dimenso .

Se um subconjunto de contendo exatamente vetores linearmente independentes, ento uma base de . Se subconjunto de contendo exatamente geradores de , ento uma base de .