Transformação linear

 Nota: Não confundir com Função afim, ou Função polinomial de primeiro grau.

A reflexão em torno do eixo Oy é um exemplo de transformação linear.

Em Matemática, uma transformação linear é um tipo particular de função entre dois espaços vetoriais que preserva as operações de adição vetorial e multiplicação por escalar. Uma transformação linear também pode ser chamada de aplicação linear ou mapa linear. No caso em que o domínio e contradomínio coincidem, é usada a expressão operador linear. Na linguagem da álgebra abstrata, uma transformação linear é um homomorfismo de espaços vetoriais.

Definição e consequências imediatas

Sejam $V$$V$ e $W$$W$ espaços vetoriais sobre o mesmo corpo $K$$K$.

Diz-se que uma função $T$$T$ de $V$$V$ em $W$$W$ é uma transformação linear se

• $(\forall v,w\in V):T(v+w)=T(v)+T(w)$$(\forall v,w\in V):T(v+w)=T(v)+T(w)$;
• $(\forall \alpha \in K)(\forall v\in V):T(\alpha v)=\alpha T(v)$$(\forall\alpha\in K)(\forall v\in V):T(\alpha v)=\alpha T(v)$.

Exemplos de transformações lineares:

• a função $T$$T$ de $K$$K$ em $K$$K$ definida por $T(x)=3x$$T(x)=3x$;
• a função $T$$T$ de $K^{2}$$K^2$ em $K$$K$ definida por $T(x,y)=x+y$$T(x,y)=x+y$;
• a função $T$$T$ de $K^{2}$$K^2$ em $K^{2}$$K^2$ definida por $T(x,y)=(3x+y,2x-2y)$$T(x,y)=(3x+y,2x-2y)$;
• se $D$$D$ for o espaço das funções deriváveis de R em R e se $F$$F$ for o espaço de todas as funções de R em R, então a derivação (isto é, a função de $D$$D$ em $C$$C$ que envia cada função na sua derivada) é linear.

Em contrapartida, se $a$$a$ ∈ $K$$K$ \ $\{0\}$$\{0\}$, então a função $T$$T$ de $K$$K$ em $K$$K$ definida por $T(x)=x+a$$T(x)=x+a$ não é uma transformação linear.

Se $T$$T$ for uma função de um espaço vetorial $V$$V$ num espaço vetorial $W$$W$, então afirmar que $T$$T$ é linear equivale a afirmar que $T$$T$ preserva combinações lineares de pares de vetores, isto é, para quaisquer dois vetores $v_{1},v_{2}$$v_1,v_2$ ∈ $V$$V$ e dois escalares $\alpha _{1},\alpha _{2}$$\alpha_1,\alpha_2$ ∈ $K$$K$:

$T(\alpha _{1}v_{1}+\alpha _{2}v_{2})=\alpha _{1}T(v_{1})+\alpha _{2}T(v_{2})$$T(\alpha_1 v_1+\alpha_2 v_2)=\alpha_1T(v_1)+\alpha_2T(v_2)$

Para qualquer aplicação linear $T$$T$ de $V$$V$ em $W$$W$ tem-se:

• $T(0)=0$$T(0)=0$, pois $T(0)=T(0-0)=T(0)-T(0)=0$$T(0)=T(0-0)=T(0)-T(0)=0$.
• se $v$$v$ ∈ $V$$V$, então $T(-v)=-T(v)$$T(-v)=-T(v)$, pois $T(v)+T(-v)=T(v-v)=T(0)=0$$T(v)+T(-v)=T(v-v)=T(0)=0$.

Núcleo

O núcleo de uma transformação linear $T$$T$ de $V$$V$ em $W$$W$, denotado por $\ker(T)$$\ker(T)$, é o conjunto

$\{v\in V\,|\,T(v)=0\}$$\{v\in V\,|\,T(v)=0\}$ (onde $0$$0$ é o vetor nulo de $W$$W$)

