Fase 4

Portais e Avatares

Pressione Enter para começar

Dev Log 4.0: Novos Horizontes

"Para a próxima atualização, estamos adicionando 'Portais'. A ideia é que um avatar entre em um portal e saia em outro lugar, talvez esticado, girado ou até mesmo achatado. Isso abre um universo de possibilidades para puzzles e desafios."

A Mecânica: Transformações Lineares

Nesta fase, vamos dominar a magia por trás dos portais. Aprenderemos a criar, combinar e entender as regras que governam como os avatares (vetores) se movem e se transformam. Cada portal será definido por uma ferramenta que já conhecemos bem: a matriz.

Quest 1: O Primeiro Portal

Entendendo a função fundamental de uma transformação.

Bloco Conceitual: De um Ponto a Outro

Mecânica Principal: O Que é uma Transformação?

Uma Transformação \(T\) é uma função que "move" vetores de um espaço de entrada (domínio) para um espaço de saída (contradomínio).

\[ T: \mathbb{R}^n \rightarrow \mathbb{R}^m \]
Bloco Conceitual: De um Ponto a Outro

Regra Especial: A Matriz do Portal

Toda Transformação Linear pode ser representada pela multiplicação de matrizes.

Para uma transformação \(T\), existe uma matriz padrão \(A\) tal que:

\[ T(\mathbf{x}) = A\mathbf{x} \]
Bloco Conceitual: Preparando o Portal (Visual)

Mecânica Principal: Configurando a Demo

Na próxima tela, vamos visualizar o efeito de uma rotação de 90° com a matriz:

\[ A = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \]
Bloco Conceitual: Preparando o Portal (Visual)

Demo da Habilidade: Portal Visual

Arraste o vetor azul (\(\mathbf{v}\)). O vetor laranja (\(\mathbf{w}\)) é o resultado de \( A\mathbf{v} \).

Bloco Conceitual: As Regras do Universo

Mecânica Principal: As Leis da Linearidade

Para que um portal seja "linear", ele precisa obedecer a duas regras fundamentais. Para quaisquer vetores \( \mathbf{u}, \mathbf{v} \) e um escalar \( c \):

1. Aditividade

\[ T(\mathbf{u} + \mathbf{v}) = T(\mathbf{u}) + T(\mathbf{v}) \]

2. Homogeneidade

\[ T(c\mathbf{u}) = cT(\mathbf{u}) \]
Bloco Conceitual: As Regras do Universo

Regra Especial: O Teste Rápido da Linearidade

Uma transformação é linear se, e somente se, cada componente do vetor de saída é uma combinação linear das componentes de entrada.

Isso significa: As fórmulas só podem ter termos como \( a \cdot x_i \).

Termos como \( x_1^2, \sqrt{x_2}, x_1x_2 \) ou constantes somadas (ex: \( x_1+1 \)) quebram a linearidade!

Bloco Conceitual: Testando a Linearidade

Quest de Treinamento

A transformação \( T: \mathbb{R}^2 \rightarrow \mathbb{R}^2 \) definida por \( T(x, y) = (x - y, 3y) \) é linear?

Bloco Conceitual: Testando a Linearidade

Guia de Estratégia

Sim, é linear.

Pelo "Teste Rápido":

  • A primeira componente da saída, \( w_1 = x - y \), é uma combinação linear de x e y.
  • A segunda componente, \( w_2 = 3y \), também é.

Nenhum termo "proibido" aparece. A transformação passa no teste.

Bloco Conceitual: Testando a Linearidade

Quest de Treinamento

A transformação \( T(x, y) = (x^2, y) \) é linear?

Bloco Conceitual: Testando a Linearidade

Guia de Estratégia

Não, não é linear.

Ela falha no teste da Homogeneidade. Seja \( c \) um escalar:

\( T(c\mathbf{u}) = T(cx, cy) = ((cx)^2, cy) = (c^2x^2, cy) \)

\( cT(\mathbf{u}) = c \cdot T(x, y) = c(x^2, y) = (cx^2, cy) \)

Como \( (c^2x^2, cy) \neq (cx^2, cy) \), a regra \( T(c\mathbf{u})=cT(\mathbf{u}) \) falha.

