Transformao linear

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.

Definio e consequncias imediatas

Sejam e espaos vetoriais sobre o mesmo corpo de em .

Diz-se que uma funo

uma transformao linear se ; .

Exemplos de transformaes lineares:

a funo a funo

de de

em em

definida por definida por

; ;

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

no uma transformao linear.

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 :

Para qualquer aplicao linear

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

Neste caso, costuma-se dizer que o espao vetorial a sxtupla ordenada (a

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

para tal que, para cada tal que

(associatividade) (existncia (existncia de elemento oposto)

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

Ento, como temos , ou que , ou seja, o

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

e as operaes de espao vetorial sendo as Ento, definindo, temos que um

o conjunto dos pares ordenados de elementos de

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

Isto assim porque

Se

Isto assim porque

Se

ento

Isto assim porque

Equao Vetorial e Equaes Paramtricas da Reta

No plano, uma reta pode ser determinada sendo conhecido um de seus pontos e a sua inclinao (direo). A equao da reta pode ento ser escrita utilizando-se a forma ponto-inclinao. Da mesma maneira, uma reta no espao fica determinada quando conhecemos um de seus pontos e a sua direo. O problema nesse caso como determinar a direo da reta. Esse problema facilmente resolvido usando-se o que aprendemos sobre vetores: a direo de uma reta, em duas ou trs dimenses, pode ser descrita de uma forma muito conveniente por um vetor, como faremos a seguir.

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=

de coordenadas tridimensionais considerado, ro =

. 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:

> (por qu?), se v =

< x, y , z > = <

+ 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 =

+ tc , onde t um nmero real.

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.

Equao da reta na forma simtrica

Podemos eliminar o parmetro t das equaes paramtricas de uma reta. Para isso, se nenhum dos nmeros a , b e c zero, podemos resolver cada uma das equaes para t e igualar os resultados. Desse modo, obtemos:

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

Estas equaes indicam que a reta em questo pertence ao plano vertical

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

um subespao vetorial de V, pois se

e se

, ou seja, Se uma aplicao linear pois que dados de em . for injectiva, ento ,o nico vector , ento tal , injectiva, pois,

e, portanto, pela injectividade de . Reciprocamente, se

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

Dimenso da imagem e do ncleo

Sejam e espaos vectoriais sobre um corpo uma transformao linear de em . Ento , sendo de dimenso finita, e seja

. Vai ser visto como se pode demonstrar esse facto. Seja e

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

particular, de Im , de onde resultar que

. Vai-se provar que

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

Por outro lado, os vetores se

so linearmente independentes, pois

uma base e, portanto, linearmente

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

claro que a terceira condio implica as outras duas. Se

Matrizes de transformaes lineares

Alguns casos especiais de transformaes lineares do espao R2 so bastante elucidativas:

rotao de 90 graus no sentido anti-horrio:

rotao por graus no sentido anti-horrio:

reflexo em torno do eixo x:

reflexo em torno do eixo y:

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:

imediato provar que

tambm so transformaes lineares de

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).

Espao dos operadores lineares

Um caso particular importante o espao vectorial nele mesmo (operadores lineares). , das transformaes lineares de um espao

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):

em que IV o operador identidade em V. Verificam-se facilmente as seguintes propriedades:

Se p(x) e q(x) so polinmios, ento .

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

. Ou seja, existe um polinmio no-nulo p(x) tal

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.