Formas Bilineares
Teoria
Introdução
Fala Aíííí?! Vamos aprender agora uma forma que pode nos ajudar a classificar as cônicas e as quádricas, beleza?!
Essa primeira parte vai ser um pouco chatinha, porém necessária para entendermos no futuro como podemos utilizar as formas bilineares para classificar as cônicas e as quádricas, tudo bem?!
Antes de mais nada precisamos entender aspectos teóricos e propriedades que serão úteis para nós!!
Definição
Uma forma bilinear é uma função , onde e são espaços vetoriais, que obedecem às seguintes propriedades:
Se você reparar essas propriedades são beeeem parecidas que as das transformações lineares, percebe? hehehehe
Agora, ao invés de provar todas essas propriedades, podemos simplificar juntando duas a duas. Então, para ser um pouco mais rápido, na maioria dos exercícios quando queremos provar que uma transformação e bilinear temos que provar que:
Vamos fazer um exemplo para ver como funciona na prática?
Exemplo
Provar que , , onde e , é uma forma bilinear.
Basta provarmos as duas igualdades que acabamos de mostrar. A maior dificuldade aqui acaba sendo não se perder no meio de tantas variáveis, então preste muita atenção na hora da prova pra não perder ponto por besteira (acontece nas melhores famílias).
Passo 1 - Vamos provar que:
Mudamos aqui o nome das variáveis pra facilitarmos as notações, já que agora faremos e . Então temos:
Aplicando a fórmula da função:
Passo 2 - Vamos provar que:
Mantendo a mesma notação do passo anterior:
Aplicando a fórmula da função:
Provamos as duas igualdades, portanto já temos que se trata de uma forma bilinear!!
De teoria só temos isso por enquanto mesmo. Se liguem nos exercícios pra ver como a aplicação da definição resolve todos eles rapidinho, ainda mais se pegarem a intuição do duas vezes linear.
Exemplo
Exercícios Resolvidos
Exercício Resolvido #1
Elaboração própria
Sejam , e . Determine a matriz de em relação à base canônica do .
Passo 1
Nenhum mistério no enunciado, precisamos só montar a matriz de em relação à base .
Passo 2
Caso não consiga enxergar diretamente como os números vão para a matriz, pra se garantir você pode usar a definição e achar os dos vetores da base. Então:
Jogando os números daqui na matriz temos:
Resposta
Exercício Resolvido #2
Elaboração própria
Sejam , e . Determine a matriz de em relação à base canônica do .
Passo 1
Nenhum mistério no enunciado, precisamos só montar a matriz de em relação à base .
Passo 2
Caso não consiga enxergar diretamente como os números vão para a matriz, pra se garantir você pode usar a definição e achar os dos vetores da base. Então:
Jogando os números daqui na matriz temos:
Resposta
Exercício Resolvido #3
Elaboração própria
Sejam , e Determine a matriz de em relação à base canônica do .
Passo 1
Nenhum mistério no enunciado, precisamos só montar a matriz de em relação à base .
Passo 2
Caso não consiga enxergar diretamente como os números vão para a matriz, pra se garantir você pode usar a definição e achar os dos vetores da base. Então:
Jogando os números daqui na matriz temos:
Resposta
Exercício Resolvido #4
Elaboração própria
Verifique se todo produto interno sobre um espaço vetorial é uma forma bilinear
Passo 1
A ideia aqui é verificar se todo produto interno é uma forma bilinear, precisamos então checar se toda função que obedece aos axiomas de produto interno também obedece aos axiomas de forma bilinear. Caso a resposta sim, a resposta é também positiva.
Assim, queremos sair de:
1.1
1.2
1.3
1.4 , se
1.5
Para chegar em:
2.1
2.2
2.3
2.4
Passo 2
Metade do trabalho já está feita. As propriedades 2.1 e 2.3 saem diretamente de 1.2 e 1.3. Para chegarmos em 2.2 e 2.4 usamos as mesmas equações “dadas” mas agora utilizando a simetria 1.1.
Logo:
O que equivale a 2.2.
Para chegarmos em 2.4, usamos a mesma estratégia:
Assim:
Que equivale a 2.4.
Assim concluímos que todo produto interno é uma forma bilinear.
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #5
Elaboração própria
Verifique se toda forma bilinear é um produto interno sobre
Passo 1
A ideia agora é verificar se toda função que obedece às propriedades de forma bilinear também cumpre os axiomas de produto interno, ou seja mostrar que podemos sair dessas propriedades:
2.1
2.2
2.3
2.4
Para essas:
1.1
1.2
1.3
1.4 , se
1.5
Passo 2
Vou adiantar pra vocês, a gente não vai fazer a mesma coisa aqui não. Isso porque a afirmação é falsa, mas é nossa tarefa mostrar isso.
O problema está no axioma 1.1, já que nem toda forma bilinear é simétrica. Essas são uma classe especial que serão mostradas depois, então não se desesperem haha.
O jeito mais fácil de mostrar que a afirmação é falsa é através de um contraexemplo, logo vamos procurar uma forma bilinear que não seja simétrica, ou seja, que não obedeça à relação 1.1.
Podemos pegar o exemplo da teoria. Se e , temos .
Vamos tomar e pra ver no que dá.
Logo:
O que contradiz o axioma 1.1. Achamos então uma forma bilinear que não é um produto interno, logo a afirmação é falsa.
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #6
Callioli, C.A; Domingues, H.H. e Costa, R.C.F., Álgebra Linear e Aplicações, 4a. edição, São Paulo, Atual, 1983.
Passo 1
Mais um exercício de provar coisas . Dessa vez temos que mostrar que algumas certas funções são formas bilineares, mais especificamente, se forem dadas e bilineares queremos mostrar que e são bilineares também.
Lembrando só que é uma função tal que para todo , temos que e do mesmo jeito .
Então vamos ter que mostrar nossas velhas amigas:
Meio chato mas vamos lá.
Passo 2
Primeiro vamos mostrar que é bilinear.A eq. 1:
Como e são bilineares, as relações 1 e 2, valem para elas separadamente, então:
Como queríamos.
Para a eq. 2 é a mesma coisa:
Pronto, já mostramos que as duas equações valem.
Passo 3
Agora vamos mostrar que é bilinear, para não confundirmos as coisas vamos trocar o por ok?
A eq.1:
Fazendo a didtributiva chegamos no que queremos:
Do mesmo jeito:
Pronto
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #7
Elaboração própria
Seja uma forma bilinear. Mostre que , .
Passo 1
O enunciado é bem claro, só temos que usar as propriedades das formas bilineares para mostrar a igualdade
Passo 2
Vamos usar a propriedade da linearidade na segunda variável.
Logo temos que:
Pronto. Sacada interessante né.
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #8
Callioli, C.A; Domingues, H.H. e Costa, R.C.F., Álgebra Linear e Aplicações, 4a. edição, São Paulo, Atual, 1983.
Passo 1
Vamos só lembrar o que um conjunto precisa pra ser um subespaço vetorial.
- Se , então
- Se e , então
Queremos mostrar que isso vale para
Passo 2
Já vimos em um exercício anterior que para qualquer forma bilinear , .
Então, , pois certamente
Passo 3
Se e, usando as propriedades de uma forma bilinear . Logo , pois
Passo 4
Se , usando as propriedades de uma forma bilinear .
Logo , e mostramos tudo o que queríamos
Resposta
Ei, a resposta está no passo a passo :)
Exercício Resolvido #9
Elaboração própria
Sejam e . Determine se é forma bilinear:
Passo 1
Vamos utilizar a mesma notação do exemplo da teoria. A ideia aqui é mostrar se valem as igualdades:
Passo 2
Checamos se vale a equação 1:
Mas:
Logo não vale a equação 1.
Resposta
Como não vale a equação 1, nem precisamos checar a 2, a função não é uma forma bilinear.
Exercício Resolvido #10
U,uElaboração própria
Sejam , e Determine a matriz de em relação à base e depois em relação à e mostre diretamente que as duas matrizes são congruentes
Passo 1
A ideia agora é montar a matriz de em relação a bases diferentes da canônica. Pra isso vamos usar a fórmula que vimos lá na teoria
Então, primeiro vamos achar a matriz na base canônica e depois usar as matrizes de mudança de base para achar as duas matrizes e .
Então temos que mostrar que e são congruentes, isto é que existe uma matriz tal que:
Passo 2
A essa altura a matriz na base canônica é bem direta de se achar né. Mas detalhando o procedimento fica assim:
Jogando os números daqui na matriz temos:
Passo 3
Agora achamos a matriz de mudança de base . Lembrando que é só colocar os vetores de na vertical ela fica assim:
Ainda:
Jogando na fórmula vai ficar: