Clube da MatemáticaClube da Matemática
v1 · padrão canônico

Lição 117 — Decomposição em valores singulares (SVD)

A = U Σ Vᵀ funciona para qualquer matriz real. Valores singulares revelam a estrutura geométrica. Base de compressão de imagens, recomendação, PCA e pseudoinversa.

Usado em: 3.º ano do EM (17-18 anos) · Equiv. Lineare Algebra LK alemão · Equiv. H2 Math singapurense · Equiv. Math III japonês avançado

A=UΣVTA = U\Sigma V^T

A SVD é a decomposição mais geral da álgebra linear: toda matriz m×nm \times n se escreve A=UΣVTA = U\Sigma V^T com UU e VV ortogonais e Σ\Sigma diagonal com valores singulares σ1≥σ2≥⋯≥0\sigma_1 \geq \sigma_2 \geq \cdots \geq 0. A decomposição existe para qualquer matriz real (ou complexa) — mesmo retangular. É a base de PCA, compressão de imagem, recomendação e regressão estável.

Escolha sua porta

Notação rigorosa, derivação completa, hipóteses

Definição e teorema

Teorema da SVD

"Any matrix A with rank r can be written as a product A=UΣVTA = U \Sigma V^T where U is orthogonal (m×mm \times m), Σ\Sigma is diagonal (m×nm \times n, nonnegative entries decreasing), and V is orthogonal (n×nn \times n). The diagonal entries σ1≥⋯≥σr>0\sigma_1 \geq \cdots \geq \sigma_r > 0 are the singular values of A." — Understanding Linear Algebra, §6.3

"Theorem (Existence of SVD). Every real matrix A has a singular value decomposition. The singular values are the positive square roots of the nonzero eigenvalues of ATAA^T A." — A First Course in Linear Algebra, §SVD

Conexão com autovalores

Os 4 subespaços fundamentais via SVD

Espaço de entrada (R^n)Row(A) = cols r de Vker(A) = cols n-r de VEspaço de saída (R^m)Col(A) = cols r de Uker(A^T) = cols m-r de UAColunas de U e V formam bases ortonormais dos 4 subespaços de A.
Os 4 subespaços fundamentais de Strang lidos diretamente da SVD.

Teorema de Eckart-Young

Pseudoinversa de Moore-Penrose

Exemplos resolvidos

Lista de exercícios

40 exercícios · 10 com solução desenvolvida (25%)

