lgebras e Tecnologia

2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

O novo mtodo atraiu muito pouco a ateno. A convite de Klein, Ricci e seu antigo discpulo Levi-Civita prepararam um artigo sobre o clculo tensorial e suas aplicaes fsica matemtica para public-lo em uma revista que era lida por matemticos de todas as nacionalidades. O artigo apareceu em francs em 1901 e produziu muito pouco efeito. Porm, alguns gemetras curiosos no italianos captaram o novo clculo e, pelo menos um, Grossmann, de Zurique, o compreendeu e o ensinou a Einstein. O clculo tensorial era uma classe particular da lgebra vetorial generalizada, muito apropriada para expressar as equaes diferenciais da relatividade em forma covariante, como exige um postulado da teoria de Einstein. E. T. Bell 2. COMBINAES LINEARES E DEPENDNCIA LINEAR 2.1 COMBINAES LINEARES E DEPENDNCIA LINEAR

Dentro dos espaos vetoriais existem outros espaos vetoriais chamados de subespaos vetoriais. Para estudar subespaos vetoriais precisamos de combinaes lineares de vetores. Definio 2.1.1 Sejam V um espao vetorial sobre e os vetores v1, v2, ..., vm V. Qualquer vetor v da forma a1v1 + a2v2 + ... + amvm, onde ai , chamado uma combinao linear de {v1, v2, ..., vm}. O conjunto de todas essas combinaes lineares, denotado por <{v1, v2, ..., vm}> chamado espao gerado por {v1, v2, ..., vm}. De um modo geral, para qualquer subconjunto S de V, o smbolo S representa todas as combinaes lineares de vetores em S; definimos S = {0} se S vazio, isto , = {0}. Dado um espao vetorial V, diz-se que os vetores w1, w2, ..., wr geram V, ou formam um conjunto gerador do espao V, se V = {w1, w2, ..., wr}. Em outras palavras, os vetores w1, w2, ..., wr geram V se, para todo v V, existem escalares a1, a2, ..., ar tais que v = a1w1 + a2w2 + ... + arwr, isto , se v uma combinao linear dos wi, 1 i r.

38

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exemplo 2.1.1 Os vetores i = (1, 0, 0), j = (0, 1, 0) e k = (0, 0, 1) geram o espao vetorial 3. Especificamente, para qualquer vetor u = (a, b, c) de 3, temos: u = (a, b, c) = a (1, 0, 0) + b (0, 1, 0) + c (0, 0, 1) = a i + b j + c k. Portanto, u uma combinao linear de i, j e k. Exemplo 2.1.2 Consideremos o espao vetorial 3. O espao gerado por qualquer vetor no-nulo u 3 consiste de todos os mltiplos escalares de u; geometricamente, {u} a reta que passa pela origem (0, 0, 0) e pela extremidade de u. Se tomarmos dois vetores quaisquer u, v 3 que no sejam mltiplos um do outro, {u, v} o plano que passa pela origem (0, 0, 0) e que contm os pontos extremos de u e v. Exemplo 2.1.3 Os polinmios 1, t, t2, t3, ... , geram o espao vetorial P(t) de todos os polinmios, isto , P(t) = {1, t, t2, t3, ...}. Isso significa que qualquer polinmio uma combinao linear de 1 e de potncias de t. Analogamente, os polinmios 1, t, t2, ..., tn, geram o espao Pn(t) de todos os polinmios de grau n.
2.2 DEPENDNCIA LINEAR

Dado um conjunto de vetores {v1, v2, ..., vk}, consideremos as suas combinaes a1v1 + a2v2 + ... + akvk. A combinao trivial, com todos os pesos ai = 0, obviamente produz o vetor nulo: 0v1 + 0v2 + ... + 0vk = 0 com os vi. A questo saber se essa a nica maneira de se produzir o vetor nulo com os vi. Se a resposta for afirmativa, dizemos que os vetores so linearmente independentes. Se alguma outra combinao, que no seja a nula, produz tambm o vetor nulo, ento eles so linearmente dependentes. Definio 2.2.1 Seja V um espao vetorial sobre o corpo . Os vetores v1, v2, ..., vk V so linearmente dependentes sobre ou, simplesmente, dependentes, se existem escalares a1, a2, ..., ak , no simultaneamente nulos, tais que a1v1 + a2v2 + ... + akvk = 0.
39

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Caso contrrio, os vetores so linearmente independentes sobre , ou simplesmente independentes. Os conceitos de combinao linear e de dependncia linear esto estreitamente relacionados, pois os vetores so linearmente dependentes se, e somente se, um deles combinao linear dos outros. Exerccio 2.2.1 Suponhamos que dois ou mais vetores, no simultaneamente nulos, v1, v2, ..., vm sejam linearmente dependentes. Ento, um dos vetores combinao linear dos precedentes, isto , existe um k > 1 tal que vk = a1v1 + a2v2 + ... + ak 1 vk 1 + ak + 1 vk + 1 + + am vm. Definio 2.2.2 Dizemos que um conjunto {v1, v2, ..., vm} de vetores linearmente dependente (l.d.) (independente (l.i.)), conforme o sejam os vetores v1, v2, ..., vm. Um conjunto infinito S de vetores linearmente dependente se existem vetores u1, u2, ..., um em S que so linearmente dependentes; caso contrrio, S linearmente independente. Define-se o conjunto vazio como linearmente independente. Decorrem das definies acima as seguintes observaes: Observao 2.2.1 Se 0 um dos vetores v1, v2, ..., vm, digamos v1 = 0, ento os vetores devem ser linearmente dependentes, pois 1v1 + 0v2 + ... + 0vm = 1.0 + 0 + ...+ 0 = 0 e o coeficiente de v1 no zero. Observao 2.2.2 Qualquer vetor no-nulo v linearmente independente; pois cv = 0, v 0 implica c = 0. Assim, a nica combinao linear do conjunto {v} que produz o vetor nulo 0.v. Observao 2.2.3 Se dois dos vetores v1, v2, ..., vm so iguais, ou se um mltiplo escalar do outro, digamos, se v1 = cv2, ento os vetores so linearmente dependentes, pois 1v1 cv2 + 0v3 + ... + 0vm = 0. Observao 2.2.4 Dois vetores v1 e v2 so linearmente dependentes
40

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

se, e somente se, um deles mltiplo do outro. Observao 2.2.5 Se o conjunto {v1, v2, ..., vm} linearmente independente, ento tambm o ser qualquer subconjunto seu de vetores { vi1 , K , vik }. Observao 2.2.6 Se um conjunto S de vetores linearmente independente, ento qualquer subconjunto de S tambm o . Por outro lado, se S contm algum subconjunto linearmente dependente, ento o prprio S linearmente dependente. Observao 2.2.7 No espao real 3, a dependncia linear de vetores pode ser descrita da seguinte maneira: a) Dois vetores quaisquer v1 e v2 so linearmente dependentes se, e somente se, possuem a mesma reta suporte pela origem; b) Trs vetores quaisquer v1, v2 e v3 so linearmente dependentes se, e somente se, esto em um mesmo plano que passa pela origem. Quatro vetores so l.d. em 3.
2.3 SUBESPAOS GERADOS, BASES E DIMENSO 2.3.1 SUBESPAOS GERADOS

Se v1, v2, ..., vn so vetores em um espao vetorial V sobre um corpo K, alguns vetores de V se expressam como combinaes lineares desses vetores enquanto que outros vetores no. Um conjunto de vetores gera um subespao por meio das chamadas combinaes lineares de vetores. O prximo passo em nossa discusso ser o de mostrar que, se ns considerarmos um conjunto U, que consiste de todos os vetores que podem ser expressos por combinaes lineares de v1, v2, ..., vn, ento U ser um subespao vetorial de V. Teorema 2.3 .1 Se v1, v2, ..., vn so vetores em um espao vetorial V sobre um corpo K, ento: a) o conjunto U de todas as combinaes lineares de v1, v2, ..., vn um subespao vetorial de V; b) U o menor subespao de V que contm v1, v2, ..., vn, no seguinte sentido: qualquer subespao de V que contm v1, v2, ..., vn tambm contm U.
41

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Demonstrao. a) Para demonstrar que U um subespao de V, basta mostrar que U fechado para as operaes de adio e multiplicao por escalar. U contm os vetores v1, v2, ..., vn e tambm o vetor nulo, pois 0 = 0v1 + 0v2, + ... + 0vm. Se u e v so vetores em U, ento u = c1v1 + c2v2 + ... + cnvn e v = d1v1 + d2v2 + ... + dnvn, onde os cis e os dis so escalares, 1 i r. Logo u + v = (c1 + d1) v1 + ... + (cn + dn) vn e, para um escalar arbitrrio a, au = (ac1) v1 + (ac2) v2 + ... + (acn) vn. Portanto, u + v e au se expressam como combinaes lineares de v1, v2, ..., vn e, conseqentemente, esto em U. Isso mostra que U fechado em relao s operaes de adio e multiplicao por escalar. Exerccio 2.3.1 Demonstre o item b) do teorema acima. Exerccio 2.3.2 Seja S um subconjunto de um espao vetorial V. Demonstre que: (a) S um subespao de V que contm S; (b) se W um subespao de V que contm S, ento S W . Conclumos do exerccio anterior que S o menor subespao de W que contm S. Assim, o processo de combinao linear de vetores de um conjunto S, no s gera um subespao vetorial, mas o faz da maneira mais econmica possvel. Essa idia de gerao da menor subestrutura possvel que contm um subconjunto, dentro de uma estrutura previamente dada, constitui uma importante estratgia na soluo de problemas em Matemtica. Definimos, ento, subespaos vetoriais gerados por um conjunto S de vetores: Definio 2.3.1 Se S = {v1, v2, ..., vn} um conjunto de vetores de um espao vetorial V, ento o subespao U de V, que consiste de todas as combinaes lineares dos vetores em S, chamado o espao gerado por v1, v2, ..., vn. Nesse caso, dizemos que v1, v2, ..., vn geram U. Em outras palavras, todo vetor v em U se expressa como
42

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

