Math ClubMath Club
v1 · padrão canônico

Lesson 116 — Special matrices: symmetric, orthogonal, and Hermitian

The three families of matrices that dominate applications: symmetric (A = A^T), orthogonal (Q^T Q = I), Hermitian (A^* = A). Spectral theorem, quadratic forms, and Cholesky decomposition.

Used in: 3rd year HS advanced · Equiv. German Leistungskurs (Vectors + Linear Mappings) · Equiv. Singapore H2 Math (chapter Matrices advanced)

A=ATA=QDQT,QTQ=IA = A^T \Rightarrow A = QDQ^T, \quad Q^TQ = I

O teorema espectral: toda matriz simétrica real admite diagonalização ortogonal A=QDQTA = QDQ^T, onde QQ é ortogonal e DD é diagonal com autovalores reais. As três classes — simétrica, ortogonal e hermitiana — estruturam álgebra linear aplicada, estatística multivariada, mecânica quântica e computação gráfica.

Choose your door

Rigorous notation, full derivation, hypotheses

Definição rigorosa

Matrizes simétricas

"A matrix is called symmetric if it equals its own transpose: A=ATA = A^T. [...] The entry aija_{ij} in row ii and column jj equals the entry ajia_{ji} in row jj and column ii." — Beezer, A First Course in Linear Algebra, §OD

A=QDQT=i=1nλiqiqiTA = QDQ^T = \sum_{i=1}^{n} \lambda_i \, q_i q_i^T
what this means · Diagonalização ortogonal de A simétrica: Q é a matriz cujas colunas são os autovetores ortonormais; D contém os autovalores correspondentes na diagonal.

A última igualdade mostra AA como soma de projeções de rank 1 ponderadas pelos autovalores — representação espectral.

Matrizes ortogonais

"An n×nn \times n matrix QQ is called an orthogonal matrix if QTQ=IQ^T Q = I." — Austin, Understanding Linear Algebra, §7.1

Propriedades fundamentais:

  • Preserva norma: Qv=v\lVert Qv \rVert = \lVert v \rVert para todo vv.
  • Preserva produto interno: Qu,Qv=u,v\langle Qu, Qv \rangle = \langle u, v \rangle.
  • detQ=±1\det Q = \pm 1. Se detQ=1\det Q = 1: rotação. Se detQ=1\det Q = -1: rotação seguida de reflexão.
  • Autovalores complexos têm módulo 1.

O análogo complexo é a matriz unitária: UU=IU^* U = I, onde UU^* é a adjunta (transposta conjugada).

Matrizes hermitianas

"A square matrix AA with complex entries is called Hermitian if A=AA^* = A where AA^* is the conjugate transpose of AA." — Beezer, A First Course in Linear Algebra, §HMD

Teorema espectral complexo. Toda matriz hermitiana tem autovalores reais e admite diagonalização unitária: A=UDUA = U D U^*.

Matrizes definidas positivas

Critérios equivalentes para SPD:

  • Todos os autovalores λi>0\lambda_i > 0.
  • Todos os menores principais líderes (determinantes das submatrizes k×kk \times k do canto superior esquerdo) são positivos — critério de Sylvester.
  • Existe LL triangular inferior inversível com A=LLTA = LL^Tfatoração de Cholesky.
Hierarquia das matrizes especiaisSimétricasPSD (semidefinidas positivas)SPD (definidas positivas)SPD com CholeskyA = LL^T, todos λ_i > 0

Hierarquia de inclusão: SPD com Cholesky ⊂ SPD ⊂ PSD ⊂ Simétricas.

Forma quadrática

Classificação: se todos λi>0\lambda_i > 0: definida positiva. Se todos λi<0\lambda_i < 0: definida negativa. Se há autovalores positivos e negativos: indefinida.

Exemplos resolvidos

Exercise list

40 exercises · 10 with worked solution (25%)

