Sejam e dois funcionais lineares em um espaço vetorial tais que . Prove que eles são proporcionais, isto é: existe tal que , para todo .
Solução:
Fixado , sabemos, por um lema, que qualquer é escrito como , com . Além disso, como não pertence ao núcleo dos funcionais, existe tal que .
Podemos escrever, então, que
pois , uma vez que .
Daqui, temos .
0 comentários