Bloco Conceitual: Testando a Linearidade

Quest de Treinamento

A transformação \( T(x, y) = (x+1, y) \) é linear?

Bloco Conceitual: Testando a Linearidade

Guia de Estratégia

Não, não é linear.

Motivo 1 (Teste Rápido): A componente \( w_1 = x+1 \) não é uma combinação linear pura de x e y, pois tem uma constante somada.

Motivo 2 (Prova Formal): Uma propriedade de toda transformação linear é que ela deve levar o vetor nulo ao vetor nulo: \( T(\mathbf{0}) = \mathbf{0} \).

\[ T(0, 0) = (0+1, 0) = (1, 0) \neq (0, 0) \]

Como \( T(\mathbf{0}) \neq \mathbf{0} \), a transformação não pode ser linear.

Recompensa da Quest

  • Uma Transformação Linear obedece às regras de Aditividade e Homogeneidade.
  • Teste Rápido: Suas fórmulas só contêm combinações lineares das variáveis de entrada.
  • Termos como \(x^2\) ou constantes como \(+1\) quebram a linearidade.

Quest 2: O Arsenal de Transformações

Explorando os tipos mais comuns de portais geométricos.

Bloco Conceitual: Catálogo de Power-ups em ℝ²

Mecânica Principal: Matrizes Padrão

Algumas transformações são tão comuns que suas matrizes são "power-ups" básicos em nosso arsenal.

Bloco Conceitual: Catálogo de Power-ups em ℝ²

Regra Especial: Rotação

Rotação anti-horária por um ângulo \( \theta \):

\[ A = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \]
Bloco Conceitual: Catálogo de Power-ups em ℝ²

Regra Especial: Dilatação

Dilatar ou contrair por um fator \( k \):

\[ A = \begin{pmatrix} k & 0 \\ 0 & k \end{pmatrix} \]
Bloco Conceitual: Catálogo de Power-ups em ℝ²

Regra Especial: Reflexão (Eixo X)

Refletir através do eixo X:

\[ A = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \]
Bloco Conceitual: Catálogo de Power-ups em ℝ²

Regra Especial: Reflexão (Eixo Y)

Refletir através do eixo Y:

\[ A = \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix} \]
Bloco Conceitual: Laboratório Interativo

Demo da Habilidade: Sandbox de Transformação


Bloco Conceitual: O Segredo dos Construtores

Mecânica Principal: Construindo Matrizes

Como criar a matriz para qualquer transformação linear?

O segredo é observar para onde a transformação envia os vetores da base canônica.

\[ A = \begin{bmatrix} | & | \\ T(\mathbf{e}_1) & T(\mathbf{e}_2) \\ | & | \end{bmatrix} \]

Missão Principal

Encontre a matriz padrão em \( \mathbb{R}^2 \) para a projeção ortogonal sobre a reta \( y = 2x \).

Guia de Estratégia - Passo 1

A reta \( y=2x \) tem a direção de \( \mathbf{d} = (1, 2) \). Usando a fórmula de projeção:

\[ T(\mathbf{e}_1) = \text{proj}_{\mathbf{d}}\mathbf{e}_1 = \frac{(1,0)\cdot(1,2)}{1^2+2^2}(1,2) = \begin{pmatrix} 1/5 \\ 2/5 \end{pmatrix} \]

Esta é a primeira coluna da nossa matriz.

Guia de Estratégia - Passo 2

Agora, transformamos \( \mathbf{e}_2 = (0, 1) \):

\[ T(\mathbf{e}_2) = \text{proj}_{\mathbf{d}}\mathbf{e}_2 = \frac{(0,1)\cdot(1,2)}{1^2+2^2}(1,2) = \begin{pmatrix} 2/5 \\ 4/5 \end{pmatrix} \]

Esta é a segunda coluna.

Guia de Estratégia - Passo 3

Montamos a matriz \(A\) com os resultados:

\[ A = [T(\mathbf{e}_1) | T(\mathbf{e}_2)] = \begin{pmatrix} 1/5 & 2/5 \\ 2/5 & 4/5 \end{pmatrix} \]

