Sejam e os vetores e .
Verificar quais das seguintes funções são produtos internos sobre o .
Para aquelas que não são produtos internos, citar os axiomas que não se verificam.
Passo 1
Bom, não tem jeito, vamos ter que testar todos os axiomas em todas as letras. Vamos lá então:
Simetria:
Linearidade:
Positividade:
Opa, temos um problema. O que esse axioma diz é que se o produto interno de um vetor com ele mesmo for zero, o vetor deve ser o vetor nulo.
No entanto, para esse produto interno, quando temos , isso nos garante apenas que as duas primeiras coordenadas de são iguais a zero. Logo poderíamos ter .
Logo, essa função não é um produto interno pois não respeita o último axioma.
Passo 2
Simetria:
Linearidade:
Positividade:
Essa função de fato satisfaz todos os axiomas, então temos um produto interno.
Passo 3
Simetria:
Olhando bem pra essa equação, conseguimos ver que não necessariamente o lado direito da equação que achamos é igual ao lado esquerdo, certo?
Linearidade:
Repara que do lado esquerdo temos enquanto do lado direito temos logo essa igualdade não é válida!
Poxa, se a gente expandir aqueles quadrados ali do lado direito não vamos chegar no mesmo resultado do lado esquerdo, pois vão aparecer alguns termos cruzados. Então essa propriedade não é válida.
Positividade:
Repara que se e por exemplo, então essa inequação de cara não é verdadeira!
Como temos um termo ao cubo, se , então a inequação é verdadeira. E pra isso acontecer, não necessariamente esses termos são todos nulos!
Essa função, por outro lado, não respeita nenhum dos três axiomas!
Portanto, ela não é, de forma alguma, um produto interno.
Passo 4
Simetria:
Linearidade:
Positividade:
Novamente, a função não é um produto interno pois falha nos dois últimos axiomas.
Passo 5
Simetria:
Linearidade:
Positividade:
Essa é um pouco mais dicícil de reparar que é de fato verdade, então aqui vai uma ajudinha:
Sabemos que . E
Logo:
Nesse caso, basta termos e para que
Logo, também não é um produto interno pois falha no último axioma.
Resposta
Não é produto interno. Falha no último axioma.
É produto interno.
Não é produto interno. Falha em todos os axiomas.
Não é produto interno. Falha nos dois últimos axiomas.
Não é produto interno. Falha no último axioma.