Exemplo: O núcleo da função $T$$T$ de $K^{3}$$K^3$ em $K^{3}$$K^3$ definida por $T(x,y,z)=(2x-z,2z+y,x+y+3z/2)$$T(x,y,z)=(2x-z,2z+y,x+y+3z/2)$ é:

$\ker(T)=\left\{(x,y,z)\,|\,x=z/2=-y/4\right\}$$\ker(T)=\left\{(x,y,z)\,|\,x=z/2=-y/4 \right\}$

O conjunto $\ker(T)$$\ker(T)$ é um subespaço vetorial de V, pois se $v_{1},v_{2}$$v_1,v_2$ ∈ $\ker(T)$$\ker(T)$ e se $\alpha _{1},\alpha _{2}$$\alpha_1,\alpha_2$ ∈ $K$$K$, então

$T(\alpha _{1}v_{1}+\alpha _{2}v_{2})=\alpha _{1}T(v_{1})+\alpha _{2}T(v_{2})=0$$T(\alpha_1v_1+\alpha_2v_2)=\alpha_1T(v_1)+\alpha_2T(v_2)=0$,

ou seja, $\alpha _{1}v_{1}+\alpha _{2}v_{2}$$\alpha_1v_1+\alpha_2v_2$ ∈ $\ker(T)$$\ker(T)$.

Se uma aplicação linear $T$$T$ de $V$$V$ em $W$$W$ for injectiva, então $\ker(T)=\{0\}$$\ker(T)=\{0\}$, pois $T(0)=0$$T(0)=0$ e, portanto, pela injectividade de $T$$T$,o único vector $v$$v$ ∈ $V$$V$ tal que $T(v)=0$$T(v)=0$ é $0$$0$. Reciprocamente, se $\ker(T)=\{0\}$$\ker(T)=\{0\}$, então $T$$T$ é injectiva, pois, dados $v,w$$v,w$ ∈ $V$$V$

${\textstyle T(v)=T(w)\Longleftrightarrow T(v)-T(w)=0\Longleftrightarrow T(v-w)=0\Longleftrightarrow v-w\in \ker(T)\Rightarrow v-w=0\Longleftrightarrow v=w}$${\textstyle T(v)=T(w)\Longleftrightarrow T(v)-T(w)=0\Longleftrightarrow T(v-w)=0\Longleftrightarrow v-w\in \ker(T)\Rightarrow v-w=0\Longleftrightarrow v=w}$.

Imagem

Sejam $V$$V$ e $W$$W$ espaços vectoriais sobre um corpo $K$$K$. A imagem de uma transformação linear $T$$T$ de $V$$V$ em $W$$W$ é o conjunto

$\operatorname {Im} (T)=\{f(v)\,|\,v\in V\}$$\operatorname{Im}(T)=\{f(v)\,|\,v\in V\}$.

Sejam $w_{1},w_{2}$$w_{1},w_{2}$ dois elementos da imagem de $T$$T$ e sejam $\alpha _{1},\alpha _{2}\in K$$\alpha_1,\alpha_2\in K$. Então, como $w_{1},w_{2}$$w_1,w_2$ estão na imagem de $T$$T$, há vectores $v_{1},v_{2}\in V$$v_1,v_2\in V$ tais que $w_{1}=T(v_{1})$$w_1=T(v_1)$ e que $w_{2}=T(v_{2})$$w_2=T(v_2)$, pelo que

$\alpha _{1}w_{1}+\alpha _{2}w_{2}=\alpha _{1}T(v_{1})+\alpha _{2}T(v_{2})=T(\alpha _{1}v_{1}+\alpha _{2}v_{2})\in {\mathop {\mathrm {Im} }}(T)$$\alpha_1w_1+\alpha_2w_2=\alpha_1T(v_1)+\alpha_2T(v_2)=T(\alpha_1v_1+\alpha_2v_2)\in\mathop{\mathrm{Im}}(T)$.

Logo, $\operatorname {Im} (T)$$\operatorname{Im}(T)$ é um subespaço vetorial de $W$$W$.

Dimensão da imagem e do núcleo