combinao linear dos vis, isto , v = a1v1 + a2v2 + ... + anvn para coeficientes ai em K. Para indicar que U o espao vetorial gerado pelos vetores do conjunto S = {v1, v2, ... , vn}, ns escrevemos U = S ou U = {v1, v2, ... , vn}. Exemplo 2.3.1 Se u e v so vetores no colineares em 3, ento o subespao gerado pelo conjunto {u, v}, que consiste no conjunto de todas as combinaes lineares au + bv, o plano determinado por u e v, isto , o plano que passa pela origem e contm os vetores u e v. Se v um vetor no nulo em 2, ou em 3, ento o espao gerado por {v}, que consiste no conjunto de todos os mltiplos escalares cv, , em termos geomtricos, a nica reta determinada por v, ou seja, a reta que passa pela origem e pelo ponto v. De longe, o espao vetorial mais importante para ns, nessa coleo de apoio Nova Matemtica da Engenharia, o espao 3. nesse espao, ou em algum dos seus subespaos planos, que estudaremos as translaes e rotaes da garra do rob, e colocaremos os sistemas de coordenadas cartesianas, associados aos diversos elos com origem em suas juntas. Exemplo 2.3.2 Os vetores e1 = (1, 0, 0), e2 = (0, 1, 0) e e3 = (0, 0, 1) geram o espao vetorial 3, pois qualquer vetor (a, b, c) em 3 uma combinao linear dos eis; especificamente: (a, b, c) = a(1, 0, 0) + b(0, 1, 0) + c(0, 0, 1) = a e1 + b e2 + c e3. Exemplo 2.3.3 Os polinmios 1, x, x2, ..., xn geram o espao vetorial Pn, pois cada polinmio p em Pn pode ser escrito como p = a01 + a1 x + a2 x2 + ... + an xn que uma combinao linear de 1, x, x2, ... , xn. Portanto, Pn = {1, x, x2, ..., xn}. Os polinmios 1, x, x2, ..., xn, xn + 1, ... , geram o espao vetorial de todos os polinmios em x, pois qualquer polinmio uma combinao linear do polinmio constante 1 e das potncias em x.
43

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 2.3.3 Mostre que o espao vetorial V dos polinmios sobre um corpo qualquer K, no pode ser gerado por um nmero finito de vetores. Exerccio 2.3.4 Mostre que os vetores u = (2, 2, 1), v = (1, 0, 1) e w = (2, 1, 4) no geram o espao vetorial 3 sobre . Os conjuntos geradores no so nicos. Vimos no exemplo que os vetores e1 = (1, 0, 0), e2 = (0, 1, 0), e3 = (0, 0, 1) geram o espao vetorial 3. Por outro lado, os vetores u = (1, 2, 3), v = (0, 1, 2) e w = (0, 0, 1) tambm geram o espao vetorial 3 sobre . Exerccio 2.3.5 Se S = {v1, v2, ... , vn} e S = {w1, w2, ... , wk} so dois subconjuntos de vetores de um espao vetorial V, ento {v1, v2, ... , vn} = {w1, w2, ... , wk} se, e somente se, cada vetor em S uma combinao linear dos vetores de S, e cada vetor em S uma combinao linear dos vetores em S.
2.4.2 BASES E DIMENSO

