Utilizador:Thiago Marcel/Mestrado/Análise/Cap1/Sec2

Origem: Wikilivros, livros abertos por um mundo aberto.

2.1[editar | editar código-fonte]

tal que .

Resolução[editar | editar código-fonte]

  • Tome um funcional linear arbitrário. Sabemos que de têm-se que tal que ; Definimos , assim A=y e portanto .

2.2[editar | editar código-fonte]

Um conjunto diz-se ortonormal quando quaisquer. Todo conjunto ortonormal é parte de um base ortonormal. Se é uma base ortonormal então .

Resolução[editar | editar código-fonte]

  • Seja , um conjunto ortonormal contido num espaço vetorial. Devemos mostrar que , onde é uma base de W.
  • Seja , onde n = dim W. Desses dois conjuntos vemos claramente o que queremos, onde os vetores que faltam a , podem ser determinados pelo processo de Gram-Schimidt.
  • Tomando K = {o conjunto das combinações lineares dos elementos de } = . Como . Logo K é subespaço de W.
  • Seja .
  • Quando v = 0, , isso implica que é linearmente independente.
  • Tome onde são as coordenadas de w em relação à base .
  • . Logo

2.3[editar | editar código-fonte]

Considere em a norma euclidiana. Dada uma aplicação linear , existe uma única aplicação linear , chamada a adjunta de A, tal que . Dado , a equação , possui solução se, e somente se, b é ortogonal a todo elemento do núcleo de . Conclua que a imagem de e a imagem de A têm a mesma dimensão.

Resolução[editar | editar código-fonte]

  • Vamos verificar que .
    • Seja e . Então é um funcional linear sobre . Pelo exercício 2.1 acima tal que . Indiquemos , assim temos que .
  • Vamos verificar que é linear:
  • unicidade de .
    • Para arbitrário, o vetor é determinado de modo único como sendo o vetor z tal que
  • Dado , a equação , possui solução b é ortogonal a todo elemento do núcleo de .
    • Tome , onde . Tome tal
  • Dado b é ortogonal a todo elemento do núcleo de , a equação , possui solução .
    • Tome
  • A imagem de e a imagem de A têm a mesma dimensão.
    • Como b é ortogonal aos vetores logo , mas , portanto

2.4[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.5[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.6[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.7[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.8[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.9[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.10[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.11[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.12[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.13[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.14[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.15[editar | editar código-fonte]

Resolução[editar | editar código-fonte]

2.16[editar | editar código-fonte]

Resolução[editar | editar código-fonte]