Sejam $V$$V$ e $W$$W$ espaços vectoriais sobre um corpo $K$$K$, sendo $V$$V$ de dimensão finita, e seja $T$$T$ uma transformação linear de $V$$V$ em $W$$W$. Então

$\dim(V)=\dim(\ker(T))+\dim(\operatorname {Im} (T))$$\dim(V)=\dim(\ker(T))+\dim(\operatorname{Im}(T))$.

Vai ser visto como se pode demonstrar esse facto. Seja $n=\dim(\ker(T))$$n=\dim(\ker(T))$ e seja $\{v_{1},v_{2},$$\{v_1,v_2,$…$,v_{n}\}$$,v_n\}$ uma base de $\ker(T)$$\ker(T)$. Como $\ker(T)$$\ker(T)$ é um subespaço de $V$$V$, pode-se completar essa base até obtermos uma base de $V$$V$. Sejam então $w_{1},w_{2},$$w_1,w_2,$ … $,w_{m}$$,w_m$ ∈ $V$$V$ tais que $\{v_{1},v_{2},$$\{v_1,v_2,$…$,v_{n},w_{1},w_{2},$$,v_n,w_1,w_2,$…$,w_{m}\}$$,w_m\}$ seja uma base de $V$$V$; em particular, $\dim(V)=n+m$$\dim(V)=n+m$. Vai-se provar que $\{T(w_{1}),$$\{T(w_1),$…$,T(w_{m})\}$$,T(w_m)\}$ é uma base de Im$(T)$$(T)$, de onde resultará que

$\dim(\operatorname {Im} (T))=m=(m+n)-n=\dim(V)-\dim(\ker(T))$$\dim(\operatorname {Im}(T))=m=(m+n)-n=\dim(V)-\dim(\ker(T))$.

Se $w$$w$ ∈ Im$(T)$$(T)$, então $w=T(v)$$w=T(v)$ para algum $v$$v$ ∈ $V$$V$ e $v$$v$ pode ser escrito sob a forma

$v=\alpha _{1}v_{1}+\cdots \alpha _{n}v_{n}+\beta _{1}w_{1}+\cdots +\beta _{m}w_{m}$$v=\alpha_1v_1+\cdots\alpha_nv_n+\beta_1w_1+\cdots+\beta_mw_m$,

pelo que

$T(v)=\beta _{1}T(w_{1})+\cdots +\beta _{m}T(w_{m})$$T(v)=\beta_1T(w_1)+\cdots+\beta_mT(w_m)$,

visto que $v_{1},v_{2},$$v_1,v_2,$ … $,v_{n}$$,v_n$ ∈ $\ker(T)$$\ker(T)$. Isto prova que $\{T(w_{1}),$$\{T(w_1),$…$,T(w_{m})\}$$,T(w_m)\}$ gera Im$(T)$$(T)$. Por outro lado, os vetores $T(w_{1}),T(w_{2})$$T(w_1),T(w_2)$ … $T(w_{m})$$T(w_m)$ são linearmente independentes, pois se $\alpha _{1},\alpha _{2},$$\alpha_1,\alpha_2,$ … $,\alpha _{m}$$,\alpha_m$ ∈ $K$$K$ forem tais que

$\alpha _{1}T(w_{1})+\alpha _{2}T(w_{2})+\cdots +\alpha _{m}T(w_{m})=0$$\alpha_1T(w_1)+\alpha_2T(w_2)+\cdots+\alpha_mT(w_m)=0$,

então

$T{\bigl (}\alpha _{1}w_{1}+\alpha _{2}w_{2}+\cdots +\alpha _{m}w_{m}{\bigr )}=0\Rightarrow \alpha _{1}w_{1}+\alpha _{2}w_{2}+\cdots +\alpha _{m}w_{m}\in \ker(T)$$T\bigl(\alpha_1w_1+\alpha_2w_2+\cdots+\alpha_mw_m\bigr)=0\Rightarrow\alpha_1w_1+\alpha_2w_2+\cdots+\alpha_mw_m\in\ker(T)$,

