Para a demonstração, assume-se o conhecimento sobre classes equivalência em álgebra linear. Teorema: Sejam dois espaços de dimensão finita $$V$$ e $$W$$. Seja $$\tau\in\mathcal{L}(V;W)$$, uma...
Definição: $$A_{m\times p}$$ e $$B_{p\times n}$$ são duas matrizes. O produto é definido como a matriz $$C=AB$$, cujos elementos são da seguinte forma: \[c_{ij}=\sum^{p}_{k=1}a_{ik}b_{kj}\]. Equivalência...
Questão Seja $$A\in\mathbb{M(R)}_{m\times n}$$, e seja a sua decomposição SVD $$A=U\Sigma V^{T}$$, onde $$U=[u_{1}|…|u_{m}]$$, $$V=[v_{1}|…|v_{n}]]$$ e $$\sigma = diag(\sigma_{1},…,\sigma_{r})$$, com $$r=min\{m,n\}$$. Prove as seguintes afirmações:...
Questão Seja A uma matriz quadrada e ε > 0. Prove que as seguintes afirmações são equivalentes: a) $$\lambda$$ é autovalor de $$A+B$$, para alguma...
Questão Sejam $$d\in\mathbb{R^{n}}$$ com todos os seus valores distintos,$$ v\in\mathbb{R^{n}}$$ com todos os elementos não nulos e $$a\in\mathbb{R}$$, e defina $$A=\left(\begin{array}{rrr} D&v\\ v^{T}&a \end{array}\right)$$, com...
Questão Seja $$A\in M_{m\times n}(\mathbb{R})$$. Prove que $$\sigma_{1}=sup_{x,y}\frac{y^{T}Ax}{||y||_{2}||x||_{2}}$$, para $$x\in\mathbb{R^{n}} e $$y\in\mathbb{R^{m}}$$, onde $$sigma_{1}$$ é o maior valor singular da SVD. Demonstração: Pelo teorema da...
Questão Seja H uma matriz hermitiana. Prove que: (a) Se $$H = A + iB$$, com $$A$$ e $$B$$ reais, A é simétrica, e B...
Seja A uma matriz hermitiana de ordem $$n$$, com coeficientes complexos. Defina $$r(x)=x^{*}Ax$$. Prove que $$max_{||x||=1}\{r(x)\}=max\{\Lambda(A)\}$$. Prove o resultado análogo para o mínimo. Observação: $$\Lambda(A)$$...
Questão Prove que a matriz de Householder, $$H=I-\frac{2}{|u|^{2}}\cdot u\otimes u^{T}$$, é uma matriz ortogonal. Observação: O produto exterior é igual à matriz produto de coordenadas...
Teorema: Seja uma matriz $$A\in\mathcal{M}({\mathbb{R}})_{m\times n}$$, com $$m<n$$. Então o sistema linear $$Ax=0$$ admite uma solução não trivial (não nula). Demonstração: Passo 1 Por indução,...
Questões Anteriores Exercício Seja $$f^{*}:\mathbb{R}\longrightarrow E$$ a adjunta do funcional linear $$f: E\longrightarrow \mathbb{R}$$. Prove que $$v=f^{*}(1)$$ é vetor de $$E$$ que corresponde a $$f$$...
Questão Seja $$n$$ um inteiro positivo que não é primo. Mostre que o anel $$(\mathbb{Z}/n\mathbb{Z})$$ não é um domínio. Solução: Podemos escolher $$a,b\in\mathbb{Z}$$, distintos e...