Os vetores u = (1, 0, 0) e v = (0, 1, 0) e w = (2, 0, 0) geram o plano xy no espao vetorial 3. Contudo no precisamos dos trs para gerar o plano xy, pois bastam u e v para isso. Por outro lado, u e v so vetores linearmente independentes em 3 e u, v e w so linearmente dependentes. Definio 2.4.2 Uma base de um espao vetorial V um conjunto B de vetores satisfazendo as duas propriedades seguintes: a) B linearmente independente; b) B gera V. A combinao dessas duas propriedades absolutamente fundamental na lgebra Linear. Isto significa que todo vetor de V uma combinao linear dos vetores de B, pois os vetores de B geram V. Isso tambm significa que essa combinao linear nica. De fato, se v = a1v1 + ... + anvn e, por outro lado, v = b1v1 + ... + bnvn ento, se subtrairmos as equaes uma da outra, membro a membro, obtemos: (ai bi )vi . 0=vv=

44

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Agora, observemos o papel fundamental da independncia linear: como os vetores de B so linearmente independentes, segue-se que ai bi tem que ser zero, para todos os ndices i. Portanto, ai = bi para todo i, e conclumos que existe uma nica maneira de expressar v como uma combinao linear dos vetores da base. Exemplo 2.4.4 Os vetores e1 = (1, 0, ... , 0), e2 = (0, 1, 0, ... , 0) , ... , en = (0, 0, ... , 0, 1) formam uma base B, chamada base usual, ou cannica, do espao vetorial K n sobre o corpo K. Observemos que os vetores e1 = (1, 0, ... , 0), e2 = (0, 1, 0, ... , 0), ... , en = (0, 0, ... , 0, 1) no formam a nica base do espao n. Em geral, um espao vetorial sobre um corpo infinito, como o caso do n sobre o corpo dos nmeros reais, admite um nmero infinito de bases. A base de um espao vetorial uma generalizao, para espaos vetoriais arbitrrios, do sistema de coordenadas em espaos bi e tridimensionais. Para elucidar essa afirmao, recorde que demonstramos acima que existe uma nica maneira de expressar um vetor arbitrrio v como uma combinao linear dos vetores de uma base B. Exemplo 2.4.5 Considere o plano usual xy, ou seja, o espao vetorial 2 sobre . O vetor v = (3, 2) linearmente independente, mas incapaz de gerar sozinho o plano 2. Os vetores u = (2, 2), v = (3, 2) e w = (1, 4) geram o 2, mas no da maneira mais econmica, isto , no so independentes. Porm, quaisquer dois desses vetores formam uma base de 2, ou seja, geram 2 da maneira mais econmica possvel porque so linearmente independentes. Exemplo 2.4.6 Se S = {v1, v2, ... , vn} um conjunto linearmente independente em um espao vetorial V, ento S uma base do subespao gerado S, pois S gera S por definio de espao gerado. Apesar de a escolha da base para se representar os vetores de um espao no ser nica, existe uma propriedade intrnseca do espao que comum a qualquer uma das bases. um dos invariantes mais importantes da Matemtica. Chama-se dimenso
45

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

do espao vetorial. Notemos que uma das contribuies mais famosas de Einstein foi a idia de que o nosso universo tem quatro dimenses: as trs dimenses de comprimento, largura e altura, e mais o tempo. Hoje existem teorias que propem onze dimenses para o nosso universo. O famoso fsicomatemtico Edward Witten, considerado o Einstein do final do Sculo XX, demonstrou um teorema que nos diz que a dimenso do universo tem que ser mpar. Como a teoria fsica chamada de o modelo padro precisa de dez dimenses para acomodar matematicamente todas as partculas conhecidas, segue-se que o nosso universo deve ter pelo menos onze dimenses. tambm interessante especular que, quando um eltron desaparece de um nvel quntico dentro de um tomo para reaparecer em outro, na verdade ele se moveu continuamente de um nvel para outro mas em uma dimenso que no somos capazes de detectar! Teorema 2.4.2 Seja V um espao vetorial de dimenso finita. Ento, todas as bases de V tm o mesmo nmero de elementos. Exerccio 2.4.6 (a) Suponha que B1 = {v1, v2, ... , vn} e B2 = {w1, w2, ... , wm} sejam bases de um mesmo espao vetorial V. Demonstre que m = n. Conclua o teorema acima. O Teorema 2.4.2 implica que todas as bases de n tm o mesmo nmero n de vetores. Em particular, todas as bases de 3 tm 3 vetores, todas as bases de 2 tm 2 vetores e todas as bases de 1 = tm um vetor. Intuitivamente, 3 tridimensional, 2 (um plano) bidimensional e (uma reta) unidimensional. Assim, o nmero de vetores de uma base o mesmo que a dimenso desses espaos. Definio 2.4.3 A dimenso de um espao vetorial definida como o nmero de vetores de uma base de V e denotada por dim V. Se uma base for infinita, dizemos que o espao de dimenso infinita. Alm disso, definimos o espao vetorial nulo como tendo dimenso zero. Exemplo 2.4.7 Seja K um corpo qualquer. Consideremos o espao
46

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

vetorial Kn que consiste de n uplas de elementos de K. Os vetores e1 = (1,0,...,0), e2 = (0,1,0,...,0) , ......, en = (0,0,...,0,1) formam a base usual ou cannica de Kn. Assim, Kn tem dimenso n, ou seja, um espao vetorial de dimenso n sobre K.
Exemplo 2.4.8 Seja U o espao de todas as matrizes 22 sobre o corpo K. Ento, as matrizes

1 0 0 1 0 0 0 0 0 0 , 0 0 , 1 0 , 0 1
formam uma base de U. Portanto, dim U = 4. Sejam V o espao vetorial de todas matrizes mn sobre K e seja Eij V a matriz cujo elemento ij 1 e que tem 0 nas demais posies. Ento, o conjunto {Eij} a base usual de V; conseqentemente dim Eij = mn. Exemplo 2.4.9 Seja Pn o espao vetorial dos polinmios na varivel x de grau n. O conjunto {1, x, x2, ..., xn} linearmente independente e gera Pn. Assim, ele uma base de Pn, logo dim Pn = n + 1. Por outro lado, o espao vetorial de todos os polinmios no de dimenso finita, pois nenhum conjunto finito de polinmios gera esse espao como vimos no pargrafo anterior. Logo, esse espao de dimenso infinita. A principal relao entre a dimenso de um espao vetorial e seus subconjuntos de vetores linearmente independentes est contida no seguinte resultado: Teorema 2.4.3 Seja V um espao vetorial de dimenso finita n. Ento: a) Qualquer conjunto de n + 1, ou mais, vetores linearmente dependente. b) Qualquer conjunto linearmente independente parte de uma base, isto , pode ser estendido a uma base de V. c) Um conjunto linearmente independente com n elementos uma base de V.
47

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 2.4.7 Demonstre o teorema 2.4.3. Exemplo 2.4.10 Os vetores (1, 1, 1, 1), (0, 1, 1, 1), (0, 0, 1, 1), (0, 0, 0, 1) de 4 so linearmente independentes. Como dim 4 = 4, segue-se, do resultado anterior, que eles formam uma base de 4. Exemplo 2.4.11 Os quatro vetores (1, 1, 1), (0, 1, 1), (0, 0, 1) e (1, 0, 0) de 3 so linearmente dependentes, pois pertencem a um espao vetorial de dimenso 3. O teorema seguinte nos ensina uma relao bsica entre a dimenso n de um espao vetorial V e a dimenso m de um subespao seu: Teorema 2.4.4 Seja W um subespao de um espao vetorial V n-dimensional. Ento, dim W n. Em particular, se dim W = n, ento W = V. Exerccio 2.4.8. Demonstre o Teorema 2.4.4. Exemplo 2.4.12 Seja W um subespao do espao vetorial 3. Como dim 3 = 3, segue-se, pelo teorema precedente, que a dimenso de W s pode ser 0, 1, 2 ou 3, Portanto: (a) se dim W = 0, ento W = {0}, um ponto; (b) se dim W = 1, ento W uma reta passando pela origem; (c) se dim W = 2, ento W um plano passando pela origem; (d) se dim W = 3, ento W = 3.
2.5 COORDENADAS

Seja B = {v1, v2, ... , vn} uma base de um espao vetorial V n dimensional sobre um corpo K, e seja v um vetor qualquer em V. Como B gera V, v uma combinao linear dos vis, isto : v = a1v1 + a2v2 + ... + anvn, ai K.

