You are on page 1of 6

GEOMETRIA DIFERENCIAL

19 de Janeiro de 2016

Contedo
I

lgebra multilinear sobre uma Variedade

Preliminares de lgebra multilinear


1.1 Tensores . . . . . . . . . . . . . .
1.2 Operaoes sobre Tensores . . . .
1.3 Mudanas de coordenadas . . . .
1.4 Campos Tensoriais . . . . . . . .

3
3
4
4
5

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Parte I
lgebra multilinear sobre uma
Variedade

Captulo 1
Preliminares de lgebra multilinear
1.1

Tensores

Definio 1. Seja V um espao vetorial sobre um campo K, ento um tensor A de rango


( p, q) uma aplicao linear em cada varivel
A : V . . . V V . . . V K
|
{z
}
|
{z
}
p vezes
q vezes

(1.1.1)

O espao dos tensores de rango ( p, q) indica-se Tq (V ) e tambm um espao vetorial


Observao 2. O espao tensorial de rango (0, 1) o dual do espao vetorial mesmo
T10 (V )
= V , pelo contrario espao tensorial de rango (1, 0) o bidual do espao veto
rial mesmo T01 (V )
= (V ) e isomorfo ao prrpio espao s se o espao riflexivo o
que acontece sempre quando a dimenso de V finida i.e. dim (V ) < (cfr. Apndice
A).
Sendo cada tensor uma aplicao linear, para ser definida necesita simplesmente
dos valores sobre os elementos da base dos espao vetorial V e do dual V .

p
Definio 3. Seja T Tq (V ) um tensor de rango ( p, q) e sejam {ei }i I e ei i I uma

base rispetivamente do espao vetorial V e V tal que ei e j = ji por cada i, j I,
ento chamam-se componentes do tensor T os escalares


a ...a p
T 1 b ...bq := T e a1 , . . . , e a p , eb1 , . . . , ebq K
(1.1.2)
1

por cada a1 , . . . , a p , b1 , . . . , bq I.

Observao 4. Escolhendo {ei }i I e ei i I como bases rispetivamente do espao vetoa ...a p
rial V e do dual V e sendo T 1 b ...bq as suas componentes, um tensor de rango ( p, q)
1

T : V . . . V V . . . V K
{z
}
|
{z
}
|
p vezes
q vezes

(1.1.3)

usualmente escrito na forma


T=T

a1 ...a p
b1 ...bq e a1

. . . ea p eb1 . . . ebq

(1.1.4)

onde as seguintes sumas so sub-entendidas:


n

T=

a1 ...a p
b1 ...bq e a1

. . . ea p eb1 . . . ebq

a1 ,...,a p,
b1 ,...,bq=1

(1.1.5)

CAPTULO 1. PRELIMINARES DE LGEBRA MULTILINEAR

1.2

Operaoes sobre Tensores


p0

Definio 5. Seja T Tq (V ) um tensor de rango ( p, q) e S Tq0 (V ) um tensor de


rango ( p0 , q0 ) sobre o mesmo espao vetorial V. Definimos o produto tensorial T S um
tensor de rango ( p + p0 , q + q0 ) obtido dao produto dos dois tensores
 


c
(1.2.1)
T S := T a1 , . . . , a p , vb1 , . . . , vbq S c1 , . . . , p0 , vd1 , . . . , vdq0 K
onde a1 , . . . , a p , c1 , . . . ,

c p0

V e vb1 , . . . , vbq , vd1 , . . . , vdq0 V.

- Contrazione di Tensori
- Moltiplicazione interna
- simmetrizzazione e antisimmetrizzazione
T(i1 ..in ) = Si1 ..in =
T[i1 ..in ] = Ai1 ..in =

1.3

e i (1) . . . e i ( n )

e ( ) e i (1) . . . e i ( n )

Mudanas de coordenadas

Agora vamos supor de tiver escolhido uma base E = {ei }i=1..n pelo espao vetorial V
onde est definido um tensor T e vamos estudar o que acontece mudana da base E
por a base E = {ei }i=1..n .
Vamos supor que a matriz de pasagem entre as bases seja CE E = (cij ), i.e.:
ej =

cij ei

(1.3.1)

i =1..n

por enquanto a matriz inversa seja CEE1 = CE E = (dij ) i.e.


ej =

dij ei

(1.3.2)

i =1..n

Ento iremos ver que as p componentes vetoriais de um tensor de rango ( p, q) transformam segundo a matriz CE E = (cij ) por enquanto as componentes covetoriais do

tensor transformam segundo a matriz CEE1 = (dij ). Por isso as primeiras so chamadas
covariantes e as segundas so chamadas contravariantes.
Para semplificar a notao vamos ilustrar o procedimento sobre um tensor de ordem dois. Seja T T02 (V ) e vamos mudar a base E por a base E = {ei }i=1..n . Ento as
componentes mudam assim:

CAPTULO 1. PRELIMINARES DE LGEBRA MULTILINEAR

T =

T ij ei e j =

(1.3.3)

i,j=1

T ij

cik ek chj eh =

(1.3.4)

h=1..n

k =1..n

i,j=1

cik chj T ij ek eh

(1.3.5)

i,j=1
k,h=1


ei e j = ji

(1.3.6)


ei e j = ji

(1.3.7)

e i dij ei =
i =1..n

1.4

dij e i (ei ) = ji

(1.3.8)

i =1..n

Campos Tensoriais

Seja M uma variedade diferencivel ento ento podemos definir um fibrado vetorial
que o fibrado tangente TM e os campos vetoriais de M i.e. X X ( M ), como as
seces do fibrado tangente i.e. ( TM ). Similmente podemos definir o fibrado cotangente TM que o dual do fibrado tangente e as formas lineares de M, i.e. 1 ( M)
que so as seces do fibrado cotangente i.e. ( TM ).
Definio 6. Um (p,q)-campo tensorial ou campo tensorial de ordem ( p, q) uma aplicao
diferencivel que associa por cada ponto de uma variedade um tensor de rango ( p, q)
definido no espa tangente do ponto
p

T : M 3 x T ( x ) Tq ( Tx M)

(1.4.1)

Observao 7. Podemos pensar um campo tensorial como uma seco da potncia tensorial de p fibrados tangentes e q fibrados cotangentes ( M, TM p TMq ). Podemos tambm pensar num campo tensorial de ordem ( p, q) como um elemento do
produto cartesiano
T X ( M ) . . . X ( M ) 1 ( M ) . . . 1 ( M )
|
|
{z
}
{z
}
pvezes

(1.4.2)

qvezes

Definio 8. Seja M uma variedade diferencivel, ento o espao dos campos tensoriais
p
de ordem ( p, q) sobre M indica-se Tq ( M)
O espao dos campos tensoriais de ordem (1, 0) sobre M isomorfo ao espao dos
campos vetoriais sobre M que em outra palavras o espao das secoes do fibrado
tangente i.e. T10 ( M)
= X ( M)
= ( TM). Similmente o espao dos campos tensoriais
de ordem (0, 1) sobre M isomorfo ao espao das 1-formas sobre M que em outra palavras o espao das secoes do fibrado cotangente i.e. T01 ( M )
= 1 ( M )
= ( TM ).

You might also like