tal que .
- Tome um funcional linear arbitrário. Sabemos que de têm-se que tal que ; Definimos , assim A=y e portanto .
Um conjunto diz-se ortonormal quando quaisquer. Todo conjunto ortonormal é parte de um base ortonormal. Se é uma base ortonormal então .
- 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
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.
- 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