Como os vis so linearmente independentes, tal representao nica, isto , os n escalares a1, a2, ... , an so completamente determinados pelo vetor v e a base B, como j vimos anteriormente. Dizemos que
48

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

esses escalares so as coordenadas de v em relao base {vi}. Assim, denominamos a n upla (a1, a2, ... , an) coordenadas de v em relao base B, e a representamos por [v]B, ou simplesmente [v]. Exerccio 2.5.9 Encontre as coordenadas de v = (4, 3, 2) em relao base {(1, 0, 0), (1, 1, 0), (1, 1, 1)} de 3. Devemos notar que as coordenadas dependem no s dos vetores da base, mas tambm da ordem em que escrevemos os vetores da base, pois qualquer mudana na ordem dos vetores da base resulta em uma mudana da ordem das coordenadas. Observemos que existe uma correspondncia bijetora entre um espao vetorial V sobre K de dimenso n, e o espao vetorial Kn. Tal correspondncia preserva as operaes de adio e multiplicao por escalar dos espaos vetoriais. Quando ocorre uma correspondncia como essa entre espaos vetoriais V e W, sobre o mesmo corpo, dizemos que os espaos envolvidos so isomorfos e escrevemos V W. Portanto, podemos afirmar que: Teorema 2.5.5 Seja V um espao vetorial n-dimensional sobre um corpo K. Ento, V e Kn so isomorfos. Demonstrao. A cada vetor v V corresponde, relativamente a uma base dada {v1, v2, ... , vn}, uma n upla [v]B em Kn. Por outro lado, se (a1, a2, ... , an) Kn, ento existe um vetor em V da forma a1v1 + a2v2 + ... + anvn. Assim, a base {v1, v2, ... , vn} determina uma correspondncia bijetora entre os vetores de V e todas as n uplas de Kn. Observe tambm que, se v = a1v1 + a2v2 + ... + anvn corresponde a (a1, a2, ... , an), e w = b1v1 + b2v2 + ... + bnvn corresponde a (b1, b2, ... , bn), ento a soma v + w = (a1 + b1) v1 + (a2 + b2) v2 + ... + (an + bn) vn corresponde soma (a1, a2, ... , an) + (b1, b2, ... , bn) e, para qualquer escalar k K, kv = (ka1)v1 + (ka2)v2 + ... + (kan)vn corresponde a k(a1, a2, ... , an). Portanto, demonstramos que
49

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

[v + w]B = [v]B + [w]B e [kv]B = k[v]B. Exerccio 2.5.10 Seja S = {(1, 2, 1), (2, 3, 0), (0, 0, 1)} uma base de 3. (a) Encontre as coordenadas de v = (4, 1, 0) em relao a S. (b) Encontre o vetor v em 3 cujas coordenadas em relao base S so (1, 2, 3). Notemos que ainda no demonstramos a existncia de uma base em um espao vetorial! Portanto, devemos perguntar imediatamente se um espao vetorial sempre tem uma base. Isso verdade e a demonstrao depende de um dos Axiomas bsicos da Teoria dos Conjuntos que est subjacente teoria matemtica na qual estamos trabalhando agora. Uma Lgica e uma Teoria de Conjuntos determinam uma matemtica. A Lgica que estamos utilizando a Lgica Clssica Aristotlica reformulada por Gottlob Frege no final do Sculo XIX. Podemos dizer que a Teoria de Conjuntos de ZermeloFraenkel a teoria de conjuntos subjacente matemtica na qual elaboramos os conceitos de lgebra real e de espaos vetoriais. O Axioma da Escolha, um dos axiomas bsicos da Teoria de Conjuntos de Zermelo-Fraenkel, a informao fundamental da qual derivamos o resultado qualquer espao vetorial possui uma base. Uma outra Teoria de Conjuntos combinada com uma outra Lgica produzem uma outra matemtica. A matemtica na qual elaboramos, por exemplo, o modelo cinemtico do rob plano chama-se Matemtica Clssica. Uma outra pergunta obrigatria se as bases de um espao vetorial tm sempre o mesmo nmero de vetoresi. A resposta, como j sabemos afirmativa, e fornece um dos mais importantes invariantes, no s da Matemtica, mas tambm da Fsica: a dimenso de um espao vetorial, finita ou infinita.
50

lgebras e Tecnologia
2 Combinaes Lineares

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

NOTAS
i

Para discutir esse ponto necessrio lembrar que h infinitos infinitos e recorrer ao Lema de Zorn, tpicos que no podemos abordar aqui.

51