Aplicação 11Compreensão 13Demonstração 16
  1. Ex. 117.1Aplicação

    Seja T∈L(V,W)T \in \mathcal{L}(V, W). Mostre que T=0T = 0 se e somente se todos os valores singulares de TT são iguais a zero.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Os valores singulares de TT são as raízes quadradas dos autovalores de T∗TT^* T. Se todos são zero, T∗T=0T^* T = 0, logo ∥Tv∥2=⟨T∗Tv,v⟩=0\|Tv\|^2 = \langle T^*Tv, v\rangle = 0 para todo vv, o que implica T=0T = 0. A recíproca é imediata.
  2. Ex. 117.2Compreensão

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) e s>0s > 0. Prove que ss é valor singular de TT se e somente se existem vetores não-nulos v∈Vv \in V e w∈Ww \in W tais que Tv=swTv = sw e T∗w=svT^* w = sv. (Esses vetores são chamados de par de Schmidt.)

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    O par (v,w)(v, w) satisfazendo Tv=swTv = sw e T∗w=svT^* w = sv é chamado par de Schmidt. A condição Tv=swTv = sw diz que w=Tv/sw = Tv/s (desde que s>0s > 0); substituindo em T∗w=svT^* w = sv obtém-se T∗Tv=s2vT^* T v = s^2 v, ou seja, s2s^2 é autovalor de T∗TT^* T e ss é valor singular. Erhard Schmidt introduziu os valores singulares em 1907.
    Ver passo a passo (com o porquê)
    1. Suponha que ss é valor singular positivo. Então s2s^2 é autovalor de T∗TT^* T; tome vv autovetor unitário. Defina w=Tv/sw = Tv/s (tem norma 1 pois ∥Tv∥=s\|Tv\| = s). Então Tv=swTv = sw e T∗w=T∗(Tv)/s=(T∗Tv)/s=s2v/s=svT^* w = T^*(Tv)/s = (T^*T v)/s = s^2 v/s = sv.
    2. Reciprocamente, se Tv=swTv = sw e T∗w=svT^* w = sv com s>0s > 0 e v,w≠0v, w \neq 0, então T∗Tv=T∗(sw)=s(T∗w)=s(sv)=s2vT^* T v = T^*(sw) = s(T^* w) = s(sv) = s^2 v. Logo s2s^2 é autovalor de T∗TT^* T e ss é valor singular.
  3. Ex. 117.3Aplicação

    Dê um exemplo de um operador T∈L(C2)T \in \mathcal{L}(\mathbf{C}^2) tal que 0 é o único autovalor de TT e os valores singulares de TT são 5 e 0.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Tome T(x,y)=(5y,0)T(x,y) = (5y, 0). O único autovalor é 0 (matriz nilpotente). T∗T(x,y)=25(x,0)T^* T (x,y) = 25(x,0)... Recalculando: TT tem matriz (0500)\begin{pmatrix}0&5\\0&0\end{pmatrix}; T∗T=(0050)(0500)=(00025)T^* T = \begin{pmatrix}0&0\\5&0\end{pmatrix}\begin{pmatrix}0&5\\0&0\end{pmatrix} = \begin{pmatrix}0&0\\0&25\end{pmatrix}. Autovalores de T∗TT^* T: 0 e 25. Valores singulares: 5 e 0. Autovalores de TT: ambos 0 (nilpotente). Condição satisfeita.
  4. Ex. 117.4CompreensãoGabarito

    Seja T∈L(V,W)T \in \mathcal{L}(V, W), com maior valor singular s1s_1 e menor sns_n. Prove que {∥Tv∥:v∈V, ∥v∥=1}=[sn,s1]\{\|Tv\| : v \in V,\, \|v\| = 1\} = [s_n, s_1].

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Se x=∑icivix = \sum_i c_i v_i com ∑ci2=1\sum c_i^2 = 1, então ∥Tx∥2=∑ci2si2\|Tx\|^2 = \sum c_i^2 s_i^2, que é uma média ponderada de si2s_i^2 com pesos ci2≥0c_i^2 \geq 0 somando 1. Logo sn2≤∥Tx∥2≤s12s_n^2 \leq \|Tx\|^2 \leq s_1^2. O valor s1s_1 é atingido em x=v1x = v_1 e sns_n em x=vnx = v_n. Por continuidade do mapa x↦∥Tx∥x \mapsto \|Tx\| na esfera (conexa), todo valor intermediário é atingido.
    Ver passo a passo (com o porquê)
    1. Expandir x=∑icivix = \sum_i c_i v_i na base de vetores singulares à direita, com ∑ci2=1\sum c_i^2 = 1.
    2. Calcular ∥Tx∥2=∑ici2si2\|Tx\|^2 = \sum_i c_i^2 s_i^2. Como os pesos somam 1, este é valor entre sn2s_n^2 e s12s_1^2.
    3. O mapa é contínuo e a esfera unitária é conexa, portanto a imagem é o intervalo [sn,s1][s_n, s_1].
  5. Ex. 117.5Aplicação

    Seja T∈L(C2)T \in \mathcal{L}(\mathbf{C}^2) definido por T(x,y)=(−4y,x)T(x, y) = (-4y, x). Encontre os valores singulares de TT.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    TT tem matriz (0−410)\begin{pmatrix}0 & -4 \\ 1 & 0\end{pmatrix}. T∗T=(01−40)(0−410)=(10016)T^* T = \begin{pmatrix}0 & 1 \\ -4 & 0\end{pmatrix}\begin{pmatrix}0 & -4 \\ 1 & 0\end{pmatrix} = \begin{pmatrix}1 & 0 \\ 0 & 16\end{pmatrix}. Autovalores de T∗TT^* T: 1 e 16. Valores singulares em ordem decrescente: 4 e 1.
    Ver passo a passo (com o porquê)
    1. Escreva a matriz de TT na base canônica: T(x,y)=(−4y,x)T(x,y) = (-4y, x) dá M=(0−410)M = \begin{pmatrix}0 & -4 \\ 1 & 0\end{pmatrix}.
    2. Calcule M∗M=MTMM^* M = M^T M (entradas reais): (01−40)(0−410)=(10016)\begin{pmatrix}0 & 1 \\ -4 & 0\end{pmatrix}\begin{pmatrix}0 & -4 \\ 1 & 0\end{pmatrix} = \begin{pmatrix}1 & 0 \\ 0 & 16\end{pmatrix}.
    3. Autovalores: 1 e 16. Valores singulares: s1=4s_1 = 4, s2=1s_2 = 1.
  6. Ex. 117.6Aplicação

    Encontre os valores singulares do operador diferenciação D∈L(P2(R))D \in \mathcal{L}(\mathcal{P}_2(\mathbf{R})) definido por Dp=p′Dp = p', onde o produto interno em P2(R)\mathcal{P}_2(\mathbf{R}) é ⟨p,q⟩=∫−11p(x)q(x) dx\langle p, q \rangle = \int_{-1}^1 p(x)q(x)\,dx (conforme Exemplo 6.34 de Axler).

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Com o produto interno do Exemplo 6.34 (⟨p,q⟩=∫−11p(x)q(x) dx\langle p, q \rangle = \int_{-1}^1 p(x)q(x)\,dx), o operador diferenciação D:P2(R)→P2(R)D: \mathcal{P}_2(\mathbf{R}) \to \mathcal{P}_2(\mathbf{R}) (com Dp=p′Dp = p') tem D∗DD^* D com autovalores 3/53/5 e 0. O único valor singular positivo é 3/5\sqrt{3/5}.
  7. Ex. 117.7CompreensãoGabarito

    Suponha que T∈L(V)T \in \mathcal{L}(V) é auto-adjunto, ou que F=C\mathbf{F} = \mathbf{C} e TT é normal. Sejam λ1,…,λn\lambda_1, \ldots, \lambda_n os autovalores de TT (com multiplicidade). Mostre que os valores singulares de TT são ∣λ1∣,…,∣λn∣|\lambda_1|, \ldots, |\lambda_n| em ordem decrescente.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Se TT é auto-adjunto ou (F=C\mathbf{F} = \mathbf{C} e) normal, pelo teorema espectral existe base ortonormal e1,…,ene_1, \ldots, e_n de autovetores com autovalores λi\lambda_i. Então T∗Tei=∣λi∣2eiT^* T e_i = |\lambda_i|^2 e_i. Os autovalores de T∗TT^* T são ∣λi∣2|\lambda_i|^2, logo os valores singulares são ∣λi∣|\lambda_i|, ordenados de forma decrescente.
  8. Ex. 117.8DemonstraçãoGabarito

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) com s1≥s2≥⋯≥sm>0s_1 \geq s_2 \geq \cdots \geq s_m > 0. Suponha listas ortonormais e1,…,eme_1, \ldots, e_m em VV e f1,…,fmf_1, \ldots, f_m em WW tais que Tv=s1⟨v,e1⟩f1+⋯+sm⟨v,em⟩fmTv = s_1 \langle v, e_1 \rangle f_1 + \cdots + s_m \langle v, e_m \rangle f_m para todo vv. Demonstre: (a) f1,…,fmf_1, \ldots, f_m é base ortonormal de range T\text{range}\, T; (b) e1,…,eme_1, \ldots, e_m é base ortonormal de (null T)⊥(\text{null}\, T)^\perp; (c) s1,…,sms_1, \ldots, s_m são os valores singulares positivos de TT.

    Ver solução
    Dado o desenvolvimento Tv=∑k=1msk⟨v,ek⟩fkTv = \sum_{k=1}^m s_k \langle v, e_k \rangle f_k: (a) Se w∈range Tw \in \text{range}\, T, então w=Tvw = Tv é combinação de f1,…,fmf_1, \ldots, f_m. Recíproca: cada fk=T(ek/sk)f_k = T(e_k/s_k) está em range T\text{range}\, T. Logo {f1,…,fm}\{f_1, \ldots, f_m\} é base ortonormal de range T\text{range}\, T. (b) (null T)⊥=range T∗(\text{null}\, T)^\perp = \text{range}\, T^*. Analogamente, T∗w=∑sk⟨w,fk⟩ekT^* w = \sum s_k \langle w, f_k \rangle e_k, logo {e1,…,em}\{e_1, \ldots, e_m\} gera range T∗\text{range}\, T^*. (c) T∗Tek=T∗(skfk)=sk2ekT^* T e_k = T^*(s_k f_k) = s_k^2 e_k, então sk2s_k^2 é autovalor de T∗TT^* T, confirmando que os sks_k são os valores singulares positivos. (d) Item (c) já demonstra. (e) TT∗w=T(∑sk⟨w,fk⟩ek)=∑sk2⟨w,fk⟩fkT T^* w = T\bigl(\sum s_k \langle w, f_k\rangle e_k\bigr) = \sum s_k^2 \langle w, f_k\rangle f_k.
  9. Ex. 117.9CompreensãoGabarito

    Seja T∈L(V,W)T \in \mathcal{L}(V, W). Mostre que TT e T∗T^* têm os mesmos valores singulares positivos.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Os autovalores não-nulos de T∗TT^* T e TT∗T T^* coincidem (se T∗Tv=λvT^* T v = \lambda v com λ>0\lambda > 0, então TT∗(Tv)=λ(Tv)T T^*(Tv) = \lambda (Tv)). Os valores singulares de TT são raízes dos autovalores de T∗TT^* T; os de T∗T^* são raízes dos de (T∗)∗T∗=TT∗(T^*)^* T^* = T T^*. Logo os valores singulares positivos coincidem.
  10. Ex. 117.10Aplicação

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) invertível com valores singulares s1,…,sns_1, \ldots, s_n. Prove que os valores singulares de T−1T^{-1} são 1/sn,…,1/s11/s_n, \ldots, 1/s_1.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Se T=UΣV∗T = U\Sigma V^* é a SVD de TT invertível (todos si>0s_i > 0), então T−1=VΣ−1U∗T^{-1} = V \Sigma^{-1} U^*. Os valores diagonais de Σ−1\Sigma^{-1} são 1/s1,…,1/sn1/s_1, \ldots, 1/s_n, e em ordem decrescente ficam 1/sn≥⋯≥1/s11/s_n \geq \cdots \geq 1/s_1. Logo os valores singulares de T−1T^{-1} são os inversos dos de TT, na ordem reversa.
  11. Ex. 117.11Aplicação

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) e v1,…,vnv_1, \ldots, v_n base ortonormal de VV. Prove que ∥Tv1∥2+⋯+∥Tvn∥2=s12+⋯+sn2\|Tv_1\|^2 + \cdots + \|Tv_n\|^2 = s_1^2 + \cdots + s_n^2.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Para qualquer base ortonormal v1,…,vnv_1, \ldots, v_n: ∑i∥Tvi∥2=∑i⟨T∗Tvi,vi⟩=tr(T∗T)=∑jsj2\sum_i \|Tv_i\|^2 = \sum_i \langle T^* T v_i, v_i \rangle = \text{tr}(T^* T) = \sum_j s_j^2, onde a última igualdade usa que o traço é a soma dos autovalores (contados com multiplicidade). Parte (b): se TT é positivo, a soma ∑⟨Tvi,vi⟩=tr(T)=∑sj\sum \langle Tv_i, v_i \rangle = \text{tr}(T) = \sum s_j.
    Ver passo a passo (com o porquê)
    1. Use a fórmula do traço: tr(T∗T)=∑i⟨T∗Tvi,vi⟩=∑i∥Tvi∥2\text{tr}(T^* T) = \sum_i \langle T^* T v_i, v_i \rangle = \sum_i \|Tv_i\|^2.
    2. Pela invariância do traço por mudança de base ortonormal: tr(T∗T)=∑jsj2\text{tr}(T^* T) = \sum_j s_j^2 (autovalores de T∗TT^* T).
  12. Ex. 117.12Compreensão

    (a) Dê um exemplo de operador TT tal que os valores singulares de T2T^2 não são os quadrados dos de TT. (b) Prove que se T∈L(V)T \in \mathcal{L}(V) é normal, então os valores singulares de T2T^2 são os quadrados dos valores singulares de TT.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    (a) Contra-exemplo: tome T(x,y)=(0,x)T(x,y) = (0, x) (deslocamento). Valores singulares de TT: 1, 0. Valores singulares de T2=0T^2 = 0: 0, 0. Mas 0≠120 \neq 1^2. (b) Se TT é normal, existe base ortonormal de autovetores eie_i com autovalores λi\lambda_i. T2ei=λi2eiT^2 e_i = \lambda_i^2 e_i, então T2T^2 também é normal com autovalores λi2\lambda_i^2. Valores singulares de T2T^2: ∣λi2∣=∣λi∣2|\lambda_i^2| = |\lambda_i|^2. Valor singular de TT: ∣λi∣|\lambda_i|. Logo os valores singulares de T2T^2 são os quadrados dos de TT.
  13. Ex. 117.13Compreensão

    Prove que T1,T2∈L(V)T_1, T_2 \in \mathcal{L}(V) têm os mesmos valores singulares se e somente se existem operadores unitários S1,S2∈L(V)S_1, S_2 \in \mathcal{L}(V) tais que T1=S1T2S2T_1 = S_1 T_2 S_2.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    (⇒) Se T1=U1ΣV1∗T_1 = U_1 \Sigma V_1^* e T2=U2ΣV2∗T_2 = U_2 \Sigma V_2^* com mesma Σ\Sigma, tome S1=U1U2∗S_1 = U_1 U_2^* e S2=V2V1∗S_2 = V_2 V_1^* (unitários). Então T1=S1T2S2T_1 = S_1 T_2 S_2. (⇐) Se T1=S1T2S2T_1 = S_1 T_2 S_2 com unitários, os valores singulares são invariantes sob multiplicação por unitários (pois norma espectral é preservada): σk(T1)=σk(T2)\sigma_k(T_1) = \sigma_k(T_2).
  14. Ex. 117.14Aplicação

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) e sns_n o menor valor singular de TT. Prove que sn∥v∥≤∥Tv∥s_n \|v\| \leq \|Tv\| para todo v∈Vv \in V.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Expandindo v=∑iciviv = \sum_i c_i v_i na base de vetores singulares à direita: ∥Tv∥2=∑ci2si2≥sn2∑ci2=sn2∥v∥2\|Tv\|^2 = \sum c_i^2 s_i^2 \geq s_n^2 \sum c_i^2 = s_n^2 \|v\|^2. Tomando raiz quadrada: ∥Tv∥≥sn∥v∥\|Tv\| \geq s_n \|v\|.
  15. Ex. 117.15Compreensão

    Seja T∈L(V)T \in \mathcal{L}(V) com valores singulares s1≥⋯≥sns_1 \geq \cdots \geq s_n. Prove que se λ\lambda é autovalor de TT, então sn≤∣λ∣≤s1s_n \leq |\lambda| \leq s_1.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Se Tv=λvTv = \lambda v com v≠0v \neq 0, do exercício 117.14: sn∥v∥≤∥Tv∥=∣λ∣∥v∥s_n \|v\| \leq \|Tv\| = |\lambda| \|v\|, logo sn≤∣λ∣s_n \leq |\lambda|. Do exercício 117.4, ∥Tv∥/∥v∥≤s1\|Tv\|/\|v\| \leq s_1, logo ∣λ∣≤s1|\lambda| \leq s_1. Portanto sn≤∣λ∣≤s1s_n \leq |\lambda| \leq s_1.
  16. Ex. 117.16Demonstração

    Seja T∈L(V,W)T \in \mathcal{L}(V, W). Prove que (T∗)†=(T†)∗(T^*)^\dagger = (T^\dagger)^*. Compare com o resultado análogo para mapas lineares invertíveis.

    Ver solução
    Mostre que (T∗)†=(T†)∗(T^*)^\dagger = (T^\dagger)^*. A pseudoinversa T†T^\dagger via SVD é T†=VΣ+U∗T^\dagger = V \Sigma^+ U^*. Logo (T†)∗=U(Σ+)∗V∗=UΣ+V∗(T^\dagger)^* = U (\Sigma^+)^* V^* = U \Sigma^+ V^* (pois Σ+\Sigma^+ é real diagonal). Por outro lado T∗=UΣV∗T^* = U \Sigma V^* com papéis de U,VU, V trocados; sua pseudoinversa é (T∗)†=V(Σ∗)+U∗=VΣ+U∗(T^*)^\dagger = V (\Sigma^*)^+ U^* = V \Sigma^+ U^*... Verificação: ambas resultam em UΣ+V∗U \Sigma^+ V^* quando as dimensões são compatíveis. Comparar com o caso invertível: (T−1)∗=(T∗)−1(T^{-1})^* = (T^*)^{-1}, análogo.
  17. Ex. 117.17DemonstraçãoGabarito

    Seja T∈L(V)T \in \mathcal{L}(V). Prove que TT é auto-adjunto se e somente se T†T^\dagger é auto-adjunto.

    Ver solução
    (⇒\Rightarrow) Se TT é auto-adjunto, T∗=TT^* = T. A pseudoinversa via SVD de TT é T†=VΣ+U∗T^\dagger = V \Sigma^+ U^*; e (T†)∗=UΣ+V∗(T^\dagger)^* = U \Sigma^+ V^*. Para TT auto-adjunto, U=VU = V (os espaços próprios de T∗T=T2T^*T = T^2 e TT∗=T2TT^* = T^2 coincidem). Logo (T†)∗=VΣ+V∗=T†(T^\dagger)^* = V \Sigma^+ V^* = T^\dagger. (⇐\Leftarrow) Recíproca analogamente por T∗∗=TT^{**} = T.
  18. Ex. 117.18Demonstração

    Prove que se S,T∈L(V,W)S, T \in \mathcal{L}(V, W), então ∣∥S∥−∥T∥∣≤∥S−T∥|\|S\| - \|T\|| \leq \|S - T\|. (Essa é a desigualdade reversa do triângulo para normas de operadores.)

    Ver solução
    A desigualdade reversa do triângulo afirma ∣∥S∥−∥T∥∣≤∥S−T∥|\|S\| - \|T\|| \leq \|S - T\|. Da desigualdade triangular: ∥S∥=∥(S−T)+T∥≤∥S−T∥+∥T∥\|S\| = \|(S-T) + T\| \leq \|S-T\| + \|T\|, logo ∥S∥−∥T∥≤∥S−T∥\|S\| - \|T\| \leq \|S-T\|. Trocando SS e TT: ∥T∥−∥S∥≤∥T−S∥=∥S−T∥\|T\| - \|S\| \leq \|T-S\| = \|S-T\|. Combinando: ∣∥S∥−∥T∥∣≤∥S−T∥|\|S\| - \|T\|| \leq \|S-T\|.
  19. Ex. 117.19Compreensão

    Suponha que T∈L(V)T \in \mathcal{L}(V) é auto-adjunto, ou que F=C\mathbf{F} = \mathbf{C} e TT é normal. Prove que ∥T∥=max⁡{∣λ∣:λ eˊ autovalor de T}\|T\| = \max\{|\lambda| : \lambda \text{ é autovalor de } T\}.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Se TT é normal (ou auto-adjunto em R\mathbf{R}), pelo teorema espectral os valores singulares são ∣λi∣|\lambda_i| (exercício 117.7). A norma de operador é o maior valor singular: ∥T∥=s1=max⁡i∣λi∣\|T\| = s_1 = \max_i |\lambda_i|.
  20. Ex. 117.20Demonstração

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) e v∈Vv \in V. Prove que ∥Tv∥=∥T∥∥v∥\|Tv\| = \|T\| \|v\| se e somente se T∗Tv=∥T∥2vT^* T v = \|T\|^2 v.

    Ver solução
    (⇒\Rightarrow) Suponha ∥Tv∥=∥T∥∥v∥\|Tv\| = \|T\| \|v\|. Pode-se supor ∥v∥=1\|v\| = 1; então ∥Tv∥2=∥T∥2=s12\|Tv\|^2 = \|T\|^2 = s_1^2. Da prova de que ∥T∥=s1\|T\| = s_1: s12=∥Tv∥2=∑ci2si2s_1^2 = \|Tv\|^2 = \sum c_i^2 s_i^2 com ∑ci2=1\sum c_i^2 = 1. Isso exige ci=0c_i = 0 para todo ii com si<s1s_i < s_1, portanto v∈span{vi:si=s1}v \in \text{span}\{v_i : s_i = s_1\} e T∗Tv=s12vT^* T v = s_1^2 v, ou seja ∥T∥2v\|T\|^2 v. (⇐\Leftarrow) Se T∗Tv=∥T∥2vT^* T v = \|T\|^2 v, então ∥Tv∥2=⟨T∗Tv,v⟩=∥T∥2∥v∥2\|Tv\|^2 = \langle T^* T v, v \rangle = \|T\|^2 \|v\|^2.
  21. Ex. 117.21Demonstração

    Seja T∈L(V,W)T \in \mathcal{L}(V, W), v∈Vv \in V com ∥Tv∥=∥T∥∥v∥\|Tv\| = \|T\| \|v\|. Prove que se u∈Vu \in V e ⟨u,v⟩=0\langle u, v \rangle = 0, então ⟨Tu,Tv⟩=0\langle Tu, Tv \rangle = 0.

    Ver solução
    Suponha ∥Tv∥=∥T∥∥v∥\|Tv\| = \|T\| \|v\| e ⟨u,v⟩=0\langle u, v \rangle = 0. Devemos mostrar ⟨Tu,Tv⟩=0\langle Tu, Tv \rangle = 0. Pelo resultado anterior, T∗Tv=∥T∥2vT^* T v = \|T\|^2 v. Então ⟨Tu,Tv⟩=⟨T∗Tv,u⟩∗=⟨∥T∥2v,u⟩∗=∥T∥2⟨v,u⟩∗=0\langle Tu, Tv \rangle = \langle T^* T v, u \rangle^* = \langle \|T\|^2 v, u \rangle^* = \|T\|^2 \langle v, u \rangle^* = 0, pois ⟨u,v⟩=0\langle u, v \rangle = 0.
  22. Ex. 117.22Aplicação

    Seja UU espaço de produto interno de dimensão finita, T∈L(V,U)T \in \mathcal{L}(V, U) e S∈L(U,W)S \in \mathcal{L}(U, W). Prove que ∥ST∥≤∥S∥∥T∥\|ST\| \leq \|S\| \|T\|.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Para qualquer vv com ∥v∥≤1\|v\| \leq 1: ∥STv∥≤∥S∥∥Tv∥≤∥S∥∥T∥∥v∥≤∥S∥∥T∥\|ST v\| \leq \|S\| \|Tv\| \leq \|S\| \|T\| \|v\| \leq \|S\| \|T\|. Tomando sup sobre a bola unitária: ∥ST∥≤∥S∥∥T∥\|ST\| \leq \|S\| \|T\|.
    Ver passo a passo (com o porquê)
    1. Pela definição de norma de operador: ∥S∥=sup⁡∥v∥=1∥Sv∥\|S\| = \sup_{\|v\|=1} \|Sv\|.
    2. Para qualquer vv unitário: ∥STv∥≤∥S∥∥Tv∥\|STv\| \leq \|S\| \|Tv\| (definição de ∥S∥\|S\|).
    3. E ∥Tv∥≤∥T∥∥v∥=∥T∥\|Tv\| \leq \|T\| \|v\| = \|T\|.
    4. Logo ∥STv∥≤∥S∥∥T∥\|STv\| \leq \|S\| \|T\| para todo unitário vv; tomando sup: ∥ST∥≤∥S∥∥T∥\|ST\| \leq \|S\| \|T\|.
  23. Ex. 117.23Compreensão

    Prove ou dê contra-exemplo: se S,T∈L(V)S, T \in \mathcal{L}(V), então ∥ST∥=∥TS∥\|ST\| = \|TS\|.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Tome V=R2V = \mathbf{R}^2, S=(1000)S = \begin{pmatrix}1&0\\0&0\end{pmatrix}, T=(0100)T = \begin{pmatrix}0&1\\0&0\end{pmatrix}. Então ST=(0100)ST = \begin{pmatrix}0&1\\0&0\end{pmatrix} tem ∥ST∥=1\|ST\| = 1, mas TS=(0000)TS = \begin{pmatrix}0&0\\0&0\end{pmatrix} tem ∥TS∥=0\|TS\| = 0. Logo ∥ST∥≠∥TS∥\|ST\| \neq \|TS\| em geral.
  24. Ex. 117.24Aplicação

    Mostre que definir d(S,T)=∥S−T∥d(S,T) = \|S - T\| para S,T∈L(V,W)S, T \in \mathcal{L}(V, W) faz de dd uma métrica em L(V,W)\mathcal{L}(V, W).

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Verificamos os axiomas de métrica: (i) d(S,T)≥0d(S,T) \geq 0 com igualdade sse S=TS = T; (ii) simetria: d(S,T)=∥S−T∥=∥T−S∥=d(T,S)d(S,T) = \|S-T\| = \|T-S\| = d(T,S); (iii) desigualdade triangular: d(S,R)=∥S−R∥=∥(S−T)+(T−R)∥≤∥S−T∥+∥T−R∥=d(S,T)+d(T,R)d(S,R) = \|S-R\| = \|(S-T)+(T-R)\| \leq \|S-T\|+\|T-R\| = d(S,T)+d(T,R).
  25. Ex. 117.25Demonstração

    (a) Prove que se T∈L(V)T \in \mathcal{L}(V) e ∥I−T∥<1\|I - T\| < 1, então TT é invertível. (b) Seja S∈L(V)S \in \mathcal{L}(V) invertível. Prove que se T∈L(V)T \in \mathcal{L}(V) e ∥S−T∥<1/∥S−1∥\|S - T\| < 1/\|S^{-1}\|, então TT é invertível. (Isso mostra que o conjunto de operadores invertíveis é aberto em L(V)\mathcal{L}(V).)

    Ver solução
    (a) Se ∥I−T∥<1\|I - T\| < 1, a série de Neumann ∑k=0∞(I−T)k\sum_{k=0}^\infty (I-T)^k converge na norma de operador (pois cada termo tem norma ≤∥I−T∥k\leq \|I-T\|^k, série geométrica), e sua soma é o inverso de T=I−(I−T)T = I-(I-T). (b) Escreva T=S[I−S−1(S−T)]T = S[I - S^{-1}(S-T)]; o fator colchete é invertível se ∥S−1(S−T)∥≤∥S−1∥∥S−T∥<1\|S^{-1}(S-T)\| \leq \|S^{-1}\| \|S-T\| < 1, condição garantida por ∥S−T∥<1/∥S−1∥\|S-T\| < 1/\|S^{-1}\|.
  26. Ex. 117.26Compreensão

    Seja T∈L(V)T \in \mathcal{L}(V). Prove que para todo ε>0\varepsilon > 0, existe um operador invertível S∈L(V)S \in \mathcal{L}(V) tal que 0<∥T−S∥<ε0 < \|T - S\| < \varepsilon.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Tome a SVD de T=UΣV∗T = U\Sigma V^* e defina S=U(Σ+ε/2⋅I)V∗S = U (\Sigma + \varepsilon/2 \cdot I) V^* para ε>0\varepsilon > 0 arbitrário. Então SS é invertível (todos os valores singulares positivos) e ∥T−S∥=ε/2<ε\|T - S\| = \varepsilon/2 < \varepsilon. Também T≠ST \neq S, então ∥T−S∥>0\|T-S\| > 0.
  27. Ex. 117.27CompreensãoGabarito

    Suponha dim⁡V>1\dim V > 1 e T∈L(V)T \in \mathcal{L}(V) não invertível. Prove que para todo ε>0\varepsilon > 0, existe S∈L(V)S \in \mathcal{L}(V) com 0<∥T−S∥<ε0 < \|T - S\| < \varepsilon e SS não invertível.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Seja TT não-invertível com SVD T=UΣV∗T = U\Sigma V^*. Como TT não é invertível, algum sk=0s_k = 0. Modifique o próximo valor singular pequeno: para ε>0\varepsilon > 0, defina SS com a mesma SVD mas substituindo um sj>0s_j > 0 mínimo por sj−δs_j - \delta para δ\delta pequeno, de modo que ∥T−S∥=δ<ε\|T-S\| = \delta < \varepsilon e SS ainda não-invertível (mantendo um valor singular nulo). (Alternativamente: S=TS = T não serve; tomar uma pequena perturbação que preserva um zero na diagonal de Σ\Sigma.)
  28. Ex. 117.28CompreensãoGabarito

    Suponha F=C\mathbf{F} = \mathbf{C} e T∈L(V)T \in \mathcal{L}(V). Prove que para todo ε>0\varepsilon > 0, existe um operador diagonalizável S∈L(V)S \in \mathcal{L}(V) com 0<∥T−S∥<ε0 < \|T - S\| < \varepsilon.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Sobre C\mathbf{C}, todo operador é triangularizável (Schur). Os autovalores de TT formam um conjunto finito; pode-se perturbar levemente para torná-los distintos (autovalores distintos implicam diagonalizabilidade). Uma perturbação de norma menor que ε\varepsilon na forma de Schur com autovalores perturbados produz o operador desejado.
  29. Ex. 117.29Aplicação

    Seja T∈L(V)T \in \mathcal{L}(V) um operador positivo. Mostre que ∥T∥=∥T∥\|\sqrt{T}\| = \sqrt{\|T\|}.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Para TT positivo, autovalores λi≥0\lambda_i \geq 0. Como TT é normal (auto-adjunto), ∥T∥=max⁡iλi\|T\| = \max_i \lambda_i. Autovalores de T\sqrt{T}: λi\sqrt{\lambda_i}. Logo ∥T∥=max⁡iλi=max⁡iλi=∥T∥\|\sqrt{T}\| = \max_i \sqrt{\lambda_i} = \sqrt{\max_i \lambda_i} = \sqrt{\|T\|}.
  30. Ex. 117.30Compreensão

    Sejam S,T∈L(V)S, T \in \mathcal{L}(V) operadores positivos. Mostre que ∥S−T∥≤max⁡{∥S∥,∥T∥}≤∥S+T∥\|S - T\| \leq \max\{\|S\|, \|T\|\} \leq \|S + T\|.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Para operadores positivos S,TS, T: (esquerda) ∥S−T∥≤max⁡{∥S∥,∥T∥}\|S - T\| \leq \max\{\|S\|, \|T\|\} por invariância unitária e Weyl. (direita) max⁡{∥S∥,∥T∥}≤∥S+T∥\max\{\|S\|, \|T\|\} \leq \|S+T\| pois S+T⪰SS + T \succeq S (operadores positivos), logo o maior autovalor de S+TS+T é pelo menos o de SS (e o de TT). Portanto ∥S+T∥≥max⁡{∥S∥,∥T∥}\|S+T\| \geq \max\{\|S\|, \|T\|\}.
  31. Ex. 117.31Demonstração

    Sejam UU e WW subespaços de VV tais que ∥PU−PW∥<1\|P_U - P_W\| < 1 (onde PU,PWP_U, P_W são as projeções ortogonais). Prove que dim⁡U=dim⁡W\dim U = \dim W.

    Ver solução
    Se ∥PU−PW∥<1\|P_U - P_W\| < 1, vamos mostrar dim⁡U=dim⁡W\dim U = \dim W. Seja u∈Uu \in U com ∥u∥=1\|u\| = 1. Então ∥PWu∥=∥u−(PU−PW)u∥≥∥u∥−∥PU−PW∥>0\|P_W u\| = \|u - (P_U - P_W)u\| \geq \|u\| - \|P_U - P_W\| > 0. Logo PWu≠0P_W u \neq 0, i.e., u∉W⊥u \notin W^\perp. Isso mostra que a restrição PW∣U:U→WP_W|_U: U \to W é injetiva (pois o núcleo de PWP_W restrito a UU é trivial). Logo dim⁡U≤dim⁡W\dim U \leq \dim W. Por simetria dim⁡W≤dim⁡U\dim W \leq \dim U. Portanto dim⁡U=dim⁡W\dim U = \dim W.
  32. Ex. 117.32Aplicação

    Defina T∈L(F3)T \in \mathcal{L}(\mathbf{F}^3) por T(z1,z2,z3)=(z3,2z1,3z2)T(z_1, z_2, z_3) = (z_3, 2z_1, 3z_2). Encontre (explicitamente) um operador unitário S∈L(F3)S \in \mathcal{L}(\mathbf{F}^3) tal que T=ST∗TT = S\sqrt{T^* T}.

    Selecione a alternativa correta
    Selecione uma opção primeiro
    Ver solução
    Defina T=UΣV∗T = U\Sigma V^* (SVD). Então T∗T=VΣV∗\sqrt{T^* T} = V\Sigma V^*. Tome S=UV∗S = UV^* (produto de unitários, logo unitário). Então ST∗T=UV∗VΣV∗=UΣV∗=TS \sqrt{T^* T} = UV^* V \Sigma V^* = U\Sigma V^* = T. Esta é a **decomposição polar** de TT.
    Ver passo a passo (com o porquê)
    1. Calcule T∗T=VΣ2V∗T^* T = V\Sigma^2 V^* (usando T=UΣV∗T = U\Sigma V^*).
    2. Portanto T∗T=VΣV∗\sqrt{T^* T} = V\Sigma V^* (raiz quadrada de operador positivo).
    3. Defina S=UV∗S = UV^*; verifique que S∗S=VU∗UV∗=VV∗=IS^* S = V U^* U V^* = VV^* = I, portanto SS é unitário.
    4. Confira: ST∗T=UV∗⋅VΣV∗=UΣV∗=TS\sqrt{T^*T} = UV^* \cdot V\Sigma V^* = U\Sigma V^* = T.
  33. Ex. 117.33DemonstraçãoGabarito

    Seja S∈L(V)S \in \mathcal{L}(V) positivo e invertível. Prove que existe δ>0\delta > 0 tal que TT é positivo para todo operador auto-adjunto T∈L(V)T \in \mathcal{L}(V) com ∥S−T∥<δ\|S - T\| < \delta.

    Ver solução
    Seja S0S_0 o positivo invertível dado. Seja δ=min⁡iλi(S0)>0\delta = \min_i \lambda_i(S_0) > 0 (menor autovalor de S0S_0). Se TT é auto-adjunto com ∥S0−T∥<δ/2\|S_0 - T\| < \delta/2, então por Weyl: ∣λi(T)−λi(S0)∣≤∥S0−T∥<δ/2|\lambda_i(T) - \lambda_i(S_0)| \leq \|S_0 - T\| < \delta/2. Logo λi(T)>λi(S0)−δ/2≥δ−δ/2=δ/2>0\lambda_i(T) > \lambda_i(S_0) - \delta/2 \geq \delta - \delta/2 = \delta/2 > 0. Portanto TT é positivo para δ=min⁡iλi(S0)/2\delta = \min_i \lambda_i(S_0)/2.
  34. Ex. 117.34DemonstraçãoGabarito

    Seja u∈Vu \in V e φu\varphi_u o funcional linear definido por φu(v)=⟨v,u⟩\varphi_u(v) = \langle v, u \rangle. Prove que ∥φu∥=∥u∥\|\varphi_u\| = \|u\|, onde ∥φu∥\|\varphi_u\| denota a norma de φu\varphi_u como mapa linear V→FV \to \mathbf{F}.

    Ver solução
    A norma de φu\varphi_u como mapa linear V→FV \to \mathbf{F} é ∥φu∥=sup⁡∥v∥=1∣⟨v,u⟩∣\|\varphi_u\| = \sup_{\|v\|=1} |\langle v, u \rangle|. Por Cauchy-Schwarz: ∣⟨v,u⟩∣≤∥v∥∥u∥=∥u∥|\langle v, u \rangle| \leq \|v\| \|u\| = \|u\|, logo ∥φu∥≤∥u∥\|\varphi_u\| \leq \|u\|. Igualdade em v=u/∥u∥v = u/\|u\|: ∣⟨u/∥u∥,u⟩∣=∥u∥|\langle u/\|u\|, u \rangle| = \|u\|. Portanto ∥φu∥=∥u∥\|\varphi_u\| = \|u\|.
  35. Ex. 117.35Demonstração

    Seja e1,…,ene_1, \ldots, e_n base ortonormal de VV e T∈L(V,W)T \in \mathcal{L}(V, W). (a) Prove que max⁡k∥Tek∥≤∥T∥≤(∑k∥Tek∥2)1/2\max_k \|Te_k\| \leq \|T\| \leq (\sum_k \|Te_k\|^2)^{1/2}. (b) Prove que ∥T∥=(∑k∥Tek∥2)1/2\|T\| = (\sum_k \|Te_k\|^2)^{1/2} se e somente se dim⁡range T≤1\dim \text{range}\, T \leq 1.

    Ver solução
    (a) Para cada kk: ∥Tek∥=sup⁡∥v∥=1∣⟨Tv,ek⟩∣⋅∥ek∥\|Te_k\| = \sup_{\|v\|=1} |\langle Tv, e_k \rangle| \cdot \|e_k\|... Mais direto: ∥Tek∥=∥Tek∥≤∥T∥∥ek∥=∥T∥\|Te_k\| = \|T e_k\| \leq \|T\| \|e_k\| = \|T\|. Para a cota superior: ∑k∥Tek∥2=tr(T∗T)=∑jsj2\sum_k \|Te_k\|^2 = \text{tr}(T^*T) = \sum_j s_j^2 (exercício 117.11). Logo ∥T∥≤(∑∥Tek∥2)1/2\|T\| \leq (\sum \|Te_k\|^2)^{1/2} pois s1≤(∑sj2)1/2s_1 \leq (\sum s_j^2)^{1/2}. (b) Igualdade sse s12=∑sj2s_1^2 = \sum s_j^2, i.e., todos menos um valor singular são nulos, i.e., rank(T)≤1\text{rank}(T) \leq 1.
  36. Ex. 117.36Demonstração

    Prove que se T∈L(V,W)T \in \mathcal{L}(V, W), então ∥T∗T∥=∥T∥2\|T^* T\| = \|T\|^2. (Esta fórmula é a base da teoria de álgebras C∗C^*.)

    Ver solução
    ∥T∗T∥=∥T∥2\|T^* T\| = \|T\|^2. Como T∗TT^* T é auto-adjunto, ∥T∗T∥=s1(T∗T)=λ1(T∗T)=s1(T)2=∥T∥2\|T^* T\| = s_1(T^* T) = \lambda_1(T^* T) = s_1(T)^2 = \|T\|^2. Esta fórmula é a identidade C∗C^* das álgebras C∗C^* (também chamada identidade de Gelfand-Naimark).
  37. Ex. 117.37Demonstração

    Seja T∈L(V)T \in \mathcal{L}(V) normal. Prove que ∥Tk∥=∥T∥k\|T^k\| = \|T\|^k para todo inteiro positivo kk.

    Ver solução
    Para TT normal, autovalores λi\lambda_i com base ortonormal de autovetores. Tkei=λikeiT^k e_i = \lambda_i^k e_i, então TkT^k também é normal com autovalores λik\lambda_i^k. ∥Tk∥=max⁡i∣λik∣=(max⁡i∣λi∣)k=∥T∥k\|T^k\| = \max_i |\lambda_i^k| = (\max_i |\lambda_i|)^k = \|T\|^k.
  38. Ex. 117.38DemonstraçãoGabarito

    Suponha dim⁡V>1\dim V > 1 e dim⁡W>1\dim W > 1. Prove que a norma de operador em L(V,W)\mathcal{L}(V, W) não vem de produto interno. (Ou seja, não existe produto interno em L(V,W)\mathcal{L}(V, W) que induza a norma ∥T∥=max⁡∥v∥≤1∥Tv∥\|T\| = \max_{\|v\| \leq 1} \|Tv\|.)

    Ver solução
    Suponha que existe produto interno ⟨⋅,⋅⟩\langle \cdot, \cdot \rangle em L(V,W)\mathcal{L}(V,W) tal que ∥T∥2=⟨T,T⟩\|T\|^2 = \langle T, T \rangle. Para uma norma vir de produto interno, deve valer a lei do paralelogramo: ∥S+T∥2+∥S−T∥2=2(∥S∥2+∥T∥2)\|S+T\|^2 + \|S-T\|^2 = 2(\|S\|^2 + \|T\|^2). Escolha S,TS, T de posto 1 ortogonais e verifique que a lei falha quando dim⁡V>1,dim⁡W>1\dim V > 1, \dim W > 1 (há exemplos com ∥S+T∥2=∥S∥2+∥T∥2<2(∥S∥2+∥T∥2)−∥S−T∥2\|S+T\|^2 = \|S\|^2 + \|T\|^2 < 2(\|S\|^2+\|T\|^2) - \|S-T\|^2). Portanto a norma de operador não vem de produto interno.
  39. Ex. 117.39Demonstração

    Seja T∈L(V,W)T \in \mathcal{L}(V, W) com dim⁡V=n\dim V = n e valores singulares s1≥⋯≥sns_1 \geq \cdots \geq s_n. Prove que para 1≤k≤n1 \leq k \leq n: min⁡{∥T∣U∥:U subespac¸o de V, dim⁡U=k}=sn−k+1\min\{\|T|_U\| : U \text{ subespaço de } V,\, \dim U = k\} = s_{n-k+1}.

    Ver solução
    Seja 1≤k≤n1 \leq k \leq n. Devemos mostrar min⁡{∥T∣U∥:dim⁡U=k}=sn−k+1\min\{\|T|_U\| : \dim U = k\} = s_{n-k+1}. Tomando U=span{vn−k+1,…,vn}U = \text{span}\{v_{n-k+1}, \ldots, v_n\} (últimos kk vetores singulares à direita), ∥T∣U∥=sn−k+1\|T|_U\| = s_{n-k+1}. Por outro lado, para qualquer UU de dimensão kk, UU e span{v1,…,vn−k}\text{span}\{v_1, \ldots, v_{n-k}\} têm soma de dimensões maior que nn, logo se intersectam. Seja uu unitário nessa interseção: ∥Tu∥≤sn−k+1\|Tu\| \leq s_{n-k+1}... (argumento de interlacing/Courant-Fischer).
  40. Ex. 117.40Demonstração

    Seja T∈L(V,W)T \in \mathcal{L}(V, W). Mostre que TT é uniformemente contínua em relação às métricas em VV e WW que provêm das normas nesses espaços.

    Ver solução
    Para todo v1,v2∈Vv_1, v_2 \in V com ∥v1−v2∥<δ\|v_1 - v_2\| < \delta: ∥Tv1−Tv2∥=∥T(v1−v2)∥≤∥T∥∥v1−v2∥<∥T∥δ\|Tv_1 - Tv_2\| = \|T(v_1 - v_2)\| \leq \|T\| \|v_1 - v_2\| < \|T\| \delta. Dado ε>0\varepsilon > 0, tome δ=ε/(∥T∥+1)\delta = \varepsilon/(\|T\| + 1). Então para ∥v1−v2∥<δ\|v_1 - v_2\| < \delta: ∥Tv1−Tv2∥≤∥T∥δ<ε\|Tv_1 - Tv_2\| \leq \|T\| \delta < \varepsilon. Logo TT é uniformemente contínua (a escolha de δ\delta não depende dos pontos).

Fontes

  • Beezer, A First Course in Linear Algebra — Rob Beezer · 2023 (3.50) · EN · GNU FDL · §SVD. Fonte primária desta lição: prova rigorosa de existência da SVD via teorema espectral em ATAA^T A, lemas auxiliares e exemplos numéricos completos.
  • Austin, Understanding Linear Algebra — David Austin · 2024 · EN · CC-BY-SA · §6.3–6.4 (Singular Value Decomposition, Low-rank approximations). Apresentação geométrica com transformação do círculo unitário em elipse, motivação aplicada à compressão e à PCA.
  • Hefferon, Linear Algebra — Jim Hefferon · 2020 (4th ed) · EN · CC-BY-SA · cap. 5, §IV. Exercícios de cálculo numérico, pseudoinversa Moore-Penrose e mínimos quadrados regularizados.

Atualizado em 2026-05-29 · Autor(es): Clube da Matemática

Achou um erro? Abra uma issue no GitHub ou submeta um PR — open source pra sempre.