Professional Documents
Culture Documents
1.
Variedades
2.
Func
oes diferenci
aveis entre variedades
Quocientes
Espaco tangente
|p) =
|x(p) 1 i n,
xi
ui
Subvariedades
7.
Partico
es da unidade
8.
Orientac
ao
1formas diferenciais
1(M ) = (T M )
f F(M ) df 1(M ), e df
= f .
(x, U ) carta { x 1 |p, . . . , x n |p} e base TpM cuja base dual e
{dx1|p, . . . , dxn|p} (i.e., base de TpM )
{dx1, . . . , dxn} sao entao um frame de T U : expressao local
Exemplo: Forma de Liouville em T M (cuidado: 1(T M )):
w (Xw ) := w((Xw ))
Pull back ( w = w). Importancia!
Restricao de 1-formas a subvariedade i : S M : w|S = iw
10.
Algebra
multilinear
1
A( ) (k+s) V
k!s!
OBS: = (1)ks
11.
(M ) :=
n
M
k (M )
k=0
Orientac
ao e n formas
Definic
ao 3. A derivada exterior em (M ) e a aplicacao linear d : (M ) (M ) que satisfaz as seguintes propriedades:
8
1. d(k (M )) k+1(M )
2. f F(M ) = 0(M ) df (X) = X(f ), X X (M )
3. k (M ), (M ) d() = d+(1)k d
4. d2 = 0.
OBS: Props (2) + (3) + bump func.: |U = 0 d|U = 0.
Logo, d|U = d(|U ), e podemos fazer contas localmente.
OBS: Props (3) + (4) + inducao d(df1 dfk ) = 0
OBS: d existe e e unica: expressao em coordenadas
Para toda F : M N vale que (ver primeiro para 0):
F d = d F
i.e., F : (N ) (M ) e um morfismo de
algebras diferenciais graduadas (i.e., preserva grau e comuta com d).
Exerccio: k, k (M ), Y0, . . . , Yk X (M ),
k
X
dw(Y0, . . . , Yk ) =
(1)iYi(Y0, . . . , Yi, . . . , Yk )
i=0
k
X
0i<jk
2) k (M ), r (M ),
iX ( ) = (iX ) + (1)k (iX )
3) iX iX = 0
14.
15.
Integrac
ao (Riemann)
Definic
ao 6. A Rn e um domnio de integrac
ao se A e
limitado, e (A) = 0.
Teorema 7 (Lebesgue) Uma func
ao limitada f : A R
definida num conjunto limitado A Rn e integr
avel o conjunto de descontinuidades (da extens
ao) de f tem medida 0.
Corol
ario 8. Toda func
ao contnua e limitada f : A R
definida sobre um conjunto de integrac
ao A Rn e integr
avel.
vol(A)
R
n
n
ca de variaveis
A para (R ): mudan
R
R
n
n
F : U R V R difeomorfismo F (A) = A F
Def.: Se M n est
a orientada,
: U M Rn carta orientada,
R
R
e w nc(U ) M := (U )(1)w
R
P R
n
n
n
RDef.: M Rorientada, w c (M ) M := n n U w
N F = M , F Dif+ (N, M ), w c (M )
R
n
n
n
M orientada, temosRo operador linear: c (M ) 7 M
P
P
O caso dim M = 0: M f = i f (pi) j f (qj )
11
R
M
R
M
n
Teorema 9 (Stokes). M n orientada, w n1
c (M )
Z
Z
d =
M
,
N
compacta
orientada,
e
(M ),
R
R
N (= NRi ). Faz sentido entao para qualquer funcao
diferenciavel i: i w (mesmo que M nao seja orientavel!)
Curiosidade: Teorema de Palais. Seja D : k r tal que Df = f D, para toda f : M N .
R
Ent
ao, ou k = l e D = cId, ou r = k + 1 e D = c d, ou k = dimM , r = 0, e D = c M .
15.1
R
Logo, nas k-cadeias (sobre R) e o dual (com relacao a ) de d.
Vale tudo igual considerando k-simplex em lugar de k-cubos.
FAZER EXERCICIOS
DOS CAP. 8 E 11 DO SPIVAK!!
16.
Cohomologia de de Rham
(Spivak, v1 cap8)
Invari
ancia por homotopia
(Spivak, v1 cap8)
Definic
ao 11. f, g : M N sao (diferenciavelmente) homotopicas se existe uma funcao suave T : M [0, 1] N tal que
T0 := T i0 = f , T1 := T i1 = g, onde is(p) = (p, s).
relacao de equivalencia nas funcoes: f g
E
Exemplo: M e contratil IdM cte
Proposic
ao 12. Para todo k existe uma aplicac
ao linear
I : k (M [0, 1]) k1(M ) tal que
i1 i0 = dI + Id, k (M [0, 1]).
R1
Prova: Defina I() = 0 is (i/t())ds. Basta ver dois casos (identifiquemos via 1 e 2). Se = f dxI , d = +
(f /t)dt dxI , e portanto e o TFC. Se = f dt dxI , entao
i1 = i0 = 0, e continha dI + Id = 0.
Mais do que diferenciavel: H (M ) e invariante homotopico:
14
Definic
ao 21. Um retrato por deformac
ao forte e um retrato
por deformacao T como na Definicao 20 tal que Tt|S = IdS , t
[0, 1]. (e.g, H embaixo)
Exemplo: Rn \ {0} Sn1 6 Rn: H(x, t) = ((1 t) + t/kxk)x
Exemplo: Faixa Mobius F S1 ( H 2(F ) = 0).
18.
(Spivak, v1 cap8)
n1
i
=
Rn e j : Sn1
Sn1
Rn = 0, onde i : S
Rn \ {0} sao as inclusoes, e 0 = |Rn\{0}. Logo, por hipotese,
j [ 0] = 0. Mas j e um isomorfismo pois Sn1 e retrato por
deformacao de Rn \ {0}. Conclumos que 0 = d para alguma
n2(Rn \{0}). Em particular, se h : Rn R satisfaz h 1
16
17
Motivac
ao do conceito de sequ
encia exata
0 k (M ) k (U ) k (V ) k (U V ) 0,
(2)
Complexos e sequ
encias exatas
C 1 C 0 0 C 1 1 C 2 ,
dk dk1 = 0.
j
i
Neste caso, H k (A) H k (B) H k (C) e exata para todo k.
Mas nao e exata com 0 `a direita ou `a esquerda... Porem:
i
20
A sequ
encia de Mayer-Vietoris
Como vimos, (2) e exata para todo k, logo temos como corolario:
21
Teorema 30 (!!!!). A seguinte sequencia longa de cohomologia, chamada de sequencia de Mayer-Vietoris, e exata:
i
0 H (M ) H (U ) H (V ) H (U V )
H (M ) H (U ) H (V ) H k (U V )
j
e
1
0 H (M ) H (U ) H (V ) H 0(U V ) 0
0
0 H (M ) H (U ) H (V )
0
22.
A caracterstica de Euler
(3)
onde k = k (T ) e o n
umero de k-simplex em T .
Prova: Para cada n-simplex i de T , sejam pi io e uma
bolinha pi Bpi io (pensar pi como bolinha tambem). Seja U1
a uniao disjunta destas n bolinhas, e Vn1 = M \ {p1, . . . , pn }.
Logo, (3) (M n) = (Vn1) + (1)nn.
Agora, para cada (n1)-face j de T , pegue uma bolinha longa
Bj unindo as duas Bpi s de cada n-simplex adjacente a j . Chame
de U2 a` uniao destas n1 bolinhas (disjuntas). Pegue tambem
um arco (dentro de Bj ) unindo os bordos das duas Bpi s , e
23
Modelo Plat
onico do sistema solar por Kepler; Circogonia icosahedra; Pedras de 2000 AC
23.
0 kc (U V ) kc (U ) kc (V ) kc (M ) 0.
Logo, Teorema 29 + Lema 35
Teorema 36. A seguinte sequencia longa e exata:
Hck (U
Hck+1(U
V)
j
V)
Hck (U )
Hck+1(U )
Hck (V
Hck+1(V
)
i
k
Hc (M )
k+1
Hc (M )
jW
\ N)
i
k
c (M )
k (N ).
kc (M
jW
\ N)
i
k
c (M )
G k (N ) 0.
Aplicac
ao: o Teorema de Jordan generalizado
Homologia singular
27.
Dualidade de Poincar
e e Teorema de deRham
PD
PD
PD PD
PD
e um isomorfismo.
Fim. :o)
31
References
[Tu] Tu, L: An Introduction to Manifolds. Second edition. Universitext. Springer, New York, 2011.
[Sp] Spivak, M.: A comprehensive introduction to differential
geometry.. Vol. III. Third edition. Publish or Perish, Inc.,
Wilmington, Del., 1979.
32