I. Produto interno:
uma operao entre vetores que caracterstico de cada espao vetorial. Essa operao
pega dois vetores e retorna um nmero real. Representamos o produto interno entre dois
vetores, v e w, por
.
Existem diversos produtos entre vetores retornando nmeros reais, mas para que ele seja
interno necessrio que as seguintes condies sejam satisfeitas:
Para
vetores e
a)
b)
c)
;
;
;
d)
Obs.: Quando no mencionado o produto interno, usa-se o produto interno cannico, que o
produto escalar visto em Geometria Analtica e Fsica I.
Ex.: Seja
.
II. Mdulo de um vetor:
Para este assunto melhor esquecer que mdulo de um vetor refere-se ao tamanho
dele. O mdulo de um vetor uma caracterstica do prprio em relao a um determinado
produto interno. Um mesmo vetor pode ter mdulos diferentes, dependendo dos produtos
internos usados, e por isso a ideia de tamanho acabaria confundindo um pouco.
O mdulo
de um vetor definido como:
produto interno, temos a garantia de que
).
(pela propriedade d do
Onde
um vetor
Vetorialmente:
E, pela figura:
;
assim como
Primeira coisa a se fazer escolher um vetor qualquer de para ser o primeiro vetor da base
ortogonal. Por fim, utiliza-se o processo de Gram-Schmidt para se obter os demais vetores.
Fazendo
Portanto, a base
Quais
as
coordenadas
?
do
vetor
em relao ao vetor
em
relao
.
base
Ento a base
das coordenadas.
i)
A primeira coordenada:
ii)
A segunda coordenada:
iii)
A terceira coordenada:
para qualquer
, portanto a
Obs.: Como o vetor nulo ortogonal a todos os vetores (inclusive a ele prprio), ele pertence
tanto a quanto a . Portanto
.
Obs.: Os vetores de e de
somados resultam em qualquer vetor de . Dizemos portanto
que a soma direta de e
:
. Essa observao especialmente importante
pois nos garante que
e, sendo
base de
e
base de
,
podemos garantir que uma base de
ser
(para o caso particular de e serem
ortogonais/ortonormais, tambm ser).
Um passo-a-passo pode ser montado para se determinar o complemento ortogonal de um
subespao. Seja um espao vetorial e
um subespao de :
1) Determinar o subespao
e uma base dele;
2) A condio para que um vetor de
seja ortogonal a qualquer um dos vetores de
simplesmente que ele seja ortogonal (produto interno igual a zero) simultaneamente a
todos os vetores da base de ;
3) Fazer a condio de
.
Ex.: Seja
a) O complemento ortogonal de
b) Uma base de
.
c) Uma base de V.
, determine:
Colocando em evidncia:
Como
um vetor qualquer de
, logo:
, logo
3)
Separando as letras:
Colocando em evidncia:
Como
e de
Ex.: Seja
, o operador
vetores e
definido por:
auto-adjunto.
A primeira coisa a se fazer achar uma base ortonormal de . Pode ser achada partindo
de uma base qualquer, utilizando o processo de ortogonalizao de Gram-Schmidt e, por fim,
normalizando-a. Mas como o espao vetorial em questo o
j ortonormal.
Agora achar a matriz da transformao linear:
i)
;
.
Lembrando que
. Ento:
Alm disso, ele preserva o produto interno entre dois vetores. Ou seja:
ii)
Seja
se
,
(VERIFIQUE).
forem
eles
tomados
formam
uma
os
base
vetores
ortonormal
ii)
Como temos a matriz, basta verificar se as colunas formam uma base ortonormal com
relao ao produto escalar.
i)
Coluna 1:
ii)
Coluna 2:
iii)
Coluna 3:
;
;
.
J est verificado que so normais, resta agora saber se so ortogonais entre si:
i)
ii)
iii)
Colunas 1 e 2:
;
Colunas 1 e 3:
Colunas 2 e 3:
;
.
Foi verificado que as colunas formam uma base ortonormal em relao ao produto escalar,
ento a matriz ortogonal.
IMPORTANTE: Se a matriz caracterizasse uma transformao, esta seria ortogonal APENAS SE
ESSA MATRIZ FOSSE EM RELAO A UMA BASE ORTONORMAL.
Ex.: Seja
ortogonal.
. Diga se T
Como
, temos que
um operador ortogonal.
em um
;
.
Obs.: Se for pedido a projeo de um subespao sobre outro, s usar o vetor na forma mais
geral no lugar de .
Ex.: Seja
, ache
e depois ache
Aplicando o passo-a-passo:
a) Achar uma base ortonormal (pode ser ortogonal, mas normalizar facilita as contas):
i)
Condio:
a forma mais geral de um vetor de
;
ii)
Separando por letras:
(j est separado);
iii)
Colocando em evidncia:
Ento
um gerador e, por ser LI a si mesmo, uma base ortogonal (como
nico ortogonal);
iv)
Normalizando:
v)
;
base ortonormal de .
b) Como estamos pedindo de um espao, pegamos o vetor mais geral do espao. No caso,
e
. Aplicando a frmula de projeo (como
est normalizada,
:
.
c) Substituindo
por
Como dito antes, a projeo de um vetor sobre o subespao em que ele est contido
(repare que
) ele mesmo, pois se trata de um autovetor associado ao autovalor
.
XII. Reflexo:
Na reflexo de um vetor em relao a outro subespao, como se o subespao
funcionasse como um espelho e ns estivssemos interessados no reflexo.
A figura abaixo serve para dar uma noo geomtrica, tomando um vetor em
vermelho) e uma reta . Acha-se a reflexo (em azul) em torno da reta.
10
(de
em um subespao :
Se um vetor (em vermelho) for decomposto em sua componente vertical (roxo) e horizontal
(verde projeo do vetor em ) e for feito a reflexo em relao reta, fcil notar que, por
soma vetorial:
Alm de:
IMPORTANTE: Existe um outro passo-a-passo para se resolver esse tipo de problema. Se der
preguia de calcular a projeo (muito embora esse mtodo tambm tenha muito clculo), a
reflexo de um subespao
em um subespao :
a)
b)
c)
d)
11
, ache
e depois ache
Aplicando a frmula:
so da forma
, ento
(VERIFIQUE).
base ortogonal de
Da tiramos o sistema:
12
Como se trata de uma transformao linear, podemos aplicar as propriedas aqui (vide
resumo da 2 unidade):
Substituindo os valores de
e :
XIII. Cnicas:
Chamamos de cnica um conjunto de pontos do plano
13
Onde
e
representam as novas coordenadas. Equivalentemente, podemos achar a
forma cannica da cnica:
Isso nada mais do que uma mudana de base. Podemos ento definir
toda a forma cannica.
e, assim,
Sero encontrados dois autovetores unitrios (que formaro a nova base ortonormal do
plano). Esses dois autovetores sero chamados
e
. Temos ento que fazer a
mudana de coordenadas de
para
:
A cnica pode ser classificada de trs maneiras, de acordo com seus autovalores:
Translao:
Por vezes, ao eliminar o termo misto, a equao obtida ainda no fica na origem, ento
recorremos translao dos novos eixos (visto em Geometria Analtica, Clculo 1 e Clculo 2).
Basta completar quadrados, ver o centro da cnica e, ento, transladar os eixos de modo que a
origem coincida com o centro da cnica.
IMPORTANTE: Para eliminar o termo cruzado, o passo-a-passo :
a) Achar os autovalores
e
e os autovetores associados a eles. (Esses vetores formaro
a nova base ortonormal);
b) Determinar e ;
c) Classificar a cnica e determinar sua nova forma cannica.
14
# Achando os autovetores
para entender os passos):
15
e um autovetor associado a
e um autovetor associado a
# Determinando
Lembrar que:
e :
Fazendo as equivalncias:
E portanto:
Fazendo as equivalncias:
Fazendo as equivalncias:
E no h necessidade de fazer translao.
# Classificando a cnica:
16
XIV. Qudricas:
As qudricas so semelhantes s cnicas, mas so superfcies, ou seja, so
tridimensionais. Tudo o que se aplica nas cnicas, aplica-se nas qudricas.
Elas so da forma:
correspondente ao ponto,
17
Isso nada mais do que uma mudana de base. Podemos ento definir ,
toda a forma cannica.
e, assim,
Sero encontrados trs autovetores unitrios (que formaro a nova base ortonormal do
plano). Esses autovetores sero chamados
e
. Temos ento
que fazer a mudana de coordenadas de
para
:
18