Espa cos Vetoriais e o Teorema da Invari ancia

Ao estudarmos Alebra Linear e suas aplica co es faz-se necess ario conhecermos bem o conjunto onde tudo acontece e as possibilidades que este nos d a. Tal conjunto e chamado de Espa co Vetorial . Mas o que e um espa co vetorial? Chamamos de espa co vetorial a um conjunto E , cujo os elementos s ao denominados de vetores, e nele est ao denidas duas opera co es: a ` adi c ao que associa a cada par de vetores u e v um novo vetor u + v E chamado de soma; e a ` multiplica c ao de um escalar (n umero real) R por um vetor u E , que gera um vetor u E denominado de produto de por u e que satisfazem os seguites axiomas: Para todo , R e u, v, w E tem-se: 1. Comutatividade: u + v = v + u. 2. Associatividade: (u + v ) + w = u + (v + w) e ( )u = (u). 3. Vetor Nulo: Existe um vetor 0 E tal que, para cada u E , u + 0 = 0 + u = u. 4. Inverso Aditivo (Sim etrico): Para todo vetor u E n ao nulo, existe outro vetor u E tal que u + u = u + (u) = 0, chamado de sim etrico de u. 5. Distributividade): ( + )u = u + u e (u + v ) = u + v . 6. Multiplica c ao pela Unidade: 1u = u1 = u Como exemplo de espa cos vetoriais temos o conjunto Rn chamado de espa co euclidiano n-dimensional. Nele os elementos s ao as n-uplas ordenadas u = (1 , 2 , v = (1 , 2 , . . . , n ), . . . de n umeros reais. E f acil ver que e realmente um espa co pois os axiomas acima s ao todos vericados. Outro exemplo cl assico e o espa co das matrizes reais M (R) de ordem m n. vetorial . . . , n ), vetorial vetorial

Um subespa co vetorial de um espa co vetorial E e umconjunto F E tal que 1. 0 F ; 1

2. Se u, v F , ent ao u + v F ; 3. Se u F , ent ao R, u F . Ou seja, quando F E e tamb em um espa co vetorial. Por exemplo, sejam a1 , a2 , . . . , an R. O conjunto H de todos os vetores u = (x1 , . . . , xn ) Rn tais que a1 x 1 + + an x n = 0 e um subespa co vetorial de Rn , mais ainda, se ai , com i {1, 2, . . . , n}, e tal que ai = 0 n para todo i, chamamos H de Hiperplano de R que passa pela origem. Se um subconjunto X E , o subespa co vetorial de E gerado por X e denido como sendo o conjunto de todas as combina co es lineares 1 u1 + + n un , de todos os vetores u1 , . . . , un X . Denotemos este conjunto por S (X ). Dizemos que o espa co vetorial E e nitamente gerado por X E , se X e nito e S (X ) = E . Um outro conceito fundamental dos espa cos vetoriais e o de base. Antes de den -la precisamos lembrar que um conjunto X E e linearmente independente (LI), quando nenhum de seus vetores e combina c ao linear (um vetor w e combina ca o linear de u e v se existem n umeros a1 e a2 tais que w = a1 u + a2 v ) dos outros, caso contr ario, dizemos que e linearmente dependente (LD). Ent ao, uma base de um espa co vetorial E e um conjunto B E que e linearmente independente e que gera o conjunto E , isto e, qualquer que seja o vetor w E , ele pode ser expresso de forma u nica como combina c ao linear w = 1 u1 + + n un , de elementos u1 , . . . , un B . Como exemplo temos que os mon omios 1, x, . . . , xn formam uma base para o espa co vetorial Pn , dos polin omios de grau menor do que ou igual a n. Todos os resultados anteriores e mais tr es lemas seguintes v ao nos apoiar para provar um teorema de grande valor te orico para algebra linear, o Teorema da Invari ancia. A partir dele poderemos defnir o que e uma dimens ao de um espa co vetorial. Vamos ent ao enunciar os lemas sem, no entanto, prov a-los. As provas deles podem ser encontradas nos livros Algebra Linear e Aplica c oes de Carlos Caliolli, Hygino Domingues e Roberto Costa e Algebra Linear de Elon Lages Lima. Lema 0.1. Se B e uma base para um espa co vetorial E e se u E e tal que u = 1 u1 + + n un , com i = 0 e u1 , . . . , un B , ent ao B = {u1 , . . . , ui1 , u, ui+1 , . . . , un } e tamb em uma base de E . . Lema 0.2. Se B E e uma base de E com n vetores. Ent ao qualquer outro conjunto B E que seja LI e possua n vetores, e tamb em base de E . 2

UEPA

Prof. Osmar Borges

. Lema 0.3. Se os vetores u1 , . . . , un geram o espa co vetorial E e os vetores v1 , . . . , vm s ao linearmente independentes, ent ao m n. . Observemos que o lema acima arma que qualquer outro conjunto com mais de n vetores n ao pode ser base de E , pois e linearmente dependente. No que segue, apresentemos o Teorema da Invari ancia e sua prova baseada nos resultados obtidos at e o momento: Teorema 0.1. Duas bases quaisquer do espa co vetorial E nitamente gerado possuem o mesmon umero n de vetores. Demonstra c ao. Sejam B = {u1 , . . . , un } e B {v1 , . . . , vm } duas bases de E (logo linearmente independentes). Tem-se que se B e base de E e B e LI ent ao m n. Da mesma maneira umero de vetores. temos que n m. Portanto n = m, isto e, B e B possuem o mesmo n somente com este resultado que asseguramos uma deni E c ao precisa para dimens ao de um espa co vetorial. Assim, dado um espa co vetorial E nitamente gerado o n umero de vetores n de uma base qualquer do espa co vetorial e denominada de dimens ao de E .

UEPA

Prof. Osmar Borges