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

2.1 editar

  tal que  .

Resolução editar

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

2.2 editar

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

Resolução editar

  • 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

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

  • 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

Resolução editar

2.5 editar

Resolução editar

2.6 editar

Resolução editar

2.7 editar

Resolução editar

2.8 editar

Resolução editar

2.9 editar

Resolução editar

2.10 editar

Resolução editar

2.11 editar

Resolução editar

2.12 editar

Resolução editar

2.13 editar

Resolução editar

2.14 editar

Resolução editar

2.15 editar

Resolução editar

2.16 editar

Resolução editar