Álgebra Linear

7 figura(s) nesta categoria. Fonte em figuras/algebra-linear/.

Autovetor: direção preservada sob transformação

Autovetor: direção preservada sob transformação

Vetor v e sua imagem Av=λv na mesma direção (autovetor), contrastados com um vetor genérico u cuja imagem Au não é múltiplo de u.

autovaloresautovetoresinterpretacao-geometrica
Ver código TikZ
\begin{tikzpicture}[vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]

  \coordinate (O) at (0,0);

  % --- Autovetor v e sua imagem Av = lambda v (mesma direcao) ---
  \coordinate (V) at (1.6,1.0);
  \coordinate (AV) at (3.68,2.3);

  \draw[vec, blue!70!black] (O) -- (V) node[midway, above left, black] {$v$};
  \draw[vec, red!70!black] (O) -- (AV) node[right, black] {$Av=\lambda v$};
  \draw[dotted, gray] (V) -- (AV);

  % --- Vetor generico u e sua imagem Au (direcao diferente) ---
  \coordinate (U) at (0.6,-1.6);
  \coordinate (AU) at (2.6,-0.6);

  \draw[vec, blue!40!white] (O) -- (U) node[midway, below left, black] {$u$};
  \draw[vec, red!40!white] (O) -- (AU) node[right, black] {$Au$};
  \draw[dashed, gray] (U) -- (AU);

  \node[gray, align=center] at (5.6,-1.6) {$Au$ não é\\múltiplo de $u$};

\end{tikzpicture}
Determinante como área

Determinante como área

Paralelogramo formado por dois vetores-coluna v1=(a,b) e v2=(c,d) a partir da origem, ilustrando que a área da figura é igual ao valor absoluto do determinante da matriz formada pelos vetores.

determinantesinterpretacao-geometricaarea
Ver código TikZ
\begin{tikzpicture}[vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]
  \coordinate (O) at (0,0);
  \coordinate (A) at (4,0.6);
  \coordinate (B) at (1.2,3.2);
  \coordinate (C) at ($(A)+(B)$);

  \fill[teal!25] (O) -- (A) -- (C) -- (B) -- cycle;

  \draw[->, gray] (-0.6,0) -- (5.2,0);
  \draw[->, gray] (0,-0.6) -- (0,4.2);

  \draw[dashed, gray] (A) -- (C) -- (B);

  \draw[vec, red!70!black] (O) -- (A) node[below right, black] {$v_1=(a,b)$};
  \draw[vec, blue!70!black] (O) -- (B) node[above left, black] {$v_2=(c,d)$};

  \node[teal!50!black] at ($(A)!0.5!(C)$) {Área $=|\det A|$};
\end{tikzpicture}
Espaço gerado por um e por dois vetores

Espaço gerado por um e por dois vetores

Dois painéis com eixos pseudo-3D: (a) um vetor não nulo v e a reta que ele gera pela origem; (b) dois vetores LI u,w e o plano que eles geram pela origem.

espacos-vetoriaisespaco-geradosubespacos
Ver código TikZ
\begin{tikzpicture}[vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]

% ---------- Painel (a): reta gerada por um vetor ----------
\begin{scope}
  \coordinate (O) at (0,0);
  \coordinate (Xax) at (200:1.6);
  \coordinate (Yax) at (-20:2.0);
  \coordinate (Zax) at (90:2.0);

  % eixos pseudo-3D
  \draw[gray, -{Latex[length=2mm]}] (O) -- (Xax) node[below left, black] {\scriptsize $x$};
  \draw[gray, -{Latex[length=2mm]}] (O) -- (Yax) node[right, black] {\scriptsize $y$};
  \draw[gray, -{Latex[length=2mm]}] (O) -- (Zax) node[above, black] {\scriptsize $z$};

  \coordinate (V) at (35:1.5);

  % reta gerada por v (estendida nos dois sentidos)
  \draw[teal!70!black, thick, dashed] ($-1.5*(V)$) -- ($1.5*(V)$);

  \draw[vec, red!70!black] (O) -- (V) node[above right, black] {$v$};
  \fill (O) circle (1.2pt);

  \node[align=center] at (0.4,-2.1) {\small (a) $\mathrm{ger}\{v\}$: reta pela origem};
\end{scope}

