3) For mas Dilercnciales

Bundles cotagentes
Dado un espacio rectorial on IR ,
Podemos tomar

Su Campo dual

f }
*
✓ = w :
V >
IR I wld , ×, + ✗
zxz )
=
✗a WCX , ) t ✗ zw ( Xz ) Para Xi EV y
✗ i ER

El espacio dual ✓
*
estambién un espacio rectorial Aw , + Bzwz C- ✓
*

tp*M del
*
Wi c- ✓ Bn pz ER El espacio rectorial dual
para , wz ✗ ,
.

espacio
tmgente Tpm es llama do el espacio cotangent .

De hecho ,
dado f- c- ECM ) , Podemos definer su difcrencial
dfp en p .

dfp :
Tp M > IR
,

Xp I >
Xp (f) ◦

coordenadas locales (U
"

Para un as
, 4=1×1 .
. . .
,
✗ I
,

hemos vis to (
! base de TPM
2
que ,
. . .
.
es una .

,
DX
"

Po Otra Porte , Podemos Tomar ( dx '

p , . . .
,
DX "
Como una base de Tp*M
p

tal que :

dxi 2 =
8! ◦

P 2 ✗J p

Porto tanto esta base Podemos escribii dfp of dxi

gxicp
en =
)
, , p
÷ ,

Al igual que el bundle tangents , Podemos consider ar una coleccién de

espacio s cotangent es :

M
¥mTp*M
=

Lawal poseeestructura manifold 11am amos cotangent

*
de una .
1- Mel bundle
de M .
Adema's ,
la seccioñ del espacio cotangent es Varnado 1- forma , y

denotamos el Conjunto de 1- forma Por hic m ) = TLTTM) .

Ejemplo 1: Sif es una funcion save sobre M, entences dfc ri(m), el wal
Podemos emprejar con x = x(M):df(x) x(H). =

Push-forward y pull-back

Sea f: M >N on mapa suave entre las manifolds My N. finduce

un push-forward de vectores tangentes

fa:lpM <
1yc, N

E)was es definido por fx(X,) (9) Xp (gof)

=

para g eC9M).
f es denotada por dlfyen la literature.

Por otra pate, I induce un pull-backdel espacio tagete f*: 1s >

Te*M
el cual es definido por

f*(WA, Xp Wfsps, fe(XeL

=

para Wfielins donde es un

emperejamiento entre el espacio tangente
yespacio cotangente.

Si fx:TM <IusN es surjectivo, i.e rank (fx) cimN, entences

=

Ies regular en elputopeM. De lo contrario, PEM es llamado un punto critica

defy fixs eN es llamado el Valor critico de f.

jemplo2:Sea f:S"CR sca un mapa definido por f(xi, ..., x) =

x"donde

S" Y
=

(X, .
.
.,
x") = R** 1X1 =
12. Entences, el polo nortey polosor x
==
1

Son puntos criticos defy un

puntogenerico es
regular.
Teoremas:It conjunto de valores criticos de una funcion save fiM N tiene

medida de Lebesque cero.

PF:Ver prueba en J.W Milnor, topology from the differentiable viewpoint,

Princeton University Press, 1965.

Deficion
4:Si fxe s regular para PCM, f esllamado una submersion.

Para qef(M), fiq) es una submanifold decodimension dim (N) en.

Ejemplos:La proyeccion f:MXN <M es una submersion.

-ormas diferenciales
Es natural la de satisface
considerar un
algebra generada por base Ip*M sobre IR que

dxindxs dxdx

donde es llamado el producto wedge, puede ser entendido como una multiplicacionde este algebra,
y llamamos el algebra exterior. Para una manifold n-dimensional, tenemos una descomposicion
de soma directas

*, *M.
·

*M =

k0 =

Un elemento w- / "define on mapa kelinear alternate p x...xp > 2.

con

W(Xin ...

Nam Signs WIX, ...,

Xn (Xie

Para It Sr. Ademas, para on elemento w w,nw.

=
...

wr, definimos:

We W
...1Wx(X,X2, ..., Xm
x,det(WaLXoS.
=

Generalmente, Siw es una K-forma y

y
es una forma

WeyS(X., Nace= 7(Xranes...., X rentes

Sign)
. .
W Xrin,..., Xrin
.,

kes! Wes

**M=
Podemos considera una familia de espacios vectoriales sobre la manifold M.
U*e*
La wal satisface la Definicion 2.1 de una manifold.
Dado dos wordenadas locales (4,xi ..., x") y LV, y, ..., y"), la transformaciones dada por

dx....dx
Bigdys.... dyse
=

D!denota
donde el jacobiano. Ademas, escribimos el conjunto de todas las secciones como

~(M) =
1 (NT*M).
En particular, tenemos -(M) 1° M). =
Un elemento de "(M) es conocido como una

K-forma diferencial. Como resultado, una K-forma puede ser expresado come

W =
fi......(X, ..., xY dxin ...dx
in c... in

I
gi...ny...., y'dyin..... dyir.
in . . . in

Enla intercepcion de dos charts locales (4,x., ..., x") y (V; y1, ...,y), y f, g estan relacionadas

Por el jacobiano. Ponierdo todas lose juntas, un elements we *cM) define on

mapa alternate k-linear

W:x(M) x
...
*(M)
. > CIM).

Ademas, existe un mapa linear unico llamado la derivadla exterior d: *(M) < 2**(M)
tal que:
(i) En PCM), esto fee ya definido, i.e df x(f) =

pcratodo x ex(M)

Tenemos
*
(ii) dod 0:1"(M)
= < 2" (M).

(iii) Satisface la reglade Leibnizd(Ways=dwny+cswede

Para We M), la derivada exterior prede ser definida como

(dW) (X ,
. .

., Xme) =

x Ises* X: (WIxe, ...,

, ,
. .
., Xarh

(-
+

W,Xi,Xs], Xi, ...,

X., ..., Xj, . .
.,
Xax) &
<j

donde *
X., . . . , xm+ A(M) y
V
significa Omitido.
En terminos de Coordenadas locales x', ..., x", Podemos definir las derived as exteriores

come

d
W...., ndx...dxit dW...., in exie... dxin
.......in

Sea f:MCN un mapa entre manifolds saves and N. Esto induce

un homomorfismo de algebra

f *: CN) (M)

-I pull-backde formas diferenciales associado a f puede ser denifica

Como

f*W) 1. ...,
Xr Wf(Xe), ..., fxIX).

Para We YIN) y X, , . .
.,
XnG AIM). Note that el pull-back f* tiene

