Considere um 4-vetor unitário
do tipo tempo e o tensor
Mostre que esse é um operador de projeção que projeta um vetor arbitrário
em um vetor perpendicular a
. Ou seja, mostre que o vetor
de componentes
é:
(a) ortogonal a
;
(b) inalterado por projeções adicionais
(c) Mostre que
é o tensor métrico para vetores ortogonais a
:
(d) Mostre que para um 4-vetor não-nulo arbitrário
, o tensor de projeção é dado por
É necessário um tensor de projeção para vetores nulos?
(a) ortogonal a
(b) inalterado por projeções adicionais
Passo 1
O que o enunciado dá e o que pede (sem resolver ainda).
- Foi dado um 4-vetor unitário do tipo tempo
. Vou assumir a convenção de sinal “mostly plus” e que é normalizado como - Foi dado o tensor
Em componentes mistas (úteis para agir em um vetor) escrevemos onde e é o delta de Kronecker. - O enunciado pede para mostrar, para um vetor arbitrário
, que o vetor projetado satisfaz as propriedades:
(a) é ortogonal a;
(b) é inalterado por projeções adicionais (idempotência do operador);
(c)(com índices baixos) é o tensor métrico induzido para vetores ortogonais a ;
(d) para um 4-vetor não-nulo arbitráriomostrar que a forma geral do proyector é - Finalmente o enunciado pergunta se é necessário/possível definir um tensor de projeção para vetores nulos.
Passo 2
Breve explicação das notações e ferramentas que serão usadas (para você entender a técnica).
- Produto escalar (produto interno) entre dois 4-vetores
e é - Produto externo (tensor produto)
tem componentes Assim tem componentes . - O operador de projeção em forma mista que age em
é Então projetar significa multiplicar este operador pelo vetor para obter . - Lembre-se: como
é unitário do tipo tempo, . Esse fato será essencial nas contas.
Passo 3
Provar (a): o vetor projetado é ortogonal a
.
Queremos mostrar
. Escrevendo em componentes:
Substituindo
:
Expandindo termo a termo:
e
Somando:
Usando
obtemos
Portanto
é ortogonal a
. Intuição: o operador subtrai a componente de
paralela a
(lembre que para tempo o sinal aparece com
).
Passo 4
Provar (b): projeções adicionais não alteram
(idempotência).
A propriedade desejada é
o que equivale à identidade de operador
Calcule
. Com
,
Expandindo (fazendo produto distributivo):
Observe que
. Assim o terceiro termo é
Logo somando os termos o
e o
se cancelam parcialmente, restando
Portanto
e, em particular, aplicando em
,
ou seja, uma vez projetado, o vetor não muda com projeções adicionais.
Passo 5
Provar (c):
é o tensor métrico para vetores ortogonais a
.
Defina os componentes com índices baixos:
Queremos mostrar que para quaisquer vetores projetados
e
,
Calcule o lado esquerdo:
Separe os termos:
Mas das propriedades já demonstradas,
e idem para
. Portanto o segundo termo some e resta
Isto mostra que
age como o tensor métrico (a métrica induzida) no espaço de vetores ortogonais a
.
Passo 6
Provar (d): projeção para um 4-vetor não-nulo arbitrário
.
Queremos um projeção ortogonal a
. Se
for não-nulo,
, podemos definir o projetor
ou, em forma de tensores,
Motivação rápida (didática): normalize
definindo
; para
unitário a projeção ortogonal é
se
for timelike (pois
) ou
se spacelike (
). Substituindo
unifica-se na expressão acima, que é equivalente ao enunciado:
Verificação direta das propriedades: primeiro, esse operador anula
:
Segundo, é idempotente:
porque
. Assim é realmente um projetor ortogonal à
.
Passo 7
É necessário um tensor de projeção para vetores nulos? (comentário e resposta)
- Se
for nulo, , a fórmula fica singular (divisão por zero), então não se pode defini-la desta forma. - Geometricamente, a subespaço ortogonal a um vetor nulo
em espaço de Lorentz é degenerado: é ortogonal a si mesmo, então a ortogonal complementar contém . Isso impede definir um projetor único que “separe” a componente paralela e a perpendicular do modo usual (não há decomposição direta em soma ortogonal de uma componente paralela e outra perpendicular com complemento direto). - Portanto, para vetores nulos não existe um projetor ortogonal canônico do tipo acima sem informação extra. Se for necessário definir um “projetor de tela” (por exemplo, para isolar as duas direções transversais observadas por um observador), precisa-se de estrutura adicional, tipicamente outro vetor (por exemplo outro nulo
com ) e então define-se um projetor de pantalla/ tela (screen projector) usando ambos, por exemplo algo como que anula e e projeta nas direções transversas. Mas isto só existe porque se forneceu extra. - Em resumo: não dá para usar a mesma fórmula para vetores nulos; é preciso estrutura adicional para obter um projetor bem definido.
Resposta
(a)
.
(b) , logo
.
(c) .
(d) Para não-nulo
.
Para vetores nulos não se pode usar essa fórmula (divisão por zero); um projetor ortogonal canônico não existe sem especificar estrutura adicional.
(b)
(c)
(d) Para
Para vetores nulos não se pode usar essa fórmula (divisão por zero); um projetor ortogonal canônico não existe sem especificar estrutura adicional.