% ---------- Painel (b): plano gerado por dois vetores LI ----------
\begin{scope}[xshift=8cm]
  \coordinate (O) at (0,0);
  \coordinate (Xax) at (200:1.6);
  \coordinate (Yax) at (-20:2.0);
  \coordinate (Zax) at (90:2.0);

  \draw[gray, -{Latex[length=2mm]}] (O) -- (Xax) node[below left, black] {\scriptsize $x$};
  \draw[gray, -{Latex[length=2mm]}] (O) -- (Yax) node[right, black] {\scriptsize $y$};
  \draw[gray, -{Latex[length=2mm]}] (O) -- (Zax) node[above, black] {\scriptsize $z$};

  \coordinate (U) at (25:1.6);
  \coordinate (W) at (100:1.5);

  % plano gerado por u e w: paralelogramo com diagonais U-(-U) e W-(-W)
  \fill[teal!25] ($1.3*(U)$) -- ($1.3*(W)$) -- ($-1.3*(U)$) -- ($-1.3*(W)$) -- cycle;
  \draw[teal!60!black, dashed] ($1.3*(U)$) -- ($1.3*(W)$) -- ($-1.3*(U)$) -- ($-1.3*(W)$) -- cycle;

  \draw[vec, red!70!black] (O) -- (U) node[right, black] {$u$};
  \draw[vec, blue!70!black] (O) -- (W) node[above, black] {$w$};
  \fill (O) circle (1.2pt);

  \node[align=center] at (0.4,-2.1) {\small (b) $\mathrm{ger}\{u,w\}$: plano pela origem};
\end{scope}

\end{tikzpicture}
Dependência vs. independência linear

Dependência vs. independência linear

Dois painéis contrastando vetores linearmente dependentes (colineares, v = k·u) e linearmente independentes (não colineares) em R².

espacos-vetoriaisdependencia-linearindependencia-linear
Ver código TikZ
\begin{tikzpicture}[vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]

% ---------- Painel (a): vetores LD (colineares) ----------
\begin{scope}
  \coordinate (O) at (0,0);
  \draw[gray] (-0.3,0) -- (2.6,1.6);

  \coordinate (U) at (30:1.3);
  \coordinate (V) at (30:2.3);

  \draw[vec, red!70!black] (O) -- (U) node[below right, black] {$u$};
  \draw[vec, blue!70!black] (O) -- (V) node[above right, black] {$v$};
  \fill (O) circle (1.2pt);

  \draw[{Latex[length=2mm]}-{Latex[length=2mm]}, gray] (1.5,-0.4) to[bend right=25] node[below,black,align=center] {\scriptsize múltiplo escalar\\[-2pt]\scriptsize $v = k\,u$} (2.0,0.0);

  \node[align=center] at (0.9,-1.5) {\small (a) LD: $u,v$ colineares};
\end{scope}

% ---------- Painel (b): vetores LI (não colineares) ----------
\begin{scope}[xshift=6.5cm]
  \coordinate (O) at (0,0);

  \coordinate (A) at (15:1.7);
  \coordinate (B) at (100:1.5);

  \draw[vec, red!70!black] (O) -- (A) node[below right, black] {$u$};
  \draw[vec, blue!70!black] (O) -- (B) node[above left, black] {$v$};
  \fill (O) circle (1.2pt);

  \node[align=center] at (0.9,-1.5) {\small (b) LI: $u,v$ não colineares};
\end{scope}

\end{tikzpicture}
Núcleo e imagem de uma transformação linear

Núcleo e imagem de uma transformação linear

Diagrama esquemático de uma transformação linear T:V→W, mostrando o núcleo ker(T) dentro de V mapeado na origem de W, e a imagem Im(T) dentro de W.

transformacoes-linearesnucleoimagemdiagrama-de-blocos
Ver código TikZ
\begin{tikzpicture}[vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]
  % Domain V
  \draw[thick] (0,0) ellipse (2.2 and 2.8);
  \node at (0,2.5) {$V$};

  % ker(T) blob inside V
  \draw[thick, blue!70!black, fill=blue!10] (0,-1.3) ellipse (1.1 and 0.9);
  \node[blue!70!black] at (0,-1.3) {$\ker(T)$};

  % generic vector v in V
  \fill (0,0.6) circle (1.5pt);
  \node[above] at (0,0.7) {$v$};

  % Codomain W
  \draw[thick] (7,0) ellipse (2.6 and 2.8);
  \node at (7,2.5) {$W$};

  % Im(T) blob inside W
  \draw[thick, teal!70!black, fill=teal!10] (7.4,0.7) ellipse (1.7 and 1.3);
  \node[teal!70!black] at (7.4,1.85) {$\mathrm{Im}(T)$};

  % origin point in W (image of ker)
  \fill (7,-1.7) circle (1.5pt);
  \node[below] at (7,-1.85) {$0$};

  % image of v
  \fill (7.7,0.6) circle (1.5pt);
  \node[right] at (7.8,0.6) {$T(v)$};

  % main arrow T
  \draw[vec] (2.4,0) -- (4.4,0) node[midway, above] {$T$};

  % ker(T) -> 0 arrow
  \draw[vec, blue!70!black, dashed] (0.9,-1.6) to[bend right=20] (6.3,-1.75);

  % v -> T(v) arrow
  \draw[vec, gray] (0.9,0.65) to[bend left=12] (7.6,0.65);
