Todo produto interno é uma forma bilinear e vice-versa? Todo produto interno é uma forma bilinear simétrica e vice-versa?
Passo 1
O enunciado faz duas perguntas claras:
“Todo produto interno é uma forma bilinear e vice-versa?”
“Todo produto interno é uma forma bilinear simétrica e vice-versa?”
Informações relevantes que temos que usar (implícitas nas perguntas):
As respostas dependem do corpo/escopo do espaço vetorial (tipicamente \mathbb{R} ou \mathbb{C}).
Precisamos lembrar as definições de forma bilinear, forma simétrica, forma hermitiana/sesquilinear e produto interno, e verificar quais propriedades coincidem ou não.
Passo 2
Definições (do jeito mais claro possível, com explicação do que cada termo significa):
Uma forma bilinear em um espaço vetorial V sobre um corpo F é uma aplicação
Explicação: “bilinear” significa linearidade em cada argumento separadamente (mantendo o outro fixo).
Uma forma bilinear é simétrica se
B(u,v)=B(v,u)\quad\text{para todos }u,v\in V.
Em espaços reais, um produto interno (ou produto escalar) é uma aplicação
\langle\cdot,\cdot\rangle: V\times V\to\mathbb{R}
que satisfaz, para todo u,v,w e \alpha\in\mathbb{R}:
(1) linearidade em cada argumento (equivalente a bilinearidade), (2) simetria \langle u,v\rangle=\langle v,u\rangle, e (3) positividade definida: \langle v,v\rangle>0 para todo v\neq 0.
Explicação: o ponto extra além de ser uma forma bilinear simétrica é a condição de positividade definida.
Em espaços complexos, um produto interno é normalmente definido como uma forma sesquilinear hermitiana positiva definida: isto é, \langle\cdot,\cdot\rangle: V\times V\to\mathbb{C} tal que é linear em um argumento e conjugado-linear no outro, satisfaz
\langle u,v\rangle=\overline{\langle v,u\rangle}
(e positiva definida: \langle v,v\rangle>0 para v\neq 0). Explicação: por causa do conjugado complexo, o produto interno complexo não é bilinear (linear em ambos os argumentos), mas sim sesquilinear.
Passo 3
Mostrando por que, no caso real, um produto interno é de fato uma forma bilinear simétrica:
Suponha V sobre \mathbb{R} e \langle\cdot,\cdot\rangle um produto interno. Pelas propriedades do produto interno (definição), para quaisquer \alpha\in\mathbb{R} e u,v,w\in V,
\langle u, \alpha v + w\rangle = \alpha\langle u,v\rangle + \langle u,w\rangle,
ou seja, é linear em cada argumento => bilinear. Além disso, a propriedade de simetria \langle u,v\rangle=\langle v,u\rangle é parte da definição do produto interno real. Finalmente, tem positividade definida. Conclusão: em \mathbb{R}, todo produto interno é uma forma bilinear simétrica positiva definida.
Passo 4
Contraexemplos que mostram que a recíproca não é sempre verdadeira (caso real):
a) Forma bilinear que não é produto interno por falta de positividade definida. Considere V=\mathbb{R}^2 e defina
Para os vetores canônicos e_1=(1,0) e e_2=(0,1) temos B(e_1,e_1)=1 e B(e_2,e_2)=-1. Então B é bilinear e simétrica, mas não é positiva definida (pode dar valores negativos), logo não é um produto interno. Isso mostra que nem toda forma bilinear (mesmo simétrica) é um produto interno.
b) Forma bilinear que não é simétrica. Em \mathbb{R}^2 defina
C(u,v)=u_1 v_2.
Então C é bilinear, mas C(e_1,e_2)=1 enquanto C(e_2,e_1)=0, logo não é simétrica; portanto não pode ser um produto interno (pois produto interno real exige simetria).
Conclusão parcial: sobre \mathbb{R} — todo produto interno é uma forma bilinear simétrica (e positiva definida), mas nem toda forma bilinear (ou nem toda forma bilinear simétrica) é um produto interno.]
Passo 5
Caso complexo — por que a resposta muda:
Em espaços sobre \mathbb{C} o produto interno padrão é sesquilinear e hermitiano, por exemplo em \mathbb{C} considere
\langle z,w\rangle = z\overline{w}.
Aqui vale \langle z,\alpha w\rangle = \overline{\alpha}\,\langle z,w\rangle (conjugado em escala do segundo argumento). Se produto interno fosse bilinear, teríamos \langle z,\alpha w\rangle=\alpha\langle z,w\rangle para todo \alpha\in\mathbb{C}. Mas isso falha em geral: escolha z=w=1 e \alpha=i. Então
\langle 1,i\rangle = \overline{i} = -i,
enquanto
i\langle 1,1\rangle = i\cdot 1 = i.
Como -i\neq i, a linearidade em ambos os argumentos falha — o produto interno complexo NÃO é bilinear. Em vez disso é sesquilinear (linear em um argumento e conjugado-linear no outro) e satisfaz \langle u,v\rangle=\overline{\langle v,u\rangle} (hermiticidade).
Portanto, sobre \mathbb{C}:
Um produto interno não é uma forma bilinear (é sesquilinear hermitiana).
Nem toda forma bilinear (complexa) é um produto interno; e mesmo uma forma bilinear simétrica não coincide com a noção hermitiana necessária para produto interno complexo.
Passo 6
Resumo didático das diferenças e o que checar na prova (pequeno “tutorial prático”):
Se o espaço for sobre \mathbb{R}: verifique três coisas para saber se uma forma é produto interno:
linearidade em cada argumento (ou verificar bilinearidade),
simetria B(u,v)=B(v,u),
positividade definida B(v,v)>0 para v\neq 0.
Se as três valem, é produto interno. Se faltar positividade (ou simetria), não é.
Se o espaço for sobre \mathbb{C}: experimente escalar o segundo argumento por i para testar bilinearidade; se a fórmula envolver conjugados (como \overline{\alpha} ao escalar o segundo argumento) então é sesquilinear, não bilinear. Para ser produto interno complexo precisa ser hermitiana (conjugado-simétrica) e positiva definida, não “simétrica” no sentido real sem conjugação.
Resposta
Depende do corpo: em espaços reais (\mathbb{R}) todo produto interno é uma forma bilinear, mas a recíproca é falsa (nem toda forma bilinear é produto interno, pois pode faltar simetria ou positividade). Em espaços complexos (\mathbb{C}) não: produto interno é sesquilinear hermitiano, não bilinear.
Em \mathbb{R}: todo produto interno é uma forma bilinear simétrica (e positiva definida), mas nem toda forma bilinear simétrica é um produto interno (pode não ser positiva definida). Em \mathbb{C}: produto interno não é uma forma bilinear simétrica — é hermitiano (conjugado-simétrico) e sesquilinear, logo a equivalência falha.