las siguientes propiedades:

i) f*:*(N) >
_*(M) es in mapa linew.
ii) f*(win) f*W f*Y.
iii Si G:N es un mapa entre dos manifolds Ny
Entonces gof)*f**g*.

in
commuta con derivada exterior df* f*d

Introduzcamos algunas operaciones sobre formas diferenciales. Dara =A(M)

un mapa linear

i (M):*( ~"(M)
es definido por
i(X)W 1,...., Xi kWLX, X, ..., XKa

Para WE -Y(M), X., . .

.,
Xu, EAIM). Note que sik 0,
=

podemos
definir ICX) 0. Asi llamamos i(x(wel to
interior de W por X.

por definicion, i(x) es obviamente linew can respecto a funciones.

↑
Podemos definer un opoador linear

✗
:
CM ) > IM )

Hamada la Derivada de Lie ,

también involucrando el Campo

rectorial ✗ E
HIM ) .
Esto es detinido por

W / W ✗1 Xu ) W ✗1 XK
=
✗ n ,
. . .
,
k
,
. . .
, ,
. . .
, ✗ , Xi ,
. . .
,
.

÷ ,

integrates de for mas diterenciales

Sea
"

Una manifold orientable suave n dimensional y

WEA . Podemos depuis
la Unidad de pwticién
integral de w sobre l .
Para esto necesitamos define una

Definition 6 : Un rewbrimiento { Vatanen de es Hamada localmente finite si para

Todos Los puntos PE ,

existe un vecindario Up 3- P Tal que intersect a solo

on niimerofinito de elements del rewbrimiento , es dear ,

Up IN ✗
≠ 0 solo

para un riumero f- nito de ✗ C- A .

Otro cover Ivp } c. ☐ es Varnado refinamiento
de TUA} ✗ c. a Wando Para
*
BE B existe ✗ c- -
tal que p
C
Ma .

eorema 7 :
Sea 4 Ux } ✗ et un rewbrimiento abierto de .
Existe un
retina miento

hva} de h Un } aea el wales local mentee finite

Detinicion 8 :
Partition de Unidad .
Sea hua} un rewbimiento abierto local mentee fnito

de manifold .
Una [Link] Ua } es una coleccién

✗✗ [Link] ) Tal que :

i o ≤ ✗ ✗
≤

iii
↳✗ a
=
1 .

Iii supp ( ✗✗
C
U a
Si usamos coordenas locales (X, ..., X") sobre un chart Ha, podemos escribir

NaW-faIX) x ...
X.

Entonces, podemos definir so

integral
SXaW=J...) fax) x...x.

Entonces, Podemos definir

w a)xaw
=

Podemos mostra que esto es independiente de la de

eleccion un
covering abierto
localmente

finito Var y una particion

de unidad sobre Mc

corema 9:teorema de Stokes. Sea una manifold orientada can boundary

de dimension n. Entences si we-" (M) tiene soporte compacto
entences

Im du-w.

7:M HH2.
Pf:caso Supongamos que supp(w)(A (-R, R7 x (0,R]
( R,R) x
= = ... x -

fici, dw=, (re)"

GE,dx
-

y qre w =

es facil verque

Ademas, si In,
15:
esidx=I..asidxi
tenemos do

Saw =

(-r-1....retude" dxr...dxt

"..."fulxr,..., x0) dx...dx

por otra parte

= Geunfe(x'...., x 0) di f..feler,
=

...,
x0b dxin... de

(-
=

e)"...Sfnix..., x, 0) dx ... dxr

dw
=
Caso 2:M=R2. En este caso, usando on
arreglo similar. Sabemos que ambos lados son cero.

Caso 3:
Supongamos que Mes una manifold (suavel arbitraria can bordey supp(ws

esta contenido en un solo chart (V,4). Asumimos 4 tiene orientacion

positive
entonces

idw (4 SdC*w) d4*W (w.

=
dw
*
= =

3M

Caso 4: Para el caso

general, asumimos que supp(w) esta abierto por un numero finito de
chats uniformes, positivos [UiP.
Escogemos una partition of suave
unity

subordinada a [Uit, entences:

Sw S34iw [d(4,w) [d4,1w

= =
=

4:dw
+

4d(24:)1w (4)dw [4:=1.

=

yaque
+

=Mdw.
Formula de Green:
$8,dxdyPdx+ady

Formula de Stokes:

I -5 dxdy
+1 84 Ededz
+

() -? dadx
A dx+Bdytedz.

Teorema de la
Divergencia

S(24+ dxdydz=
Pdydz adadx+Rdx dy
+
Teorema 10 S:M es una manifoldcompactay orientada sin bordes, entonces para cualquier
we "" (M), entence

Mdw 0
=

47: facil

teorema 11 S:M es una variedad compacta orientada can borde, entences para walquier
r (M)
we con dw =

0, se tiene

ahw 0.
=

Pf: Mry facil.