Recompensa da Quest

  • Existem matrizes padrão para transformações comuns.
  • Podemos visualizar o efeito de uma matriz em um espaço vetorial.
  • A chave para criar qualquer matriz é transformar os vetores da base canônica.

Quest 3: Combos de Transformação

Aprendendo a aplicar múltiplos portais em sequência.

Bloco Conceitual: Empilhando Power-ups

Mecânica Principal: Composição

Aplicar \( T_1 \) e depois \( T_2 \) é uma composição, com matriz \( A = A_2 A_1 \).

A ordem da multiplicação é o inverso da ordem de aplicação.

Desafio Avançado

Em \( \mathbb{R}^2 \), reflita um avatar através do eixo y, e em seguida, rotacione 45° no sentido horário. Qual a matriz única para essa operação?

Guia de Estratégia

1. \(A_1\) (Reflexão em Y): \( \begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix} \)

2. \(A_2\) (Rotação -45°): \( \begin{pmatrix} \frac{\sqrt{2}}{2} & \frac{\sqrt{2}}{2} \\ -\frac{\sqrt{2}}{2} & \frac{\sqrt{2}}{2} \end{pmatrix} \)

3. \( A = A_2 A_1 \): \( \begin{pmatrix} -\frac{\sqrt{2}}{2} & \frac{\sqrt{2}}{2} \\ \frac{\sqrt{2}}{2} & \frac{\sqrt{2}}{2} \end{pmatrix} \)

Recompensa da Quest

  • Composição de transformações é a multiplicação de suas matrizes na ordem inversa.

Quest 4: Desfazendo a Magia

Quando é possível inverter uma transformação?

Bloco Conceitual: Portais de Mão Única?

Mecânica Principal: Um-para-Um

Uma transformação é um-para-um se vetores diferentes sempre são levados para vetores diferentes. Ela não "achata" o espaço.

Bloco Conceitual: Portais de Mão Única?

Regra Especial: O Teste da Invertibilidade

Para uma matriz quadrada \(A\), \(T\) é invertível se, e somente se, \( \det(A) \neq 0 \).

Bloco Conceitual: Portais de Mão Única?

Mecânica Principal: A Transformação Inversa

Se \( T(\mathbf{x}) = A\mathbf{x} \) é invertível, sua inversa \( T^{-1}(\mathbf{w}) = A^{-1}\mathbf{w} \) desfaz a ação.

Recompensa da Quest

  • Uma transformação é invertível se for um-para-um, o que ocorre quando \( \det(A) \neq 0 \).
  • A inversa \(T^{-1}\) é representada pela matriz \(A^{-1}\).

Quest 5: Desafios do Mestre do Jogo

Aplique seu conhecimento para deduzir novas matrizes de transformação.

Bloco Conceitual: Teste Final de Habilidade

Desafio Avançado

Usando o método de transformar os vetores da base canônica, deduza a matriz padrão para uma rotação de um ângulo \( \theta \) em \( \mathbb{R}^2 \).

(Dica: o que acontece com \( \mathbf{e}_1 = (1,0) \) e \( \mathbf{e}_2 = (0,1) \) quando rotacionados por \( \theta \)? Use trigonometria.)

Bloco Conceitual: Teste Final de Habilidade

Desafio Avançado

Encontre a matriz padrão em \( \mathbb{R}^3 \) para a transformação que rotaciona um vetor em torno do eixo z por um ângulo \( \theta \) (sentido anti-horário).

(Dica: O que acontece com \( \mathbf{e}_1, \mathbf{e}_2 \) e \( \mathbf{e}_3 \)? Um deles permanece fixo.)

Bloco Conceitual: Teste Final de Habilidade

Desafio Avançado

Encontre a matriz padrão em \( \mathbb{R}^3 \) para a transformação que reflete um vetor através do plano xy.

(Dica: Imagine um ponto (x, y, z). Onde ele vai parar após a reflexão? Qual coordenada muda de sinal?)

Recompensa da Fase

  • Dominamos a Mecânica das Transformações Lineares como funções \(T(\mathbf{x}) = A\mathbf{x}\).
  • Aprendemos a construir qualquer matriz transformando os vetores da base canônica.
  • Entendemos como combinar (composição) e inverter transformações.
  • Agora estamos prontos para explorar espaços mais abstratos!