Académique Documents
Professionnel Documents
Culture Documents
Em Matemtica, uma transformao linear um tipo particular de funo entre dois espaos vetoriais que preserva as operaes de adio vetorial e multiplicao por escalar. Uma transformao linear tambm pode ser chamada de aplicao linear ou mapa linear. No caso em que o domnio econtradomnio coincidem, usada a expresso operador linear. Na linguagem da lgebra abstrata, uma transformao linear um homomorfismo de espaos vetoriais.
a funo a funo
de de
em em
; ;
a funo de em definida por ; se for o espao das funes derivveis de R em R e se for o espao de todas as funes de R em R, ento a derivao (isto , a funo de em que envia cada funo na sua derivada) linear. Em por contrapartida, se \ , ento a funo de em definida
Se for uma funo de um espao vetorial num espao vetorial , ento afirmar que linear equivale a afirmar que preserva combinaes lineares de pares de vetores, isto , para quaisquer dois vetores e dois escalares :
de
em
tem-se: . ento . ,
, pois se pois ,
Funes vetorias
Em geral uma funo uma regra que associa a cada elemento de seu domnio um nico elemento de sua imagem. Repare que, nos exemplos estudados nas sees desse captulo, para cada valor do parmetro t, existe um nico vetor posio (t) que determina a posio da partcula em cada instante. Desse modo, podemos entender essa correspondncia como uma funo cujo domnio um conjunto de nmeros reais (os valores permitidos para t) e cuja imagem um conjunto de vetores. Uma funo deste tipo dita uma funo vetorial ou uma funo de valor vetorial .
O conceito de funo vetorial pode ser empregado para estudarmos movimentos de partculas no espao. Como sabemos, para determinar a posio de um ponto no espao, precisamos de um terno ordenado de nmeros reais (x, y,z) que so as suas coordenadas. Da mesma forma, a posio de uma partcula que se desloca no espao ser determinada por trs funes coordenadas x = f(t) , y = g(t) e z = h(t) que definem a posio da partcula em cada instante de tempo t. Chamando de i , j , k os vetores unitrios nas direes dos respectivos eixos coordenados x , y e z , isto , i = < 1, 0, 0 >, j = < 0, 1, 0 > e k = < 0, 0, 1 >, o vetor posio determinado pela equao vetorial (t) = f(t) i + g(t) j + h(t) k. Se uma partcula se desloca no espao com trajetria descrita por este vetor, ento o caminho percorrido por ela durante o seu movimento define umacurva no espao ou uma curva espacial cuja parametrizao dada pela equao anterior. Se considerarmos a funo vetorial (t) = < f(t), g(t), h(t) >, ento (t) um vetor de posio do ponto P(f(t), g(t), h(t)) sobre uma curva C. Assim, qualquer funo vetorial define uma curva espacial C que traada pela ponta do vetor (t) em movimento, como ilustrado na figura ao lado.
Espao vetorial
Um dos conceitos bsicos em lgebra linear o espao vetorial ou espao linear. A noo comum de vetores como objetos com tamanho, direo e sentido, juntamente com as operaes de adio e multiplicao por nmeros reais forma a ideia bsica de um espao vetorial. Deste ponto de partida ento, para definirmos um espao vetorial, precisamos de um conjunto, uma operao de adio de elementos deste conjunto, e uma operao de multiplicao de escalares (por exemplo, nmeros reais) por elementos deste conjunto.1 No necessrio que os vetores tenham interpretao geomtrica, mas podem ser quaisquer objetos que satisfaam os axiomas abaixo. Polinmios de grau menor ou igual a ( ) 2 3 formam um espao vetorial, por exemplo, assim como grupos de matrizes e o espao de todas as funes de um conjunto no conjunto R dos nmeros reais.
Definio
Um espao vetorial uma entidade formada pelos seguinte elementos: 1. Um corpo ou seja, um conjunto dotado de duas operaes internas com propriedades distributivas, elemento inverso, etc. cujos elementos sero chamados de escalares.4 1 Os nmeros reais, em relao adio e multiplicao, so um exemplo de corpo. 2. Um conjunto dotado de uma operao binria (representada aqui pelo sinal em Os elementos de sero chamados de vetores.4 1 3. Uma operao de em ) de
Observao: na definio acima e nas propriedades abaixo, so usados os smbolos de soma ( ) e produto ( ) para representar, em cada caso, duas funes distintas: para elementos de no o mesmo que para elementos de assim como para elementos de no o mesmo que quando e Caso possa haver confuso, recomenda-se o uso de smbolos diferentes para essas operaes, por exemplo usar para as operaes de e para as operaes de em e de
em
generalizao de par ordenado, mas com seis elementos) Os seguintes axiomas (alm de constituam um espao vectorial:5 1 1. 2. H um elemento de elemento neutro) 3. Para cada 4. Para cada 5. Para cada 6. Se 7. Para cada 8. Para cada e cada e cada e cada ento, para cada ser um corpo) devem valer para que os elementos acima
existe
(comutatividade)
a unidade de
Os axiomas de 1 a 4 mostram que com relao a operao de adio um espao vetorial um grupo abeliano. O elemento cuja existncia garantida pelo terceiro axioma nico (como em qualquergrupo) e representa-se por O conceito de espao vetorial (e os vetores como seus elementos) inteiramente abstrato, como os conceitos de grupos, anis, corpos, etc. Para determinar se um conjunto um espao vetorial, temos apenas que especificar o conjunto, o corpo e definir adio em e multiplicao por escalar em Ento se satisfizer as condies acima ele ser um espao vetorial sobre o corpo Em uma demonstrao rigorosa, os axiomas 2 e 3 (elemento neutro e elemento oposto em ) podem ser omitidos, porque eles podem ser facilmente deduzidos a partir dos outros axiomas:
Sejam 0 e 1 os elementos neutros aditivo e multiplicativo de qualquer que seja , que elemento neutro de
Em Logo, seja,
existe
um
elemento
tal
o elemento oposto de
Exemplo
Seja formado por um nico elemento Ento, definindo-se e para todo elemento de um corpo temos que um espao vetorial com como corpo de escalares. Obviamente, como o elemento neutro de isto , este espao vetorial representado por
Outro exemplo simples considerar mesmas operaes do corpo. Seja se espao vetorial. e
Seja um conjunto qualquer (chamado, neste contexto, de conjunto de indices). Ento o conjunto das funes de em um espao vetorial, definindo-se naturalmente a soma de duas funes e o produto de um escalar por uma funo.
Propriedades
Se
ento
Se
Se
ento
Considere uma reta L, um ponto ( ) pertencente a L e um vetor v , paralelo a L. Determinar a equao da reta L equivalente a determinar as coordenadas de um ponto arbitrrio P de coordenadas ( x , y , z ) em L. Para isso, vamos considerar os vetores ro e r , como os vetores posio de e de P , respectivamente. Isto , se O a origem do sistema er=
. Se a o vetor com representante , como mostra a figura ao lado, pela regra do trapzio para subtrao de vetores temos a = r - ro , isto , r = ro +a . Mas, como a e v so vetores paralelos, ento a um mltiplo escalar de v , isto , a = t v onde t um nmero real. Assim, r = ro + t v , que a equao vetorial da reta L. Repare que dessa maneira, obtemos as coordenadas do vetor r e, consequentemente, as coordenadas do ponto P sobre a reta, em funo das coordenadas do ponto , cujo vetor posio ro , e do vetor v ,
que determina a direo da reta L. Cada valor do parmetro t fornece um vetor posio r de um ponto de L.
Podemos
escrever
equao
vetorial r = ro + t v em
termos
das
coordenadas dos
vetores r , ro e v . Assim, como r = < x , y , z >, ro = < < a , b , c >, a equao vetorial se torna:
+ ta ,
+ tb ,
+ tc >
Como a igualdade de vetores implica na igualdade de seus correspondentes componentes, da equao vetorial acima resulta trs equaes escalares:
x=
+ at ; y =
+ bt ; z =
As equaes escalares acima so chamadas equaes paramtricas da reta L que passa pelo ponto ( ) e paralela ao vetor v = < a , b , c > . Cada valor do parmetro t fornece um ponto P ( x , y , z ) da reta L.
Essas equaes so chamadas equaes simtricas de L. Observe que os nmeros a, b e c que aparecem no denominador desta equao so as componentes do vetor diretor de L, isto , as componentes de um vetor paralelo a L e, portanto, determinam a direo da reta L. Mesmo que uma dessas componentes seja nula ainda podemos eliminar o parmetro t e obter as equaes simtricas da reta. Por exemplo, se a = 0, podemos escrever as equaes de L como
Ncleo
O ncleo de uma transformao linear (onde Exemplo: O ncleo da funo por de de em , denotado por ) , o conjunto
o vetor nulo de em
definida :
O conjunto , ento
e se
, ou seja, Se uma aplicao linear pois que dados de em . for injectiva, ento ,o nico vector , ento tal , injectiva, pois,
Imagem
Sejam e espaos vectoriais sobre um corpo . A imagem de uma transformao linear de em o conjunto . Sejam que dois elementos da imagem de , h vectores , pelo que . Logo, um subespao vectorial de . e sejam tais que . Ento, como e
esto na imagem de
seja uma base de . Como um subespao de , pode-se completar essa base at obtermos uma base de . Sejam ento tais que seja uma base de ; em
uma base
. Se Im , ento para algum e , pelo que , visto que . Isto prova que forem tais que , ento , de onde resulta que vetores conjunto independente. , o que s possvel se uma combinao linear dos , pois o gera Im . pode ser escrito sob a forma
Este teorema tambm pode ser estendido para dimenses infinitas, mas, neste caso, sua demonstrao e at o enunciado dependem do axioma da escolha. Denomina-se isomorfismo uma transformao linear que seja bijectiva. Denomina-se endomorfismo ou operador linear uma transformao linear de um espao vetorial nele mesmo, ou seja, uma transformao que tenha domnio igual ao contradomnio. Se for um endomorfismo de um espao vetorial equivalentes: 1. 2. 3. injectivo; sobrejectivo; bijectivo. for sobrejectivo, ento , pelo que outro lado, se e, portanto, for injectivo, ento , pelo que sobrejectivo. e, portanto, , ou seja, , pelo que injectivo. Por de dimenso finita, ento so condies
Projeo no eixo y:
Sejam e espaos vetoriais sobre o corpo . Seja definido como o conjunto de todas transformaes lineares de em . Como funes, para quaisquer operadores e e qualquer escalar , podemos definir e por:
em
,e
que com a soma de transformaes e a multiplicao de um escalar por uma transformao forma um espao vetorial sobre . Pelo fato de que, dadas bases de e , temos uma representao de cada transformao
linear atravs de uma matriz de dimenso , conclumos que a dimenso de (no caso de dimenso infinita, algum cuidado deve ser tomado nesta demonstrao).
Como a composio de operadores lineares um operador linear, este espao tem uma estrutura de lgebra, em que a composio de funes faz o papel do produto de operadores. Assim, dado um operador linear T, podem-se definir as potncias T2, T3, ou, de modo geral, Tn para qualquer n inteiro positivo. Portanto, se p(x) um polinmio com coeficientes no corpo de escalares, faz sentido definir p(T):
Se o espao V tem dimenso finita n, ento L(V,V) tambm tem dimenso finita n2. Portanto, o conjunto de n2+1 operadores escalares , no todos nulos, tais que que p(T) = 0. linearmente dependente. Logo, existem
Se existe um polinmio no-nulo f(x) tal que f(T) = 0, ento o conjunto no-vazio dos polinmios q(x) tais que q(T) = 0 forma um ideal no anel de todos polinmios com coeficientes no corpo. Portanto, existe um nico polinmio mnico p(x) tal que p(T) = 0. Este polinmio chamado de polinmio mnimo de T.