Application 17Understanding 9Modeling 4Challenge 7Proof 3
  1. Ex. 116.1ApplicationAnswer key

    O produto de dois operadores auto-adjuntos SS e TT em VV é auto-adjunto se e somente se eles comutam?

    Select the correct option
    Select an option first
    Show solution
    O produto STST é auto-adjunto se e somente se (ST)=ST(ST)^* = ST. Calculando: (ST)=TS=TS(ST)^* = T^*S^* = TS (usando auto-adjunção de cada operador). Logo (ST)=ST    TS=ST(ST)^* = ST \iff TS = ST, ou seja, se e somente se SS e TT comutam.
    Show step-by-step (with the why)
    1. Use a propriedade do adjunto de um produto: (ST)=TS(ST)^* = T^*S^*.
    2. Como SS e TT são auto-adjuntos, S=SS^* = S e T=TT^* = T. Logo (ST)=TS(ST)^* = TS.
    3. Para STST ser auto-adjunto, precisamos (ST)=ST(ST)^* = ST, ou seja TS=STTS = ST.

    Macete: o produto de auto-adjuntos comutantes é auto-adjunto — basta verificar comutatividade.

  2. Ex. 116.2ApplicationAnswer key

    Seja TL(V)T \in \mathcal{L}(V). Prove que λ\lambda é autovalor de TT se e somente se λˉ\bar\lambda é autovalor de TT^*. (Resp: verdadeiro)

    Select the correct option
    Select an option first
    Show solution
    Se λ\lambda é autovalor de TT com autovetor vv, então λˉ\bar\lambda é autovalor de TT^* (com o mesmo autovetor). Em particular, para operadores normais os autovalores de TT^* são os conjugados dos autovalores de TT. Portanto λ\lambda é autovalor de TT se e somente se λˉ\bar\lambda é autovalor de TT^*.
  3. Ex. 116.3ApplicationAnswer key

    Defina SL(F2)S \in \mathcal{L}(\mathbf{F}^2) por S(w,z)=(z,w)S(w, z) = (-z, w). Determine SS^* e classifique: SS é auto-adjunto? É normal?

    Select the correct option
    Select an option first
    Show solution
    Para S(w,z)=(z,w)S(w, z) = (-z, w) em F2\mathbf{F}^2 com produto interno padrão: calcule SS^* usando S(w,z),(a,b)=(w,z),S(a,b)\langle S(w,z), (a,b) \rangle = \langle (w,z), S^*(a,b) \rangle. Isso dá zaˉ+wbˉ=w(S(a,b))1+z(S(a,b))2-z\bar a + w\bar b = w \overline{(S^*(a,b))_1} + z \overline{(S^*(a,b))_2}, logo S(a,b)=(b,a)S^*(a,b) = (b, -a). Em forma: S(w,z)=(z,w)S^*(w,z) = (z,-w). Verificação: SS=SSSS^* = S^*S (normal) mas SSS^* \neq S (não auto-adjunto).
  4. Ex. 116.4Application

    Com F=R\mathbf{F} = \mathbf{R}, prove que o conjunto de operadores auto-adjuntos em VV é um subespaço de L(V)\mathcal{L}(V). Qual é sua dimensão em função de n=dimVn = \dim V? (Resp: n(n+1)/2n(n+1)/2)

    Select the correct option
    Select an option first
    Show solution
    Para F=R\mathbf{F} = \mathbf{R}: a soma de dois operadores auto-adjuntos é auto-adjunto (pois (S+T)=S+T=S+T(S+T)^* = S^*+T^* = S+T), e múltiplo real de auto-adjunto é auto-adjunto ((λT)=λˉT=λT(\lambda T)^* = \bar\lambda T^* = \lambda T para λR\lambda \in \mathbf{R}). Logo é subespaço. Dimensão: matrizes simétricas reais n×nn \times n têm nn entradas na diagonal + n(n1)/2n(n-1)/2 entradas acima = n(n+1)/2n(n+1)/2.
    Show step-by-step (with the why)
    1. Verifique fechamento sob adição: (S+T)=S+T=S+T(S+T)^* = S^* + T^* = S + T. Sim, é auto-adjunto.
    2. Verifique fechamento sob multiplicação escalar real: (λT)=λT=λT(\lambda T)^* = \lambda T^* = \lambda T. Sim.
    3. Logo é subespaço de L(V)\mathcal{L}(V).
    4. Dimensão: identificando com matrizes simétricas n×nn \times n, a dimensão é n(n+1)/2n(n+1)/2.
  5. Ex. 116.5Application

    Seja TL(V)T \in \mathcal{L}(V) invertível. Prove que (a) TT é auto-adjunto se e somente se T1T^{-1} é auto-adjunto; (b) TT é normal se e somente se T1T^{-1} é normal.

    Select the correct option
    Select an option first
    Show solution
    (a) Se TT é auto-adjunto e invertível: (T1)=(T)1=T1(T^{-1})^* = (T^*)^{-1} = T^{-1}. A recíproca usa o mesmo argumento. (b) Se TT é normal: TT=TTT1T=TT1T T^* = T^* T \Rightarrow T^{-1} T^* = T^* T^{-1} (multiplicando por T1T^{-1} dos dois lados) T1(T1)=(T1)T1\Rightarrow T^{-1}(T^{-1})^* = (T^{-1})^* T^{-1} usando (T1)=(T)1(T^{-1})^* = (T^*)^{-1}.
  6. Ex. 116.6Application

    Seja PL(V)P \in \mathcal{L}(V) com P2=PP^2 = P. Prove que as seguintes condições são equivalentes: (a) PP é auto-adjunto; (b) PP é normal; (c) existe subespaço UU com P=PUP = P_U (projeção ortogonal).

    Select the correct option
    Select an option first
    Show solution
    Seja P2=PP^2 = P (projeção). (a) \Rightarrow (b): auto-adjunto implica normal trivialmente (PP=P2=P=PPPP^* = P^2 = P = P^*P). (b) \Rightarrow (c): se PP é normal com P2=PP^2 = P, pode-se mostrar que null(P)range(P)\text{null}(P) \perp \text{range}(P), que é exatamente a condição para P=PUP = P_U (projeção ortogonal sobre U=range(P)U = \text{range}(P)). (c) \Rightarrow (a): projeção ortogonal é auto-adjunta.
  7. Ex. 116.7Application

    Seja TL(V)T \in \mathcal{L}(V) normal. Prove que null(Tk)=null(T)\text{null}(T^k) = \text{null}(T) e range(Tk)=range(T)\text{range}(T^k) = \text{range}(T) para todo inteiro positivo kk.

    Select the correct option
    Select an option first
    Show solution
    Para TT normal e vnull(Tk)v \in \text{null}(T^k): pelo teorema espectral, TT é diagonalizável. Se Tkv=0T^k v = 0 e v=cieiv = \sum c_i e_i (base de autovetores), então λikciei=0\sum \lambda_i^k c_i e_i = 0. Para cada ii: λikci=0\lambda_i^k c_i = 0. Se λi0\lambda_i \neq 0, então ci=0c_i = 0. Logo os ci0c_i \neq 0 correspondem a λi=0\lambda_i = 0, mas então Tv=λiciei=0Tv = \sum \lambda_i c_i e_i = 0. Portanto null(Tk)null(T)\text{null}(T^k) \subseteq \text{null}(T); a inclusão oposta é imediata.
  8. Ex. 116.8Application

    Seja TT um operador normal em VV, com v=w=2\|v\| = \|w\| = 2, Tv=3vTv = 3v e Tw=4wTw = 4w. Calcule T(v+w)\|T(v + w)\|. (Resp: 10)

    Select the correct option
    Select an option first
    Show solution
    Como TT é normal, autovetores de autovalores distintos são ortogonais. Aqui λ1=34=λ2\lambda_1 = 3 \neq 4 = \lambda_2, logo vwv \perp w. Calcule: T(v+w)2=Tv+Tw2=3v+4w2=9v2+24v,w+16w2=9(4)+0+16(4)=36+64=100\|T(v+w)\|^2 = \|Tv + Tw\|^2 = \|3v + 4w\|^2 = 9\|v\|^2 + 24\langle v,w\rangle + 16\|w\|^2 = 9(4) + 0 + 16(4) = 36 + 64 = 100. Logo T(v+w)=10\|T(v+w)\| = 10.
    Show step-by-step (with the why)
    1. Observe que Tv=3vTv = 3v e Tw=4wTw = 4w, com autovalores distintos. Como TT é normal, vwv \perp w.
    2. Calcule T(v+w)=3v+4wT(v+w) = 3v + 4w.
    3. Use Pitágoras (ortogonalidade): 3v+4w2=9v2+16w2=94+164=100\|3v+4w\|^2 = 9\|v\|^2 + 16\|w\|^2 = 9\cdot4 + 16\cdot4 = 100.
    4. Logo T(v+w)=10\|T(v+w)\| = 10.
  9. Ex. 116.9Application

    Prove que TL(V)T \in \mathcal{L}(V) é diagonalizável se e somente se TT^* é diagonalizável.

    Select the correct option
    Select an option first
    Show solution
    Se TT é diagonalizável, existe base e1,,ene_1, \ldots, e_n de autovetores de TT com autovalores λ1,,λn\lambda_1, \ldots, \lambda_n. Na base de autovetores (ortonormal, pelo teorema espectral quando TT é normal), TT^* tem matriz diag(λˉ1,,λˉn)\text{diag}(\bar\lambda_1, \ldots, \bar\lambda_n), logo TT^* é diagonalizável com os mesmos autovetores. A recíproca é simétrica.
  10. Ex. 116.10Application

    Seja TL(V)T \in \mathcal{L}(V) com TvTv\|T^*v\| \leq \|Tv\| para todo vVv \in V. Prove que TT é normal.

    Select the correct option
    Select an option first
    Show solution
    Em dimensão finita, TvTv\|T^*v\| \leq \|Tv\| para todo vv. Por simetria (troca TT e TT^*), Tv=(T)vTv\|Tv\| = \|(T^*)^*v\| \leq \|T^*v\|. Logo Tv=Tv\|Tv\| = \|T^*v\| para todo vv. Isso implica TTv,v=Tv2=Tv2=TTv,v\langle TT^* v, v\rangle = \|T^*v\|^2 = \|Tv\|^2 = \langle T^*Tv, v\rangle para todo vv, portanto TT=TTTT^* = T^*T, ou seja, TT é normal.
  11. Ex. 116.11Understanding

    Com F=C\mathbf{F} = \mathbf{C}, prove que o conjunto de operadores auto-adjuntos em VV não é subespaço de L(V)\mathcal{L}(V).

    Select the correct option
    Select an option first
    Show solution
    Para F=C\mathbf{F} = \mathbf{C}: se TT é auto-adjunto (T=TT^* = T), considere iTiT. Então (iT)=iˉT=iT=iTiT(iT)^* = \bar i T^* = -i T = -iT \neq iT. Portanto iTiT não é auto-adjunto. O conjunto não é fechado sob multiplicação escalar complexa, logo não é subespaço de L(V)\mathcal{L}(V) sobre C\mathbf{C}.
  12. Ex. 116.12Understanding

    Prove que um operador normal em espaço de produto interno complexo é auto-adjunto se e somente se todos os seus autovalores são reais.

    Select the correct option
    Select an option first
    Show solution
    Pelo teorema espectral complexo, TT normal num espaço complexo tem uma base ortonormal de autovetores. Na base de autovetores, a matriz de TT é diagonal com entradas λ1,,λn\lambda_1, \ldots, \lambda_n. Então T=diag(λˉ1,,λˉn)T^* = \text{diag}(\bar\lambda_1, \ldots, \bar\lambda_n). Portanto T=TT = T^* se e somente se λi=λˉi\lambda_i = \bar\lambda_i para todo ii, ou seja, se e somente se todos os autovalores são reais.
    Show step-by-step (with the why)
    1. Pelo teorema espectral complexo, existe base ortonormal de autovetores de TT.
    2. Na base de autovetores, TT é diagonal com λi\lambda_i e TT^* é diagonal com λˉi\bar\lambda_i.
    3. T=T    λi=λˉiT = T^* \iff \lambda_i = \bar\lambda_i para todo i    λiRi \iff \lambda_i \in \mathbf{R} para todo ii.
  13. Ex. 116.13Understanding

    Prove que um operador normal em espaço complexo é antissimétrico (i.e., B=BB^* = -B) se e somente se todos os seus autovalores são puramente imaginários.

    Select the correct option
    Select an option first
    Show solution
    Seja TT normal com autovalores λi\lambda_i. Pelo espectral complexo, TT^* tem autovalores λˉi\bar\lambda_i. TT antissimétrico significa T=TT^* = -T, ou seja λˉi=λi\bar\lambda_i = -\lambda_i para todo ii. Se λi=a+bi\lambda_i = a + bi, então abi=abia=0a - bi = -a - bi \Rightarrow a = 0, ou seja λi\lambda_i puramente imaginário.
  14. Ex. 116.14Understanding

    Com F=C\mathbf{F} = \mathbf{C} e TL(V)T \in \mathcal{L}(V), prove que TT é normal se e somente se todo autovetor de TT é também autovetor de TT^*.

    Select the correct option
    Select an option first
    Show solution
    (→) Se TT é normal e Tv=λvTv = \lambda v, pelo teorema espectral Tv=λˉvT^*v = \bar\lambda v. (←) Se todo autovetor de TT é autovetor de TT^*, pelo teorema espectral complexo os autovetores formam base ortonormal, e em tal base tanto TT como TT^* são diagonais, logo comutam: TT=TTTT^* = T^*T.
  15. Ex. 116.15Application

    Seja TT auto-adjunto em espaço de dimensão finita com autovalores somente 22 e 33. Prove que T25T+6I=0T^2 - 5T + 6I = 0.

    Select the correct option
    Select an option first
    Show solution
    Como TT é auto-adjunto em espaço finito-dimensional, pelo teorema espectral real TT é diagonalizável com autovalores reais. Os únicos autovalores são 22 e 33. Portanto (T2I)(T3I)=0(T-2I)(T-3I) = 0, pois (T2I)(T3I)v=0(T-2I)(T-3I)v = 0 para cada autovetor vv. Expandindo: T25T+6I=0T^2 - 5T + 6I = 0.
  16. Ex. 116.16Understanding

    Prove ou dê contraexemplo: todo operador diagonalizável em L(C3)\mathcal{L}(\mathbf{C}^3) é normal (em relação ao produto interno usual).

    Select the correct option
    Select an option first
    Show solution
    Contraexemplo: T(z1,z2,z3)=(z1+z2,z2,z3)T(z_1,z_2,z_3) = (z_1 + z_2, z_2, z_3) é diagonalizável (autovalores 1,1,11, 1, 1 mas não a identidade)? Na verdade, tente T(z1,z2,z3)=(2z1+z2,3z2,z3)T(z_1,z_2,z_3) = (2z_1 + z_2, 3z_2, z_3): autovalores distintos 2,3,12, 3, 1, logo diagonalizável. Verificar normalidade: TTTT^* vs TTT^*T com a matriz (210030001)\begin{pmatrix}2&1&0\\0&3&0\\0&0&1\end{pmatrix} — elas não comutam. Logo não é normal.
  17. Ex. 116.17Application

    Com F=C\mathbf{F} = \mathbf{C}, seja TL(V)T \in \mathcal{L}(V) normal com T9=T8T^9 = T^8. Prove que TT é auto-adjunto e T2=TT^2 = T.

    Select the correct option
    Select an option first
    Show solution
    Pelo teorema espectral complexo, TT normal tem autovalores λi\lambda_i. A condição T9=T8T^9 = T^8 diz λi9=λi8\lambda_i^9 = \lambda_i^8 para todo ii. Logo λi8(λi1)=0\lambda_i^8(\lambda_i - 1) = 0, portanto λi{0,1}\lambda_i \in \{0, 1\}. Autovalores em {0,1}R\{0, 1\} \subset \mathbf{R}: TT é auto-adjunto. E T2=TT^2 = T pois λi2=λi\lambda_i^2 = \lambda_i para λi{0,1}\lambda_i \in \{0, 1\}.
  18. Ex. 116.18Application

    Prove que todo operador normal em espaço de produto interno complexo tem raiz quadrada. (Um operador SS é raiz quadrada de TT se S2=TS^2 = T.)

    Select the correct option
    Select an option first
    Show solution
    Pelo teorema espectral complexo, TT normal tem base ortonormal de autovetores com autovalores λiC\lambda_i \in \mathbf{C}. Para cada λi\lambda_i, escolha μiC\mu_i \in \mathbf{C} com μi2=λi\mu_i^2 = \lambda_i (sempre possível em C\mathbf{C}). Defina SS por Sei=μieiSe_i = \mu_i e_i. Então S2ei=μi2ei=λiei=TeiS^2 e_i = \mu_i^2 e_i = \lambda_i e_i = Te_i, logo S2=TS^2 = T.
  19. Ex. 116.19UnderstandingAnswer key

    Prove que todo operador auto-adjunto em VV tem raiz cúbica. (Um operador SS é raiz cúbica de TT se S3=TS^3 = T.)

    Select the correct option
    Select an option first
    Show solution
    Pelo espectral real, TT auto-adjunto tem autovalores reais λi\lambda_i. Cada real tem raiz cúbica real: μi=λi1/3R\mu_i = \lambda_i^{1/3} \in \mathbf{R}. Defina SS por Sei=μieiSe_i = \mu_i e_i na base ortonormal de autovetores. Então S3=TS^3 = T. Além disso SS é auto-adjunto pois seus autovalores são reais.
  20. Ex. 116.20UnderstandingAnswer key

    Com F=R\mathbf{F} = \mathbf{R} e TL(V)T \in \mathcal{L}(V), prove que TT é auto-adjunto se e somente se todos os pares de autovetores de autovalores distintos são ortogonais e VV é a soma direta dos autoespaços de TT.

    Select the correct option
    Select an option first
    Show solution
    Com F=R\mathbf{F} = \mathbf{R}: (←) Se autovetores de autovalores distintos são ortogonais e V=E(λ1)E(λk)V = E(\lambda_1) \oplus \cdots \oplus E(\lambda_k), então existe base ortonormal de autovetores (Gram-Schmidt dentro de cada E(λi)E(\lambda_i)). Na base, TT é diagonal com entradas reais λi\lambda_i, logo TT=TT^T = T: auto-adjunto. (→) Pelo teorema espectral real, se TT é auto-adjunto ambas as condições valem.
  21. Ex. 116.21ApplicationAnswer key

    Seja TL(V)T \in \mathcal{L}(V) auto-adjunto e UU subespaço de VV invariante por TT. Prove que: (a) UU^\perp é invariante por TT; (b) TUL(U)T|_U \in \mathcal{L}(U) é auto-adjunto; (c) TUT|_{U^\perp} é auto-adjunto.

    Select the correct option
    Select an option first
    Show solution
    (a) Se vUv \in U^\perp e uUu \in U: Tv,u=v,Tu=v,Tu=0\langle Tv, u \rangle = \langle v, T^*u \rangle = \langle v, Tu \rangle = 0 (pois TuUTu \in U e vUv \perp U). Logo TvUTv \in U^\perp. (b) Para u1,u2Uu_1, u_2 \in U: TUu1,u2=Tu1,u2=u1,Tu2=u1,TUu2\langle T|_U u_1, u_2 \rangle = \langle Tu_1, u_2 \rangle = \langle u_1, Tu_2 \rangle = \langle u_1, T|_U u_2 \rangle. (c) Análogo a (b) para UU^\perp.
  22. Ex. 116.22Application

    Seja TL(V)T \in \mathcal{L}(V) auto-adjunto, λF\lambda \in \mathbf{F} e ε>0\varepsilon > 0. Suponha que exista vVv \in V com v=1\|v\| = 1 e Tvλv<ε\|Tv - \lambda v\| < \varepsilon. Prove que TT tem autovalor a distância menor que ε\varepsilon de λ\lambda.

    Select the correct option
    Select an option first
    Show solution
    Seja TT auto-adjunto e suponha que v=1\|v\| = 1, Tvλv<ε\|Tv - \lambda v\| < \varepsilon. Se TT não tivesse autovalores na bola (λε,λ+ε)(\lambda - \varepsilon, \lambda + \varepsilon), então (TμI)1(T - \mu I)^{-1} existiria para μ=λ\mu = \lambda com (TλI)11/ε\|(T - \lambda I)^{-1}\| \geq 1/\varepsilon. Mas (TλI)v<ε\|(T - \lambda I)v\| < \varepsilon e v=1\|v\| = 1, contradição. Logo existe autovalor de TT em (λε,λ+ε)(\lambda - \varepsilon, \lambda + \varepsilon).
  23. Ex. 116.23Modeling

    Seja nn inteiro positivo e TL(Fn)T \in \mathcal{L}(\mathbf{F}^n) definido por T(z1,,zn)=(0,z1,,zn1)T(z_1, \ldots, z_n) = (0, z_1, \ldots, z_{n-1}) (shift unilateral). Encontre uma fórmula para T(z1,,zn)T^*(z_1, \ldots, z_n).

    Select the correct option
    Select an option first
    Show solution
    Calculando via produto interno: T(z1,,zn),(w1,,wn)=(0,z1,,zn1),w=z1wˉ2+z2wˉ3++zn1wˉn\langle T(z_1,\ldots,z_n), (w_1,\ldots,w_n)\rangle = \langle (0, z_1, \ldots, z_{n-1}), w\rangle = z_1\bar w_2 + z_2\bar w_3 + \cdots + z_{n-1}\bar w_n. Deve igualar (z1,,zn),T(w1,,wn)\langle (z_1,\ldots,z_n), T^*(w_1,\ldots,w_n)\rangle. Comparando: T(w1,,wn)=(w2,w3,,wn,0)T^*(w_1,\ldots,w_n) = (w_2, w_3, \ldots, w_n, 0).
    Show step-by-step (with the why)
    1. Escreva T(z1,,zn)=(0,z1,,zn1)T(z_1,\ldots,z_n) = (0,z_1,\ldots,z_{n-1}) (shift para a direita).
    2. Compute Tz,w=k=1n1zkwˉk+1\langle Tz, w\rangle = \sum_{k=1}^{n-1} z_k \bar w_{k+1}.
    3. Para TT^*, iguale z,Tw=k=1n1zk(Tw)k\langle z, T^*w\rangle = \sum_{k=1}^{n-1} z_k \overline{(T^*w)_k}: logo (Tw)k=wk+1(T^*w)_k = w_{k+1} para k=1,,n1k = 1,\ldots,n-1 e (Tw)n=0(T^*w)_n = 0.
  24. Ex. 116.24ModelingAnswer key

    Seja TL(V,W)T \in \mathcal{L}(V, W). Prove que (a) TT é injetivo se e somente se TT^* é sobrejetivo; (b) TT é sobrejetivo se e somente se TT^* é injetivo.

    Select the correct option
    Select an option first
    Show solution
    (a) TT é injetivo     \iff null(T)={0}\text{null}(T) = \{0\}. Usando a relação null(T)=(range(T))\text{null}(T) = (\text{range}(T^*))^\perp (propriedade do adjunto): null(T)={0}    range(T)=W\text{null}(T) = \{0\} \iff \text{range}(T^*) = W. Analogamente para (b).
  25. Ex. 116.25Modeling

    Seja TL(V)T \in \mathcal{L}(V) e UU subespaço de VV. Prove que UU é invariante por TT se e somente se UU^\perp é invariante por TT^*.

    Select the correct option
    Select an option first
    Show solution
    (→) Suponha UU invariante por TT. Seja wUw \in U^\perp; queremos TwUT^*w \in U^\perp. Para todo uUu \in U: Tw,u=w,Tu=0\langle T^*w, u \rangle = \langle w, Tu \rangle = 0 (pois TuUTu \in U e wUw \perp U). Logo TwUT^*w \perp U. (←) Análogo trocando TT por TT^* e UU por UU^\perp.
  26. Ex. 116.26Modeling

    Seja TL(V,W)T \in \mathcal{L}(V, W). Prove que (a) dimnull(T)=dimnull(T)+dimWdimV\dim \text{null}(T^*) = \dim \text{null}(T) + \dim W - \dim V; (b) dimrange(T)=dimrange(T)\dim \text{range}(T^*) = \dim \text{range}(T). (Resp: consequência do teorema do núcleo-imagem)

    Select the correct option
    Select an option first
    Show solution
    (b) Como null(T)=(range(T))\text{null}(T^*) = (\text{range}(T))^\perp, temos dimnull(T)=dimWdimrange(T)\dim \text{null}(T^*) = \dim W - \dim \text{range}(T). Pelo teorema do núcleo-imagem: dimrange(T)=dimVdimnull(T)\dim \text{range}(T) = \dim V - \dim \text{null}(T). Substituindo: dimnull(T)=dimWdimV+dimnull(T)\dim \text{null}(T^*) = \dim W - \dim V + \dim \text{null}(T). Parte (a) de forma equivalente: dimrange(T)=dimVdimnull(T)\dim \text{range}(T^*) = \dim V - \dim \text{null}(T^*) e simplificando.
  27. Ex. 116.27Challenge

    Seja B=BB^* = -B um operador anti-simétrico. Prove que TL(V)T \in \mathcal{L}(V) é normal se e somente se existem operadores AA (auto-adjunto) e BB (anti-simétrico) que comutam tal que T=A+BT = A + B.

    Select the correct option
    Select an option first
    Show solution
    (→) Seja A=(T+T)/2A = (T + T^*)/2 (auto-adjunto) e B=(TT)/2B = (T - T^*)/2 (anti-simétrico: B=BB^* = -B). Então T=A+BT = A + B. Comutatividade de AA e BB: use TT=TTTT^* = T^*T para mostrar AB=BAAB = BA. (←) Se AA e BB comutam, com A=AA^* = A e B=BB^* = -B: (A+B)(A+B)=(A+B)(AB)=A2AB+BAB2(A+B)(A+B)^* = (A+B)(A-B) = A^2 - AB + BA - B^2 e (A+B)(A+B)=(AB)(A+B)=A2+ABBAB2(A+B)^*(A+B) = (A-B)(A+B) = A^2 + AB - BA - B^2. Se AB=BAAB = BA, os dois são iguais.
  28. Ex. 116.28ChallengeAnswer key

    Suponha TL(F3)T \in \mathcal{L}(\mathbf{F}^3) normal e T(1,1,1)=(2,2,2)T(1,1,1) = (2,2,2). Seja (z1,z2,z3)null(T)(z_1, z_2, z_3) \in \text{null}(T). Prove que z1+z2+z3=0z_1 + z_2 + z_3 = 0.

    Select the correct option
    Select an option first
    Show solution
    Como TT é normal e T(1,1,1)=2(1,1,1)T(1,1,1) = 2(1,1,1), o vetor (1,1,1)(1,1,1) é autovetor de autovalor 22. Para TT normal, autovetores de autovalores distintos são ortogonais. Se (z1,z2,z3)null(T)(z_1,z_2,z_3) \in \text{null}(T), então é autovetor de autovalor 020 \neq 2 (ou =0= 0 trivialmente). Logo (z1,z2,z3)(1,1,1)(z_1,z_2,z_3) \perp (1,1,1), ou seja z1+z2+z3=0z_1 + z_2 + z_3 = 0.
  29. Ex. 116.29Challenge

    Com F=C\mathbf{F} = \mathbf{C} e EL(V)\mathcal{E} \subseteq \mathcal{L}(V), prove que existe base ortonormal de VV em que todo elemento de E\mathcal{E} tem matriz diagonal se e somente se SS e TT comutam para todo par S,TES, T \in \mathcal{E}.

    Select the correct option
    Select an option first
    Show solution
    Com F=C\mathbf{F} = \mathbf{C}: (→) se existe base ortonormal que diagonaliza todos os TET \in \mathcal{E}, então todos os TT são representados por matrizes diagonais na mesma base, logo comutam entre si. (←) Indução: para dois operadores normais comutantes SS e TT, cada autoespaço de SS é invariante por TT (pois ST=TSST = TS); dentro de cada autoespaço de SS, TT é normal e pode ser diagonalizado ortogonalmente.
  30. Ex. 116.30ChallengeAnswer key

    Seja TL(V)T \in \mathcal{L}(V) com base ortonormal de autovetores e1,,ene_1, \ldots, e_n e autovalores λ1,,λn\lambda_1, \ldots, \lambda_n. Seja kZ0k \in \mathbf{Z}_{\geq 0} e pP(F)p \in \mathcal{P}(\mathbf{F}). Mostre que p(T)p(T) tem base ortonormal de autovetores e1,,ene_1, \ldots, e_n com autovalores p(λ1),,p(λn)p(\lambda_1), \ldots, p(\lambda_n).

    Select the correct option
    Select an option first
    Show solution
    Se e1,,ene_1, \ldots, e_n é base ortonormal de autovetores de TT com autovalores λ1,,λn\lambda_1, \ldots, \lambda_n, então: Tkei=λikeiT^k e_i = \lambda_i^k e_i para todo kk. Para p(x)=a0+a1x++amxmp(x) = a_0 + a_1 x + \cdots + a_m x^m: p(T)ei=(a0+a1λi++amλim)ei=p(λi)eip(T) e_i = (a_0 + a_1 \lambda_i + \cdots + a_m \lambda_i^m) e_i = p(\lambda_i) e_i. Logo e1,,ene_1, \ldots, e_n é também base ortonormal de autovetores de p(T)p(T), com autovalores p(λi)p(\lambda_i).
  31. Ex. 116.31Application

    Seja u,v,wCn\mathbf{u}, \mathbf{v}, \mathbf{w} \in \mathbf{C}^n e α,βC\alpha, \beta \in \mathbf{C}. Se u\mathbf{u} é ortogonal a v\mathbf{v} e a w\mathbf{w}, prove que u\mathbf{u} é ortogonal a αv+βw\alpha \mathbf{v} + \beta \mathbf{w}.

    Select the correct option
    Select an option first
    Show solution
    Usando linearidade do produto interno na segunda entrada (ou da conjugada-linear na primeira, dependendo da convenção): u,αv+βw=αu,v+βu,w=α0+β0=0\langle \mathbf{u}, \alpha \mathbf{v} + \beta \mathbf{w}\rangle = \alpha \langle \mathbf{u}, \mathbf{v}\rangle + \beta \langle \mathbf{u}, \mathbf{w}\rangle = \alpha \cdot 0 + \beta \cdot 0 = 0. Logo u\mathbf{u} é ortogonal a αv+βw\alpha \mathbf{v} + \beta \mathbf{w}.
    Show step-by-step (with the why)
    1. Compute u,αv+βw\langle \mathbf{u}, \alpha \mathbf{v} + \beta \mathbf{w}\rangle usando bilinearidade.
    2. Separe: =αu,v+βu,w= \alpha \langle \mathbf{u}, \mathbf{v}\rangle + \beta \langle \mathbf{u}, \mathbf{w}\rangle.
    3. Por hipótese ambos os produtos internos são zero: resultado = 0.
  32. Ex. 116.32Application

    Seja SS o conjunto do Teorema GSP (Gram-Schmidt). Prove que se SS já é ortogonal, então o conjunto TT produzido pelo processo de Gram-Schmidt é igual a SS.

    Select the correct option
    Select an option first
    Show solution
    No processo de Gram-Schmidt (Teorema GSP), cada vetor é projetado no complemento dos anteriores. Se S={v1,,vk}S = \{v_1, \ldots, v_k\} já é ortogonal, as projeções de vjv_j nas direções v1,,vj1v_1, \ldots, v_{j-1} são todas zero (pois vj,vi=0\langle v_j, v_i\rangle = 0 para i<ji < j). Logo nenhum vetor é modificado e T=ST = S.
  33. Ex. 116.33Understanding

    Mostre que AAAA^* é uma matriz normal provando diretamente que AAAA^* é hermitiana.

    Select the correct option
    Select an option first
    Show solution
    Primeiro, note que AAAA^* é hermitiana: (AA)=(A)A=AA(AA^*)^* = (A^*)^*A^* = AA^*. Toda matriz hermitiana é normal, pois H=HHH=HH=HHH^* = H \Rightarrow HH^* = H \cdot H = H^*H. Logo AAAA^* é normal.
  34. Ex. 116.34Understanding

    Seja TL(V)T \in \mathcal{L}(V) normal e UU subespaço de VV invariante por TT. Prove que: (a) UU^\perp é invariante por TT; (b) UU é invariante por TT^*; (c) (TU)=(T)U(T|_U)^* = (T^*)|_U.

    Select the correct option
    Select an option first
    Show solution
    (a) Seja wUw \in U^\perp. Para todo uUu \in U: Tw,u=w,Tu\langle Tw, u \rangle = \langle w, T^*u \rangle. Como TT é normal, usando autoespaços ortogonais do espectral: se UU é invariante por TT, então é invariante por TT^* (pois TE(λ)=λˉIdT^*|_{E(\lambda)} = \bar\lambda \text{Id}), logo TuUT^*u \in U e w,Tu=0\langle w, T^*u\rangle = 0. (b) Análogo. (c) Cálculo direto nos autoespaços.
  35. Ex. 116.35Challenge

    Com F=R\mathbf{F} = \mathbf{R}, defina AL(L(V))\mathcal{A} \in \mathcal{L}(\mathcal{L}(V)) por AT=T\mathcal{A}T = T^* para todo TL(V)T \in \mathcal{L}(V). (a) Encontre todos os autovalores de A\mathcal{A}. (b) Qual é o polinômio minimal de A\mathcal{A}?

    Select the correct option
    Select an option first
    Show solution
    Com F=R\mathbf{F} = \mathbf{R}, o operador A:L(V)L(V)\mathcal{A}: \mathcal{L}(V) \to \mathcal{L}(V) definido por AT=T\mathcal{A}T = T^*. Autovalores: AT=λTT=λT\mathcal{A}T = \lambda T \Rightarrow T^* = \lambda T. Se λ=1\lambda = 1: TT auto-adjunto (existe). Se λ=1\lambda = -1: T=TT^* = -T, ou seja TT anti-simétrico (existe, e.g., T(x,y)=(y,x)T(x,y) = (y,-x) em R2\mathbf{R}^2). Outros λ\lambda: (A)2T=T(\mathcal{A})^2 T = T logo λ2=1\lambda^2 = 1, portanto λ=±1\lambda = \pm 1. Polinômio minimal: x21x^2 - 1.
  36. Ex. 116.36Challenge

    Fixe u,xVu, x \in V com VV real. Defina TL(V)T \in \mathcal{L}(V) por Tv=v,uxTv = \langle v, u\rangle x. Prove que TT é auto-adjunto se e somente se a lista u,xu, x é linearmente dependente.

    Select the correct option
    Select an option first
    Show solution
    Calcule TT^*: Tv,w=v,ux,w=v,ux,w\langle Tv, w\rangle = \langle \langle v,u\rangle x, w\rangle = \langle v, u\rangle \langle x, w\rangle. E v,Tw=v,w,xu=w,xv,u\langle v, T^*w\rangle = \langle v, \langle w,x\rangle u\rangle = \overline{\langle w,x\rangle} \langle v, u\rangle. Para VV real: Tw=w,xuT^*w = \langle w,x\rangle u. Para T=TT = T^*: v,ux=v,xu\langle v,u\rangle x = \langle v,x\rangle u para todo vv. Isso vale para todo vv se e somente se uu e xx são paralelos (dependentes lineares).
  37. Ex. 116.37ChallengeAnswer key

    Seja TL(V,W)T \in \mathcal{L}(V, W). Suponha que e1,,ene_1, \ldots, e_n é base ortonormal de VV e f1,,fmf_1, \ldots, f_m é base ortonormal de WW. Prove que Te12++Ten2=Tf12++Tfm2\|Te_1\|^2 + \cdots + \|Te_n\|^2 = \|T^*f_1\|^2 + \cdots + \|T^*f_m\|^2.

    Select the correct option
    Select an option first
    Show solution
    Seja MM a matriz de TT na base e1,,ene_1,\ldots,e_n de VV e f1,,fmf_1,\ldots,f_m de WW. Então Mkj=Tej,fkM_{kj} = \langle Te_j, f_k\rangle. A norma de Frobenius: MF2=k,jMkj2\|M\|_F^2 = \sum_{k,j} |M_{kj}|^2. Por um lado, jTej2=jkTej,fk2=MF2\sum_j \|Te_j\|^2 = \sum_j \sum_k |\langle Te_j,f_k\rangle|^2 = \|M\|_F^2. Por outro, a matriz de TT^* é MM^* e MF=MF\|M^*\|_F = \|M\|_F. Logo ambos somam MF2\|M\|_F^2.
  38. Ex. 116.38Proof

    Seja TL(V,W)T \in \mathcal{L}(V, W). Prove que T=0T = 0 se e somente se T=0T^* = 0, se e somente se TT=0T^*T = 0, se e somente se TT=0TT^* = 0.

    Select the correct option
    Select an option first
    Show solution
    Mostramos quatro implicações em ciclo: (i) T=0T=0T = 0 \Rightarrow T^* = 0: trivial pois TT^* é definido em termos de TT. (ii) T=0TT=0T^* = 0 \Rightarrow T^*T = 0: imediato. (iii) TT=0T=0T^*T = 0 \Rightarrow T = 0: Tv2=TTv,v=0\|Tv\|^2 = \langle T^*Tv, v\rangle = 0 para todo vv, logo Tv=0Tv = 0 para todo vv. (iv) T=0TT=0T = 0 \Rightarrow TT^* = 0: análogo a (ii). As outras implicações seguem do ciclo.
  39. Ex. 116.39Proof

    Use a parte (b) do Exercício 7 do §7A para dar uma demonstração alternativa de que o rank de linha de uma matriz AA é igual ao seu rank de coluna.

    Select the correct option
    Select an option first
    Show solution
    O rank de coluna de AA é dimrange(T)\dim \text{range}(T) onde TT é a transformação linear dada por AA. O rank de linha de AA é dimrange(T)\dim \text{range}(T^*) (pois TT^* tem como matriz ATA^T em relação às bases canônicas). Pelo exercício 7 do §7A (que estabelece dimrange(T)=dimrange(T)\dim \text{range}(T^*) = \dim \text{range}(T)), os dois são iguais.
  40. Ex. 116.40Proof

    Com F=C\mathbf{F} = \mathbf{C} e TL(V)T \in \mathcal{L}(V), prove que TT é normal se e somente se existe polinômio pP(C)p \in \mathcal{P}(\mathbf{C}) tal que T=p(T)T^* = p(T).

    Select the correct option
    Select an option first
    Show solution
    (→) Por Lagrange (interpolação), existe pP(C)p \in \mathcal{P}(\mathbf{C}) tal que p(λi)=λˉip(\lambda_i) = \bar\lambda_i para cada autovalor distinto λi\lambda_i. Então p(T)ei=p(λi)ei=λˉiei=Teip(T)e_i = p(\lambda_i)e_i = \bar\lambda_i e_i = T^*e_i. Logo p(T)=Tp(T) = T^*. (←) Se T=p(T)T^* = p(T), então TT=Tp(T)=p(T)T=TTTT^* = Tp(T) = p(T)T = T^*T (pois TT comuta com polinômios em TT), logo TT é normal.

Fontes

Updated on 2026-05-11 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.