de onde resulta que $\alpha _{1}w_{1}+\alpha _{2}w_{2}+$$\alpha_1w_1+\alpha_2w_2+$ ··· $+\alpha _{m}w_{m}$$+\alpha_mw_m$ é uma combinação linear dos vetores $v_{1},v_{2},$$v_1,v_2,$ … $,v_{n}$$,v_n$, o que é só é possível se $\alpha _{1}=\alpha _{2}=$$\alpha_1=\alpha_2=$···$=\alpha _{m}=0$$=\alpha_m=0$, pois o conjunto $\{v_{1},v_{2},$$\{v_1,v_2,$…$,v_{n},w_{1},w_{2},$$,v_n,w_1,w_2,$…$,w_{m}\}$$,w_m\}$ é uma base e, portanto, linearmente independente.

Este teorema também pode ser estendido para dimensões infinitas, mas, neste caso, sua demonstração e até o enunciado dependem do axioma da escolha.

Tipos especiais de transformações lineares

Denomina-se isomorfismo uma transformação linear que seja bijetiva.

Denomina-se endomorfismo ou operador linear uma transformação linear de um espaço vetorial «nele mesmo», ou seja, uma transformação que tenha domínio igual ao contradomínio.

Se $T$$T$ for um endomorfismo de um espaço vetorial $V$$V$ de dimensão finita, então são condições equivalentes:

1. $T$$T$ é injetivo;
2. $T$$T$ é sobrejetivo;
3. $T$$T$ é bijetivo.

É claro que a terceira condição implica as outras duas. Se $T$$T$ for sobrejetivo, então

$\dim(V)=\dim(\operatorname {Im} (T))=\dim(V)-\dim(\ker(T))$$\dim(V)=\dim(\operatorname{Im}(T))=\dim(V)-\dim(\ker(T))$,

pelo que $\dim(\ker(T))=0$$\dim(\ker(T))=0$ e, portanto, $\ker(T)=\{0\}$$\ker(T)=\{0\}$, pelo que $T$$T$ é injetivo. Por outro lado, se $T$$T$ for injetivo, então

$0=\dim(\ker(T))=\dim(V)-\dim(\operatorname {Im} (T))$$0=\dim(\ker(T))=\dim(V)-\dim(\operatorname{Im}(T))$,

pelo que $\dim(V)=\dim(\operatorname {Im} (T))$$\dim(V)=\dim(\operatorname{Im}(T))$ e, portanto, $V=\operatorname {Im} (T)$$V=\operatorname{Im}(T)$, ou seja, $T$$T$ é sobrejetivo.

Exemplos de matrizes de transformações lineares

Alguns casos especiais de transformações lineares do espaço R² são bastante elucidativas:

• rotação de 90 graus no sentido anti-horário:

  $\mathbf {A} ={\begin{bmatrix}0&-1\\1&0\end{bmatrix}}$$\mathbf{A}=\begin{bmatrix}0 & -1\\ 1 & 0\end{bmatrix}$

• rotação por θ graus no sentido anti-horário:

  $\mathbf {A} ={\begin{bmatrix}\cos(\theta )&-\sin(\theta )\\\sin(\theta )&\cos(\theta )\end{bmatrix}}$$\mathbf{A}=\begin{bmatrix}\cos(\theta) & -\sin(\theta)\\ \sin(\theta) & \cos(\theta)\end{bmatrix}$

• reflexão em torno do eixo x:

  $\mathbf {A} ={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}$$\mathbf{A}=\begin{bmatrix}1 & 0\\ 0 & -1\end{bmatrix}$

• reflexão em torno do eixo y:

  $\mathbf {A} ={\begin{bmatrix}-1&0\\0&1\end{bmatrix}}$$\mathbf{A}=\begin{bmatrix}-1 & 0\\ 0 & 1\end{bmatrix}$

• Projeção no eixo y:

  $\mathbf {A} ={\begin{bmatrix}0&0\\0&1\end{bmatrix}}.$$\mathbf{A}=\begin{bmatrix}0 & 0\\ 0 & 1\end{bmatrix}.$

Espaço das Transformações Lineares

Sejam $V$$V$ e $W$$W$ espaços vetoriais sobre o corpo $K$$K$. Seja $L(V,W)$$L(V,W)$ definido como o conjunto de todas transformações lineares de $V$$V$ em $W$$W$. Como funções, para quaisquer operadores $T$$T$ e $U$$U$ e qualquer escalar $a$$a$, podemos definir $T+U$$T + U$ e $aT$$aT$ por:

$(T+U)(v)=T(v)+U(v)$$(T + U)(v) = T(v) + U(v)$

$(aT)(v)=aT(v)$$(a T)(v) = a T(v)$

É imediato provar que $T+U$$T + U$ e $aT$$aT$ também são transformações lineares de $V$$V$ em $W$$W$, e que $L(V,W)$$L(V,W)$ com a soma de transformações e a multiplicação de um escalar por uma transformação forma um espaço vetorial sobre $K$$K$.

Pelo fato de que, dadas bases de $V$$V$ e $W$$W$, temos uma representação de cada transformação linear através de uma matriz de dimensão $n$$n$ × $m$$m$, concluímos que a dimensão de $L(V,W)$$L(V,W)$ é $nm$$nm$ (no caso de dimensão infinita, algum cuidado deve ser tomado nesta demonstração).

Espaço dos operadores lineares

Um caso particular importante é o espaço $L(V,V)$$L(V,V)$, das transformações lineares de um espaço vectorial nele mesmo (operadores lineares).

Como a composição de operadores lineares é um operador linear, este espaço tem uma estrutura de álgebra, em que a composição de funções faz o papel do produto de operadores.

Assim, dado um operador linear T, podem-se definir as potências T², T³, ou, de modo geral, Tⁿ para qualquer n inteiro positivo. Portanto, se p(x) é um polinómio com coeficientes no corpo de escalares, faz sentido definir p(T):

$p(x)=a_{0}+a_{1}x+\ldots +a_{n}x^{n}\implies p(T)=a_{0}I_{V}+a_{1}T+\ldots +a_{n}T^{n}$$p(x) = a_0 + a_1 x + \ldots + a_n x^n \implies p(T) = a_0 I_V + a_1 T + \ldots + a_n T^n$

em que I_V é o operador identidade em V.

Verificam-se facilmente as seguintes propriedades:

• Se p(x) e q(x) são polinómios, então $p(T)+q(T)=(p+q)(T)$$p(T) + q(T) = (p + q)(T)$ e $p(T)q(T)=(pq)(T)$$p(T) q(T) = (pq)(T)$.

Se o espaço V tem dimensão finita n, então L(V,V) também tem dimensão finita n². Portanto, o conjunto de n²+1 operadores $\{I_{V},T,\ldots ,T^{n^{2}}\}$$\{I_V, T, \ldots, T^{n^2} \}$ é linearmente dependente. Logo, existem escalares $a_{0},a_{1},\ldots a_{n^{2}}$$a_0, a_1, \ldots a_{n^2}$, não todos nulos, tais que $a_{0}I_{V}+a_{1}T+\ldots +a_{n^{2}}T^{n^{2}}=0$$a_0 I_V + a_1 T + \ldots + a_{n^2} T^{n^2} = 0$. Ou seja, existe um polinómio não-nulo p(x) tal que p(T) = 0.

Se existe um polinómio não-nulo f(x) tal que f(T) = 0, então o conjunto não-vazio dos polinómios q(x) tais que q(T) = 0 forma um ideal no anel de todos polinómios com coeficientes no corpo. Portanto, existe um único polinómio mónico p(x) tal que p(T) = 0. Este polinómio é chamado de polinómio mínimo de T.

Espaço dual

Ver artigo principal: Espaço dual

Seja $V$$V$ um espaço vetorial sobre um corpo $K$$K$. O espaço dual de $V$$V$, representado por $V*$$V*$, é o espaço vetorial $L(V,K)$$L(V,K)$ das transformações lineares de $V$$V$ em $K$$K$.

Ver também

• Função linear
• Função afim
• Função polinomial de primeiro grau