Considere o espaço vetorial real . Verifique se a aplicação abaixo define um produto interno em .
Passo 1
Opa o que precisamos fazer aqui?
Isso mesmo, demonstrar os axiomas de novo hahaha
Simetria:
Bom, como a multiplicação é comutativa, sabemos que , aí vai ser a somatória da mesma coisa nos dois lados hehe então essa igualdade é verdadeira e a simetria ta provada né?
Passo 2
Linearidade na multiplicação:
Do lado esquerdo, temos . Já do lado direito, temos . Então:
Fazendo a distributiva do lado direito, provamos que a igualdade é verdadeira:
Passo 3
Linearidade na soma:
Seja , temos:
Por propriedade de módulo, podemos “separar” o lado esquerdo, e isso nos prova a igualdade:
Passo 4
Positividade:
Bom, ao quadrado sempre vai ser positivo certo? E a somatória de vários números positivos só pode ser positiva, entãoo o axioma ta provado :P
Agora:
Pra que a soma de vários números não negativos resulte em 0, todos os números devem ser 0 concorda? Então, ! :D
Provamos todos os axiomasss!
Resposta
Demonstração.