Privacy Policy Cookie Policy Terms and Conditions Transformação linear - Wikipédia

Transformação linear

Origem: Wikipédia, a enciclopédia livre.

Atenção: Esta página foi marcada para revisão!
Se tem algum conhecimento sobre este assunto, por favor verifique a consistência e o rigor deste artigo.


Em Matemática, uma transformação linear (também chamada de operador linear, aplicação linear ou mapa linear, se o dominio e contradominio coincidem, no primeiro caso) é uma função entre dois vetores(espaços vetoriais) que preserva as operações de adição vetorial e multiplicação escalar. Em outras palavras, ela preserva combinações lineares. Na linguagem da álgebra abstrata, uma transformação linear é um homomorfismo de espaços vetoriais.

Índice

[editar] Definição e conseqüências imediatas

Sejam V e W espaços vetoriais sobre o mesmo corpo K. Diz-se que uma função T:V→W é uma Transformação linear se possui as seguintes propriedades:

T(\alpha v)= \alpha T(v),  \forall v \in V,  \alpha \in K
T(u + v) = T(u) + T(v),  \forall u,v \in V

É consequência direta que:
T(0) = 0, \forall u,v \in V

Isto equivale a dizer que a transformação linear preserva combinações lineares, isto é, para vetores v1,v2,...,vn em V e escalares a1,a2,...,an em K:

T(a_1 v_1 + a_2 v_2 + ... + a_n v_n) = a_1 T(v_1) + a_2 T(v_2) + ... + a_n T(v_n) \,\!

Exemplo: T(x,y,z) = (2x - z, 2z + y, x+y-z) \,\!

Exemplo de transformação não-linear: T(x,y,z) = (2x^2 + 3y + \sqrt{z} - 5, \operatorname{log}z - 7, y^3)

[editar] Núcleo

O núcleo de uma transformação linear T:V \rightarrow W, denotado por \operatorname{ker}(T)\,\!, é o conjunto formado por todos os vetores v \in V que satisfazem:

T(v)=0\,\! (onde 0 é o vetor nulo de W)

Exemplo: O núcleo de T(x,y,z) = (2x - z, 2z + y, x+y+3z/2)\,\! pode ser definido como: \operatorname{ker}(T)=\left \{(x,y,z)|x=z/2=-y/4 \right \}

Considere agora, para n natural e n>0, v_1,v_2,...,v_n \in ker(T) e a_1,a_2,...,a_n \in K. Pelas propriedades das transformações lineares:
T(a_1 v_1 + a_2 v_2 + ... + a_n v_n) = a_1 T(v_1) + a_2 T(v_2) + ... + a_n T(v_n) = \,\! a_1 .0 + a_2 .0 + ... a_n .0 = 0 \,\! Logo: a_1 v_1 + a_2 v_2 + ... + a_n v_n \in ker(T) \,\!, ou seja, uma combinação linear de vetores de ker(T) também será um vetor de ker(T). Além disso, para qualquer transformação linear: T(\alpha v) = \alpha T(v) \Rightarrow T(0) = T(0v) = 0T(v) = 0 \,\!, ou seja, 0 \in ker(T) \,\!. Então, ker(T) é um subespaço vetorial de V.

[editar] Imagem

A imagem de uma transformação linear T:V→W pode ser definida como o conjunto de todos os vetores w \in W, para os quais \exists v \in V tal que:

T(v)=w \,\! Como já foi visto na seção anterior, T(0) = 0\,\! em qualquer transformação linear, logo 0 \in ker(T) \,\!. Além disso, para um n>0 natural, sejam w_1, w_2, ..., w_n \in Im(T) \,\! e a_1, a_2, ..., a_n \in K. Pela definição de imagem, existem vetores v_1, v_2, ..., v_n \in V, tais que T(v_i) = w_i, i \in \mathbb{N}, 0<i<n. Então: T(a_1 v_1 + a_2 v_2 + ... + a_n v_n) = a_1 T(v_1) + a_2 T(v_2) + ... + a_n T(v_n)= \,\! a_1 w_1 + a_2 w_2 + ... + a_n w_n \,\!, logo, uma combinação linear de vetores em Im(T) será também um vetor em Im(T), o que implica que Im(T) é um subespaço vetorial de W.

[editar] Dimensão da imagem e do núcleo