\end{tikzpicture}
Classificação de sistemas lineares 2×2

Classificação de sistemas lineares 2×2

Três painéis mostrando a interpretação geométrica de sistemas lineares 2x2 em retas: concorrentes (SPD, solução única), paralelas distintas (SI, nenhuma solução) e coincidentes (SPI, infinitas soluções).

sistemas-linearesspd-spi-siinterpretacao-geometrica
Ver código TikZ
\begin{tikzpicture}[vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]

  % ---------- Painel 1: SPD (retas concorrentes) ----------
  \begin{scope}[xshift=0cm]
    \draw[->, gray] (-1.6,0) -- (1.6,0);
    \draw[->, gray] (0,-1.6) -- (0,1.6);
    \draw[thick, red!70!black] (-1.4,-1.0) -- (1.4,1.4) node[right, black] {$r_1$};
    \draw[thick, blue!70!black] (-1.4,1.2) -- (1.4,-0.8) node[right, black] {$r_2$};
    \filldraw[black] (0.13,0.35) circle (2pt);
    \node[below=0.5cm] at (0,-1.6) {\textbf{(a) SPD}: solução única};
  \end{scope}

  % ---------- Painel 2: SI (retas paralelas distintas) ----------
  \begin{scope}[xshift=5.5cm]
    \draw[->, gray] (-1.6,0) -- (1.6,0);
    \draw[->, gray] (0,-1.6) -- (0,1.6);
    \draw[thick, red!70!black] (-1.4,-1.0) -- (1.4,1.0) node[right, black] {$r_1$};
    \draw[thick, blue!70!black] (-1.4,-0.4) -- (1.4,1.6) node[right, black] {$r_2$};
    \node[below=0.5cm] at (0,-1.6) {\textbf{(b) SI}: nenhuma solução};
  \end{scope}

  % ---------- Painel 3: SPI (retas coincidentes) ----------
  \begin{scope}[xshift=11cm]
    \draw[->, gray] (-1.6,0) -- (1.6,0);
    \draw[->, gray] (0,-1.6) -- (0,1.6);
    \draw[thick, red!70!black] (-1.4,-1.0) -- (1.4,1.4);
    \draw[thick, dashed, blue!70!black] (-1.4,-1.0) -- (1.4,1.4);
    \node[right] at (1.4,1.4) {$r_1=r_2$};
    \node[below=0.5cm] at (0,-1.6) {\textbf{(c) SPI}: infinitas soluções};
  \end{scope}

\end{tikzpicture}
Rotação de um quadrado unitário

Rotação de um quadrado unitário

Quadrado unitário original (tracejado) e sua imagem sob rotação de 45° (sólido, colorido), ilustrando o efeito geométrico de uma transformação linear de rotação em R².

transformacoes-linearesrotacaotransformacoes-geometricas
Ver código TikZ
\begin{tikzpicture}[scale=2.5, vec/.style={-{Latex[length=3mm]}, thick}, >=Latex]
  % axes
  \draw[gray, ->] (-1.3,0) -- (1.6,0) node[right] {$x$};
  \draw[gray, ->] (0,-0.3) -- (0,1.7) node[above] {$y$};

  % original square (dashed)
  \draw[dashed, thick, gray] (0,0) -- (1,0) -- (1,1) -- (0,1) -- cycle;
  \node[gray] at (0.5,-0.18) {original};

  % rotated square (solid, colored) by 45 degrees
  \draw[thick, red!70!black, fill=red!10, fill opacity=0.4]
    (0,0) -- (0.7071,0.7071) -- (0,1.4142) -- (-0.7071,0.7071) -- cycle;
  \node[red!70!black] at (0,1.6) {$45^\circ$};

  % angle arc
  \draw[->, thick] (0.5,0) arc (0:45:0.5);
\end{tikzpicture}