Lição 112 — Transformações lineares
Funções entre espaços vetoriais que preservam combinação linear. Representação matricial em uma base. Mudança de base. A operação fundamental que torna ML, gráficos 3D e processamento de sinais possíveis.
Used in: Leistungskurs alemão (Lineare Algebra) · Math III japonês · H2 Math singapurense · graduação engenharia 1.º semestre
Rigorous notation, full derivation, hypotheses
Definição rigorosa
Transformações lineares
"Uma transformação linear é uma função que vai de um espaço vetorial para outro e preserva as operações de espaço vetorial de adição de vetores e multiplicação por escalar." — Beezer — A First Course in Linear Algebra, §LT
"Se é uma transformação linear, então ." — Beezer — A First Course in Linear Algebra, Teorema LTTZZ, §LT
Representação matricial
Diagrama: T leva vetores de V (com base B) para W (com base C). Em coordenadas, a operação é multiplicação pela matriz [T].
Mudança de base e matrizes semelhantes
"Duas matrizes que representam a mesma transformação linear em diferentes bases são chamadas de matrizes semelhantes, e para alguma matriz invertível ." — Hefferon — Linear Algebra, cap. 3 §III.1
Composição
Exemplos resolvidos
Exercise list
44 exercises · 11 with worked solution (25%)
- Ex. 112.1Application
, . Verifique que é linear e encontre sua matriz.
- Ex. 112.2ApplicationAnswer key
, . Por que não é transformação linear?
- Ex. 112.3Application
, . Dê um contraexemplo concreto para mostrar que não é linear.
- Ex. 112.4Application
, . Mostre que é linear e encontre sua matriz .
- Ex. 112.5Application
, . Mostre que é linear e encontre a matriz .
- Ex. 112.6Application
, . Encontre a matriz na base . O que é especial nessa matriz?
- Ex. 112.7Application
, . Mostre que é linear e encontre a matriz nas bases canônicas.
- Ex. 112.8ApplicationAnswer key
, . Mostre que é linear e escreva a matriz na base canônica de .
- Ex. 112.9Application
Fixe . Define-se por . Mostre que é linear.
- Ex. 112.10Application
, . é transformação linear?
- Ex. 112.11Application
, . Mostre que é linear e encontre a matriz diagonal na base .
- Ex. 112.12Application
, para todo . Mostre que é linear. Qual sua matriz em qualquer base?
- Ex. 112.13Application
Encontre a matriz da rotação de 45° no plano. Verifique que seu determinante é 1.
- Ex. 112.14ApplicationAnswer key
Encontre a matriz da reflexão pela reta . Verifique que .
- Ex. 112.15Application
Encontre a matriz da projeção ortogonal no eixo . Verifique que (idempotência).
- Ex. 112.16ApplicationAnswer key
Encontre a matriz da projeção ortogonal na reta . Verifique idempotência.
- Ex. 112.17Application
Encontre a matriz da escala não-uniforme . Qual o significado geométrico do determinante?
- Ex. 112.18Application
Encontre a matriz do cisalhamento horizontal de fator 2: .
- Ex. 112.19Application
Composição: rotação de 30° seguida de escala por 2. Calcule a matriz produto .
- Ex. 112.20ApplicationAnswer key
Composição: reflexão pela reta e depois rotação de 90°. Calcule a matriz produto e identifique a transformação resultante.
- Ex. 112.21Application
Em , encontre a matriz da rotação de 90° em torno do eixo (o eixo fica fixo).
- Ex. 112.22Application
Em , encontre a matriz da projeção ortogonal no plano .
- Ex. 112.23Application
, . Encontre a matriz na base canônica.
- Ex. 112.24Application
, (produto vetorial com fixo). Encontre a matriz .
- Ex. 112.25Application
, (reflexão no eixo ). Encontre na base canônica e na base . Confirme que são semelhantes.
- Ex. 112.26Application
Mostre que matrizes semelhantes têm o mesmo determinante e o mesmo traço.
- Ex. 112.27ApplicationAnswer key
Mostre que se (semelhantes), então para todo . Conclua: nilpotência é invariante por semelhança.
- Ex. 112.28ModelingAnswer key
Em computação gráfica, translação por em não é transformação linear. Como coordenadas homogêneas permitem representá-la como transformação linear em ? Escreva a matriz .
- Ex. 112.29Modeling
Portfólio com ativos, pesos , retornos esperados . O retorno esperado é transformação linear em ? E a variância ?
- Ex. 112.30Modeling
Escreva a matriz Toeplitz que realiza convolução linear 1D com kernel sobre um sinal de comprimento 5 (saída válida, comprimento 3).
- Ex. 112.31Modeling
Em aprendizado de máquina, uma camada densa é . Qual parte é transformação linear? Por que adicionar não torna a camada linear? De onde vem a não-linearidade de uma rede neural?
- Ex. 112.32Modeling
Sistema LTI: , solução . Mostre que a aplicação é transformação linear. O que é a matriz ?
- Ex. 112.33Modeling
O operador de derivação tem matriz nilpotente. Explique por que , e o que isso significa em termos de polinômios.
- Ex. 112.34Modeling
Por que ? O que isso diz sobre o espaço de todas as matrizes ?
- Ex. 112.35UnderstandingAnswer key
é condição necessária para linearidade. Dê um exemplo de com que não é linear. Por que não é suficiente?
- Ex. 112.36Understanding
Se representa em , explique o significado geométrico da fórmula . O que faz cada fator?
- Ex. 112.37Understanding
Explique, sem calcular, por que o produto matricial é exatamente a composição . Qual é a relação entre a definição de produto matricial e a definição de composição?
- Ex. 112.38UnderstandingAnswer key
Mostre que (conjunto de todas as transformações lineares de em ) é ele mesmo um espaço vetorial, com as operações e .
- Ex. 112.39ChallengeAnswer key
Encontre com (o negativo da identidade). Sugere-se rotação de 90°. Qual a conexão com os números complexos?
- Ex. 112.40Challenge
Demonstre: toda transformação linear tem a forma para algum .
- Ex. 112.41Proof
Demonstração. Prove que a composição de transformações lineares é linear. Seja e ambas lineares. Mostre que é linear.
- Ex. 112.42ProofAnswer key
Demonstração. Prove por indução que toda transformação linear preserva combinações lineares arbitrárias: .
- Ex. 112.43Proof
Demonstração. Prove: linear é injetiva .
- Ex. 112.44Proof
Demonstração. Prove o teorema de extensão linear: dados espaços vetoriais (dim ) e , e vetores arbitrários, existe única transformação linear com para .
Fontes
- Beezer — A First Course in Linear Algebra — Rob Beezer · 2022 · EN · GNU FDL. §LT (Linear Transformations) e §ILT (Injective Linear Transformations). Fonte primária desta lição.
- Hefferon — Linear Algebra — Jim Hefferon · 4.ª ed. · EN · CC-BY-SA. Cap. 3 (Maps Between Spaces): enfoque geométrico e exemplos de transformações do plano.
- Axler — Linear Algebra Done Right — Sheldon Axler · 4.ª ed. · EN · CC-BY-NC. §3A–§3B: linear maps como objetos de primeira classe; sem determinantes como fundamento.