Para a aplicação linear T:V→W (com V e W espaços vetoriais sobre um corpo K), seja {u1,u2,...,un} uma base de ker(T) (o que significa que dim(ker(T))=n). Como ker(T) é um subespaço de V, pode-se completar essa base até obtermos uma base de V. Seja então {u1,u2,...,un,w1,w2,...,wm} uma base de V (Isto significa que dim(V)=n+m). Sejam também a1,a2,...,an,an+1,...,an+m escalares em K. Todo vetor v de V pode ser escrito na forma: v = a1u1 + a2u2 + ... + anun + an + 1w1 + an + 2w2 + ...an + mwm. A imagem desse vetor pode ser escrita genericamente como:
T(v) = T(a1u1 + a2u2 + ... + anun + an + 1w1 + an + 2w2 + ...an + mwm) = T(a1u1 + a2u2 + ... + anun) + T(an + 1w1 + an + 2w2 + ...an + mwm). Mas, u1,u2,...,un é base do núcleo. Logo, o argumento da transformação no primeiro termo do segundo membro é um vetor do núcleo e sua imagem é o vetor nulo, então:
T(v) = T(an + 1w1 + an + 2w2 + ... + an + mwm)
T(v) = an + 1T(w1) + an + 2T(w2) + ... + an + mT(wm).Provemos agora que os vetores da direita são linearmente independentes (L.I.), e poderemos então afirmar que eles formam uma base da imagem de T. Para isso façamos o segundo membro acima igual ao vetor nulo e provemos que, em conseqüência disso, todos os escalares serão iguais a zero:
an + 1T(w1) + an + 2T(w2) + ... + an + mT(wm) = 0. Pelas propriedades das transformações lineares:
T(an + 1w1 + an + 2w2 + ... + an + mwm) = 0. Isso implica que an + 1w1 + an + 2w2 + ...an + mwm pertence ao núcleo da transformação linear e pode ser escrito como: a_{n+1} w_1 + a_{n+2} w_2 + ... a_{n+m} w_m = a_1 u_1 + a_2 u_2 + ... + a_n u_n \Rightarrow \Rightarrow - a_1 u_1 - a_2 u_2 - ... - a_n u_n + a_{n+1} w_1 + a_{n+2} w_2 + ... + a_{n+m} w_m =0. Mas como já foi dito, os vetores na igualdade acima formam uma base de V e essa igualdade implica que todos os escalares são nulos. Então, {T(w1),T(w2),...,T(wm)} são L.I. e formam uma base de Im(T), ou seja, dim(Im(T))=m. Daí, temos um importante teorema:

dim(ker(T))+dim(Im(T))=dim(V)\,\!

[editar] Tipos especiais de transformações lineares

Uma transformação T:V→W é chamada de injetora se, para v1 e v2 em V: T(v_1)=T(v_2) \Rightarrow v_1=v_2

Significa dizer que não existem no domínio de T dois vetores distintos com a mesma imagem. Isto tem uma conseqüência importante para o núcleo da transformação. Como já foi dito, para qualquer transformação linear, T(0)=0. Se T é injetora e para algum vetor v no seu domínio tivermos T(v)=0, então:

T(v)=T(0) \Rightarrow v=0, logo 0 é o único vetor no núcleo de T, ou seja, ker(T)={0}. A recíproca é verdadeira. Se para a transformação T:V→W tivermos ker(T)={0}, então, para quaisquer vetores v1 e v2 tais que T(v1)=T(v2), teremos:
T(v_1)=T(v_2) \Rightarrow T(v_1)-T(v_2)=0 \Rightarrow T(v_1 - v_2) = 0 Mas, como ker(T)={0}, temos que v_1-v_2=0 \Rightarrow v_1=v_2 e T será injetora.

Uma transformação T:V→W é chamada de sobrejetora se, \forall w \in W, \exists v \in V | T(v)=w. Isto é equivalente a afirmar que Im(T)=W. Denomina-se bijetora uma transformação linear que é sobrejetora e injetora simultaneamente. Essas transformações também são chamadas de isomorfismos, e seu domínio e contradomínio são chamados espaços vetoriais isomorfos. Denomina-se endomorfismo ou operador linear uma transformação linear de um espaço vetorial "nele mesmo", ou seja, uma transformação que tenha seu domínio igual ao contradomínio (do tipo T:V→V).



  Este artigo é um esboço sobre Matemática. Você pode ajudar a Wikipédia expandindo-o.
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu